Теорема Каратеодори: различия между версиями

Материал из sawiki
Перейти к навигации Перейти к поиску
Строка 35: Строка 35:
  
 
При $$n = 2$$ Для множества  $$A \subset \mathbb{R}^2$$, не содержащегося в одной прямой, $$\operatorname{conv}(A)$$ — объединение всех треугольников с вершинами в $$A$$.
 
При $$n = 2$$ Для множества  $$A \subset \mathbb{R}^2$$, не содержащегося в одной прямой, $$\operatorname{conv}(A)$$ — объединение всех треугольников с вершинами в $$A$$.
 +
 +
== Теорема о наполнении $$\operatorname{conv} A$$ ==

Версия 11:07, 21 октября 2022

Теорема Каратеодори

Пусть $$A \subset \mathbb{R}^n$$. Тогда $$\operatorname{conv} A$$ состоит из всевозможных выпуклых комбинаций не более чем $$(n+1)$$ точек множества $$A$$.

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

Положим \begin{gather*} B=\left\{x: x=\sum_{i=1}^{n+1} \alpha_i x_i, \text { где } x_i \in A, ~\alpha_i \geqslant 0~\forall i=\overline{1, n+1}, \sum_{i=1}^{n+1} \alpha_i=1\right\} \text {. } \end{gather*} По теореме о наполнении выпуклой оболочки $$\operatorname{conv} A: B \subset \operatorname{conv} A$$. Осталось показать, что $$\operatorname{conv} A \subset B$$.

Пусть $$x \in \operatorname{conv} A$$. Тогда для некоторого натурального $$r$$ справедливо представление:

\begin{gather*} x=\sum_{i=1}^{r+1} \alpha_i x_i,~~ \text{где } \alpha_i \geqslant 0, ~x_i \in A, ~i=\overline{1, r+1},~ \sum_{i=1}^{r+1} \alpha_i=1. \end{gather*}

Если $$r \leqslant n$$, то $$x \in B$$. Пусть теперь $$r>n$$. Покажем, что в этом случае $$x$$ можно представить в виде выпуклой комбинации не более чем $$~r~$$ точек множества $$A$$. Если хотя бы одно из чисел $$\alpha_i$$ равно нулю, то это очевидно. Пусть теперь $$\alpha_i>0 ~\forall i$$. Поскольку $$r>n$$, система векторов $$x_i-x_{r+1},~ i=1, \ldots, r$$, линейно зависима. Поэтому найдутся такие числа $$t_1, \ldots, t_r$$, не все равные нулю, что

\begin{gather*} \sum_{i=1}^r t_i\left(x_i-x_{r+1}\right)=0 \end{gather*}

Положим $$t_{r+1}=-\sum_{i=1}^r t_i$$. Тогда $$\sum_{i=1}^{r+1} x_i t_i=0, \sum_{i=1}^{r+1} t_i=0$$ и, значит, для произвольного числа $$c$$ :

\begin{gather}\label{eq1} x=\sum_{i=1}^{r+1} \alpha_i x_i+\sum_{i=1}^{r+1} c t_i x_i=\sum_{i=1}^{r+1}\left(\alpha_i+c t_i\right) x_i, \quad \sum_{i=1}^{r+1}\left(\alpha_i+c t_i\right)=1. \end{gather}

Очевидно, хотя бы одно из чисел $$t_i$$ отрицательно. Кроме того, $$\alpha_i>0$$ для любого $$i$$ и, значит, при $$c=0$$ все числа $$\left(\alpha_i+c t_i\right)$$ положительны. Будем увеличивать параметр $$c$$ от нуля до бесконечности. Тогда, очевидно, существует наименьшее число $$c>0$$ такое, что для всех номеров $$i$$ выполняется $$\left(\alpha_i+c t_i\right) \geqslant 0$$, а для некоторого $$i_0 \leqslant r+1$$ имеет место $$\left(\alpha_{i_0}+c t_{i_0}\right)=0$$. Поэтому, отбрасывая в представлении (\ref{eq1}) $$i_0$$-е слагаемое $$\left(\alpha_{i_0}+c t_{i_0}\right) x_{i_0}$$, получаем искомое утверждение, т. е. что $$x$$ представимо в виде выпуклой линейной комбинации не более чем $$r$$ точек множества $$A$$.

Повторяя указанную процедуру конечное число раз, получим, что $$r \leqslant n$$и, значит, $$x \in B$$. Таким образом, доказано, что $$\operatorname{conv} A \subset B$$

Следствия

При $$n = 1$$ Для множества $$A$$ на прямой, $$\operatorname{conv}(A)$$ — объединение всех отрезков с концами в $$A$$.

При $$n = 2$$ Для множества $$A \subset \mathbb{R}^2$$, не содержащегося в одной прямой, $$\operatorname{conv}(A)$$ — объединение всех треугольников с вершинами в $$A$$.

Теорема о наполнении $$\operatorname{conv} A$$