Ver el código de «Número cardinal (teoría de conjuntos)»

[[Archivo:Countable.vs.Continuum.svg|thumb|350px|'''Comparación de los cardinales numerable y continuo.''' Cada [[Sucesión matemática|sucesión]] [[Dígito binario|binaria]], compuesta por una cantidad [[numerable]] de «decimales binarios», corresponde a un punto del [[segmento]] entre 0 y 1. El «número» de decimales en cada sucesión es {{unicode|ℵ}}<sub>0</sub>. El «número» de puntos en el segmento es 2<sup>{{unicode|ℵ}}<sub>0</sub></sup>: dos posibilidades (0 o 1) para cada decimal de cada sucesión.]]
En [[teoría de conjuntos]], un '''número cardinal''' o '''cardinal''' es una generalización de los [[números naturales]] para contar el número de elementos, la [[cardinalidad]], de cualquier conjunto, finito o infinito. El cardinal de un conjunto finito es un número natural ordinario. El cardinal de un [[conjunto infinito]] es un [[número transfinito]]. Los cardinales clasifican los conjuntos de manera más «tosca» que los [[número ordinal (teoría de conjuntos)|números ordinales]], que distinguen no solo el número de elementos de un conjunto sino también la manera en la que están ordenados.

Los cardinales se definen mediante la noción de equipotencia, que relaciona dos conjuntos si «tienen el mismo número de elementos». Establecida esta relación, los cardinales son representantes de todos los tamaños posibles para un conjunto. [[Teorema de Cantor|Puede demostrarse]] que existen conjuntos infinitos con distinto tamaño. Por ejemplo, los conjuntos de los [[números naturales]] y de los [[números reales]] no tienen el mismo cardinal. De hecho es necesaria una colección infinita de números transfinitos para clasificar todos los conjuntos infinitos.

Existe una sucesión infinita de cardinales:
:<math>0,\,1,\,2,\,3,\,\ldots,\,\aleph_0,\,\aleph_1,\,\aleph_2,\,\ldots,\,\aleph_\omega,\ldots</math>
que empieza con los números naturales (con cero), y continúa con los [[función alef|números alef]], que son cardinales de [[conjunto bien ordenado|conjuntos bien ordenados]]. Cada alef tiene un índice, un cierto número ordinal, que indica su posición dentro de la serie. Dependiendo de si se asume el [[axioma de elección]] o no, los alefs agotan todos los cardinales posibles o no.

== Introducción ==
Para comparar el tamaño de dos [[conjunto finito|conjuntos finitos]] basta con contar sus elementos y contrastar el resultado. En el {{siglo|XIX||s}}, [[Georg Cantor]] halló una manera de efectuar esta comparación aun cuando los conjuntos involucrados sean infinitos. Para ello, propuso poner los elementos de ambos conjuntos en parejas (estableciendo una [[correspondencia matemática|correspondencia]]): de este modo, si todos quedan emparejados sin que sobre ni falte ninguno se dice que son equipotentes.

Por ejemplo, los [[números naturales]] '''N''' = {0, 1, 2, ...} y los [[números enteros]] '''Z''' = {..., −2, −1, 0, +1, +2, ...} son ambos conjuntos infinitos. En particular, los naturales son un [[subconjunto]] de los enteros, '''N''' {{unicode|⊆}} '''Z'''. Esto podría sugerir que el tamaño del conjunto de los naturales es menor que el de los enteros. Sin embargo, ambos conjuntos son equipotentes ya que pueden emparejarse como sigue:
{{ecuación|1=<math>
\begin{array}{rrrrrrr}
0 & 1 & 2 & 3 & 4 & 5 & \ldots \\
\updownarrow & \updownarrow & \updownarrow & \updownarrow & \updownarrow & \updownarrow &  \\
0 & +1 & -1 & +2 & -2 & +3 & \ldots
\end{array}
</math>}}
A cada natural ''n'' le corresponde el entero −''n''/2 si ''n'' es par, y el entero (''n'' + 1)/2 si ''n'' es impar.

