η set

In mathematics, an η set is a type of totally ordered set introduced by Hausdorff (1907,p.126, 1914,chapter 6 section 8) that generalizes the order type η of the rational numbers.

Definition

If α is an ordinal then a ηα set is a totally ordered set such that if X and Y are two subsets of cardinality less than ℵα such that every element of X is less than every element of Y then there is some element greater than all elements of X and less than all elements of Y.

Examples

The only non-empty countable η0 set (up to isomorphism) is the ordered set of rational numbers.

Suppose that κ=ℵα is a regular cardinal and let X be the set of all functions f from κ to {−1,0,1} such that if f(α) = 0 then f(β) = 0 for all β>α, ordered lexicographically. Then X is a ηα set. The union of all these sets is the class of surreal numbers.

A dense totally ordered set without endpoints is a ηα set if and only if it is α saturated.

Properties

Any ηα set X is universal for totally ordered sets of cardinality at most ℵα, meaning that any such set can be embedded into X.

For any given ordinal α, any two ηα sets of cardinality ℵα are isomorphic (as ordered sets). An ηα set of cardinality ℵα exists if ℵα is regular and ∑β<α 2β ≤ ℵα.

References

This article is issued from Wikipedia - version of the Sunday, October 26, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.