Copyrigl1ted material

don.deXi es el elemento asignado a i; para =1,2, ... ,'11.

Antes dijimos que N es infinito, su cardinalidad sedenota por 1'\0; el smbolo Nse
llama "aleph" y es laprimeraletra del alfabeto hebreo. Si un conjunto A es tal que
Resulta que si A es finito y no vaco, entonces existe n E N, con card A =
card {l, 2, ...,n}. Se dice que lacardinalidad de A es n (A tiene n elementos) y se
escribe card A =n. Por otra parte, se define card 0 =O.
Ejemplo 81. El conjunto {I,m, n, o} tiene cardinalidad 4 pues, por ejemplo, la.
funcin I : {l,m,n,o} _, {1,2,3,4}, tal que f(l) =1, I(rn.) = 2, f(n) 3 y
1(0) =4, es biyectiva. O
Observe que si card A =n, entonces existe una funcin biyectiva l :.4. -4
{1,2, ... ,n}. Esto nos permite "contar" los elementos de A: el elemento asignado 11
1es el primer elemento, el asignado a 2es el segundo elemento y as sucesivamente,
el elemento asignado a n es el n-sirno elemento. As, loselementos de un conjunto
A de cardinalidad n pueden ser arreglados en una secuencia:
Definicin 25. Se dice que HU conjunto A es infinito si existe un subconjunto
propio B de A y una funcin biyectiva l :A ->B. El conjunto A sedice finito si
no existe un subconjunto propio B de A para el que sepueda establecer una funcin
biyectiva f :A _, B.
Ejemplo 80. Deacuerdo con ladefinicin y con loscomentarios previos, el conjunto
{l, 2, 3, .o" n} es finito, el conjunto 0 es finito y el conjunto N es infinito. O
Es decir, la funcin es biyectiva. Tenemos, entonces, una funcin biyectiva entre
el conjunto Ny unsubconjunto propio suyo. Estas ideas permiten definir el concepto
de finito e infinito.
sobreyectiva pues todo nmero par tiene una preirnagen (la preirnagen es la
mitad del nmero, que es natural pues el nmero es par)
inyectiva, pues si I(n) =f(m), entonces 2n == 2ny por lo tanto n == rn
Intuitivamente podernos ver que noexiste una funcin hiyectiva entre el conjunto
A ={I, 2, 3, ...,n} y Wl subconjunto propio suyo.
Por otra. parte, consideremos el conjunto N de los nmeros naturales, y el con-
junto P de los nmeros naturales pares. Definamos la funcin I:N _, P, tal que
I(n) =2n. Resulta que esta. funcin es
Ejemplo 79. Dados los conjunto J I ={l, 3, 5, i}y {J ={2,4, 6, 8}, la funcin
I : A _, B COD l(x) ==x +1 es una funcin biyectiva (prubelo) y por lo tanto
cardA ==cardB. O
card A =card B. Decirnos que carel A :::; carel B (que se lee "el nmero cardinal de
A es menor o igual que el nmero cardinal de B") si existe UDa funcin iuyectiva
l :A _, B,
Captulo 1. Lgica yTeora de Conjuntos 50
Copyrightedmaterial
carel (A x 8) =111 .. n=cardA . card B,
La.funcin h: A x 8 .....{1,2, ... ,m:n} tal que f(Xi,Yj) =i+ ( . i -l)m. es una
funcin biyectiva y, por lo tanto,
A x8 ={(x,,Yj)/x E Ay Y.i E 8, i=1,2, ... ,nij=1,2" .. ,n}
4. Digamos que carel.4 =n y que card 8 =ntj podernos arreglar los elementos
eleA como A. ={Xl,X2,'" ,x,,} y losde 8 como 8 ={YhY2,'" ,y",}, de esta
manera tenemos que
card ( B - A) =carel B - card A.
3. Sea A e 8, entonces 8 =A U (8 - A) y ademas A n(8 - A) =0.
De acuerdo con el punto anterior, entonces, card 8 =card ( A U (8 - A) =
cardA+card(8 - A) y, por lo tanto,
Es claro que esta funcin es biyectiva y por lo tanto carel ( A U8) =n +ln =
carel A+carel B.
si x E A
si x E B
h( ') _ { . f( x)
x - n+g(x)
2. Digamos que carel A =ny que carel 8 =m, entonces existen funciones biyec-
tivas f: A _, {1,2,... ,n}'y g: 8 ~ {l,2, ... .m}. Definirnos la funcin
h : A U 8 .... {l, 2, ... , 11. +1n} tal que
1. Sea A e B y sea I : A ~ 8 tal que I(a) =a, para todo a, E A. Es claro
que esta funcin es invectiva y, por lo tanto, de acuerdo con la definicin 24,
carel il<carel B.
Demostracin:
3. SiA eB entonces cord (8- .4) =card 8 - cardA.
4. ca,rd (.4x 8) =card A . card 8.
2. Si A y 8 son conjuntos disjuntos entonces card (A U8) =card A +card.8.
/. SiA e8 entonces card. A ::; card 8.
Teorema 4. Sean A}' B conjuntos finitos:
card A =card ;, entonces sedice que A es numerable. Por ejemplo, los conjuntos
Z y Qson numerables, pero iR t 110 es numerable. Noest. dentro de los objetivos de
este texto ahondar en el concepto de numerabilidad.
A continuacin sedan algunas propiedades de lacardinalidad.
51 .lA. /-ljllciones