Kdtyjb

El cardinal indica el número o cantidad de elementos de un conjunto, sea esta cantidad finita o infinita. Los números cardinales constituyen una generalización interesante del concepto de número natural, permitiendo comparar la cantidad de elementos de conjuntos infinitos. Dado un conjunto A{displaystyle A,}, el cardinal de este conjunto se simboliza mediante |A|{displaystyle |A|,}, n(A){displaystyle {mbox{n}}(A),}, card(A){displaystyle {mbox{card}}(A),} ó #A{displaystyle #A}. Por ejemplo: si A tiene 3 elementos el cardinal se indica así: |A| = 3.

Historia

El concepto de número cardinal fue desarrollado y propuesto por Georg Cantor, en 1874, quien lo amplió a conjuntos infinitos, ya que para conjuntos finitos el concepto de cardinal es trivial.

Primero estableció el concepto de cardinalidad como una herramienta para comparar conjuntos finitos. Por ejemplo, los conjuntos {1,2,3} y {2,3,4} son distintos pero ambos tienen cardinalidad 3.

Cantor definió el conteo usando la correspondencia biunívoca, la cual mostraba fácilmente que dos conjuntos finitos tenían la misma cardinalidad si había una relación biyectiva entre sus elementos. Esta correspondencia uno a uno le sirvió para crear un concepto de conjunto infinito, el cual posee todos sus elementos relacionados de forma biyectiva con el conjunto de números naturales (N{displaystyle mathbb {N} } = {1, 2, 3, ...}).

Nombró el cardinal de N{displaystyle mathbb {N} }: ℵ0{displaystyle aleph _{0}}. Incluso probó que varios conjuntos infinitos formados por naturales (como los pares) tienen cardinalidad ℵ0{displaystyle aleph _{0}}, debido a que era posible establecer la relación biunívoca con N{displaystyle mathbb {N} }.

Propiedades del cardinal de un conjunto

Los conjuntos pueden ser divididos en clases de equivalencia definidas en función de la relación de equivalencia que incluye a un par de conjuntos si y solo si entre estos existe una biyección.Cardinalidad de un conjunto sería la clase de equivalencia a la cual este pertenece.Tener dos conjuntos A{displaystyle A}, B{displaystyle B} con la misma cardinalidad (o sea, que pertenezcan al mismo cardinal) se denota:

|A|=|B|{displaystyle left|Aright|=left|Bright|}

o bien

#A=#B{displaystyle #A=#B}

La existencia de una función inyectiva entre dos conjuntos también define una relación de orden entre sus cardinales; es decir:

|A|≤#|B|⇔∃f:A→B,inyectiva{displaystyle left|Aright|leq _{#}left|Bright|quad Leftrightarrow quad exists f:Arightarrow B;,quad {text{inyectiva}}}

La relación <#{displaystyle <_{#}} excluye la posibilidad que los cardinales sean iguales.


Es posible demostrar que si

|A|≤#|B|{displaystyle left|Aright|leq _{#}left|Bright|}

y

|B|≤#|A|{displaystyle left|Bright|leq _{#}left|Aright|}

esto implica que:

|A|=|B|{displaystyle left|Aright|=left|Bright|}

El cardinal del conjunto vacío se denota convencionalmente como 0 (cero):

card(∅)=0{displaystyle {text{card}}(varnothing )=0}

