Helly family

• In the family of all subsets of the set {a,b,c,d}, the subfamily {{a,b,c}, {a,b,d}, {a,c,d}, {b,c,d}} has an empty intersection, but removing any set from this subfamily causes it to have a nonempty intersection. Therefore, it is a minimal subfamily with an empty intersection. It has four sets in it, and is the largest possible minimal subfamily with an empty intersection, so the family of all subsets of the set {a,b,c,d} is a Helly family of order 4.
• Let I be a finite set of closed intervals of the real line with an empty intersection. Let A be the interval whose left endpoint a is as large as possible, and let B be the interval whose right endpoint b is as small as possible. Then, if a were less than or equal to b, all numbers in the range [a,b] would belong to all intervals of I, violating the assumption that the intersection of I is empty, so it must be the case that a > b. Thus, the two-interval subfamily {A,B} has an empty intersection, and the family I cannot be minimal unless I = {A,B}. Therefore, all minimal families of intervals with empty intersections have two or fewer intervals in them, showing that the set of all intervals is a Helly family of order 2.[3]
• The family of infinite arithmetic progressions of integers also has the 2-Helly property. That is, whenever a finite collection of progressions has the property that no two of them are disjoint, then there exists an integer that belongs to all of them; this is the Chinese remainder theorem.[2]

More formally, a Helly family of order k is a set system (V, E), with E a collection of subsets of V, such that, for every finite G ⊆ E with

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

we can find H ⊆ G such that

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

and

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

In some cases, the same definition holds for every subcollection G, regardless of finiteness. However, this is a more restrictive condition. For instance, the open intervals of the real line satisfy the Helly property for finite subcollections, but not for infinite subcollections: the intervals (0,1/i) (for i = 0, 1, 2, ...) have pairwise nonempty intersections, but have an empty overall intersection.

If a family of sets is a Helly family of order k, that family is said to have Helly number k. The Helly dimension of a metric space is one less than the Helly number of the family of metric balls in that space; Helly's theorem implies that the Helly dimension of a Euclidean space equals its dimension as a real vector space.[4]

The Helly dimension of a subset S of a Euclidean space, such as a polyhedron, is one less than the Helly number of the family of translates of S.[5] For instance, the Helly dimension of any hypercube is 1, even though such a shape may belong to a Euclidean space of much higher dimension.[6]

Helly dimension has also been applied to other mathematical objects. For instance Domokos (2007) defines the Helly dimension of a group (an algebraic structure formed by an invertible and associative binary operation) to be one less than the Helly number of the family of left cosets of the group.[7]

If a family of nonempty sets has an empty intersection, its Helly number must be at least two, so the smallest k for which the k-Helly property is nontrivial is k = 2. The 2-Helly property is also known as the Helly property. A 2-Helly family is also known as a Helly family.[1][2]

A convex metric space in which the closed balls have the 2-Helly property (that is, a space with Helly dimension 1, in the stronger variant of Helly dimension for infinite subcollections) is called injective or hyperconvex.[8] The existence of the tight span allows any metric space to be embedded isometrically into a space with Helly dimension 1.[9]

A hypergraph is equivalent to a set-family. In hypergraphs terms, a hypergraph H = (V, E) has the Helly property if for every n hyperedges ${\displaystyle e_{1},\ldots ,e_{n}}$ in E, if ${\displaystyle \forall i,j\in [n]:e_{i}\cap e_{j}\neq \emptyset }$, then ${\displaystyle e_{1}\cap \cdots \cap e_{n}\neq \emptyset }$.[10]^: 467 For every hypergraph H, the following are equivalent:[10]^{: 470–471}

• H has the Helly property, and the intersection graph of H (the simple graph in which the vertices are E and two elements of E are linked iff they intersect) is a perfect graph.
• Every partial hypergraph of H (i.e., a hypergraph derived from H by deleting some hyperedges) has the Konig property, i.e., its maximum-matching size equals its minimum-transversal size.
• Every partial hypergraph of H has the property that its maximum degree equals its minimum edge coloring number.