Sin embargo, Cantor descubrió que no todos los conjuntos infinitos son equipotentes. Por ejemplo, el conjunto de los [[números reales]] '''R''' (o el conjunto de puntos en una [[recta]]) es infinito y [[Conjunto numerable|no numerable]], por lo que no es equipotente al conjunto de los números naturales y es de mayor tamaño.

Cantor asignó entonces un número cardinal a cada conjunto infinito, un cierto objeto que representaba su tamaño, de modo que dos conjuntos serían equipotentes cuando les correspondiera el mismo cardinal. De este modo, extendió los números naturales como representantes de la cardinalidad de los conjuntos finitos.

== Historia  ==
En 1876, Cantor probó la no equipotencia de naturales y reales. En su obra ''Fundamentos para una teoría general de conjuntos'', introdujo la noción de [[número transfinito]], como una generalización de los números naturales, que va más allá de ellos formando una serie ordenada e ilimitada:
{{ecuación|<math>0,\,1,\,2,\,\ldots\,,\,\omega,\,\omega+1,\,\omega+2,\,\ldots\,,\,\omega\cdot2,\,\omega\cdot2+1,\,\ldots\,,\,\omega\cdot3,\,\dots\,,\,\omega\cdot n,\,\ldots\,, </math>
<math>\,\omega\cdot\omega=\omega^2,\,\ldots\,,\,\omega^3,\,\ldots\,,\,\omega^n,\,\ldots\,,\,\omega^\omega,\,\ldots\,\varepsilon_0, \ldots </math>}}
Cantor descubrió que cada número transfinito se correspondía con un [[número ordinal (teoría de conjuntos)|número ordinal]], que representa la posición de un elemento en un cierto conjunto [[buen orden|bien ordenado]], y también que los transfinitos se organizaban en lo que llamó «clases numéricas».

Así, clasificaba a los números naturales en la clase numérica (I), que es mayor que todos ellos. Los números de la clase numérica (II) son todos los que tienen la misma potencia que la clase numérica (I), esto es, que sean numerables (como todos los transfinitos mostrados arriba), etc. También demostró que en la serie transfinita se dan infinitas clases numéricas cada vez más grandes.

Mediante estas clases numéricas estableció la clasificación de las potencias infinitas, e introdujo la notación de los álefs, en la que {{unicode|ℵ}}<sub>''n''</sub> representa la clase numérica ''n'' + 1 (donde ''n'' en general era un transfinito u ordinal), que formaban otra serie transfinita de todas las posibles cardinalidades infinitas.

== Equipotencia ==
El concepto de cardinalidad se apoya en el concepto de equipotencia, y este en el de [[relación biunívoca]] o de [[biyectividad]]. Una relación biunívoca entre dos conjuntos ''A'' y ''B'' es un criterio por el cual se empareja cada elemento de ''A'' con un elemento de ''B'', de forma que todos los elementos de ''B'' sean pareja de un elemento de ''A'' y solo de uno. Dos conjuntos en correspondencia biunívoca tienen, intuitivamente, el mismo tamaño:
{{definición|Dos conjuntos ''A'' y ''B'' se dicen '''equipotentes''' (o con el mismo cardinal, la misma cardinalidad, el mismo número de elementos, la misma potencia, etc.) si existe una función biyectiva ''f : A'' → ''B'' entre ellos. Se denota como ''A'' ≈ ''B''.}}
La relación de equipotencia es una [[relación de equivalencia]], y captura la noción de tener el mismo cardinal, a pesar de no ser una definición de qué es un número cardinal. También puede definirse una relación de minuspotencia, que represente la noción de que un conjunto tenga menor tamaño:
{{definición|1=Un conjunto ''A'' es '''minuspotente''' a otro conjunto ''B'' si existe una función inyectiva ''f'': ''A'' → ''B'' entre ello. Se denota como:
{{ecuación|1=<math>|A|\preccurlyeq|B|</math>}}
}}
Es decir, la potencia de un conjunto ''A'' es menor o igual que la de otro ''B'' si se puede emparejar cada elemento de ''A'' con algún elemento de ''B'' sin repetir ninguna pareja en ''B'', sin exigir que todo elemento de ''B'' necesariamente sea pareja de algún elemento de ''A''. La relación de minuspotencia es una [[relación de orden]]:
{{teorema|1=
  * Todo conjunto es minuspotente a sí mismo.
* Si ''A'' es minuspotente a ''B'' y ''B'' es minuspotente a ''C'', entonces ''A'' es minuspotente a ''C'': 
{{ecuación|1=<math>A\preccurlyeq B\text{ y }B\preccurlyeq C \Rightarrow A\preccurlyeq C</math>}}
* Si dos conjuntos son minuspotentes entre sí, entonces ambos son equipotentes: 
{{ecuación|1=<math>A\preccurlyeq B\text{ y }B\preccurlyeq A \Rightarrow A\approx B</math>}}
}}

