Nmero cardinal

El cardinal indica el nmero o cantidad de elementos de

un conjunto, sea esta cantidad nita o innita. Los nmeros cardinales constituyen una generalizacin interesante
del concepto de nmero natural, permitiendo comparar
la cantidad de elementos de conjuntos innitos. Dado un
conjunto A , el cardinal de este conjunto se simboliza
mediante |A| , n(A) , card(A) o #A . Por ejemplo: si A
tiene 3 elementos el cardinal se indica as: |A| = 3.

La existencia de una funcin inyectiva entre dos conjuntos

tambin dene una relacin de orden entre sus cardinales;
es decir:
|A| # |B| f : A Binyectiva ,
La relacin <# excluye la posibilidad que los cardinales
sean iguales.
Es posible demostrar que si

Historia

|A| # |B| y |B| # |A| esto implica que

|A| = |B|

El concepto de nmero cardinal fue desarrollado y propuesto por Georg Cantor, en 1874, quien lo ampli a con- El cardinal del conjunto vaco se denota convencionaljuntos innitos, ya que para conjuntos nitos el concepto mente como 0 (cero) y contiene al nico conjunto vaco:
de cardinal es trivial.
card() = 0
Primero estableci el concepto de cardinalidad como una
herramienta para comparar conjuntos nitos. Por ejemplo, los conjuntos {1,2,3} y {2,3,4} son distintos pero El primer cardinal innito (en el sentido de que sus representantes son conjuntos innitos) es el cardinal de los
ambos tienen cardinalidad 3.
naturales, y se denota usualmente por . Se puede tamCantor deni el conteo usando la correspondencia bi- bin demostrar que existe una funcin biyectiva entre los
unvoca, la cual mostraba fcilmente que dos conjuntos ordinales y los cardinales de conjuntos innitos, tal que
nitos tenan la misma cardinalidad si haba una relacin preserva el orden en ambos conjuntos (el orden de los orbiyectiva entre sus elementos. Esta correspondencia uno dinales y el # -orden en los cardinales). Esta funcin,
a uno le sirvi para crear un concepto de conjunto in- llamada , induce un buen orden en los cardinales, y de
nito, el cual posee todos sus elementos relacionados de aqu proviene la notacin 0 = para el primer cardinal
forma biyectiva con el conjunto de nmeros naturales (N innito, 1 para el siguiente, etc.
= {1, 2, 3, ...}).
Nombr el cardinal de N : 0 . Incluso prob que varios conjuntos innitos formados por naturales (como los 2.1 Cardinal del conjunto potencia
pares) tienen cardinalidad 0 , debido a que era posible
Existe una relacin entre el cardinal de un conjunto y el
establecer la relacin biunvoca con N.
conjunto de partes o conjunto potencia:

Propiedades del cardinal de un

conjunto

|A| = n |P (A)| = 2n
Donde |P (A)| es el cardinal del conjunto de partes.

Los conjuntos pueden ser divididos en clases de equivalencia denidas en funcin de la relacin de equivalencia 2.2 Cardinales transnitos
que incluye a un par de conjuntos si y slo si entre stos
existe una biyeccin. Cardinalidad de un conjunto sera la Los nmeros cardinales de algunos conjuntos se repreclase de equivalencia a la cual ste pertenece. Tener dos sentan con smbolos especiales:
conjuntos A, B con la misma cardinalidad (o sea, que
pertenezcan al mismo cardinal) se denota:
El cardinal de los nmeros reales: card(R) = c ;
El cardinal de los nmeros naturales: card(N) = 0
(Alef-0).

|A| = |B| , o bien #A = #B

1

3 EJEMPLOS DE CLCULO DEL CARDINAL DE UN CONJUNTO

El cardinal inmediatamente superior a 0 : 1

Usando los axiomas de Zermelo-Fraenkel (ZF) puede

comprobarse que los tres cardinales anteriores cumplen
0 < 1 c . La hiptesis del continuo arma que de
hecho c = 1 . Gdel prob en 1938 que esta hiptesis
es consistente con los axiomas ZF, y por tanto puede ser
tomado como un axioma nuevo para la teora de conjuntos. Sin embargo, en 1963 Paul Cohen prob que la negacin de la hiptesis del continuo tambin es consistente
con los axiomas ZF, lo cual prueba que dicha hiptesis
es totalmente independiente de los axiomas ZF. Es decir,
pueden construirse tanto teoras de conjuntos cantorianas en las que la hiptesis del continuo es una armacin
cierta, como teoras de conjuntos no cantorianas en las
que la hiptesis del continuo sea falsa. Esta situacin es
similar a la de las geometras no eucldeas.

3.2 Conjuntos innitos

3.2.1 Nmeros naturales
El cardinal del conjunto innito P = {x N / x es par }
formado por los nmeros pares es 0 . Para demostrarlo
basta con denir las funciones:
f : P N
x 7 f (x) = x2

g : N P
x 7 g(x) = 2x

Demostrando la inyectividad de ambas, concluimos que

f es biyectiva. La cardinalidad del conjunto es 0 . Esto
concluye la demostracin. Aunque este resultado puede
parecer contrario a la intuicin, ya que se puede pensar
que hay ms 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 ms generalmente de n-tuplas) de

