Talk:Epsilon nought

From Wikipedia, the free encyclopedia

Contents

[edit] comment

Cantor's Transfinite numbers are also called aleph (aleph is the first letter of the hebrew alphabet, and slightly assembles a gothic N). Aleph zero is the first of these transfinite numbers, and the ordinal of the infinite countable sets, such as N (natural numbers), Z (whole numbers), and Q (rational numbers). Proved by Cantor with the diagonal proof, it's considered one of the most visual demonstrations..it is in fact included in what Paul Erdös called "The Book", a book in which were included the perfect proofs for Mathemathical theorems, alongside with it there is the subsequent Continuum Hypothesis, which is also the first of the 23 Hilbert Problems. This Continuum Hypothesis states that there is no set whose size is strictly between that of the integers and that of the real numbers, that is aleph zero and aleph one, respectively.

What does this have to do with ε0? It is not an aleph; it's a countable ordinal. — Carl (CBM · talk) 00:30, 2 December 2007 (UTC)

[edit] γ or γ − 1

"The γ-th ordinal α such that α = ωα is written \varepsilon_\gamma. These are called the epsilon numbers. The smallest of these numbers is ε0."

If the smallest is called ε0, isn't the γ-th called \varepsilon_{\gamma-1}? Otherwise \varepsilon_0=\varepsilon_1 --SuneJ (talk) 07:34, 6 December 2007 (UTC)

I added the clarification "counting from zero". Using an ordinal to specify the position of an element in a well-ordered set always counts from zero, but I agree that the formulation should not be ambiguous.--Patrick (talk) 09:32, 6 December 2007 (UTC)

[edit] Definitions?

I'm just starting to look at transfinite numbers, and I'm wondering if there is a fully expandable definition of epsilon numbers other than ε0. If \epsilon_0=\omega^{\omega^{\omega^{.^{.^{.}}}}}, is there a similar way to define ε1 based on lower ordinals like ε0 or ω?Eebster the Great (talk) 19:04, 20 April 2008 (UTC)

Just as 0, 1, \omega, \omega^{\omega}, \omega^{\omega^{\omega}}, \ldots approaches \epsilon_0 \!.
So also \epsilon_1 \! is the limit of \epsilon_0 + 1, \omega^{\epsilon_0 + 1}, \omega^{\omega^{\epsilon_0 + 1}}, \ldots and also the limit of 0, 1, \epsilon_0, \epsilon_0^{\epsilon_0}, \epsilon_0^{\epsilon_0^{\epsilon_0}}, \ldots.
For any ordinal \alpha \!, \epsilon_{\alpha + 1} \! is the limit of \epsilon_{\alpha} + 1, \omega^{\epsilon_{\alpha} + 1}, \omega^{\omega^{\epsilon_{\alpha} + 1}}, \ldots and also the limit of 0, 1, \epsilon_{\alpha}, \epsilon_{\alpha}^{\epsilon_{\alpha}}, \epsilon_{\alpha}^{\epsilon_{\alpha}^{\epsilon_{\alpha}}}, \ldots.
If \lambda \! is any limit ordinal, then \epsilon_{\lambda} \! is the supremum of \epsilon_{\beta} \! for \beta < \lambda \!. JRSpriggs (talk) 02:11, 21 April 2008 (UTC)

Thanks, also, is this an actual mathematical limit we're talking about (a behavior) or is it actually a power tower omega (or some other transfinite ordinal) stories high? Another way of looking at it is, if the operation were defined, would this simply be omega tetrated to the omegath power? Eebster the Great (talk) 00:30, 10 May 2008 (UTC)

Both. Using the order topology, this is the topological limit (is there any other kind?). If the hyper operator notation were extended to ordinals, we would get \operatorname{hyper4} (\epsilon_{\alpha}, \omega) = \epsilon_{\alpha + 1}. In other words, it is tetration as you surmised. JRSpriggs (talk) 21:14, 10 May 2008 (UTC)
Thanks a lot. That's interesting, because although ω < infinity, limx->inf xω = ωω. And I was talking about a calculus limit, by the way, not really knowing enough about topology to discuss it one way or another. My understanding of topology amounts to the most cursory of all cursory explanations in the context of quantum physics. Eebster the Great (talk) 02:45, 15 May 2008 (UTC)

[edit] History?

Who first introduced ε0? Cantor? What aboutε1 ? linas (talk) 01:36, 5 June 2008 (UTC)

[edit] countability

The article states that ε0 is "countable", can this be made more explicit? I can see how ω2 is countable, but don't understand the leap to counting ωω, then extending this to ε0. linas (talk) 01:43, 5 June 2008 (UTC)

The union of countably many countable sets is countable. --Trovatore (talk) 02:17, 5 June 2008 (UTC)
See Ordinal notation#ξ-notation. Every ordinal less than ε0 can be described uniquely by a finite string consisting of just two symbols — "0" and "ξ". Clearly there are only countably many such strings. JRSpriggs (talk) 04:52, 5 June 2008 (UTC)
Thanks, right. I was thinking.. well, I wasn't actually thinking about ordinals when I asked this question. linas (talk) 16:12, 5 June 2008 (UTC)