Álef uno en LaTeX (\aleph_1)

Dónde se usa

Álef uno, el primer cardinal no numerable: el siguiente tamaño infinito después del numerable.

La hipótesis del continuo afirma que 2^{\aleph_0} = \aleph_1, es decir, que ningún conjunto tiene un tamaño estrictamente comprendido entre los enteros y los reales; Gödel y Cohen demostraron que es independiente de ZFC. No escribas |\mathbb{R}| = \aleph_1 como un hecho, ya que es justamente la suposición en cuestión; usa \mathfrak{c} o 2^{\aleph_0} para el continuo. \aleph_1 es también el cardinal de \omega_1, el conjunto de los ordinales numerables. Los álef mayores siguen el patrón \aleph_\alpha con subíndices ordinales, y el subíndice necesita llaves si ocupa más de un token.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\usepackage{amsmath}
\begin{document}
Aleph One: $\aleph_1$

\[ 2^{\aleph_0} = \aleph_1 \quad \text{(CH)} \]
\end{document}

Símbolos relacionados

• Bet\beth
• Álef cero\aleph_0
• P de Weierstrass\wp
• Álef\aleph
• R fraktur (símbolo de parte real)\Re
• Derivada parcial\partial

Preguntas frecuentes

¿Cómo escribo Álef uno en LaTeX?

Escribe \aleph_1 en modo matemático, por ejemplo $2^{\aleph_0} = \aleph_1 \quad \text{(CH)}$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \aleph_1?

Ninguno. \aleph_1 forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \aleph_1 en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\aleph_1$.