== Definiciones ==
La definición de número cardinal escoge un representante canónico de cada cardinalidad. Por ejemplo, la construcción usual de los [[números naturales]] en teoría de conjuntos los define como unos conjuntos concretos:
:0 ≡ {{unicode|∅}}, 1 ≡ {0}, 2 ≡ {0, 1}, ... 
De este modo, «el cardinal de ''X'' = {''a'', ''b''} es 2» es equivalente a decir «''X'' y {0, 1} son equipotentes». Al definir número cardinal de manera general se extiende este razonamiento a cualquier conjunto, finito o infinito. 

Al definir '''número cardinal''' se construye una asignación en la que a cada conjunto ''X'' le corresponde otro conjunto |''X''| (único), el cardinal de ''X'', de forma que se cumpla la siguiente propiedad básica:
{{definición|1=Dos conjuntos tienen el mismo cardinal si y solo si son equipotentes:
:<math>|X|=|Y|\text{ si y solo si }X\approx Y</math>
}}
Al cardinal de un conjunto ''X'' se le denota entonces por <span style="vertical-align:29%;"><math>\displaystyle \bar{\bar X}\,\!</math></span>, card(''X''), |''X''| o #''X''.<ref>Para un ordinal ''<span class="texhtml">α</span>'' su cardinal suele representarse por <math>\scriptstyle\bar\alpha</math>. La notación original de Cantor usaba una barra, <span style="vertical-align:9%;"><math>\scriptstyle\bar X</math></span>, para abstraer las propiedades de los elementos del conjunto ''X'' exceptuando su orden —representando su [[número ordinal (teoría de conjuntos)|ordinal]]—, y dos barras <span style="vertical-align:18%;"><math>\scriptstyle \bar{\bar X}\,\!</math></span>, para hacer la «doble abstracción» y  quedarse sólo con la cantidad de elementos, su cardinal. En el caso de un ordinal pues, sólo es necesario añadir una barra para obtener el cardinal correspondiente.</ref>

Existen diversas formas de construir esta asignación, dependiendo de los axiomas que se asuman para la [[teoría de conjuntos]]. Una manera particularmente formal de definir las posibles clases de equivalencia de cardinalidad es recurrir a una definición de Von Neumann un poco más abstracta de cardinal que se trata a continuación.

=== Cardinales de Von Neumann ===
La definición de cardinal de Von Neumann parte de la noción de ''conjunto bien ordenable''. Un conjunto [[Buen orden|bien ordenable]] es [[isomorfo bajo orden]] (y equipotente en particular) a algún [[Número ordinal (teoría de conjuntos)|ordinal]]. Sin embargo, en general, dos ordinales infinitos distintos pueden ser equipotentes: por ejemplo, todos los ordinales de la forma ''ω·n + m'' con ''m'' y ''n ≥ 1'' naturales son numerables, esto es, equipotentes a los números naturales ''ω''. Una vez definida la noción de [[Número ordinal (teoría de conjuntos)|ordinal]] se define la cardinalidad de un ordinal como:
{{ecuación|
<math>|\alpha| = \min \{\beta\in\mathrm{Ord}|\ \exists f:(f:\alpha\to\beta)
\land (f\ \mathrm{biyectiva}) \}</math>
||left}}
Como cualquier conjunto de ordinales es siempre un conjunto bien ordenado, siempre existirá un mínimo con esa definición un cardinal es un ordinal que cumple que:
{{ecuación|
<math>|\alpha| = \alpha</math>
||left}}
Todos los cardinales forman una [[Clase (teoría de conjuntos)|clase]] dentro de los ordinales. De hecho, en cierta manera la clase de todos los cardinales es una clase de "ordinales iniciales" en el sentido de que un cardinal es un ordinal tal que no existe ningún otro ordinal del mismo tamaño. En particular todos los [[ordinal regular|ordinales regulares]] son cardinales.

