El cardinal indica el número o cantidad de los elementos constitutivos de un conjunto. Es interesante destacar que se diferencia del ordinal, porque el ordinal introduce orden y de ahí jerarquía: primero, segundo, tercero, etc. El cardinal, en cambio, nombra el número de elementos constitutivos y ése es el nombre del conjunto correspondiente.
Dado un conjunto A, el cardinal de este conjunto se lo simboliza |A| o card(A).
Por ejemplo: Si A tiene 3 elementos el cardinal se indica así: |A| = 3.
Dos cardinales no son iguales si tienen diferente número de elementos constitutivos: un conjunto de tres elementos, será diferente que si lo constituyen cuatro. Si uno se agregara a los cuatro, serían cinco, es decir, un conjunto diferente, más aún, esencialmente diferente.
Otra propiedad: el nombre del cardinal indica su existencia y su límite.
Por ejemplo, existe el cardinal tres y está constituido por tres elementos y no por cuatro. Ése es su límite. El conjunto que no tiene ningún elemento es el conjunto vacío.
[editar] Historia
El concepto de número cardinal fue inventado por Georg Cantor, en 1874.
Primero estableció el concepto de cardinalidad como un instrumento para comparar conjuntos finitos. Por ejemplo los conjuntos {1,2,3} y {2,3,4} no son iguales pero tienen la misma cardinalidad, llamada tres.
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 correspodencia 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 = {1, 2, 3, ...})
Nombró el cardinal de : . Incluso probó que varios conjuntos infinitos formados por naturales (como los pares), tienen cardinalidad , debido que era posible establecer la relación biunívoca con N
Cardinales transfinitos
Los números cardinales de algunos conjuntos se representan con símbolos especiales:
El cardinal de los números reales: ;
El cardinal de los números naturales: (Alef-0).
El cardinal inmediatamente superior a :
Usando los axiomas de Zermelo-Fraenkel (ZF) puede comprobarse que los tres cardinales anteriores cumplen . La hipótesis del continuo afirma que de hecho . 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.
[editar] Ejemplo de cálculo del cardinal de un conjunto
El cardinal conjunto finito A = {2,4,5} es 3. Demostración: En primer lugar resulta trivial probar que esta función es inyectiva: f: {2,4,5} → {1,2,3}:
El cardinal del conjunto infinito P = {x ∈ ℕ / x es par } formado por los números pares es . Para probarlo basta con definir las funciones:
Demostrando la inyectividad de ambas, concluimos que f es biyectiva. La cardinalidad del conjunto es . 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), pero demostramos que estos conjuntos son equipotentes.
El conjunto de pares (o más generalmente de n-tuplas) de números naturales tiene un cardinal . Esto se puede probar numerando los pares de números naturales anti-diagonalmente. Otro modo de probar es que tiene el mismo cardinal que un subconjunto infinito de los naturales:
g: x → g(x, y) = 3x * 2y
Al ser 3 y 2 números primos, para cada par x, y obtendremos un número distinto. Entonces g es inyectiva y
El conjunto de los Números racionales tiene un cardinal igual a . Este resultado desafía un poco la intuición porque de un lado el conjunto de los racionales es "denso" en que tiene cardinal , 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 un real irracional. Eso podría hacer pensar que y son comparables según el número de elementos, pero resulta que sólo tantos elementos como , siendo el número de elementos de un infinito muy superior al número de elementos de .
Para comporbar que en efecto el conjunto es numerable, y por tanto, tiene el mismo cardenal que los naturales podemos ver que existe una función inyectiva
. Si un número racional q es igual a r/s siendo estos dos números primos relativos entre sí entonces definimos:
Esto prueba que y como y los naturales son asimilables a un conjunto de los racionales tenemos la cadena de desigualdades:
Por lo tanto:
[editar] Cardinal del conjunto potencia
Existe una relación entre el cardinal de un conjunto y el conjunto de partes o conjunto potencia:
Donde | P(A) | es el cardinal del conjunto de partes.
![BHH [Bustin' Ho's Heads]](https://q2a.es/img/profile/B/BHHvvBustinvvx27vvHovvx27vsvHeadsv.jpg)
Answers & Comments
Verified answer
El cardinal indica el número o cantidad de los elementos constitutivos de un conjunto. Es interesante destacar que se diferencia del ordinal, porque el ordinal introduce orden y de ahí jerarquía: primero, segundo, tercero, etc. El cardinal, en cambio, nombra el número de elementos constitutivos y ése es el nombre del conjunto correspondiente.
Dado un conjunto A, el cardinal de este conjunto se lo simboliza |A| o card(A).
Por ejemplo: Si A tiene 3 elementos el cardinal se indica así: |A| = 3.
Dos cardinales no son iguales si tienen diferente número de elementos constitutivos: un conjunto de tres elementos, será diferente que si lo constituyen cuatro. Si uno se agregara a los cuatro, serían cinco, es decir, un conjunto diferente, más aún, esencialmente diferente.
Otra propiedad: el nombre del cardinal indica su existencia y su límite.
Por ejemplo, existe el cardinal tres y está constituido por tres elementos y no por cuatro. Ése es su límite. El conjunto que no tiene ningún elemento es el conjunto vacío.
[editar] Historia
El concepto de número cardinal fue inventado por Georg Cantor, en 1874.
Primero estableció el concepto de cardinalidad como un instrumento para comparar conjuntos finitos. Por ejemplo los conjuntos {1,2,3} y {2,3,4} no son iguales pero tienen la misma cardinalidad, llamada tres.
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 correspodencia 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 = {1, 2, 3, ...})
Nombró el cardinal de : . Incluso probó que varios conjuntos infinitos formados por naturales (como los pares), tienen cardinalidad , debido que era posible establecer la relación biunívoca con N
Cardinales transfinitos
Los números cardinales de algunos conjuntos se representan con símbolos especiales:
El cardinal de los números reales: ;
El cardinal de los números naturales: (Alef-0).
El cardinal inmediatamente superior a :
Usando los axiomas de Zermelo-Fraenkel (ZF) puede comprobarse que los tres cardinales anteriores cumplen . La hipótesis del continuo afirma que de hecho . 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.
[editar] Ejemplo de cálculo del cardinal de un conjunto
El cardinal conjunto finito A = {2,4,5} es 3. Demostración: En primer lugar resulta trivial probar que esta función es inyectiva: f: {2,4,5} → {1,2,3}:
El cardinal del conjunto infinito P = {x ∈ ℕ / x es par } formado por los números pares es . Para probarlo basta con definir las funciones:
Demostrando la inyectividad de ambas, concluimos que f es biyectiva. La cardinalidad del conjunto es . 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), pero demostramos que estos conjuntos son equipotentes.
El conjunto de pares (o más generalmente de n-tuplas) de números naturales tiene un cardinal . Esto se puede probar numerando los pares de números naturales anti-diagonalmente. Otro modo de probar es que tiene el mismo cardinal que un subconjunto infinito de los naturales:
g: x → g(x, y) = 3x * 2y
Al ser 3 y 2 números primos, para cada par x, y obtendremos un número distinto. Entonces g es inyectiva y
El conjunto de los Números racionales tiene un cardinal igual a . Este resultado desafía un poco la intuición porque de un lado el conjunto de los racionales es "denso" en que tiene cardinal , 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 un real irracional. Eso podría hacer pensar que y son comparables según el número de elementos, pero resulta que sólo tantos elementos como , siendo el número de elementos de un infinito muy superior al número de elementos de .
Para comporbar que en efecto el conjunto es numerable, y por tanto, tiene el mismo cardenal que los naturales podemos ver que existe una función inyectiva
. Si un número racional q es igual a r/s siendo estos dos números primos relativos entre sí entonces definimos:
Esto prueba que y como y los naturales son asimilables a un conjunto de los racionales tenemos la cadena de desigualdades:
Por lo tanto:
[editar] Cardinal del conjunto potencia
Existe una relación entre el cardinal de un conjunto y el conjunto de partes o conjunto potencia:
Donde | P(A) | es el cardinal del conjunto de partes.
Obtenido de "http://es.wikipedia.org/wiki/N%C3%BAmero_cardinal%...