Primer ordinal no numerable

En matemáticas, el primer ordinal no numerable, tradicionalmente denotado por ω₁ o en ocasiones por Ω, es el ordinal más pequeño que al ser considerado como conjunto, no es numerable. Es el supremo de todos los ordinales numerables. Los elementos de ω₁ son los ordinales numerables o finitos, de los cuales, no hay una cantidad numerable. El menor de todos los ordinales numerables, sería el primer ordinal infinito ω₀ (también escrito ω).

Como cualquier ordinal, según la definición de Von Neumann, ω₁ está bien ordenado, con la pertenencia (∈) como relación de orden. ω₁ es un ordinal límite, i.e no hay un ordinal α con α+1=ω₁.

La cardinalidad del conjunto ω₁ es el primer cardinal no numerable, es decir, alef uno $\aleph _{1}$ . De hecho, en la mayoría de las construcciones ω₁ y $\aleph _{1}$ son el mismo conjunto.

Cabe señalar que la existencia de ω₁ se puede probar sin el axioma de elección (ver número de Hartogs.)

Propiedades topológicas[editar]

Cualquier ordinal puede equiparse de una topología mediante la topología del orden. Cuando se trabaja como espacio topológico, ω₁ se denota comúnmente como [0,ω₁) para enfatizar que es el espacio consistente de todos los ordinales menores que ω₁.

Toda ω-sucesión creciente de elementos de [0,ω₁) converge a un límite en [0,ω₁). Esto se debe a que la unión (i.e supremo) de todo conjunto contable de ordinales contables, es otro ordinal contable.

El espacio topológico [0,ω₁) es secuencialmente compacto pero no compacto. En términos de axiomas de numerabilidad cumple el primer axioma de numerabilidad pero no es separable ni segundo numerable. Como consecuencia, no es metrizable.

EL espacio [0, ω₁] = ω₁ + 1 es compacto pero no cumple el primer axioma de numerabilidad. ω₁ se usa para definir la recta larga, un importante contraejemplo en topología.

Referencias[editar]

Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. ISBN 3-540-44085-2.
Dugundji, James, 1966. Topology. McGraw-Hill Companies. ISBN 0-697-06889-7.

Véase también[editar]

Datos: Q3401770