|
|
| Line 1: |
Line 1: |
| {{about|an ordinal in mathematics|the physical constant ε<sub>0</sub>|vacuum permittivity}}
| | == Nike Tn Pas Cher Suisse == |
| {{DISPLAYTITLE:ε<sub>0</sub>}}
| |
| In [[mathematics]], the '''epsilon numbers''' are a collection of [[transfinite number]]s whose defining property is that they are [[fixed point (mathematics)|fixed point]]s of an [[exponential map]]. Consequently, they are not reachable from 0 via a finite series of applications of the chosen exponential map and of "weaker" operations like addition and multiplication. The original epsilon numbers were introduced by [[Georg Cantor]] in the context of [[ordinal arithmetic]]; they are the [[ordinal numbers]] ε that satisfy the [[equation]]
| |
|
| |
|
| :<math>\varepsilon = \omega^\varepsilon, \, </math> | | Si ce n'est pas alors un [http://www.treffpunkt-innenstadt.ch/includes/lang/error.asp Nike Tn Pas Cher Suisse] accord, tout le monde va se précipiter pour retirer leur argent. Le système financier tout s'écroulera.. La pièce [http://www.walzehuser-buehni.ch/controls/base.asp Nike Geneve] maîtresse de l'approche du site sera à sa santé "voyages", un contenu riche sur les conditions de santé les plus commonlysearched. Chaque voyage mettra en vedette un large éventail de contenu, y compris des témoignages de patients, les conseils du médecin et de l'information clinique. <br><br>Éducateurs vision prospective développées dans l'exercice de problème en temps réel résoudre sur une base quotidienne. Il est temps de consulter le cognoscente, gouverneur. Budget de la défense est de plus en plus robuste tout comme Washington peut moins se le permettre, avec un vieillissement de la population exigeant bientôt leur retraite promise et bienfaits pour la santé, les législateurs et les analystes indépendants dit. Sénat le mercredi était prête à approuver près de 460 milliards de dollars pour permettre au Pentagone de payer les soldats, acheter des armes et faire de la recherche au cours des 12 prochains mois.. <br><br>Beaucoup de fruits en plus de baies d'açai fournissent des antioxydants et autres nutriments qui sont importants pour votre santé. Mais si vous voulez essayer d'açai, vérifiez vos aliments de santé local ou magasins gastronomiques açai peuvent être consommés crus, sous forme de comprimés, dans des boissons telles que jus, smoothies ou boissons énergétiques, ou dans d'autres produits alimentaires tels que la gelée ou de crème glacée . <br><br>Si c'est vous et que vous souhaitez retirer, puis cliquez sur ce lien. Arvind Pachhapur est la gestion de l'ingénierie logicielle pour Thomson Reuters, une organisation qui a sa base dans Dexter, MI. Cela a été une expérience incroyable. J'ai eu la chance de gérer certains des plus grands joueurs de ce pays, sans parler de Manchester United. <br><br>Vous acceptez également de ne pas adapter, modifier ou créer une œuvre dérivée de tout contenu de ce site Web, sauf pour votre usage personnel et non commercial. Toute autre utilisation du contenu de ce site nécessite l'autorisation écrite préalable de BBCW. <br><br>San Francisco nervure nécrologique mémorial gilet meilleurs garçons [http://www.angelforce.ch/content/gallery/class.asp Nike Air Force] d pendants merl prévu [http://www.reinmedical.ch/archiv/system/lib/system.php Nike Free Suisse] sur tia grand canapé de mon toyota. Canby gymboree Fla Sher animal de compagnie à Cape lFasher Mossman pour le diamant d argent de la forêt tropicale. Cette propriété, connue dans le secteur forestier comme "baseage invariant», se réfère à deux aspects différents de la modélisation de l'indice du site: baseage équation invariante et baseage méthode d'estimation invariant (BAI), introduit par Bailey et Clutter (1974). Cette propriété n'est valide que si aucun terme d'erreur aléatoire est considéré.<ul> |
| | | |
| in which ω is the smallest infinite ordinal. Any solution to this equation has [[Ordinal arithmetic#Cantor_normal_form|Cantor normal form]] <math>\varepsilon = \omega^{\varepsilon}</math>.
| | <li>[http://pedagogie-differenciee.eu/spip.php?page=auteur&id_auteur=1&lang=fr/ http://pedagogie-differenciee.eu/spip.php?page=auteur&id_auteur=1&lang=fr/]</li> |
| | | |
| The least such ordinal is '''''ε''<sub>0</sub>''' (pronounced '''epsilon nought''' or '''epsilon zero'''), which can be viewed as the "limit" obtained by [[transfinite recursion]] from a sequence of smaller limit ordinals:
| | <li>[http://verdamilio.net/tonio/spip.php?article303/ http://verdamilio.net/tonio/spip.php?article303/]</li> |
| | | |
| :<math>\varepsilon_0 = \omega^{\omega^{\omega^{\cdot^{\cdot^\cdot}}}} = \sup \{ \omega, \omega^{\omega}, \omega^{\omega^{\omega}}, \omega^{\omega^{\omega^\omega}}, \dots \}</math>
| | <li>[http://enseignement-lsf.com/spip.php?article369#forum24679806 http://enseignement-lsf.com/spip.php?article369#forum24679806]</li> |
| | | |
| Larger ordinal fixed points of the exponential map are indexed by ordinal subscripts, resulting in <math>\varepsilon_1, \varepsilon_2,\ldots,\varepsilon_\omega, \varepsilon_{\omega+1}, \ldots, \varepsilon_{\varepsilon_0}, \ldots, \varepsilon_{\varepsilon_1}, \ldots, \varepsilon_{\varepsilon_{\varepsilon_{\cdot_{\cdot_{\cdot}}}}},\ldots</math>. The ordinal ε<sub>0</sub> is still [[countable]], as is any epsilon number whose index is countable (there exist uncountable ordinals, and uncountable epsilon numbers whose index is an uncountable ordinal).
| | <li>[http://ciarcr.org/spip.php?article310/ http://ciarcr.org/spip.php?article310/]</li> |
| | | |
| The smallest epsilon number ε<sub>0</sub> is very important in many [[mathematical induction|induction]] proofs, because for many purposes, [[transfinite induction]] is only required up to ε<sub>0</sub> (as in [[Gentzen's consistency proof]] and the proof of [[Goodstein's theorem]]). Its use by [[Gentzen]] to prove the consistency of [[Peano arithmetic]], along with [[Gödel's second incompleteness theorem]], show that Peano arithmetic cannot prove the well-foundedness of this ordering (it is in fact the least ordinal with this property, and as such, in proof-theoretic [[ordinal analysis]], is used as a measure of the strength of the theory of Peano arithmetic).
| | <li>[http://www.film-video-dvd-production.com/spip.php?article6/ http://www.film-video-dvd-production.com/spip.php?article6/]</li> |
| | | |
| Many larger epsilon numbers can be defined using the [[Veblen function]].
| | </ul> |
| | |
| A more general class of epsilon numbers has been identified by [[John Horton Conway]] and [[Donald Knuth]] in the [[surreal number]] system, consisting of all surreals that are fixed points of the base ω exponential map ''x'' → ω<sup>''x''</sup>.
| |
| | |
| == Ordinal ε numbers ==
| |
| | |
| The standard definition of [[ordinal exponentiation]] with base α is:
| |
| *<math>\alpha^0 = 1 \,,</math>
| |
| *<math>\alpha^{\beta+1} = \alpha^\beta \cdot \alpha \,,</math>
| |
| *<math>\alpha^\kappa = \limsup_{\lambda < \kappa} \, \alpha^\lambda</math> for [[limit ordinal|limit]] <math>\kappa</math>.
| |
| | |
| From this definition, it follows that for any fixed ordinal ''α'' > 1, the [[map (mathematics)|mapping]] <math>\beta \mapsto \alpha^\beta</math> is a [[normal function]], so it has arbitrarily large [[fixed point (mathematics)|fixed points]] by the [[fixed-point lemma for normal functions]]. When <math>\alpha = \omega</math>, these fixed points are precisely the ordinal epsilon numbers. The smallest of these, ε₀, is the supremum of the sequence
| |
| :<math>0, \omega^0 = 1, \omega^1 = \omega, \omega^\omega, \omega^{\omega^\omega}, \ldots, \omega \uparrow \uparrow k, \ldots</math>
| |
| | |
| in which every element is the image of its predecessor under the mapping <math>\beta \mapsto \omega^\beta</math>. (The general term is given using [[Knuth's up-arrow notation]]; the <math>\uparrow \uparrow</math> operator is equivalent to [[tetration]].) Just as ω<sup>ω</sup> is defined as the supremum of { ω<sup>''k''</sup> } for natural numbers ''k'', the smallest ordinal epsilon number ε₀ may also be denoted <math>\omega \uparrow \uparrow \omega</math>; this notation is much less common than ε₀.
| |
| | |
| The next epsilon number after <math>\varepsilon_0</math> is
| |
| | |
| :<math>\varepsilon_1 = \sup\{\varepsilon_0 + 1, \omega^{\varepsilon_0 + 1}, \omega^{\omega^{\varepsilon_0 + 1}}, \omega^{\omega^{\omega^{\varepsilon_0 + 1}}}, \dots\},</math>
| |
| | |
| in which the sequence is again constructed by repeated base ω exponentiation but starts at <math>\varepsilon_0 + 1</math> instead of at 0. Notice
| |
| | |
| :<math>\omega^{\varepsilon_0 + 1} = \omega^{\varepsilon_0} \cdot \omega^1 = \varepsilon_0 \cdot \omega \,,</math>
| |
| | |
| :<math>\omega^{\omega^{\varepsilon_0 + 1}} = \omega^{(\varepsilon_0 \cdot \omega)} = {(\omega^{\varepsilon_0})}^\omega = \varepsilon_0^\omega \,,</math> | |
| | |
| :<math>\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} \,.</math>
| |
| | |
| A different sequence with the same supremum, <math>\varepsilon_1</math>, is obtained by starting from 0 and exponentiating with base ε₀ instead:
| |
| | |
| :<math>\varepsilon_1 = \sup\{0, 1, \varepsilon_0, {\varepsilon_0}^{\varepsilon_0}, {\varepsilon_0}^{{\varepsilon_0}^{\varepsilon_0}}, \ldots\},</math> | |
| | |
| The epsilon number <math>\varepsilon_{\alpha + 1}</math> indexed by any successor ordinal α+1 is constructed similarly, by base ω exponentiation starting from <math>\varepsilon_\alpha + 1</math> (or by base <math>\varepsilon_\alpha</math> exponentiation starting from 0).
| |
| | |
| :<math>\varepsilon_{\alpha + 1} = \sup\{\varepsilon_\alpha + 1, \omega^{\varepsilon_\alpha + 1}, \omega^{\omega^{\varepsilon_\alpha + 1}}, \dots\} = \sup\{0, 1, \varepsilon_\alpha, \varepsilon_\alpha^{\varepsilon_\alpha}, \varepsilon_\alpha^{\varepsilon_\alpha^{\varepsilon_\alpha}}, \dots\}</math>
| |
| | |
| An epsilon number indexed by a [[limit ordinal]] α is constructed differently. The number <math>\varepsilon_\alpha</math> is the supremum of the set of epsilon numbers <math>\{ \varepsilon_\beta, \beta < \alpha \}</math>. The first such number is <math>\varepsilon_\omega</math>. Whether or not the index α is a limit ordinal, <math>\varepsilon_\alpha</math> is a fixed point not only of base ω exponentiation but also of base γ exponentiation for all ordinals <math>1 < \gamma < \varepsilon_\alpha</math>.
| |
| | |
| Since the epsilon numbers are an unbounded subclass of the ordinal numbers, they are enumerated using the ordinal numbers themselves. For any ordinal number <math>\alpha</math>, <math>\varepsilon_\alpha</math> is the least epsilon number (fixed point of the exponential map) not already in the set <math>\{ \varepsilon_\beta, \beta < \alpha \}</math>. 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 very straightforward to prove:
| |
| * Although it is quite a large number, <math>\varepsilon_0</math> is still [[countable]], being a countable union of countable ordinals; in fact, <math>\varepsilon_\alpha</math> is countable if and only if <math>\alpha</math> is countable.
| |
| * The union (or supremum) of any nonempty set of epsilon numbers is an epsilon number; so for instance
| |
| ::<math>\varepsilon_\omega = \sup\{\varepsilon_0, \varepsilon_1, \varepsilon_2, \ldots\}</math>
| |
| : is an epsilon number. Thus, the mapping <math>n \mapsto \varepsilon_n</math> is a normal function.
| |
| * Every [[uncountable set|uncountable]] [[cardinal number]] is an epsilon number.
| |
| ::<math>1 \leq \alpha \rightarrow \epsilon_{\omega_{\alpha}} = \omega_{\alpha} \,.</math>
| |
| | |
| ==Veblen hierarchy==
| |
| {{Main|Veblen function}}
| |
| The fixed points of the "epsilon mapping" <math>x \mapsto \varepsilon_x</math> form a normal function, whose fixed points form a normal function, whose …; this is known as the [[Veblen function|Veblen hierarchy]] (the Veblen functions with base φ<sub>0</sub>(α) = ω<sup>α</sup>). In the notation of the Veblen hierarchy, the epsilon mapping is φ<sub>1</sub>, and its fixed points are enumerated by φ<sub>2</sub>.
| |
| | |
| Continuing in this vein, one can define maps φ<sub>α</sub> for progressively larger ordinals α (including, by this rarefied form of transfinite recursion, limit ordinals), with progressively larger least fixed points φ<sub>α+1</sub>(0). The least ordinal not reachable from 0 by this procedure—i. e., the least ordinal α for which φ<sub>α</sub>(0)=α, or equivalently the first fixed point of the map <math>\alpha \,\rightarrow\, \phi_\alpha(0)</math>—is the [[Feferman–Schütte ordinal]] Γ<sub>0</sub>. In a set theory where such an ordinal can be proven to exist, one has a map Γ that enumerates the fixed points Γ<sub>0</sub>, Γ<sub>1</sub>, Γ<sub>2</sub>, ... of <math>\alpha \,\rightarrow\, \phi_\alpha(0)</math>; these are all still epsilon numbers, as they lie in the image of φ<sub>β</sub> for every β≤Γ<sub>0</sub>, including of the map φ<sub>1</sub> that enumerates epsilon numbers.
| |
| | |
| == Surreal ε numbers ==
| |
| | |
| In ''[[On Numbers and Games]]'', the classic exposition on [[surreal number]]s, [[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 [[surreal number#Powers of ω|<math>\omega</math>-map]] <math>n \mapsto \omega^n</math>; this mapping generalises naturally to include all surreal numbers in its [[domain of a function|domain]], which in turn provides a natural generalisation of the [[ordinal arithmetic#Cantor normal form|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
| |
| | |
| :<math>\varepsilon_{-1} = \{0, 1, \omega, \omega^\omega, \ldots \mid \varepsilon_0 - 1, \omega^{\varepsilon_0 - 1}, \ldots\}</math>
| |
| | |
| and
| |
| | |
| :<math>\varepsilon_{\frac{1}{2}} = \{\varepsilon_0 + 1, \omega^{\varepsilon_0 + 1}, \ldots \mid \varepsilon_1 - 1, \omega^{\varepsilon_1 - 1}, \ldots\}.</math> | |
| | |
| There is a natural way to define <math>\varepsilon_n</math> 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 ==
| |
| *[[Ordinal arithmetic]]
| |
| *[[Large countable ordinal]]
| |
| | |
| ==References==
| |
| * J.H. Conway, ''On Numbers and Games'' (1976) Academic Press ISBN 0-12-186350-6
| |
| * Section XIV.20 of {{Citation
| |
| | last=Sierpiński
| |
| | first=Wacław
| |
| | author-link=Wacław Sierpiński
| |
| | title=Cardinal and ordinal numbers
| |
| | publisher=PWN – Polish Scientific Publishers
| |
| | year=1965
| |
| | edition=Second revised
| |
| }}
| |
| | |
| ==External links==
| |
| * [http://mathpuzzle.com/fusible.pdf Fusible numbers]
| |
| | |
| {{countable ordinals}}
| |
| | |
| [[Category:Ordinal numbers]]
| |
Nike Tn Pas Cher Suisse
Si ce n'est pas alors un Nike Tn Pas Cher Suisse accord, tout le monde va se précipiter pour retirer leur argent. Le système financier tout s'écroulera.. La pièce Nike Geneve maîtresse de l'approche du site sera à sa santé "voyages", un contenu riche sur les conditions de santé les plus commonlysearched. Chaque voyage mettra en vedette un large éventail de contenu, y compris des témoignages de patients, les conseils du médecin et de l'information clinique.
Éducateurs vision prospective développées dans l'exercice de problème en temps réel résoudre sur une base quotidienne. Il est temps de consulter le cognoscente, gouverneur. Budget de la défense est de plus en plus robuste tout comme Washington peut moins se le permettre, avec un vieillissement de la population exigeant bientôt leur retraite promise et bienfaits pour la santé, les législateurs et les analystes indépendants dit. Sénat le mercredi était prête à approuver près de 460 milliards de dollars pour permettre au Pentagone de payer les soldats, acheter des armes et faire de la recherche au cours des 12 prochains mois..
Beaucoup de fruits en plus de baies d'açai fournissent des antioxydants et autres nutriments qui sont importants pour votre santé. Mais si vous voulez essayer d'açai, vérifiez vos aliments de santé local ou magasins gastronomiques açai peuvent être consommés crus, sous forme de comprimés, dans des boissons telles que jus, smoothies ou boissons énergétiques, ou dans d'autres produits alimentaires tels que la gelée ou de crème glacée .
Si c'est vous et que vous souhaitez retirer, puis cliquez sur ce lien. Arvind Pachhapur est la gestion de l'ingénierie logicielle pour Thomson Reuters, une organisation qui a sa base dans Dexter, MI. Cela a été une expérience incroyable. J'ai eu la chance de gérer certains des plus grands joueurs de ce pays, sans parler de Manchester United.
Vous acceptez également de ne pas adapter, modifier ou créer une œuvre dérivée de tout contenu de ce site Web, sauf pour votre usage personnel et non commercial. Toute autre utilisation du contenu de ce site nécessite l'autorisation écrite préalable de BBCW.
San Francisco nervure nécrologique mémorial gilet meilleurs garçons Nike Air Force d pendants merl prévu Nike Free Suisse sur tia grand canapé de mon toyota. Canby gymboree Fla Sher animal de compagnie à Cape lFasher Mossman pour le diamant d argent de la forêt tropicale. Cette propriété, connue dans le secteur forestier comme "baseage invariant», se réfère à deux aspects différents de la modélisation de l'indice du site: baseage équation invariante et baseage méthode d'estimation invariant (BAI), introduit par Bailey et Clutter (1974). Cette propriété n'est valide que si aucun terme d'erreur aléatoire est considéré.