Es muy sencillo escoger un único ordinal de entre todos los que son equipotentes entre sí:
{{definición|Los '''cardinales de Von Neumann''' ''κ'' son aquellos ordinales no equipotentes a ninguno de sus anteriores:
:<math>\forall\alpha<\kappa\,,\,\alpha\not\approx\kappa</math> ,
}}
es decir, un cardinal de Von Neumann es un '''ordinal inicial''', el primer ordinal de cada «clase numérica» de Cantor. Se tiene entonces que:
{{teorema|1=*Todo conjunto bien ordenable es equipotente a un único cardinal de Von Neumann.
*Dos conjuntos bien ordenables son equipotentes si y solo si les corresponde el mismo cardinal.}}

Los cardinales de Von Neumann se suelen denotar por letras griegas de entre la mitad del alfabeto: ''κ'', ''μ'', ''ν'', etc.

De este modo, un ordinal cualquiera ''<span class="texhtml">α</span>'' está comprendido entre dos cardinales de Von Neumann, y al mayor de ellos se le llama '''cardinal siguiente''' a  ''<span class="texhtml">α</span>'', ''<span class="texhtml">α</span>''<sup>+</sup>. Asumiendo el axioma de elección como cierto, entonces todo conjunto es [[Buen orden|bien ordenable]] y equipotente a un único cardinal de Von Neumann.

==== La función alef ====
{{AP|Álef (cardinales)}}
La serie de los alefs asigna un cardinal de Von Neumann infinito {{unicode|ℵ}}<sub><span class="texhtml">α</span></sub> a cada ordinal ''<span class="texhtml">α</span>'' mediante [[recursión transfinita]]:
{{definición|El '''alef''' asociado a un ordinal viene dado por:

<math>\aleph_0=\omega\text{ , }\aleph_{\alpha+1}=\aleph_\alpha^+\text{ , }\aleph_\lambda=\bigcup_{\alpha<\lambda}\aleph_\alpha</math>
}}
y por esto se denota habitualmente al cardinal de los números naturales como {{unicode|ℵ}}<sub>0</sub>. Puede demostrarse que todo cardinal de Von Neumann infinito es un alef.

=== Definición general ===
El [[axioma de elección]] es [[independencia lógica|independiente]] del resto de axiomas de la [[teoría de conjuntos]]. Por tanto, si no se asume (o se postula su [[negación lógica|negación]]), no todo conjunto es bien ordenable, ni equipotente a un cardinal de Von Neumann. Sin embargo, es posible definir una noción distinta y más general de número cardinal que se extienda para todos los conjuntos.

La idea original para escoger un representante de cada cardinalidad de manera única era definir un cardinal como una [[clase de equivalencia]] de todos los conjuntos equipotentes a uno dado. Esta noción sencilla, que prevaleció en la literatura hasta los años 50, es inapropiada dado que esta clase de equivalencia no es un conjunto. Sin embargo, recurriendo al concepto de [[Rango (teoría de conjuntos)|rango]], puede demostrarse que la colección de todos los conjuntos equipotentes a uno dado ''de rango mínimo'' es un conjunto. Mediante esta herramienta —debida originalmente a [[Dana Scott]]— se puede definir número cardinal en general:<ref>Véase {{Harvsp|Deiser|2010}}.</ref>
{{definición|Un '''cardinal''' <math>\mathfrak p</math> es un conjunto que verifica:
*Todos sus elementos son equipotentes entre sí.
*Todos sus elementos tienen el mismo rango.
*No existen conjuntos equipotentes a los elementos de <math>\mathfrak p</math> de rango menor al rango común de estos.
*Cualquier conjunto equipotente a los elementos de <math>\mathfrak p</math> y con el mismo rango es un elemento de <math>\mathfrak p</math>.
}}
Los número cardinales así definidos (''generales'') se suelen denotar por letras góticas: <math>\mathfrak p</math>, <math>\mathfrak q</math>, etc. De esta definición se puede demostrar la generalización del teorema anterior:
{{teorema|1=*Todo conjunto es equipotente a los elementos de un único cardinal (''su'' cardinal).
*Dos conjuntos son equipotentes si y solo si tienen el mismo cardinal.}}

