Теорема Хелли

Теорема Хелли — классический результат комбинаторной геометрии и выпуклого анализа. Теорема даёт условие на семейство выпуклых множеств, гарантирующее то, что это семейство имеет непустое пересечение.

На плоскости, непустое пересечения всех троек выпуклых фигур влечёт, что пересечение всех непусто

Формулировки

Конечные семейства

Предположим, что

X_{1},X_{2},\dots ,X_{n}

есть конечное семейство выпуклых подмножеств евклидова пространства $\mathbb {R} ^{d}$ , такое что пересечение любых $d+1$ из них непусто.

Тогда пересечение всех подмножеств из этого семейства непусто, то есть

\bigcap _{j=1}^{n}X_{j}\neq \emptyset

.[1]

Бесконечные семейства

Для бесконечных семейств необходимо дополнительно потребовать компактность:

Пусть $\{X_{\alpha }\}$ есть произвольное семейство выпуклых компактных подмножеств $\mathbb {R} ^{d}$ , такое что пересечение любых $d+1$ из них непусто. Тогда пересечение всех подмножеств из этого семейства непусто.

Следствия

Теорема Юнга: Пусть $S$ есть конечное множество точек в $d$ -мерном евклидовом пространстве $\mathbb {R} ^{d}$ такое, что любые $d+1$ точек из $S$ можно накрыть единичным шаром. Тогда и всё множество $S$ можно накрыть единичным шаром.
Радиус Юнга: Пусть $X$ — множество точек в $d$ -мерном евклидовом пространстве $\mathbb {R} ^{d}$ , с диаметром $diamX\leqslant 2$ . Тогда существует $d$ -мерный замкнутый шар $B^{d}(r)$ радиуса $r={\sqrt {2d/(d+1)}}$ , такой что $X\subset B^{d}(r)$ . Если множество $X$ не принадлежит никакому меньшему шару, то $X$ содержит вершины $d$ -симплекса с длиной каждого ребра $2$ .[2]
Теорема Киршбрауна

Вариации и обобщения

Пусть $H$ — гильбертово пространство (не обязательно сепарабельное) и $X_{\alpha }$ — семейство замкнутых ограниченных выпуклых подмножеств $H$ . Если пересечение произвольного конечного подсемейства $X_{\alpha }$ не пусто то $\cap _{\alpha }X_{\alpha }$ также непусто.

История

Теорема была доказана Эдуардом Хелли в 1913, о чём он рассказал Радону, опубликовал он её только в 1923[3], уже после публикаций Радона[4] и Кёнига[5].

См. также

Примечания

Шикин Е. В. Линейные пространства и отображения. - М., МГУ, 1987. - c. 177
Шикин Е. В. Линейные пространства и отображения. — М., МГУ, 1987. — с. 293
E. Helly Über Mengen konvexer Körper mit gemeinschaftlichen Punkten (недоступная ссылка), — Jber. Deutsch. Math. Vereinig. 32 (1923), 175—176.
J. Radon Mengen konvexer Körper, die einen gemeinsamen Punkt enthalten (недоступная ссылка), — Math. Ann. 83 (1921), 113—115.
D. König Über konvexe Körper, — Math. Z. 14 (1922), 208—220.

Литература

Данцер Л., Грюнбаум Б., Кли В. Теорема Хелли и ее применения. — М.: Мир, 1968. — 159 с.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Шикин Е. В. Линейные пространства и отображения. - М., МГУ, 1987. - c. 177

[2] Шикин Е. В. Линейные пространства и отображения. — М., МГУ, 1987. — с. 293

[3] E. Helly Über Mengen konvexer Körper mit gemeinschaftlichen Punkten (недоступная ссылка), — Jber. Deutsch. Math. Vereinig. 32 (1923), 175—176.

[4] J. Radon Mengen konvexer Körper, die einen gemeinsamen Punkt enthalten (недоступная ссылка), — Math. Ann. 83 (1921), 113—115.

[5] D. König Über konvexe Körper, — Math. Z. 14 (1922), 208—220.