2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.



Начать новую тему Ответить на тему
 
 Замкнутость множества
Сообщение09.12.2009, 19:08 
Заслуженный участник
Аватара пользователя


11/04/08
2748
Физтех
Помогите пожалуйста решить задачу.

Даны выпуклые функции $\[{g_i}:{\mathbb{R}^n} \to \mathbb{R}{\text{  }}i = \overline {1,m} \]$ и соответствующее множество $\[S = \left\{ {x|{g_i}\left( x \right) \leqslant 0{\text{ }}\forall i = \overline {1,m} } \right\}\]
$. Доказать замкнутость множества $\[P = \left\{ {p|p = \sum\limits_{i \in I\left( x \right)} {{\lambda _i}\partial {g_i}\left( x \right)} ,{\lambda _i} \geqslant 0{\text{ }}\forall i = \overline {1,m} } \right\}\]$, где $\[{\partial {g_i}\left( x \right)}\]$ - субдифференциал функции $\[{{g_i}\left( x \right)}\]$, $\[{I\left( x \right)}\]
$ - множество активных индексов. (Надо как-то использовать условие Слейтера (подсказка, типа), которое означает, что существует точка из $S$, такая, что $\[{{g_i}\left( x \right) < 0{\text{ }}\forall i = \overline {1,m} }\]$. А еще, как я понимаю, считаем, что $x$ - фиксировано). Вот.

Ну, начало доказательства таких вещей стандартно - берем точку прикосновения этого множества - $p^*$, значит к ней существует сходящаяся последовательность из $P$. Надо доказать, что $p^* \in P$. Это означает, что существует последовательности лямбд и векторов из субдифференциалов. В принципе - на открытом выпуклом множестве в любой его точке субдифференциал выпуклой фукнции есть замкнутое множество... Но тут еще лямбды...

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group