=== Diferencias ===
En general, los cardinales de Von Neumman son un subconjunto de la totalidad de los cardinales generales,<ref>Estrictamente hablando, esto no es correcto:  los cardinales de Von Neumman ''κ'' son unos ciertos ordinales y los cardinales generales no. «Subconjunto» ha de interpretarse en términos de la colección de todos los ''{{sobrerrayado|κ}}'', donde la barra toma el cardinal general.</ref> que en particular contiene todos los cardinales finitos. Si se asume el [[axioma de elección]], todo cardinal infinito es un alef, y además los cardinales están bien ordenados, en el sentido de que dados dos conjuntos, uno de ellos es biyectable con un subconjunto del otro. Puede demostrarse que estas propiedades son de hecho equivalentes al axioma de elección:
{{teorema|1=Son equivalentes:
*El axioma de elección.
*Todo cardinal infinito es un alef.
*'''Ley de la tricotomía''': dados dos conjuntos, uno de ellos es biyectable con un subconjunto del otro.
}}
Además, los cardinales de Von Neumman tienen el cardinal que representan: para todo ''κ'', |''κ''| = ''κ''. Los cardinales según la construcción general no tienen esta propiedad, y de hecho puede demostrarse que, en la [[axiomas de Zermelo-Fraenkel|teoría de Zermelo-Fraenkel]] sin el axioma de elección, no existe ninguna definición de cardinal que la tenga.

