Content deleted Content added
m Clean up and fix indefinite article using AWB |
m Spelling. Also, one doesn't use "an" with words starting with the Y sound, as Euclidean does. |
||
Line 26:
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]].
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 [[Translation (geometry)|translates]] of S. For instance, the Helly dimension of any [[hypercube]] is 1, even though such a shape may belong to
Helly dimension has also been applied to other mathematical objects; for instance Domokos ({{arxiv|archive=math.AG|id=0511300}}) defines the Helly dimension of a group to be one less than the Helly number of the family of left cosets of the group.
| |||