Epsilon number

The standard definition of ordinal exponentiation with base α is: • \alpha^0 = 1 \,, • \alpha^\beta = \alpha^{\beta-1} \cdot \alpha \,, when \beta has an immediate predecessor \beta - 1. • \alpha^\beta=\sup \lbrace\alpha^\delta \mid 0 , whenever \beta is a limit ordinal. From this definition, it follows that for any fixed ordinal , the mapping \beta \mapsto \alpha^\beta is a normal function, so it has arbitrarily large fixed points by the fixed-point lemma for normal functions. When \alpha = \omega, these fixed points are precisely the ordinal epsilon numbers. • \varepsilon_0 = \sup \left\lbrace 1, \omega, \omega^\omega, \omega^{\omega^\omega}, \omega^{\omega^{\omega^\omega}}, \ldots\right\rbrace \,, • \varepsilon_\beta = \sup \left\lbrace {\varepsilon_{\beta-1}+1}, \omega^{\varepsilon_{\beta-1}+1}, \omega^{\omega^{\varepsilon_{\beta-1}+1}}, \omega^{\omega^{\omega^{\varepsilon_{\beta-1}+1}}}, \ldots\right\rbrace \,, when \beta has an immediate predecessor \beta - 1. • \varepsilon_\beta=\sup \lbrace \varepsilon_\delta \mid \delta , whenever \beta is a limit ordinal. Because :\omega^{\varepsilon_0 + 1} = \omega^{\varepsilon_0} \cdot \omega^1 = \varepsilon_0 \cdot \omega \,, :\omega^{\omega^{\varepsilon_0 + 1}} = \omega^{(\varepsilon_0 \cdot \omega)} = {(\omega^{\varepsilon_0})}^\omega = \varepsilon_0^\omega \,, :\omega^{\omega^{\omega^{\varepsilon_0 + 1}}} = \omega^{{\varepsilon_0}^\omega} = \omega^{{\varepsilon_0}^{1+\omega}} = \omega^{(\varepsilon_0\cdot{\varepsilon_0}^\omega)} = {(\omega^{\varepsilon_0})}^{{\varepsilon_0}^\omega} = {\varepsilon_0}^{{\varepsilon_0}^\omega} \,, a different sequence with the same supremum, \varepsilon_1, is obtained by starting from 0 and exponentiating with base instead: :\varepsilon_1 = \sup\left\{1, \varepsilon_0, {\varepsilon_0}^{\varepsilon_0}, {\varepsilon_0}^{{\varepsilon_0}^{\varepsilon_0}}, \ldots\right\}. Generally, the epsilon number \varepsilon_{\beta} indexed by any ordinal that has an immediate predecessor \beta-1 can be constructed similarly. :\varepsilon_{\beta} = \sup\left\{1, \varepsilon_{\beta-1}, \varepsilon_{\beta-1}^{\varepsilon_{\beta-1}}, \varepsilon_{\beta-1}^{\varepsilon_{\beta-1}^{\varepsilon_{\beta-1}}}, \dots\right\}. In particular, whether or not the index β is a limit ordinal, \varepsilon_\beta is a fixed point not only of base exponentiation but also of base δ exponentiation for all ordinals 1 . Since the epsilon numbers are an unbounded subclass of the ordinal numbers, they are enumerated using the ordinal numbers themselves. For any ordinal number \beta, \varepsilon_\beta is the least epsilon number (fixed point of the exponential map) not already in the set \{ \varepsilon_\delta\mid \delta . It might appear that this is the non-constructive equivalent of the constructive definition using iterated exponentiation; but the two definitions are equally non-constructive at steps indexed by limit ordinals, which represent transfinite recursion of a higher order than taking the supremum of an exponential series. The following facts about epsilon numbers are straightforward to prove: • Although it is quite a large number, \varepsilon_0 is still countable, being a countable union of countable ordinals; in fact, \varepsilon_\beta is countable if and only if \beta is countable. • The union (or supremum) of any non-empty set of epsilon numbers is an epsilon number; so for instance \varepsilon_\omega = \sup\{\varepsilon_0, \varepsilon_1, \varepsilon_2, \ldots\} is an epsilon number. Thus, the mapping \beta \mapsto \varepsilon_\beta is a normal function. • The initial ordinal of any uncountable cardinal is an epsilon number. \alpha \ge 1 \Rightarrow \varepsilon_{\omega_{\alpha}} = \omega_{\alpha} \,. == Representation of ε0 by rooted trees ==

Any epsilon number ε has Cantor normal form \varepsilon =\omega ^{\varepsilon }, which means that the Cantor normal form is not very useful for epsilon numbers. The ordinals less than , however, can be usefully described by their Cantor normal forms, which leads to a representation of as the ordered set of all finite rooted trees, as follows. Any ordinal \alpha has Cantor normal form \alpha=\omega^{\beta_1}+\omega^{\beta_2}+\cdots+\omega^{\beta_k} where k is a natural number and \beta_1,\ldots,\beta_k are ordinals with \alpha>\beta_1\geq\cdots\geq\beta_k, uniquely determined by \alpha. Each of the ordinals \beta_1,\ldots,\beta_k in turn has a similar Cantor normal form. We obtain the finite rooted tree representing α by joining the roots of the trees representing \beta_1,\ldots,\beta_k to a new root. (This has the consequence that the number 0 is represented by a single root while the number 1=\omega^0 is represented by a tree containing a root and a single leaf.) An order on the set of finite rooted trees is defined recursively: we first order the subtrees joined to the root in decreasing order, and then use lexicographic order on these ordered sequences of subtrees. In this way the set of all finite rooted trees becomes a well-ordered set which is order isomorphic to . This representation is related to the proof of the hydra theorem, which represents decreasing sequences of ordinals as a graph-theoretic game. ==Veblen hierarchy==

The fixed points of the "epsilon mapping" x \mapsto \varepsilon_x form a normal function, whose fixed points form a normal function; this is known as the Veblen hierarchy (the Veblen functions with base ). In the notation of the Veblen hierarchy, the epsilon mapping is , and its fixed points are enumerated by (see ordinal collapsing function.) Continuing in this vein, one can define maps for progressively larger ordinals α (including, by this rarefied form of transfinite recursion, limit ordinals), with progressively larger least fixed points . The least ordinal not reachable from 0 by this procedure—i. e., the least ordinal α for which , or equivalently the first fixed point of the map \alpha \mapsto \varphi_\alpha(0)—is the Feferman–Schütte ordinal . In a set theory where such an ordinal can be proved to exist, one has a map that enumerates the fixed points , , , ... of \alpha \mapsto \varphi_\alpha(0); these are all still epsilon numbers, as they lie in the image of for every , including of the map that enumerates epsilon numbers. == Surreal ε numbers ==

In On Numbers and Games, the classic exposition on surreal numbers, John Horton Conway provided a number of examples of concepts that had natural extensions from the ordinals to the surreals. One such function is the \omega-map n \mapsto \omega^n; this mapping generalises naturally to include all surreal numbers in its domain, which in turn provides a natural generalisation of the Cantor normal form for surreal numbers. It is natural to consider any fixed point of this expanded map to be an epsilon number, whether or not it happens to be strictly an ordinal number. Some examples of non-ordinal epsilon numbers are :\varepsilon_{-1} = \left\{0, 1, \omega, \omega^\omega, \ldots \mid \varepsilon_0 - 1, \omega^{\varepsilon_0 - 1}, \ldots\right\} and :\varepsilon_{1/2} = \left\{\varepsilon_0 + 1, \omega^{\varepsilon_0 + 1}, \ldots \mid \varepsilon_1 - 1, \omega^{\varepsilon_1 - 1}, \ldots\right\}. There is a natural way to define \varepsilon_n for every surreal number n, and the map remains order-preserving. Conway goes on to define a broader class of "irreducible" surreal numbers that includes the epsilon numbers as a particularly interesting subclass. == See also ==