El primer cardinal infinito (en el sentido de que sus representantes son conjuntos infinitos) es el cardinal de los naturales, y se denota usualmente por ω{displaystyle omega }. Se puede también demostrar que existe una función biyectiva entre los ordinales y los cardinales de conjuntos infinitos, tal que preserva el orden en ambos conjuntos (el orden de los ordinales y el ≤#{displaystyle leq _{#}}-orden en los cardinales). Esta función, llamada ℵ{displaystyle aleph } (Álef), induce un buen orden en los cardinales, y de aquí proviene la notación ℵ0=ω{displaystyle aleph _{0}=omega } para el primer cardinal infinito, ℵ1{displaystyle aleph _{1}} para el siguiente, etc.

Cardinal del conjunto potencia

Existe una relación entre el cardinal de un conjunto y el conjunto de partes o conjunto potencia:

|A|=n⇒|P(A)|=2n{displaystyle |A|=nRightarrow |P(A)|=2^{n}}

Donde |P(A)|{displaystyle |P(A)|} es el cardinal del conjunto de partes de A{displaystyle A}.

Cardinales transfinitos

Los números cardinales de algunos conjuntos se representan con símbolos especiales:

• El cardinal de los números reales: card(R)=c{displaystyle {mbox{card}}(mathbb {R} )=c}.


• El cardinal de los números naturales: card(N)=ℵ0{displaystyle {mbox{card}}(mathbb {N} )=aleph _{0}} (Alef-0).


• El cardinal inmediatamente superior a ℵ0{displaystyle aleph _{0}}: ℵ1{displaystyle aleph _{1}}
  

Usando los axiomas de Zermelo-Fraenkel (ZF) puede comprobarse que los tres cardinales anteriores cumplen ℵ0<ℵ1≤c{displaystyle aleph _{0}<aleph _{1}leq c}. La hipótesis del continuo afirma que de hecho c=ℵ1{displaystyle c=aleph _{1}}. Gödel probó en 1938 que esta hipótesis es consistente con los axiomas ZF, y por tanto puede ser tomado como un axioma nuevo para la teoría de conjuntos. Sin embargo, en 1963 Paul Cohen probó que la negación de la hipótesis del continuo también es consistente con los axiomas ZF, lo cual prueba que dicha hipótesis es totalmente independiente de los axiomas ZF. Es decir, pueden construirse tanto "teorías de conjuntos cantorianas" en las que la hipótesis del continuo es una afirmación cierta, como "teorías de conjuntos no cantorianas" en las que la hipótesis del continuo sea falsa. Esta situación es similar a la de las geometrías no euclídeas.

Definición formal de cardinal

En teoría de conjuntos se emplean definiciones un poco más abstractas de cardinal, que requieren de la definición de los ordinales. En ese contexto se define la cardinalidad de un ordinal como:

|α|=min{β∈Ord| ∃f:(f:α→β)∧(f biyectiva)}{displaystyle |alpha |=min{beta in mathrm {Ord} | exists f:(f:alpha to beta )land (f mathrm {biyectiva} )}}

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:

|α|=α{displaystyle |alpha |=alpha }

Todos los cardinales forman una 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 ordinales regulares son cardinales.

Ejemplos de cálculo del cardinal de un conjunto

Conjuntos finitos

El cardinal conjunto finito A = {2,4,5} es 3. Resulta trivial demostrar que esta función es inyectiva: f: {2,4,5} → {1,2,3}:

f(x)={1,six=22,six=43,six=5{displaystyle f(x)={begin{cases}1,&si&x=2\2,&si&x=4\3,&si&x=5end{cases}}}

Conjuntos infinitos

Números naturales

El cardinal del conjunto infinito P = {x ∈ N{displaystyle mathbb {N} } | x es par } formado por los números pares es ℵ0{displaystyle aleph _{0}}. Para demostrarlo basta con definir las funciones:

f:P⟶Nx↦y=f(x)=x2g:N⟶Px↦y=g(x)=2x{displaystyle {begin{array}{rccl}f:&P&longrightarrow &mathbb {N} \&x&mapsto &y=f(x)={frac {x}{2}}end{array}}qquad {begin{array}{rccl}g:&mathbb {N} &longrightarrow &P\&x&mapsto &y=g(x)=2xend{array}}}

Demostrando la inyectividad de ambas, concluimos que f es biyectiva. La cardinalidad del conjunto es ℵ0{displaystyle aleph _{0}}. Esto concluye la demostración. Aunque este resultado puede parecer contrario a la intuición, ya que se puede pensar que hay más naturales que pares (porque, por ejemplo, el 1 es natural y no está incluido en los pares), demostramos que estos conjuntos son equipotentes.

El conjunto de pares ordenados (o, más generalmente, de n-tuplas) de números naturales tiene un cardinal ℵ0{displaystyle aleph _{0}}. Esto se puede probar numerando los pares de números naturales anti-diagonalmente. Otro modo de demostrar es que N×N{displaystyle mathbb {N} times mathbb {N} } tiene el mismo cardinal que un subconjunto infinito de los naturales:

g:N×N⟶Nx,y↦z=g(x,y)=3x⋅2y{displaystyle {begin{array}{rccl}g:&mathbb {N} times mathbb {N} &longrightarrow &mathbb {N} \&x,y&mapsto &z=g(x,y)=3^{x}cdot 2^{y}end{array}}}

Al ser 3 y 2 números primos, para cada par x, y obtendremos un número distinto. Entonces g es inyectiva y card⁡(N×N)≤card⁡(N){displaystyle operatorname {card} (mathbb {N} times mathbb {N} )leq operatorname {card} (mathbb {N} )}

Números racionales

El conjunto de los Números racionales Q{displaystyle mathbb {Q} } tiene un cardinal igual a ℵ0{displaystyle aleph _{0}}. Este resultado desafía un poco la intuición porque de un lado el conjunto de los racionales es "denso" en R{displaystyle mathbb {R} }, que tiene cardinal 2ℵ0{displaystyle 2^{aleph _{0}}}. De hecho, estudiando un poco la topología de los números reales, tenemos que entre dos números reales existe siempre un número racional, y entre dos racionales siempre hay un real irracional. Eso podría hacer pensar que Q{displaystyle mathbb {Q} } y R{displaystyle mathbb {R} } son comparables según el número de elementos, pero resulta que Q{displaystyle mathbb {Q} } sólo tiene tantos elementos como N{displaystyle mathbb {N} }, siendo el número de elementos de R{displaystyle mathbb {R} } un infinito muy superior al número de elementos de Q{displaystyle mathbb {Q} }.

Para comprobar que en efecto el conjunto Q{displaystyle mathbb {Q} } es numerable y por lo tanto tiene el mismo cardinal que los naturales, podemos ver que existe una función inyectiva iQ{displaystyle i_{mathbb {Q} }}. Si un número racional q es igual a r/s, siendo estos dos números primos relativos entre sí, entonces definimos:

iQ:Q⟶N×Nq↦iQ(q)=(r,s)[mcd⁡(r,s)=1]{displaystyle {begin{array}{rccl}i_{mathbb {Q} }:&mathbb {Q} &longrightarrow &mathbb {N} times mathbb {N} \&q&mapsto &i_{mathbb {Q} }(q)=(r,s)quad [operatorname {mcd} (r,s)=1]end{array}}}

Esto demuestra que card(Q)≤card(N×N){displaystyle {mbox{card}}(mathbb {Q} )leq {mbox{card}}(mathbb {N} times mathbb {N} )}, y como card(N×N)=card(N){displaystyle {mbox{card}}(mathbb {N} times mathbb {N} )={mbox{card}}(mathbb {N} )} y los naturales son asimilables a un conjunto de los racionales, tenemos la cadena de desigualdades:

card(N)≤card(Q)≤card(N×N)≤card(N){displaystyle {mbox{card}}(mathbb {N} )leq {mbox{card}}(mathbb {Q} )leq {mbox{card}}(mathbb {N} times mathbb {N} )leq {mbox{card}}(mathbb {N} )}

Por lo tanto:

card⁡(Q)=card⁡(N){displaystyle operatorname {card} (mathbb {Q} )=operatorname {card} (mathbb {N} )}

Aritmética de cardinales

Dados dos conjuntos disjuntos A{displaystyle scriptstyle {mathcal {A}}} y B{displaystyle scriptstyle {mathcal {B}}} con cardinales respectivos A{displaystyle scriptstyle A} y B{displaystyle scriptstyle B}, se define el principio de la suma y el principio del producto para la suma y multiplicación de cardinales como:

A+B=|A∪B|,A⋅B=|A×B|{displaystyle A+B=|{mathcal {A}}cup {mathcal {B}}|;,quad Acdot B=|{mathcal {A}}times {mathcal {B}}|}

Cuando los dos conjuntos son finitos, la aritmética de cardinales se reduce a la aritmética de números naturales. Sin embargo, cuando alguno de los dos conjuntos es infinito se tiene una extensión consistente de la aritmética de números naturales. Existen algunas relaciones aritméticas interesantes entre cardinales transfinitos:

• El cardinal de la unión de dos conjuntos coincide con el de mayor cardinal: A+B=max(A,B){displaystyle A+B=max(A,B)}
  


• El cardinal del producto cartesiano de dos conjuntos coincide con el de mayor cardinal: A⋅B=max(A,B){displaystyle Acdot B=max(A,B)}
  

La exponenciación de cardinales se define a partir del conjunto de funciones de entre los dos conjuntos A{displaystyle scriptstyle {mathcal {A}}} y B{displaystyle scriptstyle {mathcal {B}}}:

AB=|{f:B→A}|=|AB|{displaystyle A^{B}=|{f:{mathcal {B}}to {mathcal {A}}}|=|{mathcal {A}}^{mathcal {B}}|}

Con las definiciones anteriores es inmediato comprobar que:

A+⋯+A⏞n=n⋅A,A⋅⋯⋅A⏞n=An{displaystyle overbrace {A+dots +A} ^{n}=ncdot A;,quad overbrace {Acdot dots cdot A} ^{n}=A^{n}}

Véase también

• Contar


• Álef


• Número ordinal (teoría de conjuntos)


• Número cardinal

Conjunto finito

Conjunto infinito

Conjunto numerable

Espacio compacto

Conjunto no numerable

Hipótesis del continuo

Enlaces externos

• 
  Weisstein, Eric W. «Cardinal Number». En Weisstein, Eric W. MathWorld (en inglés). Wolfram Research. 
  


• Números Cardinales