Помогите пожалуйста решить задачу.
Даны выпуклые функции
![$\[{g_i}:{\mathbb{R}^n} \to \mathbb{R}{\text{ }}i = \overline {1,m} \]$ $\[{g_i}:{\mathbb{R}^n} \to \mathbb{R}{\text{ }}i = \overline {1,m} \]$](https://dxdy-03.korotkov.co.uk/f/a/2/2/a2224ccdeac7c2ce8a46e4a219db4c8282.png)
и соответствующее множество
![$\[S = \left\{ {x|{g_i}\left( x \right) \leqslant 0{\text{ }}\forall i = \overline {1,m} } \right\}\]
$ $\[S = \left\{ {x|{g_i}\left( x \right) \leqslant 0{\text{ }}\forall i = \overline {1,m} } \right\}\]
$](https://dxdy-04.korotkov.co.uk/f/3/7/6/3760343f13cde18a2db6905347c6dc6d82.png)
. Доказать замкнутость множества
![$\[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\}\]$ $\[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\}\]$](https://dxdy-03.korotkov.co.uk/f/6/b/8/6b8fa465916a41589d1131812fb8d59b82.png)
, где
![$\[{\partial {g_i}\left( x \right)}\]$ $\[{\partial {g_i}\left( x \right)}\]$](https://dxdy-01.korotkov.co.uk/f/4/c/8/4c81a759821165ba990d224db5120b5682.png)
- субдифференциал функции
![$\[{{g_i}\left( x \right)}\]$ $\[{{g_i}\left( x \right)}\]$](https://dxdy-04.korotkov.co.uk/f/b/f/a/bfa16a830485e2ec25b5f38d6db7768e82.png)
,
![$\[{I\left( x \right)}\]
$ $\[{I\left( x \right)}\]
$](https://dxdy-02.korotkov.co.uk/f/1/6/4/164939d20e3465d6dbbb06add7b5e09482.png)
- множество активных индексов. (Надо как-то использовать условие Слейтера (подсказка, типа), которое означает, что существует точка из

, такая, что
![$\[{{g_i}\left( x \right) < 0{\text{ }}\forall i = \overline {1,m} }\]$ $\[{{g_i}\left( x \right) < 0{\text{ }}\forall i = \overline {1,m} }\]$](https://dxdy-02.korotkov.co.uk/f/1/4/c/14c9108b236e3acdc85cf3efdba5318982.png)
. А еще, как я понимаю, считаем, что

- фиксировано). Вот.
Ну, начало доказательства таких вещей стандартно - берем точку прикосновения этого множества -

, значит к ней существует сходящаяся последовательность из

. Надо доказать, что

. Это означает, что существует последовательности лямбд и векторов из субдифференциалов. В принципе - на открытом выпуклом множестве в любой его точке субдифференциал выпуклой фукнции есть замкнутое множество... Но тут еще лямбды...