Семейство Хелли

Семейство Хелли порядка k — это семейство множеств со свойством, что любое минимальное подсемейство с пустым пересечением имеет k или меньше множеств. Эквивалентно, любое конечное подсемейство со свойством, что любое пересечение k множеств не пусто, имеет непустое общее пересечениеШаблон:Sfn.

Говорят, что семейство k-хеллево, если оно является семейством Хелли порядка kШаблон:Sfn. Понятие получило название по имени математика Эдуарда Хелли (1884—1943). Теорема Хелли о выпуклых множествах, которая и побудила ввести понятие, утверждает, что выпуклые множества в евклидовом пространстве размерности n являются семейством Хелли порядка n + 1Шаблон:Sfn. Число k часто опускается, когда обсуждается случай k = 2.

Примеры

• В семействе всех подмножеств множества {a,b,c,d}, подсемейство {{a,b,c}, {a,b,d}, {a,c,d}, {b,c,d}} имеет пустое пересечение, но удаление любого множества из этого подсемейства приводит к непустому пересечению. Таким образом, семейство является минимальным подсемейством с пустым пересечением. В семейство входит четыре множества и оно является наибольшим возможным минимальным подсемейством с пустым пересечением, так что семейство всех подмножеств множества {a,b,c,d} — это семейство Хелли порядка 4.
• Пусть I — конечное множество замкнутых интервалов вещественной оси с пустым пересечением. Пусть A — интервал, левый конец a которого максимален, а B — интервал, правый конец b которого минимален. Тогда, если a меньше либо равен b, все числа в интервале [a,b] принадлежат всем интервалам множества I, что противоречит условию пустоты пересечения интервалов из I, так что должно выполняться неравенство a > b. Таким образом, подмножество {A, B}, содержащее два интервала, имеет пустое пересечение, и семейство не может быть минимальным, разве что I = { A, B}. Поэтому все минимальные семейства интервалов с пустыми пересечениями имеют два или менее интервалов, что показывает, что множество всех интервалов является семейством Хелли порядка 2.
• Семейство бесконечных арифметических прогрессий целых чисел также 2-хеллево. То есть, если конечный набор прогрессий имеет свойство, что любые два из них имеют общий член, то существует целое число, принадлежащее всем прогрессиям семейства. А это как раз китайская теорема об остаткахШаблон:Sfn.

Формальное определение

Более формально, семейство Хелли порядка k — это Шаблон:Не переведено 5 (F, E), где F — набор подмножеств из E со свойством, что для любого конечного набора G ⊆ F выполняется

$\bigcap _{X\in G}X=\varnothing ,$

мы можем найти набор H ⊆ G, такой, что

$\bigcap _{X\in H}X=\varnothing$

и

$\left|H\right|\le k.$Шаблон:Sfn

В некоторых случаях то же определение рассматривается для любых подколлекций G, не предполагая конечность. Однако такое определение является более сильным ограничивающим определением. Например, открытые интервалы вещественной оси удовлетворяют свойству Хелли для конечных подколлекций, но не для бесконечных — интервалы (0,1/i) (для i = 1, 2, 3, ...) имеют попарное непустое пересечение, но пересечение всех таких интервалов пусто.

Размерность Хелли

Если семейство множеств является семейством Хелли порядка k, то говорят, что семейство имеет число Хелли k. Размерность Хелли метрического пространства на единицу меньше числа Хелли семейства метрических шаров этого пространства. Из теоремы Хелли следует, что размерность Хелли евклидового пространства равна его размерности как вещественного векторного пространстваШаблон:Sfn.

Размерность Хелли подмножества S евклидового пространства, такого как многогранник, на единицу меньше числа Хелли семейства параллельных переносов SШаблон:Sfn. Например, размерность Хелли любого гиперкуба равна 1, даже если такая фигура находится в евклидовом пространстве очень высокой размерностиШаблон:Sfn.

Размерность Хелли применима и к другим математическим объектам. Например, ДомокосШаблон:Sfn определяет размерность Хелли для группы (алгебраической структуры, образованной обратимой и ассоциативной двуместной операцией) на единицу меньше размерности Хелли семейства левых смежных классов группыШаблон:Sfn.

Свойство Хелли

Если семейство непустых множеств имеет пустое пересечение, его число Хелли должно быть не меньше двух, так что наименьшее k, для которого случай не является тривиальным, равно 2. Свойство 2-хеллевости известно также как свойство Хелли. 2-хеллево семейство известно как хеллево семействоШаблон:SfnШаблон:Sfn.

Метрическое пространство, в котором замкнутые шары 2-хеллевы (то есть это пространство с размерностью Хелли 1) называется инъективным или гипервыпуклымШаблон:Sfn. Существование Шаблон:Не переведено 5 позволяет вложить любое метрическое пространство в пространство с размерностью Хелли 1Шаблон:Sfn.

Литература

• Шаблон:Книга
• Шаблон:Книга. См., в частности, раздел 2.5, "Helly Property", pp. 393–394
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Книга