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

• В семействе всех подмножеств множества {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[3].
• Семейство бесконечных арифметических прогрессий целых чисел также 2-хеллево. То есть, если конечный набор прогрессий имеет свойство, что любые два из них имеют общий член, то существует целое число, принадлежащее всем прогрессиям семейства. А это как раз китайская теорема об остатках[2].

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

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

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

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

и

${\displaystyle \left|H\right|\leq k.}$[1]

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

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

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

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

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

Метрическое пространство, в котором замкнутые шары 2-хеллевы (то есть это пространство с размерностью Хелли 1) называется инъективным или гипервыпуклым[9]. Существование плотной оболочки позволяет вложить любое метрическое пространство в пространство с размерностью Хелли 1[10].