Loading AI tools
A pair of collections of integer sequences with no such sequence lying between them. From Wikipedia, the free encyclopedia
In mathematics, a Hausdorff gap consists roughly of two collections of sequences of integers, such that there is no sequence lying between the two collections. The first example was found by Hausdorff (1909). The existence of Hausdorff gaps shows that the partially ordered set of possible growth rates of sequences is not complete.
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (December 2022) |
Let be the set of all sequences of non-negative integers, and define to mean .
If is a poset and and are cardinals, then a -pregap in is a set of elements for and a set of elements for such that:
A pregap is called a gap if it satisfies the additional condition:
A Hausdorff gap is a -gap in such that for every countable ordinal and every natural number there are only a finite number of less than such that for all we have .
There are some variations of these definitions, with the ordered set replaced by a similar set. For example, one can redefine to mean for all but finitely many . Another variation introduced by Hausdorff (1936) is to replace by the set of all subsets of , with the order given by if has only finitely many elements not in but has infinitely many elements not in .
It is possible to prove in ZFC that there exist Hausdorff gaps and -gaps where is the cardinality of the smallest unbounded set in , and that there are no -gaps. The stronger open coloring axiom can rule out all types of gaps except Hausdorff gaps and those of type with .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.