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

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

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

ФормулировкиПравить

Конечные семействаПравить

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

$X_1,X_2,\dots <!--\; \dots \; -->,X_n$$X_{1},X_{2},\dots ,X_{n}$ 

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

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

$\underset{j=1}{\overset{n}{\bigcap <!--\; \bigcap \; -->}}{X}_j\ne <!--\; \ne \; -->\mathrm{\varnothing <!--\; \varnothing \; -->}$$\bigcap _{j=1}^{n}X_{j}\neq \emptyset$ .

Бесконечные семействаПравить

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

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

СледствияПравить

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

Вариации и обобщенияПравить

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

ИсторияПравить

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

См. такжеПравить

• Нерв покрытия
• Теорема Каратеодори о выпуклой оболочке

ЛитератураПравить

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