== Aritmética cardinal ==
Es posible definir unas suma, multiplicación y [[potenciación|exponenciación]] de cardinales, de forma similar al caso de la [[Número ordinal (teoría de conjuntos)#Aritmética ordinal|aritmética ordinal]], aunque las propiedades de la primera son más parecidas a la [[aritmética]] ordinaria. 

=== Suma ===
Dados dos conjuntos finitos y [[conjuntos disjuntos|disjuntos]], el número de elementos de su [[unión de conjuntos|unión]] es la suma del número de elementos de ambos. En la suma de dos cardinales se generaliza esta idea, al demostrarse:
{{teorema|1=El cardinal de la [[unión de conjuntos|unión]] de dos conjuntos [[disjuntos]] solo depende del cardinal dichos conjuntos: 
{{ecuación|<math>|A|=|A'|\text{ , }|B|=|B'|\text{ y }|A\cap B|=|A'\cap B'|=\empty\Rightarrow |A\cup B|=|A'\cup B'|</math>}}
}}
De este modo puede definirse:
{{definición|<math>\mathfrak p+\mathfrak q=\text{card}\Big([A\times\{0\}]\cup[B\times\{1\}]\Big)\text{ , donde }\text{card}(B)=\mathfrak q\text{ y }\text{card}(A)=\mathfrak p</math>}} 
En esta definición no se toma la unión de los dos cardinales directamente para evitar un posible solapamiento de sus elementos. De este modo se demuestra:
*Dados dos conjuntos disjuntos generales ''X'' e ''Y'', card(''X'' {{unicode|∪}} ''Y'') = card(''X'') + card(''Y'').
*La suma cardinal es [[propiedad conmutativa|conmutativa]] —a diferencia de la aritmética ordinal—, [[propiedad asociativa|asociativa]]  y con [[elemento neutro]] (<math>\mathfrak p+0=\mathfrak p</math>, donde 0 ≡ {{unicode|∅}}).
*La suma de ordinales y de cardinales son compatibles: card(''<span class="texhtml">α</span>'' + ''<span class="texhtml">β</span>'')=card(''<span class="texhtml">α</span>'') + card(''<span class="texhtml">β</span>''), donde ''<span class="texhtml">α</span>'' y ''<span class="texhtml">β</span>'' son ordinales, y el signo «+» del miembro izquierdo se refiere a la suma de ordinales.

{{demostración|título=Ejemplo|plegada=no|1=Sean los conjuntos:
:''A'' = {♠, ◊}
:''B'' = {Δ, ♦, Z}
:''N'' = {0, 1, 2, 3, ...} (los números naturales)
Es obvio que card(''A'' {{unicode|∪}} ''B'') = card(''A'') + card(''B'') =2 + 3 = 5. Para calcular card(''A'' {{unicode|∪}} ''N'') se ha de observar que ''A'' {{unicode|∪}} ''N'' = {♠, ◊, 0, 1, 2, 3, ...} tiene el mismo número de elementos que ''N'':
:{♠ ↔ 0, ◊ ↔ 1, 0 ↔ 2, 1 ↔ 3, 2 ↔ 4, 3 ↔ 5, ...}
En otras palabras, card(''N'') + card(''A'') = {{unicode|ℵ}}<sub>0</sub> + 2 = {{unicode|ℵ}}<sub>0</sub>. En general se tiene {{unicode|ℵ}}<sub>0</sub> + ''n'' = {{unicode|ℵ}}<sub>0</sub> para cualquier número natural ''n''.}}

=== Producto ===
De igual modo, al tomar el [[producto cartesiano]] de dos conjuntos finitos, el número de los elementos de este producto es igual al producto del número de elementos de ambos conjuntos. De nuevo, se generaliza esta idea para definir el producto de dos cardinales, donde se demuestra:
{{teorema|1=El cardinal del [[producto cartesiano]] de dos conjuntos solo depende del cardinal de dichos conjuntos:
{{ecuación|<math>|A|=|A'|\text{ y }|B|=|B'|\Rightarrow |A\times B|=|A'\times B'|</math>}}
}}
Y entonces se define:
{{definición|<math>\mathfrak p\cdot\mathfrak q=\text{card}\left(A\times B\right)\text{ , donde }\text{card}(B)=\mathfrak q\text{ y }\text{card}(A)=\mathfrak p</math>}} 
De este modo, se demuestra:
*Dados dos conjuntos ''X'' e ''Y'', card(''X'' × ''Y'') = card(''X'')·card(''Y''). 
*La multiplicación cardinal es conmutativa —a diferencia de la aritmética ordinal—, asociativa, [[propiedad distributiva|distributiva]] respecto de la suma, con elemento neutro (<math>\mathfrak p\cdot1=\mathfrak p</math>, donde 1 ≡ {0}) y [[elemento absorbente]] (<math>\mathfrak p\cdot0=0</math>).
*El producto de ordinales y de cardinales son compatibles: card(''<span class="texhtml">α</span>''·''<span class="texhtml">β</span>'') = card(''<span class="texhtml">α</span>'')·card(''<span class="texhtml">β</span>''), donde ''<span class="texhtml">α</span>'' y ''<span class="texhtml">β</span>'' son ordinales, y el signo «·» del miembro izquierdo se refiere al producto de ordinales.

{{demostración|título=Ejemplo|plegada=no|1=Utilizando los mismos conjuntos del ejemplo anterior, el producto de ''A'' y ''B'' es:
''A'' × ''B'' = {(♠,Δ), (♠,♦), (♠,Z), (◊,Δ), (◊,♦), (◊,Z)}
y obviamente card(''A'' × ''B'') = card(''A'') × card(''B'') = 2 × 3 = 6. Para calcular card(''A'' × ''N'') se ha de observar que el conjunto:
:''A''×''N'' = {(♠,0), (◊,0), (♠,1), (◊,1), (♠,2), (◊,2), ...}
tiene el mismo número de elementos que ''N'':
:{(♠,0) ↔ 0, (◊,0) ↔ 1, (♠,1) ↔ 2, (◊,1) ↔ 3, (♠,2) ↔ 4, (◊,2) ↔ 5, ...}
de modo que en general (♠,''n'') ↔ 2''n'' y (◊,''n'') ↔ 2''n'' + 1. Así, card(''A'' × ''N'') = card(''A'') × card(''N'') = 2 × {{unicode|ℵ}}<sub>0</sub> = {{unicode|ℵ}}<sub>0</sub>, y en general se tiene ''n'' × {{unicode|ℵ}}<sub>0</sub> = {{unicode|ℵ}}<sub>0</sub> para todo número natural no nulo.}}

=== Exponenciación ===
Por último, a la hora de tomar [[potenciación|potencias]] de cardinales, se generaliza el hecho de que dados dos conjuntos finitos ''X'' e ''Y'', existen exactamente #''Y''<sup>#''X''</sup> [[función matemática|funciones]] posibles cuyo [[dominio de definición|dominio]] es ''X'' y cuyo [[codominio]] es ''Y''. Denotando por ''B''<sup>''A''</sup> el conjunto de todas las aplicaciones ''f : A → B'', se tiene la siguiente propiedad:
{{teorema|1=El cardinal del conjunto de funciones entre dos conjuntos solo depende del cardinal de dichos conjuntos:
{{ecuación|<math>|A|=|A'|\text{ y }|B|=|B'|\Rightarrow |B^A|=|B'^{A'}|</math>}}
}}
Aprovechando esta propiedad puede definirse:
{{definición|1=<math>\mathfrak q^{\mathfrak p}=\text{card}(B^A)\text{, donde }\text{card}(B)=\mathfrak q\text{ y }\text{card}(A)=\mathfrak p</math> }}
Con esta definición puede entonces demostrarse:
*Dados dos conjuntos cualesquiera ''X'' e ''Y'', card(''Y''<sup>''X''</sup>) = card(''Y'')<sup>card(''X'')</sup>.
*Varias propiedades básicas de la exponenciación de números se mantienen: 
*:<math>\mathfrak p^{\mathfrak s}\mathfrak p^{\mathfrak t}=\mathfrak p^{\mathfrak s+\mathfrak t}\text{ , }\mathfrak p^{\mathfrak s}\mathfrak q^{\mathfrak s}=(\mathfrak p\cdot \mathfrak q)^{\mathfrak s}\text{ , }\mathfrak p^1=\mathfrak p\text{ , }\mathfrak p^0=1\text{ , }1^\mathfrak p=1\text{ , }0^\mathfrak p=0\text{ si }\mathfrak p\neq 0</math>.
*La exponenciación de ordinales y de cardinales '''no''' son compatibles. Por ejemplo, en la exponenciación ordinal se tiene 2<sup>''ω''</sup> = ''ω''. Sin embargo, card(2<sup>''ω''</sup>) = card(''ω'') = {{unicode|ℵ}}<sub>0</sub> ≠ 2<sup>card(''ω'')</sup> = 2<sup>{{unicode|ℵ}}<sub>0</sub></sup>, donde la segunda exponenciación es cardinal.

{{demostración|título=Ejemplo|plegada=no|1=Utilizando los mismos conjuntos de los ejemplos anteriores, la potencia ''A''<sup>''B''</sup> es el conjunto de todas las funciones con dominio ''B'' y codominio ''A''. Una función ''f'' : ''B'' → ''A'' viene especificada por las imágenes ''f''(Δ), ''f''(♦) y ''f''(Z). Para los tres casos, estas imágenes pueden ser ♠ ó ◊, sin ninguna restricción, Por tanto, hay dos posibilidades para cada imagen y 3 imágenes a determinar, con lo que hay 2×2×2 posibilidades. Por tanto card(''B''<sup>''A''</sup>) = card(''B'')<sup>card(''A'')</sup> = 2<sup>3</sup> = 8.

En el caso ''N''<sup>''A''</sup>, se han de encontrar todas las funciones ''f'' : ''A'' → ''N'', especificando las imágenes ''f''(♠) y ''f''(◊), que pueden valer ambas cualquier número natural. Así, una función queda especificada por un [[par ordenado]] de números (''m'',''n''). Pero es conocido que hay tantos pares ordenados de números como números. Por tanto ''N''<sup>''A''</sup> es equipotente a ''N'' y card(''N''<sup>''A''</sup>) = card(''N'')<sup>card(''A'')</sup> = {{unicode|ℵ}}<sub>0</sub><sup>2</sup> = {{unicode|ℵ}}<sub>0</sub>. En general, para todo número natural no nulo ''n'', {{unicode|ℵ}}<sub>0</sub><sup>''n''</sup> = {{unicode|ℵ}}<sub>0</sub>.

El caso ''A''<sup>''N''</sup> es distinto, pues se han de encontrar todas las funciones ''f'' : ''N'' → ''A'', especificando las imágenes de cada número natural ''f''(''n''), que pueden valer ♠ o ◊. Si se adopta el convenio de que ♠ significa '''SI''' y ◊ significa '''NO''', puede entenderse que cada ''f'' equivale a un subconjunto de ''N'': aquel que contiene solo los elementos cuya imagen es '''SI'''. Es obvio pues que ''A''<sup>''N''</sup> es equipotente a la colección de [[conjunto potencia|todos los subconjuntos]] de ''N''. Puede demostrarse que card(''A''<sup>''N''</sup>) = 2<sup>{{unicode|ℵ}}<sub>0</sub></sup> es estrictamente mayor que {{unicode|ℵ}}<sub>0</sub>, y que de hecho es el cardinal de los [[números reales]].}}

== Tipos de cardinales ==
=== Cardinales sucesores y límites ===
{{ap|Cardinal límite}}
Dado un cardinal α solo una de las siguiente afirmaciones es cierta:
# α = 0.
# α ≠ 0 y α es un cardinal sucesor, es decir, existe un cardinal máximo menor que α, más concretamente existe otro cardinal estrictamente menor que α que a su vez es mayor o igual que cualquier cardinal estrictamente inferior a α.
# α ≠ 0 y α es un [[cardinal límite]], es decir, no existe un cardinal máximo menor que α.

=== Cardinales regulares y singulares ===
{{ap|Cardinal regular}}

=== Cardinales accesibles e inaccesibles ===
{{ap|Cardinal inaccesible}}

== Hipótesis del continuo ==
{{AP|Hipótesis del continuo}}
La [[hipótesis del continuo]] es la cuestión de la existencia o no existencia de un cardinal entre los [[números naturales]] y los [[números reales]]. El conjunto de los números reales es equipotente al conjunto de todos los conjuntos de números naturales, cuya potencia es ''c'' ≡ 2<sup>{{unicode|ℵ}}<sub>0</sub></sup>.
{{teorema|título=Hipótesis del continuo|No existe un cardinal entre  {{unicode|ℵ}}<sub>0</sub> y ''c''.}}
Si se asume el axioma de elección, existe un mínimo cardinal mayor que {{unicode|ℵ}}<sub>0</sub>, {{unicode|ℵ}}<sub>1</sub>. La hipótesis del continuo puede formularse entonces como «''c'' es igual a {{unicode|ℵ}}<sub>1</sub>».

Puede demostrarse que en las teorías estándar de conjuntos, este enunciado es [[independencia (lógica matemática)|independiente]]: tanto él como su negación son compatibles con los axiomas de la teoría de conjuntos.

== Referencias ==
{{listaref}}

== Bibliografía ==
*{{cita libro|apellidos=Cantor|nombre=Georg|título=Fundamentos para una teoría general de conjuntos. Escritos y correspondencia selecta.|enlaceautor=Georg Cantor|año=2006|año-original=1872-1899|editorial=Crítica|isbn=84-8432-695-0|otros=Edición de José Ferreirós}}
*{{cita publicación|apellidos=Deiser|nombre=Oliver|título=On the Development of the Notion of a Cardinal Number|publicación=History and Philosophy of Logic|doi=10.1080/01445340903545904 |volumen=31|número=2|páginas=123-143|fecha = mayo de 2010}}
*{{obra citada|apellidos=Ivorra|nombre=Carlos|título=Lógica y teoría de conjuntos|url=http://www.uv.es/ivorra/Libros/Logica.pdf|fechaacceso=18 de octubre de 2010}}.
*{{cita libro|nombre=Thomas J.|apellidos=Jech|título=The Axiom of Choice|editorial=North-Holland|año=1973|isbn=0-7204-2275-2|idioma=inglés}}
*{{cita libro|apellidos=Rubin|nombre=Jean E.|título=Set Theory for the Mathematician|editorial=Holden-Day|año=1967|oclc=816225|idioma=inglés}}

== Enlaces externos ==
{{traducido ref|en|Cardinal number}}

{{Control de autoridades}}
[[Categoría:Teoría de conjuntos]]