Alef uno

Alef uno

En matemáticas, se define \aleph_1 (primera letra del alfabeto hebreo llamada alef) como el menor cardinal mayor que \aleph_0, es decir, el menor cardinal mayor que el cardinal del conjunto de los números naturales, \mathbb{N}.

Relación con \aleph_0

El teorema de Cantor afirma que el cardinal de \mathcal{P}(\mathbb{N}) es mayor que \aleph_0, donde \mbox{card}(\mathcal{P}(\mathbb{N}))=\mbox{card}(\mathbb{R}) es el conjunto potencia de los números naturales, que es exactamente el mismo que el cardinal de los números reales. Así pues,

\aleph_0<\mbox{card}(\mathbb{R}),

lo que, considerando que \mbox{card}(\mathbb{R})=2^{\aleph_0}, puede escribirse también así:

\aleph_0<2^{\aleph_0}

En la teoría ZFC, el axioma de elección permite probar que

\aleph_1\leq 2^{\aleph_0},

mientras que la hipótesis del continuo, algo que no puede ser demostrado ni infirmado en ZFC, afirma que

\aleph_1=2^{\aleph_0},

es decir, que el cardinal de los números reales es exactamente \aleph_1.

Más allá de \aleph_1

El teorema de Cantor sobre el conjunto potencia afirma que para cualquier conjunto A se cumple que:

\mbox{card}(A) < \mbox{card}(\mathcal{P}(A))


Lo cual abre la posibilidad a que existan cardinales transfinitos mayores que \aleph_1. La hipótesis del continuo generalizada de hecho permite ordenar los cardinales transfinitos de manera sencilla ya que en esencia afirma que:

\forall n\ge 0:(\mbox{card}(A) = \aleph_n \rightarrow \mbox{card}(\mathcal{P}(A)) = \aleph_{n+1})

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Alef (desambiguación) — El término aleph (hebreo) o álef (español) puede referirse a: Canción de la cantante mexicana Anahí inculída en su disco Mi Delirio Edición Deluxe. Alef., la abreviatura de nombre científico de Friedrich Christoph Wilhelm Alefeld. La letra álef… …   Wikipedia Español

  • Alejandro Jodorowsky — Nacimiento 17 de febrero de 1929 (82 años) Tocopilla ( …   Wikipedia Español

  • Número cardinal (teoría de conjuntos) — Este artículo trata sobre números cardinales en teoría de conjuntos axiomática. Para una introducción más básica, véase Número cardinal. Comparación de los cardinales numerable y continuo. Cada sucesión binaria, compuesta por una cantidad… …   Wikipedia Español

  • Conjuntos numéricos — Uno o varios wikipedistas están trabajando actualmente en este artículo o sección. Es posible que a causa de ello haya lagunas de contenido o deficiencias de formato. Si quieres, puedes ayudar y editar, pero por favor: antes de realizar… …   Wikipedia Español

  • Conjunto numerable — En matemáticas, un conjunto es numerable o contable cuando sus elementos pueden ponerse en correspondencia uno a uno con el conjunto de los números naturales o un subconjunto finito del mismo. Algunos autores toman una definición alternativa de… …   Wikipedia Español

  • Anexo:Números — Contenido 1 Números enteros 1.1 Números negativos 1.2 De 0 a 99 1.3 De 100 a 200 1.4 Mayores que 2 …   Wikipedia Español

  • Yahveh — (en hebreo יהוה, YHWH) y sus variantes conjeturales Yahweh, Yahvé, Jah, Yavé, Iehová, Jehovah y Jehová, es el nombre propio utilizado en la Biblia para designar a la deidad suprema de las religiones judeocristianas (en adelante Dios). En su forma …   Wikipedia Español

  • Cábala — Árbol de la Vida, de Athanasius Kircher. La Cábala o Qabbaláh (del hebreo קַבָּלָה‎ qabbalah recibir ) es una de las principales corrientes de la mística judía. La base estructural de este estudio consiste en el análisis del Árbol de la Vida.… …   Wikipedia Español

  • Beer Sheva — Saltar a navegación, búsqueda Beer Sheva בְּאֵר שֶׁבַע …   Wikipedia Español

  • Liga Leumit (fútbol) — Liga Leumit Deporte Fútbol Fundación 1932 Número de equipos 12 País  Israel …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”