nmeros naturales tiene un cardinal 0 . Esto se puede
probar
numerando los pares de nmeros naturales antiEn teora de conjuntos se emplean deniciones un poco
diagonalmente.
Otro modo de demostrar es que N N
ms abstractas de cardinal, que requieren de la denicin
tiene
el
mismo
cardinal que un subconjunto innito de
de los ordinales. En ese contexto se dene la cardinalidad
los
naturales:
de un ordinal como:

2.3

Denicin formal de cardinal

|| = min{ Ord| f : (f :
) (f biyectiva)}

g : N N N
g(x, y) = 3x 2y

Como cualquier conjunto de ordinales es siempre un con- Al ser 3 y 2 nmeros primos, para cada par x, y obtenjunto bien ordenado, siempre existir un mnimo con esa dremos un nmero distinto. Entonces g es inyectiva y
card(N N) card(N)
denicin un cardinal es un ordinal que cumple que:
|| =
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
ningn otro ordinal del mismo tamao. En particular todos los ordinales regulares son cardinales.

3
3.1

Ejemplos de clculo del cardinal

de un conjunto
Conjuntos nitos

El cardinal conjunto nito A = {2,4,5} es 3. Resulta trivial demostrar que esta funcin es inyectiva: f: {2,4,5}
{1,2,3}:

1, si x= 2
f (x) = 2, si x= 4

3, si x= 5

3.2.2 Nmeros racionales

El conjunto de los Nmeros racionales Q tiene un cardinal igual a 0 . Este resultado desafa un poco la intuicin
porque de un lado el conjunto de los racionales es "denso"
en R que tiene cardinal 20 , de hecho estudiando un poco la topologa de los nmeros reales, tenemos que entre
dos nmeros reales existe siempre un nmero racional, y
entre dos racionales un real irracional. Eso podra hacer
pensar que Q y R son comparables segn el nmero de
elementos, pero resulta que Q slo tiene tantos elementos
como N , siendo el nmero de elementos de R un innito
muy superior al nmero de elementos de Q .
Para comprobar que en efecto el conjunto Q es numerable, y por tanto, tiene el mismo cardinal que los naturales
podemos ver que existe una funcin inyectiva iQ . Si un
nmero racional q es igual a r/s siendo estos dos nmeros
primos relativos entre s entonces denimos:
iQ : Q N N
q 7 iQ (q) = (r, s)

[mcd(r, s) = 1]

Esto demuestra que card(Q) card(N N) y como

card(N N) = card(N) y los naturales son asimilables

3
a un conjunto de los racionales tenemos la cadena de desigualdades:
card(N) card(Q) card(N N) card(N)
Por lo tanto: card(Q) = card(N)

Aritmtica de cardinales

Dados dos conjuntos disjuntos A y B con cardinales respectivos A y B se dene el principio de la suma y el
principio del producto para la suma y multiplicacin de
cardinales como:
A + B = |A B|,

A B = |A B|

Cuando los dos conjuntos son nitos la aritmtica de cardinales se reduce a la aritmtica de nmeros naturales.
Sin embargo cuando alguno de los dos conjuntos es innito se tiene una extensin consistente de la aritmtica de
nmeros naturales. Existen algunas relaciones aritmticas
interesantes entre cardinales transnitos:
A + B = max(A, B)
A B = max(A, B)
La exponenciacin de cardinales se dene a partir del
conjunto de funciones de entre los dos conjuntos A y B :
AB = {f : B A} = |AB |
Con las deniciones anteriores es inmediato comprobar
que:
n

z
}|
{
A + + A = n A,

z }| {
A A =

An

Vase tambin
Contar
Nmero ordinal (teora de conjuntos)
Alef cero
Alef uno
Alef dos
lef omega

Enlaces externos
Weisstein, Eric W. Cardinal Number (en ingls).
MathWorld. Wolfram Research.

7 TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES

Text and image sources, contributors, and licenses

7.1

Text

Nmero cardinal Fuente: http://es.wikipedia.org/wiki/N%C3%BAmero%20cardinal?oldid=74767321 Colaboradores: Joseaperez, Fibonacci, Sabbut, Moriel, Robbot, Cassilia, Sms, Opinador, Domaniom, RobotQuistnix, Alhen, Chobot, Yrbot, Mpagano, FlaBot, GermanX,
Kabri, Er Komandante, Tomatejc, BOTpolicia, Rdaneel, CEM-bot, Marianov, Cusell, Davius, Antur, Dorieo, Fsd141, Resped, Drake 81,
Tfeliz, Botones, JAnDbot, Stifax, HiTe, Plux, Andres ernesto guzman, Technopat, Muro Bot, SieBot, Jorge.es.iu, Manw, Greek, Tirithel,
Raulshc, AVBOT, Louperibot, Diegusjaimes, Luckas-bot, Nallimbot, LordboT, 100% puma, Kender00, Xqbot, Jkbw, Rubinbot, Kismalac,
Igna, Botarel, Emiduronte, WikitanvirBot, MerlIwBot, Acratta, Helmy oved, Addbot, Lopenovi2 y Annimos: 73

7.2

Images

7.3

Content license

Creative Commons Attribution-Share Alike 3.0