Выпуклое множество и его свойства

Напомним, что вещественное линейное пространство $$X$$ - это абелева группа по сложению, и для каждого элемента $$x \in X$$ и вещественного $$a \in \mathbb{R}$$ определено произведение $$\alpha x \in X$$, удовлетворяющее следующим аксиомам для произвольных $$\alpha, \beta \in \mathbb{R},~ x, y \in X$$ выполняются

$$ \begin{array} \alpha(x+y)=\alpha x+\alpha y & - &\text{дистрибутивность (относительно сложения векторов)},\\ (\alpha+\beta)x=\alpha x+\beta x & - &\text{дистрибутивность (относительно сложения скаляров)},\\ (\alpha\beta)x=\alpha(\beta x) & - & \text{ассоциативность},\\ && 1\cdot x=x. \end{array} $$

Примеры вещественных линейных пространств.

1. $$С[a,b]$$ - пространство функций, непрерывных на отрезке $$[a, b]$$.

2. $$\mathbb{R}^n$$ - множество всевозможных упорядоченных наборов из $$n$$ вещественных чисел (или $$n$$-мерное арифметическое пространство).

3. Пространство прямоугольных матриц $$n \times m$$.

4. $$C^k[a, b]$$ - пространство непрерывных на отрезке $$[a, b]$$ и $$k$$ раз непрерывно дифференцируемых в интервале $$(a, b)$$ функций.

Вещественное линейное пространство $$X$$ называется нормированным, если в нем введена норма $$\|\cdot\|$$, удовлетворяющая аксиомам

$$ \begin{array}{l} \|x\| \geq0~~\forall x\in X,~~\|x\|=0\Leftrightarrow x=0,\\ \|\alpha x\|=|\alpha|\|x\|~~\forall\alpha\in\mathbb{R},\\ \|x+y\|\leq\|x+y\|~~\forall x,y\in X. \end{array} $$

В нормированном пространстве последовательность точек $$\{x_k\}$$ сходится к точке $$x_0$$, если $$\|x_k-x_0\|\rightarrow 0$$, при $$k\rightarrow\infty$$.

Полное нормированное пространство называется банаховым.

Пусть $$X$$ - нормированное пространство. Для $$\varepsilon>0$$ и $$x_0\in X$$ через $$O(x_0,\varepsilon)=\{x\in X:~\|x-x_0\|<\varepsilon\}$$ будем обозначать открытую $$\varepsilon$$-окрестность точки $$x_0$$. Пусть $$A$$ - подмножество $$X$$. Точка $$x_0$$ называется внутренней точкой множества $$A$$, если существует $$\varepsilon>0$$ такое, что $$O(x_0,\varepsilon)\subset A$$. Множество всех внутренних точек $$A$$ обозначается через $$\operatorname{int}A$$.

Определения выпуклого множества и выпуклой комбинации точек

1. Множество $$A$$ называется выпуклым, если для любых двух точек $$x_1,x_2\in A$$ выполняется \begin{gather*} [x_1,x_2]\subset A, \text{ т.е. } \alpha x_1+(1-\alpha x_2)\in A~~\forall\alpha\in[0,1]. \end{gather*}

2. Сумма $$\sum_{i=1}^k\alpha_i x_i$$ называется выпуклой комбинацией точек $$x_1,\ldots,x_k$$, если $$\alpha_i\geq0,~i=1,\ldots,k,~\sum_{i=1}^k\alpha_i=1$$.

3. Пусть $$A,B\subset X$$ и $$\alpha\in\mathbb{R}$$. Введем в рассмотрение множества \begin{gather*} A+B=\{x\in X: ~x=a+b,~a\in A,~b\in B\},\\ \alpha A=\{x\in X: x=\alpha a, ~a\in A\}. \end{gather*}

Свойства выпуклых множеств

Теорема 1

Имеют место следующие свойства.

1. Пересечение любого числа выпуклых множеств $$A_\sigma\subset X,~\sigma\in\Sigma$$ является выпуклым множеством.

2. Пусть $$A_1,\ldots,A_n$$ - выпуклые подмножества $$X,~\alpha_1,\ldots,\alpha_n\in\mathbb{R}$$. Тогда множество $$\sum_{k=1}^n\alpha_i A_i$$ выпукло.

Доказательство:

1. Возьмем произвольные точки $$x, y \in \bigcap_{\sigma \in \Sigma} A_\sigma$$ Каждое из множеств $$A_\sigma$$ является выпуклым Поэтому $$[x, y] \subset A_\sigma$$ для любого $$\sigma \in \Sigma$$ Отсюда $$[x, y] \subset \bigcap_{a \in \Sigma} A_\sigma$$. что по определению означает выпуклость пересечения множеств $$\bigcap_{\sigma \in \Sigma:} A_\sigma$$

2 Возьмем произвольные точки $$x, y \in \sum_{i=1}^n \alpha_i A_i$$, , По определению существуют $$x_1, y_1 \in A_1, \ldots, x_n, y_n \in A_n$$ такие, что $$ x=\sum_{i=1}^n \alpha_i x_t, \quad y=\sum_{i=1}^n \alpha_i y z $$ Из выпуклости множеств $$A_{\bar{x}}$$ следует, что для любых $$\alpha . \beta \geqslant 0$$, $$\alpha+\beta-1$$, имеет место $$\alpha x_i+\beta y_t \in A_2$$ и, значит, $$\alpha x+\beta y=$$ $$=\sum_{i=1}^n \alpha_1\left(\alpha x_2+\beta y_2\right) \in \sum_{i=1}^n \alpha_2 A_2$$, откуда вытекает выпуклость множества $$\sum_{i=1}^n \alpha_2 A_1$$

Из определения операции суммы множеств и произведения множества на число непосредственно вытекает включение $$ (\alpha+\beta) A \subset \alpha A+\beta A $$ справедливое для произвольного множества $$А$$ и чисел $$\alpha, \beta$$