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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
На плоскости, непустое пересечения всех троек выпуклых фигур влечёт, что пересечение всех непусто

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

Формулировки[править | править вики-текст]

Конечные семейства[править | править вики-текст]

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

есть конечное семейство выпуклых подмножеств евклидова пространства , такое что пересечение любых из них непусто.

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

.

Бесконечные семейства[править | править вики-текст]

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

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

Следствия[править | править вики-текст]

  • Теорема Юнга: Пусть есть конечное множество точек в -мерном евклидовом пространстве такое, что любые точек из можно накрыть единичным шаром. Тогда и всё множество можно накрыть единичным шаром.
  • Теорема Киршбрауна

Вариации и обобщения[править | править вики-текст]

История[править | править вики-текст]

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

См. также[править | править вики-текст]

Примечания[править | править вики-текст]

  1. E. Helly Über Mengen konvexer Körper mit gemeinschaftlichen Punkten, — Jber. Deutsch. Math. Vereinig. 32 (1923), 175—176.
  2. J. Radon Mengen konvexer Körper, die einen gemeinsamen Punkt enthalten, — Math. Ann. 83 (1921), 113—115.
  3. D. König Über konvexe Körper, — Math. Z. 14 (1922), 208—220.

Литература[править | править вики-текст]