Smallest ordinal number that, considered as a set, is uncountable
In mathematics, the first uncountable ordinal, traditionally denoted by or sometimes by , is the smallest ordinal number that, considered as a set, is uncountable. It is the supremum (least upper bound) of all countable ordinals. When considered as a set, the elements of are the countable ordinals (including finite ordinals),[1] of which there are uncountably many.
Like any ordinal number (in von Neumann's approach), is a well-ordered set, with set membership serving as the order relation. is a limit ordinal, i.e. there is no ordinal such that .
The cardinality of the set is the first uncountable cardinal number, (aleph-one). The ordinal is thus the initial ordinal of . Under the continuum hypothesis, the cardinality of is , the same as that of —the set of real numbers.[2]
In most constructions, and are considered equal as sets. To generalize: if is an arbitrary ordinal, we define as the initial ordinal of the cardinal .
The existence of can be proven without the axiom of choice. For more, see Hartogs number.
^"Set Theory > Basic Set Theory (Stanford Encyclopedia of Philosophy)". plato.stanford.edu. Retrieved 2020-08-12.
^"first uncountable ordinal in nLab". ncatlab.org. Retrieved 2020-08-12.
and 21 Related for: First uncountable ordinal information
In mathematics, the firstuncountableordinal, traditionally denoted by ω 1 {\displaystyle \omega _{1}} or sometimes by Ω {\displaystyle \Omega } , is...
In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals (first, second, nth, etc.) aimed to extend enumeration to infinite...
below the firstuncountableordinal ω1; their supremum is called Church–Kleene ω1 or ωCK 1 (not to be confused with the firstuncountableordinal, ω1), described...
one means. Aleph number Beth number Firstuncountableordinal Injective function Weisstein, Eric W. "Uncountably Infinite". mathworld.wolfram.com. Retrieved...
Chaitin's constant. In set theory, the first infinite ordinal number, ω In set theory, the firstuncountableordinal number, ω1 or Ω As part of logo or trademark:...
\omega _{1}} , the firstuncountableordinal, which is the set of all countable ordinals, analogously to how the Church-Kleene ordinal is the set of all...
all the countable ordinals, and thus the firstordinal at which all the Borel sets are obtained is ω1, the firstuncountableordinal. The resulting sequence...
for any given ordinal notation there will be ordinals below ω1 (the firstuncountableordinal) that are not expressible. Such ordinals are known as large...
{\displaystyle \omega } is the first infinite ordinal and ω 1 {\displaystyle \omega _{1}} the firstuncountableordinal. The deleted Tychonoff plank is...
produce countable ordinals even for uncountable arguments, and some of which are ordinal collapsing functions. The large Veblen ordinal is sometimes denoted...
{\displaystyle \Omega } stand for the firstuncountableordinal ω 1 {\displaystyle \omega _{1}} , or, in fact, any ordinal which is an ε {\displaystyle \varepsilon...
0 ) {\displaystyle \varphi (1,0,0,0)} , where Ω is the smallest uncountableordinal. Ackermann's system of notation is weaker than the system introduced...
it is sequentially compact if and only if it is compact. The firstuncountableordinal with the order topology is an example of a sequentially compact...
produce countable ordinals even for uncountable arguments, and some of which are "collapsing functions". The small Veblen ordinal θ Ω ω ( 0 ) {\displaystyle...
to encompass transfinite listings. Under this definition, the firstuncountableordinal ω 1 {\displaystyle \omega _{1}} can be enumerated by the identity...
_{\omega _{1}}} , where ω 1 {\displaystyle \omega _{1}} is the firstuncountableordinal, so it could be either a successor cardinal or a limit cardinal...
thought to be consistent with it. The space of all ordinals at most equal to the firstuncountableordinal Ω, with the topology generated by open intervals...
infinite ordinal α {\displaystyle \alpha } is a regular ordinal if it is a limit ordinal that is not the limit of a set of smaller ordinals that as a...
intersection has a finite subfamily with an empty intersection. The firstuncountableordinal (with the order topology) is an example of a countably compact...
more generally, any countable limit ordinal has cofinality ω . {\displaystyle \omega .} An uncountable limit ordinal may have either cofinality ω {\displaystyle...