CÁLCULO I

0
1 de Matemáticas y Doble Titulación Matemáticas-Ingenierı́a Informática

Nociones básicas sobre cardinalidad de conjuntos:

Definiciones: Dados dos conjuntos A y B y una aplicación φ : A −→ B se dice que φ es

-inyectiva si dados a, a0 ∈ A, a 6= a0 , se tiene φ(a) 6= φ(a0 ). (Puntos distintos de A tienen
imágenes distintas)
-sobreyectiva si ∀b ∈ B, existe a ∈ A tal que φ(a) = b. (Todo elemento de B es imagen de
al menos un elemento de A)
-biyectiva si es simultaneamente inyectiva y sobreyectiva

Definiciones: Se dice que el conjunto A tiene cardinal menor o igual al del conjunto B si
existe una aplicación φ : A −→ B que es inyectiva

Se dice que A y B tienen el mismo cardinal si existen φ1 : A −→ B y φ2 : B −→ A ambas

inyectivas. (Esto es equivalente a que exista ψ : A −→ B biyectiva, aunque la equivalencia
no es fácil de probar)

Ejemplos:

1.: N∪{0} = {0, 1, 2, 3, . . . } y N= {1, 2, 3, . . . } tienen el mismo cardinal (aunque el primer

conjunto tenga un elemento más). Para ello basta ver que la aplicación φ : N ∪ {0} −→ N
dada por φ(n) = n + 1, ∀n = 0, 1, 2, 3, . . . es biyectiva.

2.: N y el subconjunto de pares P= {2, 4, 6, 8, . . . } tienen el mismo cardinal (φ(n) = 2n es

biyectiva entre N y P).

3.: N y el subconjunto de impares I= {1, 3, 5, 7, , . . . } tienen el mismo cardinal (φ(n) = 2n − 1

es biyectiva entre N e I).

4.: Z y N tienen el mismo cardinal, con la biyección φ : Z −→ N dada por

2p + 1, si p ≥ 0

φ(p) =
−2p, si p < 0.

5.: Q y Z tienen el mismo cardinal (y por tanto Q y N también): Claramente la aplicación

φ : Z −→ Q con φ(p) = p es inyectiva. Pero también la siguiente aplicación φ : Q −→ Z es
inyectiva

6 0
  
p 0, si p = 0, q =
φ = |p| q
q signo(p) 2 3 , si p, q ∈ Z, son primos entre sı́, q > 0, p 6= 0.

Las demostraciones en los cinco casos son sencillas y se dejan como ejercicio. En la última hay
que usar simplemente la unicidad de la descomposición de un número en sus factores primos.

Definición: Se dice que un conjunto A es numerable (finito o infinito) si su cardinal es menor

o igual al cardinal de N (i.e., ∃ φ : A −→ N inyectiva). Hemos visto que Z y Q son numerables.
Sin ambargo los números irracionales no lo son (y por tanto R tampoco).