Notas para el curso de Teora de Conjuntos

Carlos Uzctegui Aylwin

Escuela de Matemticas
Facultad de Ciencias
Universidad Industrial de Santander
25 de enero de 2016

ii

ndice general
1. Funciones
1.1. El producto Cartesiano . . . . . . . . . . . . . . . . . .
1.1.1. Algunas propiedades del producto cartesiano . .
1.2. Relaciones . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. El concepto de funcin como relacin . . . . . . . . . .
1.3.1. Representacin grfica de funciones . . . . . . .
1.3.2. Funciones por partes y funciones caractersticas
1.4. Funciones inyectivas, sobreyectivas y biyectivas . . . . .
1.4.1. Funciones inyectivas . . . . . . . . . . . . . . .
1.4.2. Funciones sobreyectivas . . . . . . . . . . . . . .
1.4.3. Funciones biyectivas . . . . . . . . . . . . . . .
1.5. Composicin de funciones . . . . . . . . . . . . . . . .
1.6. La funcin inversa . . . . . . . . . . . . . . . . . . . . .
1.6.1. Algunas propiedades de la composicin . . . . .
1.7. Permutaciones de n elementos . . . . . . . . . . . . . .
1.8. La imagen y la preimagen de un conjunto . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

2. Cardinalidad
2.1. Conjuntos finitos y mtodos de conteo . . . . . . . . . .
2.1.1. Cardinalidad del conjunto potencia . . . . . . . .
2.1.2. Cardinalidad del producto Cartesiano . . . . . . .
2.1.3. Cardinalidad de B A . . . . . . . . . . . . . . . . .
2.1.4. Funciones y cardinalidad . . . . . . . . . . . . . .
2.1.5. El principio del palomar . . . . . . . . . . . . . .
2.2. Conjuntos equipotentes . . . . . . . . . . . . . . . . . . .
2.3. Conjuntos infinitos . . . . . . . . . . . . . . . . . . . . .
2.4. Algunos ejemplos importantes . . . . . . . . . . . . . . .
2.5. Operaciones generalizadas . . . . . . . . . . . . . . . . .
2.6. El Teorema de Schrder-Bernstein . . . . . . . . . . . . .
2.6.1. Demostracin del Teorema de Schrder-Bernstein
2.7. Conjuntos numerables . . . . . . . . . . . . . . . . . . .
2.8. Aplicaciones del Teorema de Schrder-Bernstein . . . . .
2.9. Cul es el tamao de R? . . . . . . . . . . . . . . . . .
iii

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

1
1
5
9
13
16
17
20
21
23
28
34
40
44
47
50

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

57
57
63
64
66
68
71
74
82
86
90
99
102
104
108
110

2.10. El Teorema de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114

iv

Captulo 1
Funciones
En este captulo repasaremos algunas nociones bsicas sobre relaciones y funciones. El
concepto de funcin es quiz uno de los conceptos ms importantes de la Matemtica. Todas
las teoras matemticas hacen uso de las funciones.

1.1.

El producto Cartesiano

En esta seccin introduciremos otra operacin entre conjuntos. Sean A y B dos conjuntos
no vacos. Para cada a A y cada b B formamos el par ordenado
(a, b).
El elemento a se llama la primera componente del par ordenado (a, b) y b la segunda
componente. La coleccin de todos los pares ordenados (a, b) con a A y b B se llama el
producto Cartesiano 1 de A por B y se denota por A B.

A B = {(a, b) : a A y b B}.

Ejemplos 1.1.

1. Sea A = {1, 2} y B = {p, q, r}. Entonces tenemos que

A B = {(1, p), (1, q), (1, r), (2, p), (2, q), (2, r)}.

2. Sea A = B = {1, 2} Entonces

A B = {(1, 1), (1, 2), (2, 1), (2, 2)}.
1

La palabra Cartesiano hace referencia al nombre del filsofo y matemtico francs Ren Descartes (15961650) quin fu el creador de la geometra analtica.

Observe que (1, 2) 6= (2, 1) a diferencia de lo que ocurre con los conjuntos donde el
orden no es importante, pues {1, 2} = {2, 1}. El par (1, 1) es legtimo, en cambio el
conjunto {1, 1} es en realidad el conjunto {1} pues no hace falta repetir los elementos.
En algunos libros los pares ordenados se denotan por < 1, 2 > para evitar una posible
confusin con el intervalo (1, 2) de la recta real. Nosotros mantendremos la notacin
ms tradicional de (a, b) para pares ordenados pues el contexto siempre aclarar a qu
nos estamos refiriendo.
3. El producto cartesiano de un conjunto A consigo mismo tambin se acostumbra denotar
por A2 en lugar de A A.
4. Si A tiene un slo elemento, digamos {a}, y B es cualquier conjunto no vaco, tambin
podemos formar A B y obtenemos {a} B = {(a, b) : b B}.
2
Como su nombre lo indica, el orden en un par ordenado es importante pues dos pares
ordenados (a, b) y (c, d) son iguales si se cumple que a = c y b = d.

(a, b) = (c, d) si, y slo si, a = c y b = d.

Veamos cmo se usa la definicin de igualdad de pares ordenados. Mostraremos que

(a, b) = (b, a) si, y slo si a = b. Debemos mostrar dos cosas: (i) Supongamos que (a, b) =
(b, a), entonces por la definicin de igualdad de pares ordenados obtenemos que a = b. (ii)
Supongamos que a = b, entonces las primeras y segundas componentes de (a, b) y (b, a) son
iguales y por lo tanto (a, b) = (a, a) = (b, a).
Los pares ordenados y el producto cartesiano son muy tiles para modelar situaciones
reales. A continuacin damos un ejemplo que ilustra lo que acabamos de decir.
Ejemplo 1.2. Si se tira dos veces una moneda al aire y convenimos en representar con la
letra c si sale cara y con s si sale sello, entonces todos los resultados posibles son: cs,
cc, ss y sc. Podemos usar el producto cartesiano {c, s} {c, s} para representar todas las
posibilidades
{c, s} {c, s} = {(c, s), (c, c), (s, s), (s, c)}.
2
Ejemplo 1.3. (El plano Cartesiano) El conjunto R2 que consiste de todos los pares ordenados de nmeros reales sirve para representar un plano. El conjunto R2 generalmente se
representa por un sistema de coordenadas, llamadas precisamente coordenadas Cartesianas.
2

y
b

(x, y)

2
Ejemplos 1.4. Podemos definir subconjuntos interesantes de R2 usando .
1. Consideremos el intervalo de la recta real [0, 1] que consiste de todos los nmeros reales
x tales que 0 x 1. El producto cartesiano [0, 1] [0, 1] tiene una interpretacin
geomtrica: un cuadrado de lado 1.

(0, 1)

(1, 1)

(0, 0)

(1, 0)

2. Sea A el intervalo cerrado [1, 3] y B el intervalo abierto (1, 3). El conjunto A R se

representa de la siguiente manera.

AR

(0, 0)

(1, 0)

(2, 0)

(3, 0)

y el conjunto R B se representa de la siguiente manera

3

RB
(0, 3)
b

(0, 2)
b

(0, 1)
b

(0, 0)

Considere ahora el conjunto (A R) (R B).

(1, 3)
bc

bc

(1, 2)
(1, 1)

[1, 3] (1, 3)
bc

bc

2
Podemos formar el producto cartesiano de tres conjuntos: A B C. Para esto se
introduce el concepto de una tripleta ordenada (a, b, c) donde a A, b B y c C.
A B C = {(x, y, z) : x A, y B, z C}.

Al igual que con el producto cartesiano de dos conjuntos, se acostumbra a escribir

A3 .
en lugar de A A A.
Ejemplos 1.5.
1. (El espacio tridimensional) El conjunto R3 que consiste de todas las
tripletas ordenadas de nmeros reales se usa para representar el espacio tridimensional.
4

2. (El cubo) El conjunto [0, 1] [0, 1] [0, 1] tiene una interpretacin geomtrica natural:
El cubo de lado 1.

(0, 0, 1)
b

(1, 0, 1)

(1, 1, 1)
b

(0, 1, 0)
b

(0, 0, 0)

(1, 0, 0)
b

(1, 1, 0)
b

1.1.1.

Algunas propiedades del producto cartesiano

Ahora veremos algunas propiedades de la operacin .

Ejemplo 1.6. Sean A, B y C conjuntos cualesquiera. Mostraremos que
A (B C) = (A B) (A C).
Debemos verificar dos cosas:
(i) A (B C) (A B) (A C)
y

(ii) (A B) (A C) A (B C).
Veamos (i). Sea (x, y) A (B C), entonces x A y y (B C). Luego hay dos
casos a considerar:
Caso a: Supongamos que y B. Entonces como x A, se tiene que (x, y) A B, y por
lo tanto (x, y) (A B) (A C).
5

Caso b: Supongamos y C. Entonces como x A, se tiene que (x, y) A C, y por lo

tanto (x, y) (A B) (A C).
Veamos (ii). Sea (x, y) (A B) (A C). Entonces hay dos casos a considerar:
Caso a: Supongamos (x, y) A B. Entonces x A y y B. Por lo tanto y B C y
en consecuencia (x, y) A (B C).
Caso b: Supongamos (x, y) A C. Entonces x A y y C. Por lo tanto y B C y
en consecuencia (x, y) A (B C).
2
Ejemplo 1.7. Hay otra forma de presentar las demostraciones en el lgebra de conjuntos.
Usaremos el ejemplo anterior para ilustrar lo que queremos decir. Para probar la igualdad
A (B C) = (A B) (A C),
debemos mostrar que dado x, y cualesquiera se cumple que
(x, y) A (B C) (x, y) (A B) (A C).
Iremos mostrando una serie de equivalencias y la ltima de ellas ser la deseada.
(x, y) A (B C) (x A) ( y B C )
(x A) [(y B) (y C)]
[(x A) (y B)] [(x A) (y C)]
[(x, y) A B ] [ (x, y) A C]
(x, y) (A B) (A C).
Observe que hemos introducido los parntesis y corchetes para evitar ambigedad lgica
con los conectivos. En el tercer paso hemos usado la ley distributiva de la lgica proposicional
que dice lo siguiente
p (q r) (p q) (p r).
2
Ejemplo 1.8. Sean A, B y C conjuntos. Entonces
A (B C) = (A B) (A C ).
En efecto,
6

(x, y) A (B C) ( x A ) ( y B C )
(x A ) [ (y B ) ( y C )]
[( x A ) ( y B )] [( x A ) ( y C )]
[ (x, y) A B ] [ (x, y) A C ]
(x, y) (A B) (A C).
En este ejemplo hemos usado la siguiente equivalencia lgica:
p (q r) (p q) (p r).

Ejercicios 1.1
1. Sean A = {1, 2}, B = {1, 2, 3}, C = {a, b, c}, D = {4} y E = {1, 2, 3}.
a) Determine por extensin los siguientes conjuntos:
(i) A B
(ii) A B C
(iii) B A
3
(iv) A C A
(v) A
(vi) B 2 D
b) Muestre que A B E B.

c) Muestre que (A B) (B B) = .

d ) Muestre que A B 6= B A.

2. Represente en el plano Cartesiano R2 los siguientes conjuntos:

a) [0, 4] [1, 2)
b) (3, 6) (3, 7)

c) (1, 4] (3, +)

d ) [0, 2) R
e) R [1, 3]

f ) ([0, 2) R) (R [1, 3])

3. Cul figura geomtrica se podra representar con los siguientes conjuntos?

a) [0, 1] {1}

b) [0, 1] {0} [0, 1] {1} {0} [0, 1] {1} [0, 1]

7

4. Mencionamos en el texto que un cubo se puede modelar con el conjunto

[0, 1] [0, 1] [0, 1].
A qu parte del cubo corresponden los siguientes conjuntos?:
a) [0, 1] [0, 1] {1}
b) [0, 1] {1} {0}

c) {1} [0, 1] [0, 1]

5. Sean A, B y C conjuntos, muestre las siguiente afirmaciones:
a) (A B) (C D) = (A C) (B D).
b) A (B \ C) = (A B) \ (A C).

c) Si A B, entonces A C B C.

d ) A = .

e) A B = si, y slo si A = o B = .

6. En los siguientes ejercicios daremos un argumento que podra ser una demostracin.
Determine cules de las afirmaciones son correctas y cules argumentos son correctos
y completos. Justifique su respuesta.
a) Afirmacin: (A B) C = (A C) (B C).
Demostracin:
x (A B) C si, y slo si x A B x C
si, y slo si x A y x B x C
si, y slo si x (A C) (B C).
2
b) Afirmacin: Si A B = A C y A 6= , entonces B = C.
Demostracin:
AB
AC
=
A
A
por lo tanto B = C.

c) Afirmacin: Si A B = A C y A 6= , entonces B = C.
Demostracin: Mostraremos primero que B C. Sea b B. Como A 6=
escogemos a A. Entonces (a, b) A B. Luego por hiptesis tenemos que
(a, b) A C y por lo tanto b C. Esto muestra que B C.
La prueba de que C B es anloga.
2
8

7. Todos los conceptos usados en matemticas pueden ser expresados en trminos de

conjuntos. Por ejemplo, el concepto de par ordenado puede ser definido de la manera
siguiente: Dados a A y b B, se define ha, bi (usaremos provisionalmente esta
notacin) como el conjunto
{{a}, {a, b}}.
a) Sea A = {1, 2} y B = {3, 4}. Determine todos los elementos de {ha, bi : a
A y b B}.
b) Muestre que para cada a A y b B se cumple que ha, bi P(P(A B))

c) Muestre que la definicin de ha, bi satisface la propiedad fundamental de los pares

ordenados, a saber, ha, bi = hc, di si y slo si a = c y b = d.

1.2.

Relaciones

La nocin de relacin es usada frecuentemente en la vida diaria. Un ejemplo muy familiar es la relacin ser padre de. Veamos otros ejemplos de relaciones antes de introducir la
definicin matemtica.
Ejemplo 1.9. Consideremos la coleccin C de todas las ciudades de Colombia. Diremos que
dos ciudades c y d estn relacionadas si se puede viajar (no importa con que lnea area) de
c a d sin hacer escalas. Denotaremos este hecho con el smbolo cRd. Por ejemplo,
Bogot R Bucaramanga y Bogot R Manizales
pero no es cierto que Manizales R Bucaramanga. Cada par de ciudades relacionadas c y
d puede ser considerado como el par ordenado (c, d). La relacin R la podemos entonces
representar como el siguiente conjunto de pares ordenados:
R = {(c, d) C C : Existe un vuelo sin escalas de c a d}.
Por ejemplo, tenemos que (Bogot, Manizales) R y (Manizales, Bucaramanga) 6 R.
Las bases de datos de las lneas areas y agencias de viajes guardan la informacin sobre
los vuelos de la manera en que la hemos presentado en este ejemplo (esas bases de datos se
conocen como bases de datos relacionales).
2
Ejemplo 1.10. Consideremos la relacin < de orden estricto entre nmeros naturales. Podemos representar esta relacin como una coleccin de pares ordenados de la manera siguiente:
R = {(n, m) N N : n < m}.
Por ejemplo, (3, 5) R y (4, 2) 6 R. Por supuesto que sta no es la manera usual de expresar
la relacin de orden, pero nos sirve para motivar la definicin que daremos a continuacin.
2
9

Los dos ejemplos que hemos presentado tienen en comn que la relacin en cuestin fue
representada en trminos de colecciones de pares ordenados y esto es la clave de la siguiente
definicin.
Definicin 1.11. Una relacin entre dos conjuntos A y B es un subconjunto de A B.
En este caso diremos que R es una relacin de A en B.
Observe que decir que R es una relacin de A en B no es lo mismo que decir que R es
una relacin de B en A. Las relaciones entre dos conjuntos se conocen tambin por el nombre
de relaciones binarias. Cuando A es igual a B diremos que R es una relacin sobre A.
El concepto de relacin incluye muchas posibilidades como veremos en los ejemplos a
continuacin.
Ejemplos 1.12.
1. Sean A = {1, 2}, B = {3, 4} y R = {(1, 3), (1, 4)}. Tenemos que R es
una relacin entre A y B. Pero R no es una relacin entre B y A.
2. Otro ejemplo de una relacin de A en B consiste en tomar todos los pares ordenados
(a, b) A B. Es decir, si ponemos R igual a A B, tenemos que R es una relacin
de A en B. Segn esta relacin cada uno de los elementos de A est relacionado con
cada uno de los elementos de B (Puede imaginarse un ejemplo de la vida diaria donde
ocurra esta situacin?).
3. La relacin de divisibilidad: sean a, b enteros con a 6= 0, diremos que a est relacionado
con b (y escribimos a|b) si existe un entero k tal que b = ka. Por ejemplo, 3|6 y 4 6 |6.
4. Sea A un conjunto cualquiera. Definimos una relacin binaria entre A y P(A) de la
manera siguiente
R = {(x, B) A P(A) : x B}.
Entonces (x, B) est en R precisamente cuando x B. Es decir, relaciona los elementos de A con los elementos de P(A).
Por ejemplo, en el caso que A = {1, 2, 3} tenemos que

(3, {1, 3}) R y (2, {1, 3}) 6 R.

5. La relacin de subconjunto . Para adaptar este ejemplo a la defincin 1.11 trabajaremos con subconjuntos de un conjunto universal U. Definimos R de la manera siguiente:
R = {(C, D) P(U) P(U) : C D}.
Dados dos subconjuntos C, D de U, se cumple que C D si y solamente si (C, D) R.
Observe que R es una relacin sobre P(U).
Por ejemplo, en el caso que U = N, tenemos que

({1, 2}, {1, 2, 3}) R y ({1, 2}, {1, 3}) 6 R.

10

6. El conjunto vaco es un subconjunto de A B y en consecuencia es otro ejemplo

de relacin de A en B. Este es un ejemplo extremo de relacin, pues en realidad no
relaciona a ningn elemento de A con ninguno de B.
2
Si R es una relacin binaria, tambin escribiremos
xRy
cuando x e y estn relacionados segn R, es decir, si (x, y) R. Es muy frecuente que las
relaciones se denoten con un smbolo especial. Por ejemplo la relacin de orden estricto <,
la relacin de divisibilidad |, la de pertenencia , la de subconjunto , etc.
En muchos casos es importante conocer cules elementos de A realmente estn relacionados con algn elemento de B. Y tambin es til saber para cules elementos de B existe
alguno de A relacionado con l. Estas ideas las precisamos a continuacin.
Definicin 1.13. Sea R una relacin binaria entre los conjuntos A y B. El dominio de R,
denotado por dom(R), es el conjunto formado por todos aquellos elementos a de A tales que
(a, b) est en R para algn b en B.
El rango de R, denotado por rango(R), es el conjunto formado por todos aquellos elementos b de B tales que (a, b) est en R para algn a en A.
Usando otra notacin podemos expresar las nociones de rango y dominio de una relacin
de la siguiente manera:
dom(R) = {a A : aRb para algn b B}
rango(R) = {b B : aRb para algn a A}.

Ejemplo 1.14. Sea A = {1, 2}, B = {3, 4} y R = {(1, 3), (1, 4)}. Entonces por inspeccin
tenemos que dom(R) = {1} y rango(R) = {3, 4}
Dejemos A y B como en el ejemplo anterior, es decir, A = {1, 2} y B = {3, 4}. Pero ahora
tomemos como R al conjunto {(1, 3), (2, 3)}. Entonces por inspeccin tenemos que dom(R) =
{1, 2} y rango(R) = {3}. Este ejemplo muestra que el rango y el dominio dependen de la
relacin R que estemos estudiando.
2
Ejemplo 1.15. Consideremos la relacin de orden estricto en N. En trminos de conjuntos
tenemos que nuestra relacin R viene dada por
R = {(n, m) N N : n < m}.
Afirmamos que dom(R) = N y rango(R) = {n N : 0 < n}. En efecto:
11

(1) rango(R) = {n N : 0 < n}: Para mostrar la igualdad de estos dos conjuntos debemos
mostrar dos cosas: (i) rango(R) {n N : 0 < n} y (ii) {n N : 0 < n} rango(R).
(i) Sea n rango(R). De la definicin de rango se concluye que n N y tambin, y
esto es lo m s importante, que existe m N tal que (m, n) R. Es decir, m < n.
Por consiguiente n 6= 0, luego n 1.

(ii) Sea n N con n 1, queremos ver que n rango(R). Como n 1, tenemos que
n 1 0, luego n 1 N y adems n 1 < n. Por lo tanto, (n 1, n) R. Es
decir, n rango(R).

(2) dom(R) = N: De manera similar, mostraremos dos cosas: (i) N dom(R) y (ii)
dom(R) N.
(i) Sea n N, queremos mostrar que n dom(R). En efecto, simplemente notemos
que (n, n + 1) R pues n < n + 1.

(ii) De la propia definicin de dom(R) se deduce que dom(R) N.

2
Ejemplo 1.16. Sea R la relacin de pertenencia definida entre elementos de un conjunto A
y el conjunto de partes de A. Es decir,
R = {(x, B) A P(A) : x B}.
Vemos que dom(R) = A, pues dado cualquier a A tenemos, por ejemplo, que (a, A) R.
Por otra parte, rango(R) = P(A) {}, pues para ningn a A se cumple que (a, ) R.
2
Ejercicios 1.2
1. Determine el dominio y el rango de las siguientes relaciones.
a) R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), (4, 4)}
b) R = {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5)}

c) R = {(n, 2n) : n N}

d ) R = {(n, 2n + 1) : n N}

e) R = {(1, 1), (1, 12 ), (1, 13 ), (1, 14 ), (1, 15 ), (1, 61 ), (1, 17 )}

2. Sea A = {0, 1, 2}. Definimos una relacin R sobre A de la manera que se indica. Escriba
R como un conjunto de pares ordenados y determine su dominio y su rango.
a) nRm, si n m.

b) nRm, si m n = 0.
12

c) nRm, si m + n A.

d ) nRm, si m = mx{n, 1}.

e) nRm, si m2 + n2 = 3.
3. Considere la relacin R de {1, 2} en P({1, 2}) dada por
R = {(x, B) {1, 2} P({1, 2}) : x B}.
a) Determine todos los elementos de R.
b) Determine el rango y el dominio de R.
4. Halle dos relaciones R y Q sobre {1, 2, 3} tales que dom(R) = dom(Q), rango(R) =
rango(Q) pero R 6= Q.

1.3.

El concepto de funcin como relacin

Un caso especial y muy importante de relacin entre dos conjuntos es el que corresponde
a la nocin de funcin. En esta seccin estudiaremos las propiedades bsicas de las funciones.
Definicin 1.17. Una relacin R entre dos conjuntos A y B se dice que es una funcin
de A en B si satisface la siguiente condicin:
Para todo a A existe un nico b B tal que aRb.
2
Observemos que en la definicin de funcin se requiere que la relacin cumpla con dos
condiciones:
(1) Para cada elemento de a A existe un elemento b B tal que (a, b) R.
(2) El elemento b mencionado en la condicin (1) es nico.
Notemos que (1) nos dice que el conjunto A es el dominio de R y (2) nos asegura
an ms, pues cada elemento de A est relacionado con un slo elemento de B. El nico
elemento b al que a est asociado se le llama la imagen de a. As que una funcin de A en B
asigna a cada elemento de A uno de B y es por esto que las funciones tambin son llamadas
asignaciones.
Ejemplos 1.18.
1. Sea A = {1, 2}, B = {3, 4, 5} y R = {(1, 3), (1, 4), (2, 3)}. Tenemos
que R es una relacin entre A y B. Pero R no es una funcin. Pues el 1 est relacionado
con dos elementos de B, esto es, la condicin (2) no se cumple. Observe que la condicin
(1) s se cumple en este ejemplo.
13

2. Sea A = {a, b, c}, B = {3, 4} y R = {(a, 3), (b, 3)}. Tenemos que R es una relacin
entre A y B. Pero R no es una funcin. Pues el elemento c no est relacionado con
ningn elemento de B, esto es, la condicin (1) no se cumple.
3. Sea A = {1, 2}, B = {3, 4, 5} y R = {(1, 3), (2, 4)}. En este caso R es una funcin.
Pues para cada a A existe un nico b B tal que (a, b) R.
2
Las funciones se denotan generalmente con las letras f, g, h y en lugar de escribir a f b,
para indicar que a est relacionado con b, se escribe
f (a) = b.
Diremos que f (a) (que se lee f de a) es la imagen de a bajo f . Tambin se dice la imagen
de a por f o que b es el valor que toma f en a. Para indicar que f es una funcin de A en
B escribimos
f : A B.
Ya dijimos que A se llama el dominio de f y a B se le llama contradominio o codominio.
Un subconjunto de B que juega un papel importante en el estudio de las funciones es el rango
el cual se define de la siguiente manera:
rango(f ) = {b B : b = f (a) para algn a A}.
El rango de una funcin es el conjunto formado por las imgenes de los elementos del dominio
y es por esto que tambin se acostumbra llamarlo el conjunto imagen. Como veremos en
los ejemplos, en general, B no es igual al rango.
El conjunto de todas las funciones de un conjunto A en un conjunto B se denota por
BA.
Ejemplos 1.19.
1. Usualmente las funciones se presentan a travs de una regla que
asigna a cada elemento de A un nico elemento de B. Por ejemplo, consideremos los
conjuntos A = {1, 2, 3} y B = {1, 2, 3, 4, 5, 6} y la regla que asigna a cada nmero
a A el nmero 2a. Usualmente expresamos esta regla de asignacin escribiendo
f (a) = 2a,
pero tambin se acostumbra a escribir
a 7 2a.
De esta manera hemos definido una funcin de A en B. El siguiente conjunto representa
a f como un conjunto de pares ordenados:
{(1, 2), (2, 4), (3, 6)}.
14

2. Consideremos la regla f (n) = n + 1 que asigna a cada nmero natural n el nmero

natural n + 1. Entonces f : N N es una funcin. Podemos expresar f como un
conjunto de pares ordenados de la siguiente manera
{(n, n + 1) N N : n N}.
3. Sea A un conjunto cualquiera y consideremos la asignacin i(a) = a, entonces i es una
funcin de A en A llamada la funcin identidad del conjunto A.
2
Para definir correctamente una funcin debemos especificar tres cosas:
(i) El dominio de la funcin.
(ii) El contradominio de la funcin.
(iii) La regla de asignacin (o ley de correspondencia) entre los elementos del dominio
y los del contradominio.
Al definir una ley de correspondencia es importante estar seguros de que en realidad
los valores que le asignamos a cada elemento del dominio pertenecen al contradominio y
adems debemos verificar que a todo elemento del dominio le hemos asignado un elemento
del contradominio.
Ejemplo 1.20. Considere la siguiente regla
x 7

x
.
x2

Con slo esta informacin no tenemos bien definida una funcin. Pues no hemos especificado los valores que puede tomar la variable x. En otras palabras, debemos especificar el
dominio de la funcin que queremos definir. Por otra parte, tambin debemos aclarar cul
es el contradominio de la funcin que estamos definiendo. Veamos algunas de las posibles
alternativas:
(a) Sea A = {1, 3, 4}, B = Q y g(x) =
definida.

x
.
x2

Entonces g : A B es una funcin bien

x
. Entonces h : A B no est bien definida,
(b) Sea A = {1, 2, 3}, B = Q y h(x) = x2
x
pues existe un elemento del dominio al cual la regla x 7 x2
no le asigna ninguna
imagen (cul es?).

(c) Sea A = {x R : x 6= 2}, B = R y f (x) =

bien definida.

x
.
x2

Entonces f : A B es una funcin

2

15

Cundo dos funciones son iguales? Para que dos funciones f y g sean iguales se deben
cumplir las tres condiciones siguientes:
(i) f y g tienen el mismo dominio.
(ii) f y g tienen el mismo contradominio.
(iii) f y g tienen igual ley de correspondencia. Es decir, para todo x en el dominio de f
(que debe ser igual al dominio de g) se debe cumplir que f (x) = g(x).

Ejemplos 1.21.
1. En el ejemplo 1.20 tenemos que las funciones f y g son distintas pues,
aunque usan la misma ley de correspondencia, sus respectivos dominios no son iguales.
2. Considere las funciones f, g : N N dadas por f (n) = 3n + 3 y g(n) = 5n + 3. Estas
funciones no son iguales, pues por ejemplo f (1) = 6 y g(1) = 8, es decir las leyes de
correspondencia no asignan la misma imagen al nmero 1.
2

1.3.1.

Representacin grfica de funciones

Como vimos en una seccin anterior, las relaciones binarias se pueden representar con
diagramas. En los ejemplos que presentamos a continuacin veremos cmo se representan
algunas funciones.
Ejemplo 1.22. Consideremos la funcin f : {1, 2, 3} {1, 2, 3, 4, 5, 6}, dada por f (a) = 2a.
Podemos representar esta funcin con el siguiente diagrama (a veces llamados diagramas
sagitales pues se representan con flechas):

6
b

5
b

4
b

3
b

2
b

2
1

2
Ejemplo 1.23. Considere la funcin f : N N dada por f (n) = n+1. Podemos representar
esta funcin con el siguiente diagrama:
16

..
.

..
.

5
b

4
b

3
2
1
0

3
2
1
0

2
Ejemplo 1.24. Considere la funcin f : R R dada por f (x) = x2 . La representacin
grfica ms usada es la siguiente:

Incluir grfica
2

1.3.2.

Funciones por partes y funciones caractersticas

Existen diferentes maneras de definir funciones, pero lo importante es dejar bien claro
cul es su dominio, su contradominio y la ley de correspondencia.
Ejemplo 1.25. Considere la funcin h : N N definida por:

2x , si x es par;
h(x) =
3x , si x es impar.
En este caso la imagen asignada a un elemento del dominio depende de si el nmero es par
o impar. Por ejemplo, h(0) = 0, h(2) = 4, h(4) = 8, h(1) = 3, h(3) = 9, h(5) = 15, etc. Pero
no hay ninguna duda sobre cmo determinar la imagen de cada nmero natural. Este tipo
de funcin se dice que est definida por partes.
2
Veremos en seguida un ejemplo importante de funcin definida por partes. Consideremos
un subconjunto A {1, 2, 3, 4} cualquiera y definamos una funcin fA : {1, 2, 3, 4} {0, 1}:

0 , si x 6 A;
fA (x) =
1 , si x A.
17

Observe que le hemos puesto el subndice A a la notacin de la funcin pues queremos

indicar que la funcin est relacionada con el conjunto A. La funcin fA se llama la funcin
caracterstica de A. Tambin se le llama la funcin indicatrz de A Veamos algunos
ejemplos:
(i) Para A = {1}, tenemos que f{1} (1) = 1 y f{1} (2) = f{1} (3) = f{1} (4) = 0.
(ii) Para A = , tenemos que f (x) = 0 para todo x {1, 2, 3, 4}.
Las funciones caractersticas las podemos definir en general para cualquier conjunto U y
cualquier subconjunto A U de la misma manera que los hicimos en el apartado anterior.
Definicin 1.26. Sea U un conjunto y A un subconjunto de U. La funcin caracterstica de
A es la funcin fA : U {0, 1} definida por

0 , si x U \ A;
fA (x) =
1 , si x A.
2
Ejemplo 1.27. Observemos que para cada U y cada A U tenemos una funcin.
1. Si U = N y A = {1, 3, 5, 7}, entonces

0 , si x N \ {1, 3, 5, 7};
f{1,3,5,7} (x) =
1 , si x {1, 3, 5, 7}.
2. Si U = R y A = (1, 5), entonces
f(1,5) (x) =

0 , si x R \ (1, 5);
1 , si x (1, 5).
2

Ejercicios 1.3
1. Determine cules de las siguientes relaciones entre X = {1, 2, 3} e Y = {m, n, r} son
funciones. En caso que no sea una funcin diga por qu no lo es.
a) R = {(1, m), (2, n)},

b) T = {(1, n), (2, r), (3, r)},

c) S = {(1, n), (2, r), (3, m), (3, n)},

d ) H = {(1, m), (2, m), (3, m)}.

18

2. Determine si las siguientes relaciones definen una funcin de N N. En caso que no

lo sea diga por qu no lo es y en caso que s lo sea halle la regla de correspondencia.
a) R = {(n, m) N N : m divide a n},
b) R = {(n, m) N N : m n = 3},

c) R = {(0, 1), (1, 2), (2, 3), (3, 4), (4, 5), },

d ) R = {(n, 3) N N : n N},

e) R = {(n, n3 ) N N : n N}.

3. En cada caso determine las imgenes indicadas.

a) f : N Z, definida por f (n) = n. Hallar f (3) y f (12).
b) f : N N, definida por f (n) = 6. Hallar f (5) y f (134).

c) f : {0, 1, 2, 3, , 10} Z dada por f (n) = (n 3)(n 6). Hallar f (3) y f (5).

d ) Sea f : {0, 1, 2, 3, , 10} {0, 1, 2, 3, , 10} definida por partes de la manera

siguiente

x + 3 , si 0 x 3
f (x) =
10 x , si 4 x 10.
Hallar f (2) y f (8).
e) f : N N N definida por f (n) = (n + 1, n + 2). Hallar f (25) y f (1000).
f ) f : N P(N) definida por f (n) = {n}. Hallar f (5) y f (13).

4. Determine si existe alguna funcin f : N N que satisfaga la condicin que se indica.

Justifique su respuesta.
a) n N m N f (m) = n,
b) m N n N f (m) = n,
c) m N n N f (m) = n,

d ) n N m N f (m) = n.
e) m N n N f (m) = n.
f ) n N m N f (m) = n.

5. Sea f : R R una funcin. Suponga que f satisface que

f (x)f (y) = f (x y)
para todo x, y R y adems que f (x) > 0 para todo x R. Halle f (1) y muestre que
f (x) = f (x) para todo x R.
19

6. Sea f : R R una funcin. Suponga que f satisface que

f (x) + f (x 1) = x2
para todo x R y adems que f (1) = 1. Halle f (10).
7. Sea f : R R una funcin. Suponga que f satisface que
f (x)f (y) = f (x + y)
) = 41 . Halle f (1995).
para todo x, y R y adems que f ( 1
4
8.

a) Halle todas las funciones caractersticas de los subconjuntos de {1, 2, 3} (ver la

definicin 1.26. Note que en este caso U = {1, 2, 3}). Verifique que existen 8
funciones caractersticas.
b) Considere la funcin g : {1, 2, 3} {0, 1} definida por g(1) = 1, g(2) = 0 y
g(3) = 1. Existir un subconjunto A de {1, 2, 3} tal que g = fA ? Si la respuesta
es si, encuentre tal conjunto.
c) Para cada A, B {1, 2, 3, 4, 5} demuestre que A 6= B si, y slo si fA 6= fB .
(Ver la definicin 1.26 con U = {1, 2, 3, 4, 5}. En este caso existen 32 funciones
caractersticas, pero para responder la pregunta no hace falta hallarlas!).

9. Considere las siguientes funciones de R en R: g(x) = x2 y

h(x) =

0 , si x es racional
1 , si x es irracional.

Determine para cules reales x se cumple que h(x) g(x)

10. Considere la funcin
h(x) =

0 , si x es racional
1
, si x es irracional.
x

Determine para cules reales x se cumple que h(x) x.

11. Sean f : A B y g : C D funciones. Determine qu hay que suponer para que
f g sea una funcin de A C en B D, cuando f y g se interpretan como relaciones.
Qu puede decir acerca de f g? Qu tiene que ver este ejercicio con las funciones
definidas por partes?

1.4.

Funciones inyectivas, sobreyectivas y biyectivas

En esta seccin estudiaremos tres conceptos bsicos sobre funciones.

20

1.4.1.

Funciones inyectivas

Definicin 1.28. Sea f una funcin de A en B. Diremos que f es inyectiva si dados

a, a A con a 6= a , se tiene que f (a) 6= f (a ).
A una funcin inyectiva tambin se le llama una funcin uno a uno (a veces se escribe: f
es 1 1). Este nombre se debe a que elementos distintos del dominio son enviados por la
funcin a elementos distintos del contradominio. La inyectividad tiene una interpretacin en
trminos del grafo de la funcin: A cada elemento del contradominio le llega a lo sumo una
flecha. Como lo ilustraremos en los ejemplos a continuacin:
Ejemplo 1.29. Consideremos los conjuntos A = {1, 2, 3}, B = {1, 3, 4, 5}. En los diagramas
que siguen se tiene que la funcin f es inyectiva y la funcin g no lo es.

f
A

B
b

B
b

3
b

3
b

2
b

2
b

1
b

1
b

2
Podemos expresar el concepto de inyectividad de la manera siguiente:
Sea f : A B una funcin. Las siguientes afirmaciones son equivalentes:
(i)
(ii)

f es inyectiva.
Para todo a, a A, si f (a) = f (a ), entonces a = a .

Dejamos la verificacin de este hecho al lector (ver ejercicio 12). En los siguientes ejemplos
haremos uso de esta caracterizacin de la inyectividad.
21

Ejemplo 1.30. Considere la funcin f : N N dada por f (n) = n + 1. Mostraremos que f

es inyectiva. Usaremos el criterio de inyectividad enunciado en el recuadro anterior. Fijemos
dos naturales n, m y supongamos que f (n) = f (m). Debemos mostrar que n = m. En efecto,
nuestra suposicin nos asegura que n + 1 = m + 1. Restando 1 en ambos lados de la igualdad
obtenemos que n = m.
2
Ejemplo 1.31. Considere la funcin g : N N dada por g(n) = n2 . Mostraremos que g es
inyectiva. Usaremos otra vez el criterio anterior. Debemos probar que
Si g(n) = g(m), entonces n = m.
Es decir,
Si n2 = m2 , entonces n = m.
En efecto, fijemos n, m N y supongamos que n2 = m2 . De esto tenemos que n2 m2 = 0.
Factorizando obtenemos que
(n + m)(n m) = 0.

Hay dos casos a considerar: (i) n + m = 0 y (ii) n m = 0. Como n, m N, entonces

n, m 0. Por lo tanto en el caso (i) tenemos que n = m y entonces necesariamente se
cumple que n = m = 0. En el caso (ii) tenemos obviamente que n = m.
2
En el ejemplo que sigue usaremos la definicin original de inyectividad.
Ejemplo 1.32. Defina h : Z Z de la siguiente manera:

2x 1 , si x < 0
h(x) =
3x + 1 , si 0 x.
Mostraremos que h es inyectiva. Tomemos dos enteros x, y distintos y mostremos que h(x) 6=
h(y). Hay cuatro casos posibles, los consideraremos por separado.
(i) Supongamos que x < 0 y y < 0. En este caso, por la definicin de h, tenemos que
h(x) = 2x 1 y h(y) = 2y 1. Como x 6= y es claro que 2x 6= 2y y por lo tanto
2x 1 6= 2y 1. Es decir que h(x) 6= h(y).
(ii) Supongamos que x 0 y y 0. En este caso, por la definicin de h, tenemos que
h(x) = 3x + 1 y h(y) = 3y + 1. Como x 6= y es claro que 3x 6= 3y y por lo tanto
3x + 1 6= 3y + 1. Es decir, h(x) 6= h(y).
(iii) Supongamos que x < 0 y y 0. Por la definicin de h tenemos que h(x) = 2x 1 y
h(y) = 3y + 1. Como x < 0 entonces 2x 1 < 0 y como y 0, entonces 3y + 1 0.
Por lo tanto h(x) 6= h(y).
(iv) Supongamos que y < 0 y x 0. Este caso se analiza como en el apartado anterior.
Hemos mostrado que en cada uno de los casos se cumple que h(x) 6= h(y). Como estos
cuatro casos son todos los posibles, podemos concluir que h es inyectiva.
2
22

Es importante tener claro cundo una funcin no es inyectiva. En el siguiente recuadro

lo resaltamos:

Sea f : A B una funcin. Las afirmaciones (i) y (ii) son equivalentes

(i)
(ii)

f no es inyectiva
Existe un par de elementos a, a A tales que a 6= a y f (a) = f (a ).

Notemos entonces que para mostrar que una funcin no es inyectiva debemos conseguir
DOS elementos del dominio que tengan la misma imagen.
Ejemplo 1.33. Consideremos la funcin h : Z N dada por h(n) = n2 . Uno estara tentado
a rpidamente concluir del ejemplo 1.31 que h es inyectiva. Pero no es as. Notemos que h
no es la misma funcin g del ejemplo 1.31, pues hemos modificado el dominio. En este caso
para mostrar que h no es inyectiva debemos conseguir un par de elementos distintos n, m
del dominio de h que tengan la misma imagen bajo h, es decir tales que h(n) = h(m). Por
ejemplo, h(2) = 4 = h(2). Por esta razn h no es inyectiva.
2

1.4.2.

Funciones sobreyectivas

Definicin 1.34. Sea f : A B una funcin. Diremos que f es sobreyectiva si dado

b B existe algn a A tal que b = f (a).
Es claro que una funcin f : A B es sobreyectiva cuando el rango de f es igual al
contradominio. Esto lo resaltamos en el prximo recuadro.

Sea f : A B una funcin. Las afirmaciones (i) y (ii) son equivalentes

(i)
(ii)

f es sobreyectiva
rango(f ) = B.

Cuando f (x) = y se dice que y es la imagen de x y tambin diremos que x es una

preimagen de y. En el caso que y 6 rango(f ), diremos que y no tiene preimagen.
Notemos que la sobreyectividad indica que en el grafo de la funcin a todo elemento del
contradominio le llega al menos una flecha (pero puede ser ms de una). El primero de los
diagramas que siguen corresponde a una funcin sobreyectiva, en cambio el segundo no.
23

f
A

Ejemplo 1.35. Considere la funcin f : {1, 0, 1, 2} {0, 1, 4} definida por f (x) = x2 .

Mostraremos que f es sobreyectiva. Debemos mostrar lo siguiente:
Para todo y {0, 1, 4} existe x {1, 0, 1, 2} tal que f (x) = y.
Como el contradominio de f , el conjunto {0, 1, 4}, tiene slo 3 elementos, podemos verificar
esta afirmacin con una simple inspeccin de todos los casos posibles.
(i) Para y = 0, en efecto existe x {1, 0, 1, 2} tal que f (x) = 0, precisamente x = 0. Es
decir, la preimagen del 0 es el 0.
(ii) Para y = 1, tenemos que existe x {1, 0, 1, 2} tal que x2 = 1. En realidad existen dos
elementos del dominio que tiene imagen igual a 1: f (1) = 12 = 1 y f (1) = (1)2 = 1.
Es decir, 1 tiene dos preimgenes: 1 y -1.
(iii) Para y = 4, tenemos que f (2) = 22 = 4. Es decir, la preimagen del 4 es el 2.
Hemos entonces verificado que todo elemento del contradominio de f es la imagen de
algn elemento del dominio de f . En otras palabras, el rango de f es {0, 1, 4}.
2
Ejemplo 1.36. Sea g : Q Q definida por g(x) = 2x+1. Mostraremos que g es sobreyectiva.
Debemos mostrar lo siguiente:
Para todo y Q existe x Q tal que 2x + 1 = y.
Por ejemplo, tomando y igual a 4 es claro que g( 32 ) = 3 + 1 = 4. Es decir, 32 es una preimagen
de 4. En este ejemplo no podemos mostrar la sobreyectividad de g analizando todos los
casos posibles como lo hicimos en el ejemplo anterior, pues el contradominio de g tiene una
cantidad infinita de elementos. Es por esta razn que necesitamos un argumento general.
Fijemos un elemento y cualquiera del contradominio, es decir y Q. Queremos hallar x tal
que
2x + 1 = y.
24

En muchos ejemplos para hallar tal x lo que hacemos es despejar x de una ecuacin. En el
ejemplo que estamos analizando tenemos que
2x = y 1
y por lo tanto

y1
.
2
Q y ahora verificaremos que la imagen de y1
es y. En efecto,
2




y1
y1
g
=2
+ 1 = (y 1) + 1 = y.
2
2
x=

Es claro que

y1
2

Ejemplo 1.37. Consideremos la funcin f : N N N, definida por f ((n, m)) = n.

Mostraremos que f es sobreyectiva. Para entender mejor la definicin de f calculemos algunas
imgenes. Por ejemplo tenemos que
f ((5, 0)) = 5, f ((1, 1)) = 1, f ((0, 0)) = 0.
Esto nos dice que 5, 1 y 0 tienen (al menos una) preimagen, respectivamente (5, 0), (1, 1)
y (0, 0). Pero esto no es suficiente para garantizar que g es sobreyectiva. Debemos mostrar
que dado cualquier elemento del contradominio n N, existe un elemento del dominio
(x, y) N N tal que f ((x, y)) = n. Los ejemplos anteriores sugieren una respuesta. En
efecto, notemos que
f ((n, 0)) = n
para cualquier n N, esto dice que (n, 0) es una preimagen de n y por lo tanto n rango(f )
para todo natural n.
Observemos que en el ejemplo anterior, el conjunto de preimgenes de cada elemento del
contradominio es un conjunto infinito. Por ejemplo, las preimgenes del 3 son todos los pares
ordenados que tienen la forma (3, m), en smbolos,
{(n, m) N N : f ((n, m)) = 3} = {(3, m) : m N}.
Esto nos dice que f est muy lejos de ser una funcin inyectiva.

Para determinar si una funcin es sobreyectiva, es crucial poder conseguir su rango. En

los prximos ejemplos calcularemos el rango de algunas funciones.
Ejemplo 1.38. Considere la funcin f : {1, 2, 3, 4} {1, 2, 3, 4, 5, 6, 7, 8} dada por f (n) =
2n. Entonces por simple inspeccin se verifica que el rango de f es el conjunto {2, 4, 6, 8}.
2
25

Ejemplo 1.39. Considere la funcin f : R \ {2} R dada por

f (x) =

x
.
x2

Para hallar el rango de f debemos determinar cuales nmeros reales son de la forma
Para hacerlo consideremos la ecuacin
x
= y.
x2

x
.
x2

Debemos despejar x de esta ecuacin. Tenemos entonces que

x = (x 2)y.
Luego
x xy = 2y.

Y por lo tanto

2y
.
1y
Usando esta ltima ecuacin mostraremos que si y 6= 1, entonces y est en el rango de f . En
efecto, sea y 6= 1, conseguiremos un real z tal que f (z) = y. Sea
x=

z=

2y
.
1y

Verificaremos que f (z) = y. En efecto,

f (z) =

2y
1y
2y

1y

2y
1y
2y2+2y
1y

2y
= y.
2

Hemos mostrado que

rango(f ) = R \ {1}.
2
Ejemplo 1.40. Considere la funcin f : P(N) P(N) dada por
f (A) = A {2, 3}.
Mostraremos que el rango de f consiste de todos los subconjuntos de N que contienen al 2
y al 3. En efecto, sea B N tal que 2, 3 B. Observemos que
f (B) = B {2, 3} = B.
Por esto B est en el rango de f . Observemos que para cada B que contenga al 2 y al 3
existen varios conjuntos A tales que f (A) = B. En efecto, tenemos que
f (B \ {2, 3}) = (B \ {2, 3}) {2, 3} = B,
26

f (B \ {3}) = (B \ {3}) {2, 3} = B,

f (B \ {2}) = (B \ {2}) {2, 3} = B.
Esto muestra que los conjuntos B, B \ {2, 3}, B \ {2} y B \ {3} todos tienen como imagen
a B.
2
Es importante que tambin quede claro cuando una funcin no es sobreyectiva. En el
siguiente recuadro lo resaltaremos.

Sea f : A B una funcin. Las afirmaciones (i) y (ii) son equivalentes

(i)
(ii)

f no es sobreyectiva
Existe un elemento b B tal que para ningn a A se tiene que b = f (a).

Notemos que para mostrar que una funcin no es sobreyectiva debemos encontrar UN
elemento del contradominio que no tenga preimagen.
Ejemplos 1.41.
siguiente

1. f : {0, 1, , 6} {0, 1, , 6} definida por partes de la manera

f (x) =

x + 2 , si 0 x 2
7 x , si 3 x 6.

Ser f sobreyectiva? Como el dominio de f tiene slo 7 elementos es sencillo responder

esta pregunta simplemente analizando por inspeccin todos los casos posibles. Vemos
que
rango(f) = {1, 2, 3, 4}.
De esto vemos que 5 no tiene preimagen y por lo tanto f no es sobreyectiva.
2. Podemos modificar el contradominio de la funcin dada en el ejemplo anterior y obtener
otra funcin que s sea sobreyectiva. Definimos g : {0, 1, , 6} {1, 2, 3, 4} usando
la misma ley de correspondencia que la de f . Como el dominio de g es igual al de f y
usamos la misma regla, entonces se tiene que rango(g) es de nuevo {1, 2, 3, 4} y por lo
tanto g s es sobreyectiva.
2
En el ltimo ejemplo hemos usado un hecho general acerca de las funciones que enunciaremos a continuacin.
Teorema 1.42. Sea f : A B una funcin. Defina g : A rango(f ) por g(x) = f (x).
Entonces g es sobreyectiva.
2
27

Ejemplo 1.43. Sea f : (1, 1) R definida por f (x) = 2x + 3. Afirmamos que f no es

sobreyectiva. En efecto, notemos que si x (1, 1) entonces
1 < x < 1.
Multiplicando por 2 la desigualdad anterior obtenemos que
2 < 2x < 2.
Ahora sumamos 3 a ambos miembros de la desigualdad anterior y obtenemos
1 < 2x + 3 < 5.
De esto se deduce que el rango de f est contenido en (1, 5). Y por consiguiente podemos
entonces concluir que f no es sobreyectiva pues, por ejemplo, 6 no tiene preimagen. Podemos
de hecho hallar el rango de f . En efecto, afirmamos que
rango(f) = (1, 5).
Nos falta mostrar que (1, 5) rango(f). Sea y (1, 5). Es decir, 1 < y < 5. Entonces
restando 3 obtenemos
2 < y 3 < 2.
Ahora dividiendo entre 2 obtenemos
1 <

y3
< 1.
2

Dejamos al lector la verificacin que

f

y3
2

= y.

Con esto queda demostrado que todo y (1, 5) tiene preimagen y por lo tanto que (1, 5) es
el rango de f . Definimos g : (1, 1) (1, 5) por g(y) = 2y + 3. El Teorema 1.42 nos dice
que g es sobreyectiva.
2

1.4.3.

Funciones biyectivas

Definicin 1.44. Una funcin es biyectiva si es inyectiva y sobreyectiva.

Una funcin es biyectiva cuando su digrafo tiene la propiedad que a todo elemento del
contradominio le llega una y slo una flecha, como se indica en el siguiente diagrama
28

Por esta razn se dice que una biyeccin establece una correspondencia biunvoca entre
los elementos del dominio y del contradominio.
Las funciones inyectivas, sobreyectivas y biyectivas son las herramientas bsicas para
comparar el nmero de elementos de dos conjuntos. Observando el digrafo de una funcin
biyectiva f : A B vemos que A y B tienen el mismo nmero de elementos. Ahora bien,
si f : A B es inyectiva, slo podemos afirmar que B tiene al menos tantos elementos
como A (pero puede suceder que B tenga ms elementos que A). Por ltimo, si f : A B
es sobreyectiva, slo podemos afirmar que A tiene al menos tantos elementos como B (pero
puede suceder que A tenga ms elementos que B).
Ejemplo 1.45. Consideremos los conjuntos A = {1, 2, 3}, B = {1, 3, 5} y C = {1, 3}. Es fcil
encontrar una funcin biyectiva de A en B, una inyectiva de C en A y una sobreyectiva de
B en C. Como lo mostramos en los grficos que siguen. Sin embargo, no es posible encontrar
una inyeccin de A en C, ni tampoco una funcin sobreyectiva de C en A. En particular,
esto nos dice adems que no existe un funcin biyectiva entre A y C, lo cual es claro pues A
tiene 3 elementos y C slo 2 elementos.

f
A

C
3

3
b

2
b

1
b

h
B

5
b

3
b

1
b

C
b

2
A continuacin enunciaremos un resultado general que usaremos con frecuencia.
29

Teorema 1.46. Sea f : A B una funcin inyectiva y sea g : A rango(f ) dada por
g(x) = f (x). Entonces g es biyectiva.
2
Terminaremos esta seccin presentando algunos ejemplos de funciones biyectivas.
Ejemplos 1.47.
1. Consideremos los conjuntos {1, 2, 3} y {a, b, c}. Existir una funcin
biyectiva entre ellos? Es claro que s . Por ejemplo, definimos la funcin f : {1, 2, 3}
{a, b, c} por f (1) = a, f (2) = b y f (3) = c. Por una simple inspeccin vemos que f es
inyectiva y sobreyectiva. De hecho existen 6 funciones biyectivas distintas entre estos
dos conjuntos (ver ejercicio 2).
2. Consideremos los conjuntos {1, 2, 3, 4} y {0, 1} {0, 1}. Existir una funcin biyectiva
entre ellos?. Recordemos que {0, 1}{0, 1} consiste de los pares ordenados (0, 0), (0, 1),
(1, 0) y (1, 1). Podemos definir entonces una funcin f : {1, 2, 3, 4} {0, 1} {0, 1}
de la manera siguiente: f (1) = (0, 0), f (2) = (0, 1), f (3) = (1, 0) y f (4) = (1, 1). De
hecho, entre los conjuntos {1, 2, 3, 4} y {0, 1} {0, 1} existen 24 funciones biyectivas
distintas.
3. Una funcin biyectiva f : {1, 2, 3, , n} B se puede ver como una enumeracin
de los elementos de B. Es decir, la funcin f sirve para etiquetar los n elementos de
B. Observe el lector lo que se hizo en los ejemplos anteriores y ver que la regla de
correspondencia implcitamente enumer los elementos del contradominio.
4. Veamos ahora un ejemplo con conjuntos infinitos. Sea E el conjunto de todos los
nmeros pares, es decir, E consiste de todos los nmeros naturales de la forma 2n con
n otro natural. Definimos f : N E por f (n) = 2n. Mostraremos que f es biyectiva.
Debemos mostrar dos cosas:
(i) f es inyectiva: sean n, m N y supongamos que f (n) = f (m). Es decir, supongamos
que 2n = 2m. De esto inmediatamente concluimos que n = m. Esto muestra que f es
inyectiva.
(ii) f es sobreyectiva: sea k E cualquiera, entonces k es un nmero par. Por lo tanto
k es de la forma 2n para un natural n. De esto vemos que la preimagen de k es n. Por
ejemplo, 48 E y 48 = 2 24 as que 24 es la preimagen de 48.
2
Ejercicios 1.4
1. En cada uno de los ejercicios que siguen determine si existe (y en caso que sea posible,
encuentre) una funcin f : A B que sea (a) inyectiva, (b) sobreyectiva, (c) biyectiva.
a) A = {1, 2, 3, 4} y B = P({1}).

b) A = {1, 2, 3, 4, 5} y B = {0} {1, 2, 3, 4, 5}.

c) A = {1, 2, 3, 4} y B = P({0, 1}).

30

d ) A = {1, 2, 3, 4, 5} y B = P({0, 1}).

e) A = P({0, 1, 2}) y B = {1, 2, , 8}.

f ) A = {0, 1} {0, 1} {0, 1} y B = {0, 1, 2, , 7}.

2.

a) Halle todas las funciones biyectivas que se puedan definir de {1, 2, 3} en {a, b, c}.
Puede conseguir una funcin inyectiva entre estos conjuntos que no sea biyectiva?. Existir una funcin sobreyectiva entre estos conjuntos que no sea biyectiva?
b) Halle una funcin inyectiva de {1, 2, 3} en {a, b, c, d}. Puede hallarla biyectiva?.

c) Halle una funcin sobreyectiva de {a, b, c, d} en {1, 2, 3}. Puede hallarla inyectiva?
3. Determine cules de las siguientes funciones son inyectivas.
a) Sea A = {0, 1, 2, , 10} y f : A A dada por f (n) = 10 n. Haga el diagrama
de f .
b) f : {0, 1, 2, 3, , 10} {0, 1, 2, 3, , 10} definida por partes de la manera
siguiente

x + 3 , si 0 x 3
f (x) =
10 x , si 4 x 10.
(Sugerencia: Haga el diagrama de f ).
c) f : {0, 1, 2, 3, , 10} N dada por f (n) = n + 3.

d ) f : {0, 1, 2, 3, , 10} N dada por f (n) = (n 3)(n 4).

e) f : Q Q, definida por f (x) = 3.

f ) f : N N, definida por f (n) = 3n .

g) f : N Z, definida por f (n) = n.

h) f : N N N, definida por f ((n, m)) = m + n.

i ) f : R R dada por f (x) = 23 x 2.

j ) f : R R dada por f (x) = x2 .

k ) f : R R dada por f (x) = x3 .

4. Determine el rango de cada una de las funciones definidas en el ejercicios 3. Determine
cules de ellas son sobreyectivas y cules son biyectivas.
5. Determine el rango de las siguientes funciones.
a) f : (1, 3) (0, 7] dada por f (x) = 54 x +

13
.
4

b) f : (3, 2) [4, 10) dada por f (x) = 5x + 20.

c) f : (1, 0) (0, 41 ) dada por f (x) = 14 x + 14 .

d ) f : R \ {2} R dada por f (x) =

x
.
x2

31

e) f : R \ {2} R dada por f (x) =

3x
.
x2

6. Muestre que la siguiente funcin no es inyectiva (hallando pares de elementos distintos

con igual imagen). Determine su rango.
f : R R dada por f (x) =

x
.
x2 +1

7. Sea A un conjunto con 3 elementos y B un conjunto con 4 elementos. Determine

cules de las siguientes afirmaciones son verdaderas y cules son falsas. Justifique sus
respuestas:
a) Existe una funcin biyectiva de A en B.
b) Existe una funcin inyectiva de A en B.
c) Existe una funcin inyectiva de B en A.
d ) Existe una funcin sobreyectiva de A en B.
e) Existe una funcin sobreyectiva de B en A.
8. Diremos que una funcin f : R R es estrictamente creciente si para todo r, s R
se cumple que
r < s f (r) < f (s)
En este caso tambin se suele decir que f preserva el orden.

Diremos que f es estrictamente decreciente si para todo r, s R se cumple que

r < s f (r) > f (s)
Determine cules de las siguientes funciones f : R R son estrictamente crecientes o
estrictamente decrecientes.
a) f (r) = r 2 ,
b) f (r) = 2r + 1,
c) f (r) =

r
,
r 2 +1

d ) f (r) = 5 4r,
e) f (r) = r 3 .

9. Sea f : R R una funcin estrictamente creciente. Muestre que f es inyectiva. Qu

puede decir si f es estrictamente decreciente?
10. Halle una funcin f : R R inyectiva que no sea ni estrictamente creciente ni estrictamente decreciente. Sugerencia: No puede ser continua.
11. Determine el rango de las siguientes funciones y si son inyectivas, sobreyectivas y/o
biyectivas.
32

a) f : P(N) P(N) dada por f (A) = A {0, 3, 7}

b) f : P(N) P(N) dada por f (A) = A {n N : n es par}

c) f : P(N) P(N) dada por f (A) = A{0, 3, 7}.

12. Sea f : A B una funcin. Verifique que las siguientes afirmaciones son equivalentes:
a) f es inyectiva.
b) Para todo a, a A [(f (a) = f (a )) (a = a )].
(Sugerencia: Recuerde que una proposicin condicional es lgicamente equivalente a su
contrarrecproca. Enuncie la contrarrecproca de la proposicin condicional que aparece
en b)).
13. En los siguientes ejercicios daremos una demostracin para que la evale y determine
si es correcta. Justifique su respuesta.
a) Afirmacin: La funcin f : R R dada por f (x) = 3x + 5 es inyectiva.
Demostracin: Sean x, x dos nmeros reales con f (x) 6= f (x ). Entonces 3x+5 6=
3x + 5. Luego 3x 6= 3x y por lo tanto x 6= x . Esto muestra que f es inyectiva.
b) Afirmacin: La funcin f : (1, 5) (8, 30) dada por f (x) = 3x + 5 es sobreyectiva.
Demostracin: Considere la ecuacin
y = 3x + 5.
Despejando x obtenemos que
x=

y5
.
3

Por lo tanto f es sobreyectiva.

14. Sean A, B, C, D conjuntos tales que A B = y C D = . Sean f : A C y
g : B D funciones inyectivas. Defina h : A B C D de la siguiente manera:

f (x) , si x A
h(x) =
g(x) , si x B.
a) Muestre que la funcin definida en el Ejemplo 1.32 es un caso particular de este
ejemplo (Sugerencia: Tome A como el conjunto de todos los enteros negativos y
B como el conjunto de los enteros no negativos. As que A B = Z. Tome C = A
y D = B y sean f (x) = 2x 1 y g(x) = 3x + 1).
b) Muestre que h es inyectiva.

15. Modifique el ejercicio anterior y obtenga un criterio para determinar cuando una funcin definida por partes es sobreyectiva.
33

16. Sean A y B dos conjuntos no vacos y R una relacin entre A y B. Diga justificadamente
si las siguientes propiedades son equivalentes.
a) x1 , x2 A, y B [(x1 , y), (x2 , y) R x1 = x2 ].

b) x1 , x2 A [( y B (x1 , y), (x2, y) R) x1 = x2 ].

Suponga que R es una funcin. Cul de esas dos afirmaciones expresa correctamente
que R es inyectiva?
17. Lea el ejercicio 11 de la seccin 1.3, bajo las condiciones de ese ejercicio, suponga que
f y g son biyecciones, es f g biyectiva?

1.5.

Composicin de funciones

Cuando calculamos
2(5)3
lo hacemos por partes: primero calculamos
53
que es igual a 125 y despus calculamos
2(125)
que nos da el resultado final 250. Podemos ver esta secuencia de operaciones en trminos de
funciones. Consideraremos las funciones f, g : N N dadas por
f (n) = n3

g(n) = 2n.

Es claro que 250 = g(125) y 125 = f (5) y de esto tenemos que

250 = g(f (5)).
Podemos entonces definir una nueva funcin, llammosla h, a partir de f y g de la siguiente
manera h : N N dada por
h(n) = g(f (n)).
La regla de correspondencia de h es: h(n) = g(n3 ) = 2n3 .
f

n 7 n3 7 2n3
Dadas dos funciones f : A B y g : B C podemos, como hicimos antes, definir una
funcin de A en C como se indica a continuacin
a 7 g(f (a)).
34

Esta nueva funcin se llama la compuesta de f y g y se denota por

gf
y su regla de correspondencia es
(g f )(x) = g(f (x)).

Observe que el orden en que leemos g f es f compuesta con g y que es el inverso al de

como lo escribimos 2 . La operacin entre funciones as definida se denomina composicin
de funciones.
La composicin de dos funciones se suele representar con cualquiera de los siguientes
diagramas.
g
f
ABC

gf

B
g

gf
C

Ejemplo 1.48. Consideremos las siguientes funciones

g

f
A

0
b

0
b

1
b

1
b

2
b

2
b

Note que en este ejemplo particular podemos componer f con g y tambin g con f :
(f g)(0)
(g f )(0)
(f g)(1)
(g f )(1)
(f g)(2)
(g f )(2)
Vemos entonces que f g 6= g f .
2

=
=
=
=
=
=

f (g(0))
g(f (0))
f (g(1))
g(f (1))
f (g(2))
g(f (2))

=
=
=
=
=
=

f (0)
g(1)
f (2)
g(0)
f (1)
g(2)

=
=
=
=
=
=

1
2
2
0
0
1
2

Esto es una convencin. En algunos textos se acostumbra a leer g f como g compuesta con f .

35

Ejemplo 1.49. Consideremos las funciones f : N Q definida por

n
n+2

f (n) =
y g : Q Q definida por

g(x) = x2 .

Entonces g f : N Q viene dada por

(g f )(n) =

n
n+2

2

4
Por ejemplo (g f )(4) = .
9

Ejemplo 1.50. Considere f, g, h : N N dadas por

f (n) =
n3
g(n) = 2n + 4
h(n) = n2 + 2.
Podemos definir 9 funciones componiendo cualesquiera dos de las anteriores.
(f g)(n)
(g f )(n)
(f h)(n)
(g h)(n)
(h f )(n)
(h g)(n)
(f f )(n)
(g g)(n)
(h h)(n)

=
=
=
=
=
=
=
=
=

f ((g(n))
g(f (n))
f (h(n))
g(h(n))
h(f (n))
h(g(n))
f (f (n))
g(g(n))
h(h(n))

=
=
=
=
=
=
=
=
=

f (2n + 4)
g(n3)
f (n2 + 2)
g(n2 + 2)
h(n3 )
h(2n + 4)
f (n3 )
g(2n + 4)
h(n2 + 2)

=
=
=
=
=
=
=
=
=

(2n + 4)3
2n3 + 4
(n2 + 3)3
2(n2 + 2) + 4
(n3 )2 + 2
(2n + 4)2 + 2
(n3 )3
2(2n + 4) + 4
(n2 + 2)2 + 2

= 2n2 + 8
= n6 + 2
= n9
= 4n + 12
= n4 + 4n2 + 6
2

Sean f : A B, g : B C y h : C D tres funciones. Podemos definir

hg :B D

g f : A C.

(h g) f : A D

h (g f ) : A D.

Tambin podemos definir

El siguiente teorema dice que las dos ltimas funciones son iguales. Es decir, la composicin
de funciones es una operacin asociativa.
36

Teorema 1.51. Sean f : A B, g : B C y h : C D tres funciones. Se tiene que

(h g) f = h (g f ).
Demostracin: Ya que las dos funciones (hg)f y h(gf ) tienen dominio A y contradominio
D slo resta verificar que tienen la misma ley de correspondencia. Sea x cualquier elemento
de A, entonces
((h g) f )(x) = (h g)(f (x)) = h(g(f (x)))
y por otra parte
(h (g f ))(x) = h((g f )(x)) = h(g(f (x))).
Esto muestra lo deseado.

Ejemplo 1.52. Considere f, g, h : N N dadas por f (n) = n3 , g(n) = 2n+4 y h(n) = n2 +2.
Entonces usando los clculos hechos en el ejercicio anterior tenemos que
((f g) h)(n) = (f g)(h(n)) = (f g)(n2 + 2) = [2(n2 + 2) + 4]3
(f (g h))(n) = f ((g h)(n)) = f (2n2 + 8)
= [2n2 + 8]3
Observe que [2(n2 + 2) + 4]3 = [2n2 + 8]3 .

Mostraremos ahora que la composicin de funciones preserva la inyectividad, la sobreyectividad y por lo tanto tambin la biyectividad.
Teorema 1.53. Sean f : A B y g : B C funciones. Se cumple que
1. Si f y g son inyectivas, entonces g f tambin es inyectiva.
2. Si f y g son sobreyectivas, entonces g f tambin es sobreyectiva.
3. Si f y g son biyectivas, entonces g f tambin es biyectiva.
Demostracin:
1. En efecto, sean x, x A con x 6= x . Entonces como hemos supuesto que f es inyectiva,
tenemos que f (x) 6= f (x ). Ahora como g tambin es inyectiva, entonces g(f (x)) 6=
g(f (x)). Es decir, (g f )(x) 6= (g f )(x ).
2. En efecto, sea z C cualquiera. Como g es sobreyectiva, entonces existe y B tal que
g(y) = z. Como y B y f es sobreyectiva, entonces existe x A tal que f (x) = y.
Afirmamos que (g f )(x) = z, pues (g f )(x) = g((f (x)) = g(y) = z.
3. Esto se deduce de las dos afirmaciones anteriores, pues si f y g son biyectivas, en
particular son inyectivas y sobreyectivas.
37

2
Es natural preguntares si las proposiciones recprocas del Teorema 1.53 son vlidas. Por
ejemplo, ser cierto que si f g es inyectiva, entonces f y g son inyectivas? Analizaremos a
continuacin una de esas preguntas y en el ejercicio 7 le planteamos al lector otras similares.
Teorema 1.54. Sean f : A B y g : B C funciones. Si g f es inyectiva, entonces f
es inyectiva.
Demostracin. Sean x1 , x2 A. Supongamos que f (x1 ) = f (x2 ). Mostraremos que x1 =
x2 . En efecto, por ser g una funcin se cumple que g(f (x1 )) = g(f (x2 )). Esto dice que
(g f )(x1 ) = (g f )(x2 ) y por ser g f inyectiva, concluimos que x1 = x2 .
2
En el ejercicio 5 damos un ejemplo que muestra que el teorema anterior es ptimo, en el
sentido que no se puede deducir, en general, que g tambin es inyectiva cuando g f lo es.
Ejercicios 1.5
1. Considere los siguientes diagramas que definen tres funciones:
g

f
A

B
b

2
b

1
b

A
x

y
b

7
b

6
b

5
b

b
a

D
b

Haga el diagrama de f g, g h y (f g) h.
2. Sean f, g, h : N N las funciones definidas por f (n) = 3n+2, g(n) = n4 y h(n) = n+1.
Determine la ley de correspondencia de las siguientes funciones:
a) f g, f h, g f , g h, h f , h h, f f y g g.

b) f g h, g h g, f g f , f h f , h h h y h g f .

3. Sean f : R R y g : R R dadas por

f (x) =

1
1+x2

y g(x) =

1
.
2+x2

Determine la ley de correspondencia de f g y g f .

4. En cada uno de los siguientes ejercicios f es una funcin de R en R. Calcule la regla
de correspondencia de f f
38

a)
f (x) =

2x + 1 , si x 1
3x
, si x > 1

f (x) =

5x 1 , si x 1
x2
, si x > 1

f (x) =

6x + 8 , si x 1
2 7x , si x > 1

b)

c)

5. Considere las siguientes funciones

g

1
b

2
b

3
b

a
b

8
b

9
b

10
b

(i) Verifique que f g es inyectiva (note que f no es inyectiva).

(ii) Verifique que f h es sobreyectiva (note que h no es sobreyectiva).

(iii) Qu relacin guardan estos ejemplos con lo mostrado en el Teorema 1.53?

6. Considere las funciones
f (x) =

0 , si x > 0
1 , si x 0

g(x) =

0 , si x 0
1 , si x < 0

Determine f f , f f f ,... y g g, g g g.... Qu patrn observa?

7. Sean f : A B y g : B C funciones. Muestre que las siguientes afirmaciones son
verdaderas:
a) Si g f es sobreyectiva, entonces g es sobreyectiva.
b) Si g f es inyectiva y f es sobreyectiva, entonces g es inyectiva.

c) Si g f es sobreyectiva y g es inyectiva, entonces f es sobreyectiva.

8. Determine si existen funciones f, g : N N tales que (f g)(n) = n2 para todo

n. Consiga, si es posible, un par de esas funciones tales que ni f ni g sea la funcin
identidad. Qu puede decir sin en lugar de n2 usamos n3 ?
39

1.6.

La funcin inversa

Como dijramos antes, una funcin biyectiva establece una correspondencia biunvoca
entre los elementos del dominio y los del contradominio. En el siguiente ejemplo mostraremos
algo muy importante acerca de las funciones biyectivas y la composicin de funciones.
Ejemplo 1.55. El diagrama de la izquierda define una funcin f : {1, 2, 3, 4} {a, b, c, d} El
diagrama de la derecha define una funcin g : {a, b, c, d} {1, 2, 3, 4}; se obtuvo invirtiendo
el sentido de las flechas en el diagrama de f .
g

f
1

3
4

2
3
4

Podemos componer f con g y obtenemos la funcin g f : {1, 2, 3, 4} {1, 2, 3, 4}.

Notemos que
(g f )(x) = x, para cada x {1, 2, 3, 4}.
Por otra parte, tambin podemos componer g con f ; obtenemos la funcin f g : {a, b, c, d}
{a, b, c, d}. Notemos que
(f g)(x) = x, para cada x {a, b, c, d}.
Las funciones compuestas obtenidas reciben el nombre de funcin identidad, pues no
alteran los elementos del dominio. Obsrvese que esas funciones no son iguales. La primera
tiene dominio {1, 2, 3, 4} y la segunda {a, b, c, d}. Las funciones identidad son sencillas pero
cruciales para caracterizar las funciones biyectivas. Por esta razn usaremos una notacin
especial para ellas. Dado un conjunto cualquiera A, denotaremos por 1A a la funcin
1A : A A
definida por
1A (x) = x, para cada x A.
Hemos usado el subndice A para denotar la funcin identidad de A pues obviamente esta
funcin depende del conjunto A. Es fcil verificar que la funcin identidad 1A es biyectiva.
Podemos expresar la propiedad que tiene la funcin g del ejemplo que estamos analizando
diciendo que
g f = 1{1,2,3,4} y f g = 1{a,b,c,d} .
2
40

Las propiedades de la funcin g en el ejemplo anterior se deben a que f es biyectiva,

como lo demostramos a continuacin.
Teorema 1.56. Sea f : A B. Las siguientes afirmaciones son equivalentes
(i) f es biyectiva
(ii) Existe una funcin g : B A tal que g f = 1A y f g = 1B .

Demostracin: Para demostrar esta equivalencia debemos mostrar dos implicaciones.

(ii) (i). Supongamos que (ii) se cumple. Es decir, supongamos que existe una funcin
g : B A tal que g f = 1A y f g = 1B . Primero mostraremos que f es inyectiva. Sean
x, x A y supongamos que f (x) = f (x ). Queremos ver que x = x . Como g f = 1A ,
entonces de la definicin de composicin de funciones obtenemos lo siguiente
g(f (x)) = (g f )(x) = 1A (x) = x
g(f (x )) = (g f )(x ) = 1A (x ) = x .
Por hiptesis f (x) = f (x ), entonces obviamente
g(f (x) = g(f (x )).
De las igualdades de arriba obtenemos que x = x , como queramos demostrar.
Ahora mostraremos que f es sobreyectiva. Fijemos y B. Debemos hallar x A tal que
f (x) = y. Como y B, entonces g(y) A. Afirmamos que g(y) es la preimagen de y bajo
f . En efecto, como f g = 1B , entonces
f (g(y)) = y.
De esta manera hemos mostrado que f es biyectiva y por lo tanto que (ii) (i).
(i) (ii). Ahora supongamos que f es biyectiva y mostremos que (ii) se cumple. Para esto
debemos definir una funcin g : B A que tenga las propiedades deseadas. La idea para
definir g es la misma que usamos para definir g en el ejemplo 1.55, es decir, g se define
invirtiendo las flechas en el diagrama de f .
Veamos la funcin f como una relacin de A en B. Es decir, consideremos el siguiente
conjunto:
R = {(x, f (x)) A B : x A}.
Ahora invirtamos el orden y obtenemos
R = {(f (x), x) B A : x A}.
Afirmamos que R es una funcin. En efecto,
(i) Sea y B cualquiera. Por ser f sobreyectiva, existe x A tal que y = f (x). Luego
(x, f (x)) = (x, y) y por definicin de R , tenemos que (y, x) R .
41

(ii) Supongamos que (y, x) y (y, x ) ambas estn en R . Mostraremos que necesariamente
x = x . En efecto, de la definicin de R tenemos que f (x) = y y f (x ) = y. Ahora,
como f es inyectiva, concluimos que x = x .
Ya que R es una funcin usaremos la notacin de funciones y la denotaremos por g. As
que g : B A y por la definicin de R tenemos que
g(y) = x f (x) = y.
Veamos que g f = 1A . En efecto, sea x A. Sea y B tal que y = f (x). Entonces tenemos
por la igualdad anterior que
g(f (x)) = g(y) = x.
De igual manera se muestra que f g = 1B .

Dada una funcin biyectiva f : A B, podemos preguntarnos si existirn dos funciones

distintas con las propiedades mencionadas en la parte (ii) del Teorema 1.56. Si analizamos
con cuidado la demostracin de ese teorema, es natural pensar que no existen dos funciones
con esas propiedades. Daremos una justificacin ms formal de esto que acabamos de decir.
Supongamos que f es biyectiva y adems que existen dos funciones g, g : B A ambas
satisfaciendo lo dicho en (ii) de 1.56. Es decir que
g f = g f = 1A y f g = f g = 1B .

(1.1)

Mostraremos que g = g . Ya que estamos suponiendo que g y g tienen el mismo dominio y

contradominio, slo debemos verificar que tienen la misma ley de correspondencia. Fijemos
entonces y B y mostremos que g(y) = g (y). Como f es biyectiva, existe x A tal que
f (x) = y. De las ecuaciones (1.1) obtenemos que
g(y) = g(f (x)) = (g f )(x) = x = (g f )(x) = g (f (x)) = g (y).
Es decir, g = g .
En vista de esta propiedad que tienen la funciones biyectivas, se define la inversa de una
funcin de la manera siguiente
Definicin 1.57. Sea f : A B una funcin biyectiva. La inversa de f , que se denota
por f 1 , es la nica funcin de B en A que satisface las dos condiciones siguientes
f 1 f = 1A y f f 1 = 1B .
2
Observacin: Es importante notar que si f es biyectiva, entonces f 1 tambin es biyectiva.

42

Ejemplo 1.58. Sea g : Q Q definida por g(x) = 2x + 1. Ya vimos anteriormente que g

es sobreyectiva (Ejemplo 1.36). Verifiquemos que g es inyectiva. En efecto, supongamos que
g(x) = g(x ), es decir, que 2x+1 = 2x +1. Si restamos 1 a ambos miembros y luego dividimos
entre 2 obtenemos que x = x . Por lo tanto g es biyectiva y tiene inversa. Usualmente la
demostracin de la sobreyectividad de la funcin da bastante informacin acerca de la regla
de correspondencia de la inversa. Recordemos que mostramos que dado y Q, se cumple
que




y1
y1
g
=2
+ 1 = (y 1) + 1 = y.
2
2
Esto nos dice que la inversa de g esta dada por
g 1 (y) =

y1
.
2
2

Ejemplo 1.59. Considere la funcin f : (1, 4) (13, 1) dada por

f (x) = 3 4x.
Mostraremos que f es biyectiva y calcularemos la ley de correspondencia de su inversa.
Supongamos que f (x) = f (x ), es decir, que 3 4x = 3 4x . De aqu se deduce
inmediatamente que x = x . Esto muestra que f es inyectiva.
Para ver que f es sobreyectiva, consideremos la ecuacin
y = 3 4x.
Despejando x obtenemos que

3y
.
4
Verificaremos que si y (13, 1), entonces 3y
(1, 4). En efecto, tenemos que
4
x=

13 < y < 1.
Luego multiplicando por -1 obtenemos
1 < y < 13.
Sumando 3 obtenemos
4 < 3 y < 16.
Dividiendo entre 4 obtenemos

3y
< 4.
4
Esto muestra que f es sobreyectiva. Adems sugiere que la inversa de f es la funcin
1<

f 1 : (13, 1) (1, 4)
43

dada por
f 1 (y) =

3y
.
4

En efecto, tenemos que

(f f

)(y) = f

3y
4

3y
=34
4

=y

y
(f 1 f )(x) = f 1 (3 4x) =

3 (3 4x)
= x.
4
2

En el Teorema 1.56 sobre la existencia de la inversa de una funcin f se pide que existe
una funcin g : B A tal que g f = 1A y f g = 1B . Quiz el lector se haya preguntado
si es suficiente pedir una sola de estas dos condiciones para garantizar que f sea biyectiva.
La respuesta es no. Le dejamos al lector la tarea de mostrarlo (ver el ejercicio 9).
Para terminar esta seccin mostraremos una propiedad importante de las funciones identidad.
Teorema 1.60. Sea f : A B una funcin. Se tiene que
1B f = f

y f 1A = f.

Demostracin: Mostraremos la primera igualdad, la otra queda como ejercicio. Es claro que
1B f y f tienen el mismo dominio y contradominio. Veamos que tienen la misma ley de
correspondencia. Sea x A, entonces por definicin de composicin y de la funcin identidad
1B tenemos que
(1B f )(x) = 1B (f (x)) = f (x).
2

1.6.1.

Algunas propiedades de la composicin

La operacin de composicin no es cancelativa, es decir, puede ocurrir que f h = f g,

pero h 6= g. En efecto, considere la funcin f : N N constante igual a 1, es decir, f (n) = 1
para todo n. Sea A un conjunto y g, h : A N dos funciones cualesquiera que no sean
iguales, sin embargo tenemos que (f g)(a) = (f h)(a) = 1 para todo a A.
Sin embargo, cuando f es biyectiva si podemos hacer la cancelacin como lo mostramos
a continuacin.
Teorema 1.61. Supongamos que f : B C es biyectiva, g, h : A B son funciones. Si
f g = f h, entonces g = h.
44

Demostracin. Primero observemos lo siguiente

(f 1 (f g)) = (f 1 f ) g = 1B g = g
y de igual manera ocurre con h:
(f 1 (f h)) = (f 1 f ) h = 1B h = h
De aqui se concluye que si f g = f h, entonces g = h.

Tambin podemos decir algo cuando f es inyectiva.

Teorema 1.62. Sea f : B C una funcin inyectiva y g, h : A B. Si f g = f h,
entonces g = h.
Demostracin. Sea x B cualquiera. Mostraremos que g(x) = h(x). Tenemos por hiptesis
que (f g)(x) = f h)(x). Luego por definicin de composicin, tenemos que f (g(x)) =
f (h(x)). Como f es inyectiva, entonces necesariamente g(x) = h(x).
2
En los ejercicios 11 y 12 presentamos al lector otras variantes del teorema anterior.
Ya mostramos que una funcin tiene inversa si, y slo si, es biyectiva. Ahora veremos
cuando existen inversas laterales. Diremos que g : B A es una inversa por la derecha de
una funcin f : A B, si f g = 1B . Analogamente, diremos que g es un inversa por la
izquierda de f si g f = 1A . Si f es biyectiva, entonces ya vimos que existe una funcin g
que es simultaneamente inversa por la derecha y por la izquierda.
Teorema 1.63. Sea f : A B una funcin. Los siguientes enunciados son equivalentes:
(i) f es inyectiva.
(ii) Existe g : B A tal que g f = 1A .
Teorema 1.64. Sea f : A B una funcin. Los siguientes enunciados son equivalentes:
(i) f es sobreyectiva.
(ii) Existe g : B A tal que f g = 1B .
Ejercicios 1.6
1. Considere las siguientes funciones. Muestre que son biyectivas y halle sus respectivas
inversas.
a) f : Z Z definida por f (x) = x + 5
b) f : Q Q dada por f (x) = 5x 8

45

c) f : R R dada por f (x) =

x+2
4

d ) f : R \ {2} R \ {3} dada por f (x) =

3x
x2

e) f : {0, 1, , 10} {0, 1 , 10} definida por f (x) = 10 x

f ) f : (1, 3) (2, 7) dada por f (x) = 54 x +

g) f : (1, 0) (0, 14 ) dada por f (x) = 14 x +

h) f : (8, 8) (1, 2) dada por f (x) =

1
(x
16

13
4
1
4

8) + 2.

2. Sea f : R R biyectiva. Suponga que f 1 (y) = 3y 5. Halle f .

3. Considere la siguiente funcin f : N N definida por partes

x + 1 , si x es par
f (x) =
x 1 , si x es impar.
Muestre que f es biyectiva y halle su inversa. (Sugerencia: haga un esbozo del diagrama
de f ).
4. Defina una biyeccin de P({1, 2, 3}) en {1, 2, , 8} y halle su inversa. (Sugerencia:
Puede definirla usando un diagrama).
5. Defina una biyeccin de {1, 2, 3, 4} en {a, b} {a, b} y halle su inversa. (Sugerencia:
Puede definirla usando un diagrama).
6. Sean A y B dos conjuntos, suponga que existe una funcin biyectiva de A en B. Ser
cierto que existe una funcin biyectiva de B en A?
7. Sea f : A B. Muestre que

f 1A = f.

8. Sean f : A B y g : B C funciones. Muestre que si g f = 1A , entonces f es

inyectiva y g es sobreyectiva.
9. Muestre que existen funciones f : A B y g : B A tales que g f = 1A pero ni f
ni g son biyectivas. Compare esto con lo que dice el Teorema 1.56.
Sugerencia: El ejemplo es sencillo. Se puede resolver con A y B finitos. Haga un diagrama sagital.
10. Sea h : N N. Halle tres pares de funciones diferentes f, g tales que f g = h.
Sugerencia: No se complique la vida, busque soluciones con f biyectiva.
11. Muestre que el Teorema 1.62 es una equivalencia. Es decir, sea f : B C una funcin.
Supongamos que para todo par de funciones g, h : A B tales que f g = f h,
se tiene necesariamente que g = h. Muestre que f es inyectiva.
12. Sea f : A B una funcin. Muestre que los siguientes enunciados son equivalentes:
46

a) f es sobreyectiva
b) Para todo par de funciones g, h : B C, si g f = h f , entonces g = h.
13. Describa una funcin que tenga dos inversas por la izquierda distintas y otra que tenga
dos inversas por la derecha distintas.

1.7.

Permutaciones de n elementos

En esta seccin estudiaremos con un poco ms de detalle las biyecciones del conjunto
{1, 2, , n} en s mismo. Denotaremos con Sn ese conjunto de biyecciones, usualmente
llamado el grupo simtrico y a sus elementos se les llama permutaciones. Es claro que si
f, g Sn , entonces la composicin f g se puede realizar (igualmente g f ). Indicaremos
una manera muy efectiva de representar las permutaciones. Veamos un par de ejemplos:
(i) Suponga n = 5 y sea f (1) = 4, f (2) =
representar f de la siguiente manera:

1 2
f =
4 3

Lo usual es no escribir las flechas .

(ii) Sea g la biyeccin siguiente:

g=
Podemos calcular g f y f

1 2 3
gf =
3 4 1

1 2 3
f g =
4 3 2

3, f (3) = 2, f (4) = 1 y f (5) = 5. Podemos

3 4 5

2 1 5

1 2 3 4 5
3 4 1 5 2

g muy fcilmente usando esa representacin:


 

4 5
1 2 3 4 5
1 2 3 4 5
=
5 2
4 3 2 1 5
5 1 4 3 2

 

4 5
1 2 3 4 5
1 2 3 4 5
=
.
1 5
3 4 1 5 2
2 1 4 5 3

La inversa de una permutacin es muy fcil de representar. Por ejemplo



1 
4 3 2 1 5
1 2 3 4 5
=
1 2 3 4 5
4 3 2 1 5

Es decir, la inversa de una permutacin se obtiene intercambiando de lugar las dos filas.
Ahora veremos otra propiedad de las permutaciones. Si f (i) = i diremos que f fija a i,
en el otro caso, diremos que f mueve a i. Cuando una permutacin fija a un nmero no hace
falta incluir ese nmero en la representacin anterior. Por ejemplo


1 2 3 4
f=
4 3 2 1
47

Ahora considere

esta permutacin es igual a



2 3 4
3 4 2

1 2 3 4 5
1 3 4 2 5

Una permutacin f se llama ciclo, si para algunos i1 , i2 , , ik se cumple que

f (i1 ) = i2 , f (i2 ) = i3 , , f (ik1 ) = ik f (ik ) = i1
y los demas elementos de {1, 2, , n} diferentes de i1 , i2 , , ik quedan fijos por f . La
representacin de este ciclo sera


i1 i2 ik1 ik
i2 i3 ik i1
Por ejemplo,

es un ciclo. La funcin identidad se

Considere la permutacin f que
composicin de ciclos

1 2
f=
4 3

1 2 5
2 5 1

considera un ciclo que fija a todos los elementos.

usamos al comienzo Veamos que se puede escribir como
3 4 5
2 1 5

1 4
4 1



2 3
3 2

Esto se cumple para toda permutacin. Diremos que dos ciclos son disjuntos, si el conjunto
de nmeros que lo forman son disjuntos. Por ejemplo, los dos ciclos en que se descompuso f
arriba son disjuntos.
Sea g una permutacin cualquiera en Sn . Mostraremos que g es igual a la composicin de
ciclos disjuntos. La demostracin se har por induccin en el nmero r de elementos que g
mueve. Si r = 0, entonces g es la funcin identidad, que se considera un ciclo. Supongamos
que g mueve al menos un elemento i1 , es decir, g(i1 ) 6= i1 . Pongamos i2 = g(i1 ), i3 = g(i2 ),
, ik = g(ik1). Como g slo puede tomar n valores y es inyectiva, necesariamente para
algn k, se cumple que g(ik ) = i1 . Es decir, tenemos el ciclo


i1 i2 ik1 ik
h=
.
i2 i3 ik i1
Ahora bien, notemos que si j {1, 2, , n} \ {i1 , , ik }, entonces g(j) {1, 2, , n} \
{i1 , , ik }. Esto permite definir otra permutacin h de la siguiente manera: h fija todos
los elementos en {i1 , , ik } y si j 6 {i1 , , ik } entonces h (j) = g(j). Asi tenemos que
g = h h
48

Notemos, por ltimo, que h mueve menos elementos que g. Por lo tanto, por la hiptesis
inductiva, h se puede expresar como una composicin de ciclos disjuntos y con esto termina
la demostracin. Dejamos los detalles al lector interesado.
Considere


1 2 3 4 5
g=
3 4 1 5 2
Entonces



1 3
2 4 5
g=
3 1
4 5 2
Ejercicios 1.7
1. Calcule las siguientes composiciones de permutaciones
a)

b)

c)

d)

1 2 3 4 5
4 5 1 2 3



1 2 3 4 5 6
4 6 1 2 3 5


1 2 3 4
2 1 4 3


1 3
3 1

1 2 3 4 5
5 3 2 1 4






2 4 6
4 6 2

2 4 5
4 5 2

2 4 5
4 5 2

2. Halle la descomposicin en ciclos de las permutaciones que aparecen en toda esta

seccin.
3. Sea i1 n y g Sn . Defina i2 = g(i1 ), i3 = g(i2 ), , ik = g(ik1). Muestre que
necesariamente para algn k, se cumple que g(ik ) = i1 .
4. Sea f Sn . Para cada k natural se define f k de la manera usual, es decir, f 2 = f f ,
f k+1 = f f k . Muestre que
a) Para cada i n existe k tal que f k (i) = i.

b) Existe l tal que f k = Id (la funcin identidad). Qu relacin guarda l con el

nmero k de la parte a)?

5. D ejemplos de permutaciones f Sn tales que f 2 = Id.

6. Existir un ciclo f tal que f 2 no sea un ciclo?
7. Sea f un ciclo de longitud k. Muestre que f k es la identidad.
49

1.8.

La imagen y la preimagen de un conjunto

Sea f : A B y C A. La imagen de C, que denotaremos por

f [C],
se define como el conjunto formado por las imgenes de los elementos de C. En smbolos
f [C] = {f (x) : x C}.
Notemos que cuando C = A tenemos que f [A] es precisamente el rango de f .
Ejemplo 1.65. Sea f : R R dada por
f (x) = x + 2.
Sea C = [0, 1). Afirmamos que
f [C] = [2, 3).
En efecto, tenemos que
f [C] = {x + 2 : x [0, 1)} = {x + 2 : 0 x < 1} = [2, 3).
2
Ejemplo 1.66. Sea f : R R dada por
f (x) = x2 .
Entonces tenemos que
f [{2, 1, 2, 3}] = {1, 4, 9}.

f [(1, 2)] = [0, 4)

2
Ejemplo 1.67. Sea f : R R dada por
f (x) = 6 3x.
y A = (1, 2]. Sea x R, tenemos que
1 < x 2 0 6 3x < 3.
Por lo tanto f [(1, 2]] = [0, 3).
2
50

Dada una funcin f : A B y un conjunto D B definimos la preimagen de D como

el conjunto formado por todas las preimgenes de los elementos de D. La preimagen de un
conjunto la denotaremos por
f 1 [D].
En smbolos tenemos que
f 1 [D] = {x A : f (x) D}.
Observacin: Es importante notar que la preimagen de un conjunto est bien definida an
en el caso que f no sea biyectiva (y por lo tanto no tenga inversa). Aqu se abusa de la
notacin, pues se usa el smbolo f 1 con dos significados distintos: (i) Cuando f es biyectiva,
f 1 denota la inversa de f . (ii) Sin importar que f tenga o no inversa, usamos f 1 [D] para
denotar la imagen inversa del conjunto D.
Cuando el conjunto D tiene slo un elemento, digamos D = {b}, escribiremos f 1 [b] en
lugar de f 1 [{b}]. Es decir
f 1 [b] = {a A : f (a) = b}.
Ejemplo 1.68. Sea f : R R dada por
f (x) = 2 x.
Tenemos que
f 1 [{1, 2, 3, 4, 5}] = {1, 0, 1, 2, 3}

f 1 [(1, 3]] = [1, 1)

f 1 [2] = {0}

f 1 [4] = {2}.
2

Ejemplo 1.69. Sea f : R R dada por

f (x) = x2 + 1.
Entonces tenemos que
f 1 [(2, 4]]
1
f [{1, 2, 3, 4, 5}]
f 1 [7]
f 1 [ 54 ]

=
=
=
=

(1, 3]
[
3, 1)
2,

2,
3, 3, 2, 2}
{0,

{ 6, 6}
{ 21 , 12 }.

La preimagen de un conjunto puede ser vaca. Por ejemplo

f 1 [ 12 ] = .

f 1 [(3, 0)] =

2
51

Ejemplo 1.70. Sea f : R R dada por f (x) = 3x2 + x + 1. Defina una relacin S sobre R
dada por
(x, x ) S f (x) = f (x ).

Mostraremos que S es una relacin reflexiva, simtrica y transitiva (es decir, S es una relacin
de equivalencia). En efecto, como f (x) = f (x), es obvio que (x, x) S para todo x R,
esto dice que S es reflexiva. Para ver que S es simtrica, tomemos (x, x ) S, entonces
f (x) = f (x ). Claramente, f (x ) = f (x) y en consecuencia (x , x) S. Finalmente, para
verificar que S es transitiva, sean (x, y), (y, z) S. Entonces f (x) = f (y) y f (y) = f (z).
Luego f (x) = f (z). Esto es (x, z) S y as hemos mostrado que S es transitiva.
Recordemos que la clase de equivalencia de un elemento a respecto a una relacin de
equivalencia S es la coleccin
[a] = {b : (a, b) S}.
En el caso especfico que estamos estudiando, tenemos que

[a] = {b R : f (a) = f (b)}.

Notemos que f (a) = f (b) si, y slo si, b f 1 [f (a)]. Esto dice que f 1 [f (a)] es la clase de
equivalencia de a.
2
Sea f : A B una funcin. Podemos definir una funcin entre los subconjuntos de A y
los de B de la siguiente manera. Sea G : P(A) P(B) dada por
G(D) = f [D] para cada D A.
Es decir, G(D) es la imagen de D bajo f . Las propiedades de f y de G estn muy relacionadas.
A continuacin mostraremos que si una es inyectiva la otra tambin. En el ejercicio 11 se
analizan otras propiedades de la funcin G.
Teorema 1.71. Sea f : A B una funcin y G como fue definida en el prrafo anterior.
Entonces f es inyectiva si, y slo si, G es inyectiva.
Demostracin. Supongamos que f es inyectiva y mostraremos que G tambin lo es. Sean
D1 , D2 P(B) tales que D1 6= D2 . Debemos mostrar que G(D1 ) 6= G(D2 ). Como D1 6= D2
entonces o bien existe x D1 \ D2 , o bien existe x D2 \ D1 . Estas dos alternativas
se tratan de manera completamente anloga y slo haremos una, dejando la otra a cargo
del lector interesado. Fijemos entonces x0 D1 \ D2 . Afirmamos que f (x0 ) G(D1 ) y
f (x0 ) 6 g(D2 ) y con esto se completa la prueba de que G(D1 ) 6= G(D2 ). En efecto, como
x0 D1 , por definicin, se tiene que f (x0 ) f [D1 ], esto es, f (x0 ) G(D1 ). Por otra
parte, para mostrar que f (x0 ) 6 G(D2 ), razonamos de manera indirecta. Supongamos que
f (x0 ) G(D2 ), esto es, f (x0 ) f [D2 ]. De la definicin de f [D2 ] se concluye que existe
x1 D2 tal que f (x0 ) = f (x1 ). Como f es inyectiva, entonces x0 = x1 , pero esto dice que
x0 D2 , lo que contradice la eleccin de x0 . Esta contradiccin muestra que f (x0 ) 6 G(D2 ).
Supongamos ahora que G es inyectiva y mostremos que f tambin lo es. Sean x0 , x1 A.
Supongamos que f (x0 ) = f (x1 ). Mostraremos que x0 = x1 . En efecto, sean D0 = {x0 }
52

y D1 = {x1 }. Entonces f [D0 ] = f [D1 ], es decir, G(D0 ) = G(D1 ). Como G es inyectiva,

entonces D0 = D1 , esto dice que x0 = x1 .
2
Ejercicios 1.8
1. Sea f : R R dada por f (x) = x2 1. Halle los conjuntos que se indican.
(a) f [[1, 3]],
(b)
(d) f [(1, 4) ( 27, 15)] (e)

f 1 [(1, 3]],
f 1 [[5, 20)]

(c)
(f)

f [N]
f 1 [(2, 5) [7, 15]]

2. Sea f : R R dada por f (x) = 3x 1. Halle los conjuntos que se indican.

(a) f [[1, 3]], (b) f 1 [R],
(c) f [{1, 2, 3, 4}]
1
(d) f [(1, 15)] (e) f [{1, 2, 3}] (f) f 1 [(0, 51 ]]

3. Sea f : N N N dada por

f (n, m) = 2n (2m + 1) 1.
Halle los conjuntos que se indican
a) f [C] donde C = {(1, 1), (1, 2), (2, 3), (3, 3), (2, 1), (3, 2)}.
b) f 1 [{1, 2, 3, 4, 5, 6}]

4. Sea f : A B una funcin. Defina una relacin S sobre A dada por

(x, x ) S f (x) = f (x ).
Muestre que S es una relacin reflexiva, simtrica y transitiva (es decir, S es una
relacin de equivalencia).
5. Sea f : N N dada por

f (n) = 3n + 1.

Defina una funcin G : P(N) P(N) de la siguiente manera

G(A) = f [A].
a) Halle los conjuntos que se indican
(a) G({1, 3, 5}), (b) G({2, 3, 5}), (c)

G(P ) donde P son los nmeros pares.

b) Muestre que G es inyectiva.

6. Sea f : Z Z dada por f (x) = x2 + 4. Defina G : P(Z) P(Z) por G(A) = f [A].
Muestre que G no es inyectiva.
7. Sea f : A B una funcin
53

a) Muestre que f 1 [B] = A.

b) Sean a, c A. Muestre que f (a) = f (c) si, y slo si, c f 1 [a].
c) Sea C D A. Muestre que f [C] f [D]

d ) Sea E F B. Muestre que f 1 [E] f 1 [F ].

8. Sea f : A B una funcin.
a) Sea C A. Muestre que

C f 1 [f [C]]

b) Sea D B. Muestre que

f [f 1 [D]] D

c) Determine cundo se cumple la igualdad en los ejercicios anteriores.

9. Sea f : A B una funcin.
a) Sean E, F P(B). Muestre que f 1 [E F ] = f 1 [E] f 1 [F ]. Qu puede decir
sobre f 1 [E F ]?

b) Sean D, K P(A). Muestre que f [D K] = f [D] f [K]. Qu puede decir sobre

f [D K]?

10. Sea f : N N dada por f (n) = 3n + 1. Defina G : P(N) P(N) por

G(A) = f 1 [A].

Es G sobreyectiva? Es G inyectiva?
11. Sea f : A B una funcin. Defina G : P(A) P(B) y H : P(B) P(A) por
G(D) = f [D] con D A
y
Muestre que

H(E) = f 1 [E] con E B.

a) f es inyectiva si, y slo si, G es inyectiva.

b) f es sobreyectiva si, y slo si, G es sobreyectiva.
c) f es inyectiva si, y slo si, H es sobreyectiva.
d ) f es inyectiva si, y slo si, G(A \ D) = G(A) \ G(D) para todo D A.
e) Si H es inyectiva, entonces f es sobreyectiva. Es vlido el recproco?

12. Sean f : A B y g : B C funciones. Muestre que

a) (g f )1 [c] = f 1 [g 1 [c]] para todo c C.
b) (g f )[D] = g[f [D]] para todo D A.
54

Ejercicios suplementarios del captulo 1

1. Determine si las siguientes reglas definen una funcin de N en P(N).
a) n 7 {n},

b) n 7 {m : m es un mltiplo de n},
c) n 7 {m N : n m},

d ) n 7 .

2. Determine las imgenes indicadas.

a) f : P({1, 2, 3, 4}) P({1, 2, 3, 4}) dada por f (A) = A {1, 2}. Hallar f () y
f ({1, 2}).
b) f : P({1, 2, 3, 4}) P({1, 2, 3, 4}) dada por f (A) = A{1, 2}. Hallar f () y
f ({1, 3}).
c) f : N P(N) dada por f (n) = {m N : n m}. Hallar f (0) y f (3).

d ) Sea f : N N definida por partes de la manera siguiente


x + 1 , si x es par
f (x) =
x
, si x es impar.
Hallar f (2) y f (3).

e) f : P({1, 2, 3, 4}) P({1, 2, 3, 4}) dada por f (A) = A {1, 2}. Hallar f () y
f ({1, 3}).
3. Sea f : N R una funcin. Suponga que f satisface
f (n) = (n 1)f (n 1)
para todo n > 1 y tambin que f (1) = 1. Halle f (4).
4. Sea f : N R una funcin. Suponga que f satisface
f (n) = n f (n 1) + 1
para todo n > 1 y tambin que f (1) = 997. Halle f (5).
5. En cada uno de los ejercicios que siguen determine si existe (y en caso que sea posible,
encuentre) una funcin f : A B que sea (a) inyectiva, (b) sobreyectiva, (c) biyectiva.
a) A = {1, 2, 3, 4} y B = {0, 1} {0, 1} {0, 1},
b) A = {1, 2, 3} y B = {0} {1, 2, 3, 4, 5,},
c) A = P({0, 1, 2}) y B = {0, 1, 2, , 7},
55

d ) A = P({0, 1}) y B = {0, 1} {0, 1},

e) A = P({0, 1, 2}) y B = {0, 1} {0, 1} {0, 1},

f ) A = {n N : n divide a 12} y B = {1, 2, 3, 4, 5}.

6. Determine si las siguientes funciones son inyectivas, sobreyectivas y/o biyectivas. Determine el rango de cada una de ellas.
a) f : N N, definida por f (n) = 3n + 2.

b) f : N N N, definida por f ((n, m)) = m.

c) f : N P(N) definida por f (n) = {n}.

d ) f : N N N, definida por f ((n, m)) = m n.

e) f : N N N N, definida por f ((n, m)) = (m, n).

f ) f : N N N definida por f (n) = (1, n).

g) f : N P(N) dada por f (n) = {m N : n m}.

h) f : P({1, 2, 3, 4}) P({1, 2, 3, 4}) dada por f (A) = A{1, 2}

i ) f : P(N) P(N) dada por f (A) = A {1, 2, 3, 4}.

j ) f : P(N) P(N) P(N) dada por f (A, B) = A \ B.

k ) f : P(N) P(N) P(N) dada por f (A, B) = AB.

l ) Sea f : N N definida por partes de la manera siguiente


x + 1 , si x es par
f (x) =
x
, si x es impar

7. Muestre que la funcin dada es biyectiva y halle su inversa.

a) f : R \ {2} R \ {1} dada por f (x) =
b) f : (5, 15) ( 13 , 12 ) dada por f (x) =

x
x2

1
(x
60

+ 15).

c) f : (3, 2) (5, 10) dada por f (x) = 5x + 20.

d ) f : P({0, 1, 2}) P({0, 1, 2}) definida por f (A) = A{1}.

56

Captulo 2
Cardinalidad
En este captulo estudiaremos el concepto de cardinalidad de un conjunto. Este concepto
es la versin matemtica de la nocin comn de nmero de elementos de un conjunto.
Nuestro principal objetivo ser el de comparar el nmero de elementos de los conjuntos
N, Z, Q y R. An cuando todos ellos son conjuntos infinitos, veremos que R tiene ms
elementos que los otros. Este descubrimiento, que los conjuntos infinitos no son todos de
igual tamao, lo hizo el matemtico George Cantor a finales del siglo XIX y revolucion las
Matemticas. El lector interesado en profundizar sobre estos temas puede consultar [5].

2.1.

Conjuntos finitos y mtodos de conteo

De cuntas maneras podemos ordenar 3 libros distintos en un estante? Designemos con

las letras a, b y c los 3 libros. Podemos hacer una lista de todas las posibles ordenaciones:
abc
bca

acb
cab

bac
cba

Vemos entonces que hay 6 posibles maneras de ordenarlos. Ahora bien, si en lugar de 3 tenemos 1000 libros, no podemos hacer una lista exhaustiva de todas las posibilidades pues es un
nmero extraordinariamente grande. Por esto se han desarrollado los mtodos de conteo. En
esta seccin presentaremos algunos de estos mtodos. Lo primero que haremos es precisar
la nocin de un conjunto con n elementos. Aunque su significado es para todos intuitivamente claro, es importante que lo expresemos usando el lenguaje de las Matemticas. Al
igual que en todo proceso de medicin (en el caso que nos ocupa, estamos interesados en
medir el nmero de elementos de un conjunto) es fundamental fijar un patrn de referencia.
El conjunto con n elementos que usaremos como patrn es {1, 2, 3, , n} (Cul otro podra
ser?). Tambin es conveniente tener a la mano una notacin prctica para trabajar con estos
conceptos. Todo esto lo haremos a continuacin.
Definicin 2.1. Sea A un conjunto y un nmero natural positivo n. Diremos que A tiene n
elementos si existe una funcin biyectiva f : {1, 2, 3, , n} A. En este caso escribiremos
|A| = n.
57

Diremos que A es finito si A es vaco o si tiene n elementos para algn n. Diremos que el
conjunto vaco tiene 0 elementos.
El lector debera convencerse que la definicin que acabamos de dar captura la nocin
intuitiva de un conjunto con n elementos.
El smbolo |A| se lee el nmero de elementos de A, tambin se dice la cardinalidad de
|A|. La ecuacin |A| = |B|, se lee A y B tienen el mismo nmero de elementos o A y B
tienen la misma cardinalidad.
Tambin es usual denotar un conjunto finito con n elementos de la siguiente manera
A = {a1 , a2 , , an }
donde los smbolos a1 , a2 , se leen a-sub-uno, a-sub-dos, etc. Esta notacin sustituye a la
biyeccin f : {1, 2, , n} A. Pues implicitamente uno puede suponer que f viene dada
de la siguiente manera:
f (1) = a1 , f (2) = a2 , , f (n) = an
Ejemplo 2.2. Sea A = {2, 4, a, b, 8}. Veamos que A satisface la definicin de un conjunto
con 5 elementos. Para esto debemos conseguir una funcin biyectiva de {1, 2, 3, 4, 5} en A.
En efecto, considere la siguiente regla
f (1)
f (2)
f (3)
f (4)
f (5)

=
=
=
=
=

2
4
a
b
8
2

Teniendo aclarado la nocin de nmero de elemento de un conjunto o cardinalidad

de un conjunto finito nos dedicaremos a estudiar sus propiedades. El primer resultado es
sumamente til.
Teorema 2.3. Sean A y B dos conjuntos finitos. Si A y B son disjuntos (es decir, AB = ),
entonces |A B| = |A| + |B|.
Antes de dar la demostracin de este resultado veremos un ejemplo.
Ejemplo 2.4. Sea A = {1, 4, 6} y B = {3, 7, 8, 9}. Tenemos que A B = , A B es igual
a {1, 4, 6, 3, 7, 8, 9} y A B tiene 3 + 4 elementos.
Observe que es crucial que los conjuntos sean disjuntos. Por ejemplo, sea C = {1, 4, 6} y
D = {1, 7, 8, 9}. En este caso C D = {1} y C D tiene slo 6 elementos.
2
Demostracin del Teorema 2.3: Sea n = |A| y m = |B|. La demostracin se har por
induccin en n.
58

Base de la induccin: Si A es vaco, es decir, n = 0, entonces AB = B y en consecuencia

|A B| = |B| = |A| + |B|.
Como veremos, para el paso inductivo, necesitamos el caso cuando A tiene un solo elemento. Lo haremos de inmediato. Supogamos que A = {x} y B es un conjunto con m elementos y
disjunto de A. Sea f : {1, 2, , m} B una biyeccin. Defina f : {1, 2, , m+1} AB
por partes de la siguiente manera.
g(t) =

f (t) , si t {1, 2, , m}
x
, si t = m + 1.

Le dejamos al lector convencerse de que g es una biyeccin y en consecuencia |A B| =

m + 1 = |B| + |A|.
Paso inductivo: Supongamos que el resultado es vlido para cualquier conjunto A que
tenga a lo sumo n elementos. Debemos verificar el resultado para un conjunto A con n + 1
elementos. Por lo visto anteriormete, podemos ademas suponer que n 1.
Sea A tal que |A| = n + 1 y B un conjunto con m elementos que sea disjunto de A.
Escoja un elemento cualquiera de A, denotemoslo por x. Considere el conjunto C = A \ {x}.
Claramente |C| = n. Como AB = , entonces CB = . Por la hiptesis inductiva, sabemos
que |C B| = |C| + |B| = n + m. Por otra parte, considere el conjunto D = C B. Usando
la inductiva con los conjuntos {x} y D, tenemos que |{x} D| = |{x}| + |D| = 1 + n + m.
Clarmente A B = {x} D, y as concluimos que |A B| = n + 1 + m que es lo que se
quera demostrar.
2
El teorema anterior se puede demostrar sin usar induccin de una manera directa como
lo indicamos en el ejercicio #7.
Podemos generalizar el resultado anterior para la unin de tres o ms conjuntos disjuntos
de la manera siguiente.
Teorema 2.5. Sean A, B y C tres conjuntos finitos tales que A B = A C = B C = ,
entonces A B C es finito y adems
|A B C| = |A| + |B| + |C|.
Demostracin: Sean A, B y C tres conjuntos como en la hiptesis. Considere el siguiente
conjunto
D = A B.
Tenemos entonces que D y C son disjuntos (por qu?). Luego por el Teorema 2.3 concluimos
que
|D C| = |D| + |C|.
Anlogamente, como A y B son disjuntos, tenemos que
|D| = |A B| = |A| + |B|.
59

De la dos igualdades anteriores obtenemos

|A B C| = |D C| = |D| + |C| = |A| + |B| + |C|.
2
Cuando una familia de conjuntos {Ai }i tiene la propiedad que Ai Aj = para cada par
de ndices distintos i, j se dice que la familia es disjunta dos a dos. El resultado anterior se
puede generalizar: Sea {Ai }ni=1 una familia de conjuntos finitos disjuntas dos a dos, entonces
|A1 An | = |A1 | + + |An |.
La demostracin de este hecho queda como ejercicio (ver ejercicio 8).
Otra propiedad de los conjuntos finitos es la siguiente:
Teorema 2.6. Sea A un conjunto finito y B A, entonces B es finito y adems |B| |A|.
En otras palabras, si A tiene n elementos y B A, entonces B tiene a lo sumo n
elementos. El lector que quiera ver un prueba formal de este resultado puede ver el ejercicio
#9 donde encontrar algunas indicaciones de como hacerlo.
El siguiente resultado es similar al Teorema 2.3 pero ahora tambin incluiremos el caso
donde los conjuntos A y B no son necesariamente disjuntos.
Teorema 2.7. Sean A y B conjuntos finitos, entonces se cumple que
|A B| = |A| + |B| |A B|.
Demostracin: Comencemos observando que
A B = (A \ B) (A B) (B \ A)
y adems que
(A B) (A \ B) =
(A B) (B \ A) =
(A \ B) (B \ A) = .
Es decir, cada par de estos tres conjuntos son disjuntos. Ya que A B A, A \ B A y
B \ A B, entonces cada uno de ellos es finito (por el Teorema 2.6). Podemos ahora usar el
Teorema 2.5 y concluir que
|A B| = |A \ B| + |A B| + |B \ A|.
Observe que A \ B y B A son disjuntos, es decir
(A \ B) (A B) =
60

(2.1)

y adems que
A = (A B) (A \ B).

Ya que A \ B A y A B A, entonces ambos son conjuntos finitos (por el Teorema 2.6).

Por lo tanto por el Teorema 2.3 tenemos que
|A| = |A B| + |A \ B|.

(2.2)

Anlogamente para el conjunto B tenemos que

|B| = |A B| + |B \ A|.

(2.3)

Sumando las igualdades dadas en (2.2) y (2.3) obtenemos que

|A| + |B| = |A B| + |A \ B| + |A B| + |B \ A|.
Comparando con (2.1) obtenemos
|A B| = |A| + |B| |A B|
y sta es la ecuacin buscada.
2
El resultado anterior se puede generalizar para tres o ms conjuntos finitos. Este resultado
se conoce como el principio de inclusin y exclusin.
Teorema 2.8. (Principio de inclusin y exclusin) Sean A, B y C tres conjuntos finitos,
entonces A B C es finito y adems se cumple que
|A B C| = |A| + |B| + |C| |A B| |A C| |B C| + |A B C|.
2
La utilidad de este resultado reside en que, en general, es ms fcil contar el nmero de
elementos de la interseccin de conjuntos que el de la unin de conjuntos. En el ejercicio 10
el lector encontrar algunas indicaciones de como demostrar este resultado.
Ejemplos 2.9. Cuntos enteros del conjunto S = {1, 2, 3, , 1000} son divisibles por 3 o
5? Definimos dos conjuntos D3 y D5 de la siguiente manera
D3 = {n S : n es divisible por 3} y D5 = {n S : n es divisible por 5}.
Estamos buscando el nmero de elementos de D3 D5 . Haciendo uso del Teorema 2.7 bastara
que consiguiramos |D3 |, |D5 | y |D3 D5 |. Notemos que n es divisible por 3 si n es de la
forma 3k para algn entero k. Como 3 333 = 999, 3 334 = 1002, y 5 200 = 1000 podemos
concluir que
D3 = {3k : 1 k 333} y D5 = {5k : 1 k 200}.
Esto nos dice que |D3 | = 333 y |D5 | = 200. Por otra parte, observemos que si n D3 D5 ,
entonces n es divisible por 15 (pues la factorizacin de n en factores primos incluir tanto al
61

3 como al 5). Recprocamente, si n es divisible por 15 entonces n es divisible por 3 y por 5.

Esto nos dice que
D3 D5 = {n S : n es divisible por 15}.
Por lo tanto, como 15 66 = 990 y 15 67 = 1005, entonces
D3 D5 = {15k : 1 k 66}.
De esto tenemos que |D3 D5 | = 66. Finalmente
|D3 D5 | = |D3 | + |D5 | |D3 D5 | = 333 + 200 66 = 467.
Veamos otro ejemplo. Cuntos enteros en S son divisibles por 3, 5 o 7? Sea D7 el conjunto
D7 = {n S : n es divisible por 7}.
Al igual que antes se tiene que |D7 | = 142, pues 7 142 = 994 y 7 143 = 1001. Por otra
parte, como 7, 3 y 5 son nmeros primos, entonces
D3 D7 = {n S : n es divisible por 21}
D5 D7 = {n S : n es divisible por 35}
D3 D5 D7 = {n S : n es divisible por 105}.
Razonando anlogamente a como hiciramos antes, obtenemos que |D3 D7 | = 47, |D5
D7 | = 28 y |D3 D5 D7 | = 9. Por el principio de inclusin y exclusin tenemos que
|D3 D5 D7 | = |D3 | + |D5 | + |D7 | |D3 D5 | |D3 D7 |
|D5 D7 | + |D3 D5 D7 |
= 333 + 200 + 142 66 47 28 + 9
= 543.
2
Observacin 2.10. El principio de inclusin y exclusin se puede generalizar a un nmero
arbitrario de conjuntos. Por ejemplo, para cuatro conjuntos A, B, C y D se tiene que
|A B C D| = |A| + |B| + |C| + |D|
|A B| |A C| |A D| |B C| |C D| |B D|
+|A B C| + |A B D| + |A C D| + |B C D|
|A B C D|.
Le dejamos al lector la tarea de comprobar esa frmula.
2
62

2.1.1.

Cardinalidad del conjunto potencia

Ahora calcularemos el nmero de elemento del conjunto potencia. Para hacerlo usaremos
el Principio de induccin. El paso inductivo est basado en la siguiente idea. Consideremos
el conjunto potencia de {1, 2, 3}. Clasificamos los subconjuntos de {1, 2, 3} en dos grupos: el
primero consiste de aquellos que no contienen al 3 y el segundo del resto, es decir, aquellos
que s contienen al 3

{1}

{2}

{1, 2}

{3}

{1, 3}

{2, 3}

{1, 2, 3}

Notemos que los conjuntos que estn en la primera fila son precisamente los subconjuntos
de {1, 2}, es decir, en el primer grupo hemos puestos todos los elementos de P({1, 2}). Y los
que colocamos en el segundo grupo se obtienen agregando el 3 a los conjuntos del primer
grupo.
De lo dicho anteriormente se concluye que el nmero de elementos de P({1, 2, 3}) es el
doble que el de P({1, 2}). El lector debe tener presente esta idea cuando lea la prueba que
damos a continuacin.
Teorema 2.11. Sea n un natural con n 1, entonces P({1, 2, , n}) tiene 2n elementos.

Demostracin: La demostracin la haremos por induccin.

Base de la induccin: Para n = 1, tenemos que P({1}) = {, {1}} tiene 21 elementos.

Paso inductivo: Supongamos que el resultado es cierto para k y mostrmoslo para k + 1. La
hiptesis inductiva es que P({1, 2, 3 , k}) tiene 2k elementos. Consideremos los siguientes
conjuntos:
A = {X P({1, 2, 3 , k + 1}) : k + 1 X}
B = {X P({1, 2, 3 , k + 1}) : k + 1 6 X}.
Observemos que B es igual a P({1, 2, 3 , k}) (verifquelo!). Tenemos que A B = y
adems que P({1, 2, 3 , k + 1}) = A B (verifquelo!). La hiptesis inductiva nos dice
que B tiene 2k elementos. Mostraremos en seguida que A tambin tiene 2k elementos. Supongamos esto por un momento y terminemos la verificacin del paso inductivo. Como AB
es igual a P({1, 2, 3 , k + 1}) y A y B son disjuntos, entonces podemos usar el Teorema
2.3 y concluir que P({1, 2, 3 , k + 1}) tiene 2k + 2k elementos. Como 2 2k = 2k+1 , hemos
mostrado que P({1, 2, 3 , k + 1}) tiene 2k+1 elementos. Con esto terminamos la verificacin del paso inductivo.
Nos qued pendiente mostrar que A tiene 2k elementos. En realidad es bastante sencillo
darse cuenta de eso. Analizando con cuidado la definicin de A vemos que A tiene tantos
elementos como B, pues a cada conjunto X en B le corresponde exactamente uno de A,
precisamente el conjunto X {k + 1}. Esta es la idea que presentamos antes de enunciar el
teorema para el caso particular del conjunto potencia de {1, 2, 3}. Precisaremos estas ideas
a continuacin.
63

Considere la siguiente funcin: f : B A dada por

f (X) = X {k + 1}.
Observe que f (X) es un subconjunto de {1, 2, 3 , k + 1}. Veamos que f es inyectiva. Sean
X, Y B con X 6= Y . Entonces al agregarles a estos conjuntos el nmero k + 1 siguen siendo
distintos, en otras palabras, X {k + 1} =
6 Y {k + 1}. Esto muestra que f (X) 6= f (Y ) y por
lo tanto que f es inyectiva. Ahora verificaremos que f es sobreyectiva, en efecto, sea Y A,
esto dice que Y {1, 2, 3 , k + 1} y que k +1 A. Considere el conjunto Z = Y \{k = 1}.
Es inmediato comprobar que f (Z) = Y . Como f es biyectiva, entonces |A| = |B|.
2
El lector seguramente ya habr notado lo larga que result ser la prueba del teorema
anterior. Tambin habr observado que la idea detrs de la prueba es realmente simple
(como lo ilustramos antes de enunciar el teorema). Esto es comn que suceda en matemticas.
Algunas demostraciones usan una idea sencilla que al formalizarla en el lenguaje de las
matemticas resulta aparentemente mucho ms complicada. Sin embargo, la formalizacin
y la prueba son fundamentales para convencernos que el resultado enunciado era correcto.
A medida que avance en el estudio de la matemtica, el lector ir notando la aparicin
en los libros de frases como es fcil ver que usando tal o cual idea se puede completar la
demostracin y le dejan al lector la tarea de convencerse que en realidad esa idea simple es
suficiente. Podramos decir que una parte importante del estudio de las matemticas consiste
en llegar a ese convencimiento.
Ya vimos que P({1, 2, 3 , n}) tiene 2n elementos. Qu podemos decir acerca de P(A)
si A tiene n elementos? El siguiente teorema dice que P(A), por supuesto, tiene 2n elementos.

Teorema 2.12. Sea A un conjunto finito con n elementos, entonces P(A) tiene 2n elementos.
Demostracin: Definiremos una biyeccin entre P(A) y P({1, 2, , n}). Despus de tener a
la mano esa biyeccin podremos usar el Teorema 2.22, pues ya sabemos que P({1, 2, , n})
tiene 2n elementos y as concluir que P(A) tiene 2n elementos.
Si A es el conjunto vaco, entonces P() tiene un solo elemento, es decir tiene 20 elementos.
Podemos entonces suponer que |A| 1. Sea A un conjunto con n elementos y fijemos un
biyeccin f : {1, 2, 3 , n} A. Definiremos una funcin g : P({1, 2, , n}) P(A)
de la manera siguiente. Dado un subconjunto B {1, 2, , n} definimos g(B) como el
conjunto
g(B) = {f (b) : b B}.
Es decir, g(B) consiste de las imgenes bajo f de los elementos de B. Dejamos al lector la
tarea de convencerse que g es en efecto una biyeccin (ver ejercicio 17).
2

2.1.2.

Cardinalidad del producto Cartesiano

Ahora calcularemos la cardinalidad del producto cartesiano de dos conjuntos finitos.

64

Teorema 2.13. Sean A y B dos conjuntos finitos, entonces el producto cartesiano A B

es finito y se cumple que
|A B| = |A| |B|
Demostracin: Para facilitar la presentacin, enumeraremos los elementos de A de la siguiente
manera:
A = {x1 , x2 , , xn },
donde n es el nmero de elementos de A. Para cada i {1, , n} definimos el conjunto Di
como
Di = {xi } B.
Dejamos al lector la tarea de verificar que
A B = D1 D2 Dn .
Observemos que si i 6= j, entonces Di y Dj son disjuntos (por qu?). Por lo tanto, podemos
hacer uso de la versin generalizada del Teorema 2.5 (ver el comentario que sigue al Teorema
2.5) y concluir que
|A B| = |D1 | + |D2 | + + |Dn |.
Afirmamos que, para cada i, |Di | = |B|. En efecto, fijemos i y consideremos la funcin
f : B Di dada por f (y) = (xi , y). Entonces f es claramente una biyeccin y por lo tanto
se cumple lo afirmado. As que en la suma anterior tenemos |B| repetido n veces. En otras
palabras,
|A B| = n |B| = |A| |B|.
Esto era lo que queramos demostrar.
2
Ejemplo 2.14. Considere el conjunto
S = {100, 101, 102, , 999}.
Observemos que |S| = 900. Cuntos nmeros en S tienen un 3 en la primera cifra? Reflexionando un poco vemos que existe 100 de esos nmeros. Podemos tambin responder
esta pregunta usando el Teorema 2.13. Los nmeros que estamos buscando tienen la forma
3ab, donde a, b son dgitos entre 0 y 9 (ambos incluidos). Por el Teorema 2.13 sabemos que
existen 102 pares ordenados de la forma (a, b) con a, b {0, 1, , 9}. Cada par (a, b) nos
proporciona uno de los nmeros buscados, precisamente el nmero 3ab. Y recprocamente,
a cada nmero de la forma 3ab le corresponde el par (a, b). Esto muestra que la funcin
(a, b) 7 3ab es una biyeccin entre {0, 1, , 9} {0, 1, , 9} y el conjunto al que le estamos determinando la cardinalidad. Usando el Teorema 2.22 concluimos que existen 100
nmeros de la forma 3ab.
2
65

2.1.3.

Cardinalidad de B A

En esta seccin contaremos la funciones entre dos conjuntos finitos y mostraremos que si
A tiene n elementos y B tiene m elementos entonces existen mn funciones de A en B, esto
es,
|B A | = |B||A|
Introduciremos ahora un concepto que es de uso frecuente en matemticas.
Definicin 2.15. Sea f : A B una funcin y C A. La restriccin de f a C es
una funcin de C en B, que denotaremos f C, dada por la misma regla que f , es decir,
f (x) = f (x).

Enunciaremos el resultado principal para conjuntos no vacos. Ms adelante analizaremos

qu podemos decir cuando A o B son el conjunto vaco.
Teorema 2.16. Sean A y B conjuntos finitos no vacos, entonces |B A | = |B||A| .
Demostracin. Sea n tal que |A| = n. La demostracin se har por induccin en n.

Base de la induccin: Para n = 1, es inmediato que existen tantas funciones de A en B, como

elementos tenga B, es decir, existe m funciones de A en B, que es lo que se quera demostrar.
Hiptesis inductiva: Supongamos que para todo conjunto A con n elementos y todo conjunto
finito B se cumple que |B A | = |B||A| . Demostraremos que lo mismo vale para un conjunto
con n + 1 elementos.
Sea C un conjunto con n + 1 elementos, escojamos un elemento cualquiera de C, que
denotaremos c0 . Sea A = C \ {c0 }. Entonces A tiene n elementos. Definimos una funcin
H : B C B A B de la siguiente manera:
f 7 (f A, f (c0 ))
El lector debe convencerse que H est bien definida. Veamos que H es una biyeccin. Verifiquemos primero que H es inyectiva. Sean f, g B C con f 6= g. Entonces existe x C
tal que f (x) 6= g(x). Hay dos casos a considerar: (a) x A, entonces (f A)(x) 6= (gA)(x)
asi f A 6= gA y por lo tanto H(f ) 6= H(g). (b) x = c0 . Entonces f (c0 ) 6= g(c0 ) y por
consiguiente H(f ) 6= H(g).
Veamos que H es sobreyectiva. Sea (g, b) B A B, esto es, g : A B y b B. Definimos
f : C B por partes de la siguiente manera: Recuerde que C = A {c0 }.

g(x) , si x A
f (x) =
b
, si x = c0 .
Dejamos al lector la verificacin de que H(f ) = (g, b) y por lo tanto H es sobreyectiva.
2
Nos queda por analizar el caso cuando A o B es vaco. Supongamos que A = . Qu
puede ser una funcin que tenga como dominio el conjunto vaco? Si vemos a una funacin
de A en B como una relacin, es decir, como un subconjunto de A B, es inmediato que
66

la nica relacin, cuando A es vaco, es la relacin vaca, es decir, es una relacin entre
y B. Y es tambim inmediato verificar que es una funcin de en B. Por lo tanto,
B tiene un slo elemento, la funcin vaca. Por otra parte, si B es vaco, un razonamiento
anlogo muestra que la funcin vaca es la nica funcin de un conjunto cualquiera A en .
En resumen, |B A | = 1 si A o B es vaco.
Si A y B tienen n elementos cada uno, Cantas biyecciones existen entre A y B? La
respuesta es que existen n! funciones biyectivas entre A y B 1 .
Teorema 2.17. Sean A y B conjuntos con n elementos y n 1. Entonces existen n!
funciones biyectivas de A en B.
Demostracin: La haremos por induccin en n.
Base de la induccin: Si n = 1, el lector debe convencerse que el resultado es cierto. Es decir
que si A y B tienen un slo elemento cada uno, existe una sola biyeccin entre ellos.
Paso inductivo: Supongamos que el resultado vale para conjuntos con k elementos y demostrmoslo para conjuntos con k + 1 elementos.
Hiptesis inductiva: Supongamos que si A y B tienen k elementos con k 1, entonces existen
k! biyecciones de A en B.
Suponga que C y D tienen k + 1 elementos. Denotemos los elementos de C y D, respectivamente, por c1 , , ck+1 y d1 , , dk+1 . Sea S el conjunto de todas las biyecciones entre
C y D. Vamos a clasificar los elementos de S de la siguiente manera
Si = {f S : f (ck+1 ) = di }
con 1 i k + 1. Se tiene que
S=

k+1
[

Si

i=1

y los Si son dos a dos disjuntos. Observemos que Si tiene cardinalidad igual al del conjunto
de biyecciones entre {c1 , , ck } y {d1 , d2 , , dk+1} \ {di }. Como esos dos conjuntos tienen
k elementos, entonces la hiptesis inductiva nos asegura que |Si | = k! para cada i. En
consecuencia |S| = (k + 1)k! = (k + 1)!.
2
Teorema 2.18. Sean A y B conjuntos finitos con 1 n = |A| |B| = m. Entonces existen
m!
funciones inyectivas de A en B.
(mn)!
Demostracin: Por induccin en m.
Base de la induccin: Si m = 1, el lector debe convencerse que si n = m = 1 existe una sola
funcin inyectiva entre A y B.
Paso inductivo: Supongamos que el resultado vale para m = k y demostrmoslo para m = k+1
elementos.
1

Recordemos que el factorial de un nmero natural se define por n! = n (n 1) 2 1. Por ejemplo,

3! = 3 2 1 = 6

67

Hiptesis inductiva: Supongamos que si A y B son finitos y 1 n = |A| |B| = k, entonces

k!
existen (kn)!
funciones inyectivas de A en B.
Sea C y D conjuntos tales que 1 n = |C| |D| = k + 1. Denotemos los elementos de
C y D, respectivamente, por c1 , , cn y d1 , , dk+1. Consideramos dos casos
(i) Supongamos n = m. En este caso toda funcin inyectiva de C en D es sobreyectiva
y por consiguiente queremos determinar el nmero de funciones biyectivas de C en D. Y
sabemos que existen (k + 1)! funciones biyectivas por el Teorema 2.17.
(ii) Supongamos n < m. Sea S el conjunto de todas las funciones inyectivas de C en D.
Como n < m, entonces toda funcin inyecitva de C en D no puede ser sobreyectiva, esto nos
permite clasificar los elementos de S de la siguiente manera
Si = {f S : di 6 rango(f )}
con 1 i k + 1. Se tiene que
S=

k+1
[

Si .

i=1

Observemos que Si tiene cardinalidad igual al del conjunto de todas las funciones inyectivas
de {c1 , , cn } en {d1 , d2, , dk+1} \ {di }. La hiptesis inductiva nos asegura que |Si | =
k!
para cada i. Atencin!: Los conjuntos Si no son necesariamente dos a dos disjuntos. El
(kn)!
lector debe convencerse de que cada f S pertenece a k + 1 n de los Si , (pues D \ rango(f )
tienes k + 1 n elementos). Por esto
|S| =

(k + 1)k!
(k + 1)!
=
.
(k + 1 n)(k n)!
(k + 1 n)!
2

2.1.4.

Funciones y cardinalidad

La definicin de |A| = n usa el concepto de funcin biyectiva. En esta seccin presentamos

algunas herramientas para el clculo de la cardinalidad de un conjunto finito haciendo uso
de funciones.
Teorema 2.19. Sea A un conjunto finito y n 1. Supongamos que existe una funcin
inyectiva f : {1, 2, , n} A. Entonces n |A|.
Demostracin. La haremos por induccin en n.
Base de la induccin: Para n igual a 1, el hecho que exista una funcin f : {1} A indica
que A no es vaco y por lo tanto 1 |A|.

Paso inductivo: Supongamos que si A es un conjunto finito y existe una funcin inyectiva
f : {1, 2, , n} A. Entonces n |A|. Lo demostraremos para n + 1.
Supongamos entonces que B es un conjunto finito y que existe una funcin inyectiva f :
{1, 2, , n + 1} B. Sea A = B \ {f (n + 1)} y g : {1, 2, , n} A dada por g(x) = f (x).
68

Para verificar que g est bien definida, notemos que como f es inyectiva, entonces para todo
z {1, 2, , n}, f (z) 6= f (n + 1), es decir f (z) B. Por otra parte, g es inyectiva pues f lo
es (verifcarlo!). Por consiguiente, la hiptesis inductiva nos garantiza que n |A|. Por otra
parte, B = A {f (n + 1)} y como f (n + 1) 6 A, entonces |B| = |A| + |{f (n + 1)}| (por el
Teorema 2.3). Es decir, |B| = |A| + 1. Como |A| n, entonces |B| n + 1, que es lo que
queriamos demostrar.
2
Corolario 2.20. Sean A y B conjuntos finitos. Si existe una funcin inyectiva f : A B,
entonces |A| |B|.
Demostracin. Si A es vaco la conclusin es obviamente verdadera, por esto supondremos
que A no es vaco. Sea n = |A| y g : {1, 2, , n} A una biyeccin. Entonces f
g : {1, 2, , n} B es inyectiva por ser una composicin de funciones inyectivas (ver el
Teorema 1.53). Por consiguientes, n |B| por el Teorema 2.19.
2
Es natural preguntarse qu se puede decir si sustituimos inyectividad por sobreyectividad
en la hiptesis del teorema anterior. Veamos que sucede.
Corolario 2.21. Sean A y B conjuntos finitos. Suponga que existe una funcin sobreyectiva
f : A B. Entonces |B| |A|.
Demostracin. Sera suficiente conseguir una funcin inyectiva g : B A y usar el resultado
anterior 2.20. Pero ya hemos visto que tal funcin g existe, en efecto, sabemos que por ser
f sobreyectiva admite una inversa por la derecha (ver el Teorema 1.64), es decir, existe
g : B A tal que f g = 1B . En particular, eso garantiza que g es inyectiva (ver el Teorema
1.54) y es la funcin que buscbamos.
2
Si entre dos conjuntos A y B se puede definir una funcin biyectiva, entonces A y B
tienen el mismo nmero de elementos. Esa afirmacin es intuitivamente clara, pero de
todas maneras la demostraremos para ilustrar que la definicin 2.1 s captura el significado
intuitivo de cardinalidad.
Teorema 2.22. Sean A y B conjuntos finitos. Los siguientes enunciados son equivalentes:
(i) Existe una funcin biyectiva f : A B.
(ii) |A| = |B|.
Demostracin: (i) (ii). Sea f : A B una biyeccin. Entonces |A| |B|, por el Teorema
2.20. De la misma manera, como f 1 : B A es inyectiva (de hecho, tambin es biyectiva),
entonces |B| |A|. Por lo tanto, |A| = |B|.
(ii) (iii) Sea n el nmero de elementos de A, es decir, |A| = n y sea g : {1, 2, , n}
A una biyeccin. Queremos encontrar una biyeccin h : {1, 2, , n} B. La funcin
compuesta f g : {1, 2, , n} B es la candidata natural para h. En efecto, ya hemos
69

visto que la composicin de funciones biyectivas es biyectiva (Teorema 1.53), as que f g

es la biyeccin buscada.
2
Ejemplo 2.23. Consideremos los conjuntos
A = {2, 5, 7, 8} , B = {a} {2, 5, 7, 8}.
Es fcil ver que B tiene 4 elementos (cules son?). Podemos tambin definir una biyeccin
f : A B entre A y B de la siguiente manera
f (x) = (a, x).
Es decir, a cada elemento x de A lo enviamos al par ordenado (a, x).
Para ilustrar lo que hicimos en la demostracin del Teorema 2.22 busquemos una biyeccin
g : {1, 2, 3, 4} {2, 5, 7, 8}. Por ejemplo: g(1) = 2, g(2) = 5, g(3) = 7 y g(4) = 8. Ahora
podemos calcular la funcin compuesta f g : {1, 2, 3, 4} {a} {2, 5, 7, 8} y obtenemos
(f g)(1) = (a, 2), (f g)(2) = (a, 5), (f g)(3) = (a, 7) y (f g)(4) = (a, 8). La funcin
f g es biyectiva.
2
Veremos a continuacin algunas consecuencias del teorema anterior que son de uso frecuente.
Corolario 2.24. Sean A y B conjuntos finitos y f : A B inyectiva. Entonces |A| = |f [A]|
Demostracin. Sea C el rango de f , es decir, C = f [A]. Considere la funcin g : A C
dada por g(x) = f (x). Entonces g es biyectiva y as |A| = |C| (por el Teorema 2.22).
2
Corolario 2.25. Sean A y B conjuntos finitos y f : A B inyectiva. Si |A| = |B|, entonces
f es biyectiva.
Demostracin. Sea C el rango de f , es decir, C = f [A]. Mostraremos que C = B y as f es
sobreyectiva y en consecuencia biyectiva. Ya sabemos que |C| = |A| (ver el corolario 2.24) y
por lo tanto |C| = |B|. Por otra parte B = C (B \ C) y as |B| = |C| + |B \ C| por ser C
y B \ C disjuntos. Como |C| = |B|, entonces |B \ C| = 0, es decir B \ C = . Luego C = B
y f es sobreyectiva.
2
El resultado anterior no es vlido para conjuntos infinitos, veamos un ejemplo. Como no
hemos precisado todava qu significado le daremos a |A| cuando A no sea finito (lo que
haremos ms adelante) presentamos el ejemplo de la siguiente manera:
Ejemplo 2.26. Sea B = N \ {0}, f : N B dada por f (n) = n + 1 y g : N B dada por
g(n) = 2n + 1. Entonces f es biyectiva, g es inyectiva pero g no es sobreyectiva. El hecho
que f sea biyectiva nos dice que N y B tienen el mismo "tamao".
2
70

Otra resultado que se deduce de lo que hemos hecho hasta ahora es el siguiente. Supongamos que A y B son conjuntos finitos y que |A| |B| y |B| |A|. Entonces, por ser |A|
y |B| nmeros naturales, es obvio que |A| = |B|. Por lo tanto existe una funcin biyectiva
entre A y B (Teorema 2.22). Podemos enunciar lo que acabamos de mostrar de la manera
siguiente, tenga en mente lo que dice el Teorema 2.20.
Corolario 2.27. Sean A y B conjuntos finitos, si existen funciones inyectivas f : A B y
g : B A, entonces existe una biyeccin h : A B.
Ms adelante veremos que el resultado anterior tambin se cumple para conjuntos infinitos
(aunque la demostracin requiere ms trabajo) y se conoce como el Teorema de SchrderBernstein. Ese teorema es una herramienta fundamental para el estudio de los conjuntos
infinitos.

2.1.5.

El principio del palomar

Imagine el lector que tenemos un palomar con 100 casillas y llegan 101 palomas y todas
entran en alguna casilla. Entonces necesariamente alguna casilla tiene ms de una paloma.
El razonamineto usado en este ejemplo sencillo involucra lo que se conoce como el principio
del palomar.
Teorema 2.28. Sean A y B conjuntos finitos no vacos con |A| = n y |B| = m y f : A B
una funcin. Si n > m, entonces existen x, z A tales que x 6= z y f (x) = f (z), es decir, f
no es inyectiva.
Demostracin. Mostraremos la contrarecproca, es decir, si f : A B es una funcin
inyectiva, entonces n m. Pero esto ya lo vimos en el Teorema 2.20.
2
Qu tiene que ver el resultado anterior con el principio del palomar? Veamos, sea P el
conjunto de casillas en el palomar y f : {1, 2, , 101} P la funcin que a la paloma #i,
le asigna la casilla f (i) donde ella entr. Como |P | < 101, por el teorema anterior existen
i 6= j tal que f (i) = f (j). Es decir, la palomas i y j entraron en la misma casilla.
Ejercicios 2.1
1. Determine si los siguientes conjuntos son finitos y en caso de serlo diga cuantos elementos tiene.
a) {n N : La suma de las cifras de n es igual a 5}

b) {n N : 4 + n1 > 17}
c) {n N :

3n+1
4n+2

<

29
}
40

2. De 200 personas, 150 trotan o nadan (pudieran hacer las dos cosas). Si 85 nadan y 60
hacen las dos actividades cuntas trotan?
71

3. En un grupo de 150 personas, hay 75 que nadan, 50 montan bicicleta y 80 trotan;

y algunos que no hacen ninguna de estas 3 actividades. Adems, en el grupo hay
32 personas que trotan pero no andan en bicicleta, 27 que trotan y nadan y 10 que
practican los tres deportes.
a) Cuntas personas solamente trotan (es decir, trotan pero ni nadan ni andan en
bicicleta)?
b) Si 11 personas andan en bicicleta y nadan Cuntas no realizan ninguna de las
tres actividades?
(Sugerencia: Haga un diagrama de Venn).
4. Una bolsa contiene 50 canicas de cuatro colores distintos. Explique por qu debe haber
al menos 13 metras del mismo color.
5. Suponga que se colocan 73 metras en ocho cajas.
a) Muestre que una caja debe contener al menos 10 metras.
b) Muestre que si dos de las cajas estn vacas, entonces alguna caja contiene al
menos 13 metras.
6. Encuentre el nmero de enteros en {1, 2, , 1000} que sean divisibles por 4, 5 7.
(Sugerencia: Vea el ejemplo 2.9).
7. Sean A y B dos conjuntos disjuntos tales que A tiene n elementos y B tiene m elementos. Sean f : {1, 2, 3, , n} A y g : {1, 2, 3, , m} B funciones biyectivas.
Defina h : {1, 2, , n + m} (A B) de la manera siguiente:

f (x)
, si 1 x n
h(x) =
g(x n) , si n + 1 x n + m.
Muestre que h es una biyeccin.
8. Sean A1 , A2 , , An conjuntos finitos y disjuntos dos a dos. Demuestre que
|A1 An | = |A1 | + + |An |.
(Sugerencia: Use induccin en n y siga un razonamiento similar al usado en la demostracin del Teorema 2.5).
9. Muestre que si A es finito y B A, entonces B es finito y adems se cumple que
|B| |A|.

Este es un ejemplo de cmo una afirmacin de naturaleza sencilla requiere un argumento complicado para demostrarla rigurosamente.
(Sugerencia: Sea n el nmero de elementos de A. Haga la prueba por induccin en n.
Si n es cero, entonces A es vaco y por lo tanto B = . Para el paso inductivo, sea A
72

un conjunto con n + 1 elementos y f : {1, 2, , n + 1} A una biyeccin. Considere

dos casos: (a) f (n + 1) 6 B y (b) f (n + 1) B. Para el caso (a), verifique que
A {f (n + 1)} tiene n elementos y que B A {f (n + 1)}. Use la hiptesis inductiva
para concluir que B es finito y que |B| n. Para el caso (b), considere el conjunto
C = B {f (n + 1)}. Verifique que C A {f (n + 1)} y por el caso (a) concluya que
C es finito y adems que |C| n. Para finalizar, verifique que B = C {f (n + 1)} y
use el Teorema 2.3 para concluir que |B| = |C| + 1.)
10. Demuestre el Teorema 2.8.
(Sugerencia: Observe que A B C = (A B) C. Use ahora el Teorema 2.1 y exprese
|A B C| en trminos de |A B|, |(A B) C| y |C|. Use de nuevo el Teorema 2.1
para calcular |A B| y |(A C) (B C)| ).
a) Demuestre la frmula dada en la observacin 2.10.

11.

b) Halle una frmula para calcular

|A B C D E|.
12. Sean A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, B = {2, 3, 5, 7, 11, 13, 17, 19}. Determine
|A B|

|A B|

|P(A) P(B)| |P(A B)|

|AB|

|P(A)|

|A B|

|P(P(P(A)))|

|P(A P(B))|

|A P(P(B))|

13. Sea A = {1, 2, 3, 4} y B = {a, b, c, d} y C = {1, 3, 5}. Calcule |A B C|.

14. Sea k N \ {0} y considere los siguientes conjuntos
A = {X P({1, 2, 3, , k + 1}) : k + 1 X}
y
B = {X P({1, 2, 3, , k + 1}) : k + 1 6 X}.
Verifique las siguientes afirmaciones:
a) B es igual a P({1, 2, 3, , k})
b) A B =

c) P({1, 2, 3, , k + 1}) = A B.

d ) Complete la demostracin del Teorema 2.11.

(Sugerencia: Para ver que f es sobreyectiva, dado X A, es decir, X {1, 2, 3 , k + 1}
y adems k + 1 X. Considere Y = X \ {k + 1} y verifique que Y B. Muestre
que f (Y ) = X).
15. Determine la cardinalidad del conjunto A
73

a) A = {B P({1, 2, 3, 4, 5, 6, 7, 8}) : 3 6 B y 5 6 B}.

b) A = {B P({1, 2, 3, 4, 5, 6, 7, 8}) : 3 B y 5 B}.

c) A = {B P({1, 2, 3, 4, 5, 6, 7, 8}) : 3 6 B y 5 B}.

16. Sean A, B y C tres conjuntos finitos con |A| = n, |B| = m y |C| = p. Muestre que
|A B C| = n m p.
(Sugerencia: Halle una biyeccin entre A B C y (A B) C. Y use el Teorema
2.13).
17. Complete la demostracin del Teorema 2.12.
(Sugerencia: Usando que f es inyectiva, muestre que si B, B {1, 2, , n} con B 6=
B , entonces g(B) 6= g(B ). Para ver que g es sobreyectiva, considere un subconjunto C
de A cualquiera. Verifique que el conjunto B definido por {a {1, 2, , n} : f (a) C}
satisface que g(B) = C (para probarlo har falta usar que f es sobreyectiva).
18. Calcule el nmero de funciones inyectivas entre un conjunto con 17 elementos y otro
con 20 elementos.
19. Suponga que tiene 5 libros distintos que quiere regalar entre 10 personas. De cuntas
maneras puede hacerlo?
20. Sea A un conjunto con 3 elementos y B un conjunto con 10 elementos. Cuntas funciones de A en B no son inyectivas?
21.

a) Sean D, B conjuntos finitos con D B. Muestre que si |D| = |B|, entonces

B = D.
b) Consiga conjuntos infinitos D, B con D B tales que exista una funcin biyectiva
f : D B y sin embargo D 6= B.

22. Sean A y B conjuntos finitos y f : A B sobreyectiva. Muestre que si |A| = |B|,

entonces f es biyectiva.

2.2.

Conjuntos equipotentes

Sean A y B dos conjuntos. Supongamos que existe una funcin f : A B biyectiva.

Si A y B son finitos, ya vimos en la seccin anterior que esto significa que A y B tienen
el mismo nmero de elementos. Usaremos esta idea para definir cundo dos conjuntos (no
necesariamente finitos) tienen el mismo tamao.
Definicin 2.29. Dos conjuntos A y B se dicen que son equipotentes , si existe una funcin
biyectiva f : A B. En este caso escribiremos A B.
74

Cuando dos conjuntos A y B no sean equipotentes escribiremos A 6 B.

La definicin que dimos de conjunto finito (ver la Definicin 2.1) podemos enunciarla de
la siguiente manera:
Un conjunto A tiene n elementos (con n 1) si A es equipotente con {1, 2, , n}.
Antes de dar algunos ejemplos mostraremos que la relacin es reflexiva, simtrica y
transitiva.
Teorema 2.30. Sean A, B, C conjuntos. Entonces
(i) A A.
(ii) Si A B, entonces B A.
(iii) Si A B y B C, entonces A C.
Demostracin:

(i) La funcin identidad 1A : A A es una biyeccin.

(ii) Supongamos que A B y sea f : A B una biyeccin. Entonces f tiene inversa y
f 1 : B A tambin es una biyeccin. Lo que muestra que B A.
(iii) Supongamos que A B y B C y sean f : A B y g : B C biyecciones. Como
la composicin de funciones biyectivas es biyectiva (ver el Teorema 1.53), entonces la
funcin g f : A C es una biyeccin. Por lo tanto A C.
2
Ejemplo 2.31. Considere los siguientes conjuntos
P = {2n : n N}

I = {2n + 1 : n N}.

P consiste de todos los nmeros naturales pares e I de los naturales impares. Considere la
funcin
f :NP
definida por
f (n) = 2n.
Dejamos al lector la fcil tarea de verificar que f es biyectiva. Esto muestra que N P .
De manera similar, para el conjunto I considere la funcin g : N I dada por g(n) =
2n + 1. Al igual que antes, es fcil verificar que g es una biyeccin y por lo tanto N I.
Como es simtrica y transitiva (Teorema 2.30), podemos concluir que P I.
2
Ejemplo 2.32. Considere la funcin f : N Z definida por
 n
, si n es par
2
f (n) =
n+1
2 , si n es impar.
75

Dejamos como un ejercicio al lector la verificacin que f es una biyeccin (ver ejercicio 2).
Por lo tanto
N Z.
2
Ejemplo 2.33. Considere la funcin f : R \ {2} R \ {1} dada por
f (x) =

x
x2

Dejamos como ejercicio mostrar que f es una biyeccin. Tenemos entonces que
R \ {2} R \ {1}.
Existen muchas otras biyecciones entre estos dos conjuntos. Veamos otra. Considere la g :
R \ {2} R \ {1} dada por g(x) = x 1. Entonces g es biyectiva.
2
Ejemplo 2.34. Considere la siguiente funcin f : (0, +) R definida por partes
 1
, si 0 < x < 1
x
f (x) =
2 x , si 1 x.
Dejamos como ejercicio al lector mostrar que f es biyectiva. Tenemos entonces que
(0, +) R.
2
El siguiente resultado ser usado con bastante frecuencia.
Proposicin 2.35. Sea f : A B una funcin inyectiva. Entonces A rango(f ).
Demostracin. Restringiendo el contradominio de f y dejando la misma ley de correspondencia obtenemos la funcin g : A rango(f ) dada por g(x) = f (x). Entonces g es biyectiva.
2
Observemos que el resultado anterior ya lo habamos demostrado cuando los conjuntos
involucrados eran finitos (ver el Corolario 2.24).
Ejemplo 2.36. Considere la funcin f : R R definida por partes de la manera siguiente

x
, si x 6 N
f (x) =
x + 1 , si x N.
Dejamos como ejercicio verificar que f es inyectiva y adems que rango(f ) = R \ {0} (ver
ejercicio 8). Usando la proposicin 2.35 concluimos que
R R \ {0}.
76

Analicemos lo que se ha hecho en este ejemplo. Considere la funcin g : N N \ {0} dada

por g(x) = x + 1. Se puede verificar que g es biyectiva. Ahora notemos que
R
f

(R \ N)

1R\N

R \ {0} = (N \ {0}) (R \ N)
La funcin f se defini por partes, en N usamos g y en R \ N usamos la identidad.

Ejemplo 2.37. Considere la funcin

f :RR
dada por
f (x) = 3x + 1.
Como el lector seguramente sabe, la grfica de f es una recta. Es fcil verificar que f es
biyectiva. Usaremos esta funcin para construir varios ejemplos de conjuntos equipotentes.
1. Mostraremos que R \ {3} R \ {10}. En efecto, sea g : R \ {3} R dada por g(x) =
3x+1. Como f es inyectiva, entonces g tambin lo es. Notemos que rango(g) = R\{10},
pues f (3) = 10. En consecuencia, R \ {3} R \ {10} (por la proposicin 2.35).
2. Un argumento completamente anlogo muestra que para todo r R se tiene que
R \ {r} R \ {f (r)}
3. Mostraremos que
(1, 3) (2, 10).

En efecto, consideremos la funcin h : (1, 3) R definida por h(x) = 3x + 1.

Como en la parte (1) tenemos que h es inyectiva. Dejamos como ejercicio verificar que
rango(h) = (2, 10). Por lo tanto, (1, 3) (2, 10) (por la proposicin 2.35).
Un argumento completamente anlogo muestra que [1, 3] [2, 10].

4. Mostraremos que
(, 3) (, 10).

En efecto, consideremos la funcin j : (, 3) R definida por j(x) = 3x + 1.

Como f es inyectiva, entonces j tambin lo es. Dejamos como ejercicio verificar que
rango(j) = (, 10). Como antes, concluimos que (, 3) (, 10).
2
Ejemplo 2.38. Usando una recta se puede mostrar que R \ {a} R \ {b} para todo par de
reales a, b (ver ejercicio 3).
77

El siguiente resultado es importante.

Teorema 2.39. N N N.

Demostracin: Definimos f : N N N de la siguiente manera

f (a, b) = 2a (2b + 1) 1.
Mostraremos que f es una biyeccin. Comenzaremos mostrando que f es inyectiva. Sean
a, a , b, b N. Supongamos que f (a, b) = f (a , b ). Entonces

2a (2b + 1) = 2a (2b + 1).

Como 2b + 1 y 2b + 1 son impares, entonces necesariamente 2a divide a 2a y viceversa. Por

lo tanto 2a = 2a , de esto se concluye que a = a y adems que 2b + 1 = 2b + 1. Por lo tanto,

b = b .
Ahora veremos que f es sobreyectiva. Sea n N. Queremos hallar a, b N tales que
f (a, b) = n, es decir,
2a (2b + 1) 1 = n.

Sea a el mayor natural tal que 2a divide a n + 1 (a puede ser cero). Por lo tanto
y en consecuencia existe un natural b tal que n+1
= 2b + 1. Tenemos que
2a

n+1
2a

es impar,

n + 1 = 2a (2b + 1)
y en consecuencia f (a, b) = n. Esto muestra que f es sobreyectiva.
2
Existen otras pruebas del resultado anterior. Mostraremos una que es fcil de visualizar.
Comenzaremos representado los elementos de N N de la siguiente forma cuadrangular:
(0, 0), (0, 1), , (0, s),
(1, 0), (1, 1), , (1, s),
..
..
..
.
.
.
(s, 0), (s, 1), , (s, s),
..
..
..
.
.
.
Considere ahora el siguiente arreglo (que sigue las diagonales del anterior).
(0, 0)
(1, 0), (0, 1)
(2, 0), (1, 1), (0, 2)
(3, 0), (2, 1), (1, 2), (0, 3)

(s, 0), (s 1, 1), , (0, s)

78

Este arreglo sugiere una manera de ordenar los elementos de N N. Siguiendo lo indicado
en el diagrama podemos contar N N. El orden del conteo sera
(0, 0), (1, 0), (0, 1), (2, 0), (1, 1), (0, 2)
Es decir, considere la funcin g que asigna a (0, 0) el nmero 0; a (1, 0) y (0, 1) los nmeros
1 y 2 respectivamente; a (2, 0), (1, 1) y (0, 2) los nmeros 3, 4 y 5 respectivamente, etc.
Sorprendentemente, existe una frmula para representar esa manera de contar los elementos de N N:
(a + b + 1)(a + b)
g(a, b) =
+b
2
Dejamos al lector interesado la tarea de mostrar que g es una biyeccin (ver ejercicio 15)
y convencerse que en efecto corresponde a esa forma de enumerar N N siguiendo sus
diagonales.
Ejercicios 2.2
1. Sea n 1 un natural. Muestre que para cada natural m con 1 m n+1, {1, 2, , n}
es equipotente a {1, 2, , n + 1} \ {m}.
2. Considere la funcin f : N Z definida por
 n
, si n es par
2
f (n) =
n+1
2 , si n es impar.
Muestre que f es una biyeccin.
3. Sean a, b, c, d R con a 6= b y c 6= d. Considere la funcin
f (x) =

cd
(x b) + d.
ab

Muestre que f es biyectiva, f (a) = c y f (b) = d. Use esta funcin para responder las
siguientes preguntas. Escoja adecuadamente los valores de a, b, c y d e imite lo hecho
en el ejemplo 2.37.
a) Muestre que R \ {2} R \ {5}.

b) Muestre que R \ {2, 1} R \ {1, 1}.

c) Muestre que Q \ {2, 1} Q \ {1, 1}.

d ) Sean a, b R muestre que R \ {a} R \ {b}.

e) Sean a, b, c, d R con a 6= b y c 6= d. Muestre que R \ {a, b} R \ {c, d}

4. Considere la funcin f : (0, +) R definida por partes

 1
, si 0 < x < 1
x
f (x) =
2 x , si 1 x.
Muestre que f es biyectiva.
79

5.

a) Muestre que (1, 1) (3, 5) y [1, 1] [3, 5]. (Sugerencia: Use la funcin dada
en el ejercicio 3).
b) Muestre que (1, 6] (2, 8].

c) Muestre que [1, 6) (2, 8].

d ) Muestre que, en general, dados a, b, c, d R con a < b y c < d se tiene que

(a, b) (c, d) y [a, b] [c, d]. Cules otras variantes de esta pregunta se le ocurre
son vlidas?
6.

a) Muestre que (1, +) (0, +) .(Sugerencia: Considere la funcin f (x) = x1).

b) Muestre que (1, +) (, 0).

c) Muestre que (, 6] (, 10].

d ) Muestre que (, 6] [10, +).

e) Muestre que R (, 0).

f ) Muestre que, en general, para cada a, b R se tiene que (a, +) (b, +).
Cules otras variantes se le ocurre son vlidas?

7.

a) Muestre que (0, +) (0, 1). (Sugerencia: Considere la funcin f (x) =

b) Muestre que (4, +) (0, 1).

1
x

1).

c) Muestre que (4, +) (3, 5).

8.

a) Considere la funcin f : R R \ {0} definida por partes de la manera siguiente


x
, si x 6 N
f (x) =
x + 1 , si x N.
Muestre que f es biyectiva.
b) En la parte anterior construimos una biyeccin entre f : R R \ {0}. El lector
quiz se pregunta si habrn otras. Existen muchas ms. Recordemos que si g :
R R es una biyeccin, entonces f g : R R \ {0} tambin es biyectiva.
Determine la ley de correspondencia de f g cuando g(x) = kx para k un entero
y comprela con la de f .
c) Sea k N con k 2. Considere la funcin h : R R \ {0} definida por partes
de la manera siguiente

kx
, si x 6 N
h(x) =
k(x + 1) , si x N.
Determine si h : R R \ {0} es biyectiva.

9. Use la idea del ejemplo 2.36 para mostrar lo siguiente

a) R \ {0} R \ {0, 1}
80

b) R \ {0, 1} R \ {0, 1, 2}

c) R \ {1} R \ {0, 1}

d ) R \ {0, 1, 3} R \ {5, 2}

e) Q \ {0, 1} Q \ {0, 1, 2}

10. Muestre que (1, 1) R.

(Sugerencia: Muestre que la funcin f : (1, 1) R dada por f (x) =

va).

x
x2 1

es biyecti-

11. Muestre que (1, 1) [1, 1].

(Sugerencia: Muestre primero que (1, 1) R \ {0, 1}, despus agregue los puntos 1 y
1, y usando el ejercicio #10 concluya lo deseado).

12. Muestre que [a, b] (a, b) para todo a, b R con a < b.

13. Muestre que [0, 1) (0, 1) (Sugerencia: Considere la funcin f : [0, 1) (0, 1) dada
por f (x) = x si x no es de la forma 1/n para todo entero n 2, f (0) = 1/2 y
f (1/n) = 1/(n + 1) si n es un entero con n 2.)
14. Halle a, b N que satisfagan lo que se indica.
a) 2a (2b + 1) = 4003.
b) 2a (2b + 1) = 1534.
Sugerencia: Lea la demostracin del Teorema 2.39.
15. Sea g : N N N dada por
g(a, b) =

(a + b + 1)(a + b)
+b
2

Muestre que g es biyectiva. Sugerencia: Lea el comentario al final de la seccin 2.2

para tener una intuicin sobre este problema. Muestre que en la n-sima diagonal hay
n pares ordenados. Adems, verifique que el par (a, b) est en la n-sima diagonal si, y
slo si, a+b = n. Al comenzar la n-sima diagonal se han contado 1+2+3+ +(n1)
pares ordenados. Para ver que g es sobreyectiva, fije m N. Muestre que existe k tal
que 1 + 2 + 3 + + (k 1) m < 1 + 2 + 3 + + k. Muestre que existen a, b tales
que a + b = k 1 y g(a, b) = m.
Para mostrar que g es inyectiva. Sean a, a , b, b N con (a, b) 6= (a , b ). Considere dos
casos: a + b = a + b o a + b < a + b .
Otra manera para ver que g es sobreyectiva es usar induccin para mostrar que
rango(g) = N.
16. Sean A y B conjuntos. Muestre que si A \ B B \ A, entonces A B. Es el recproco
vlido?
81

2.3.

Conjuntos infinitos

Un conjunto que no sea finito se dice que es infinito. Una gran parte de las matemticas
est ligada al concepto de conjunto infinito2 . En esta seccin estudiaremos algunas de la
propiedades de los conjuntos infinitos. Lo primero que mostraremos es que N es infinito.
Para hacerlo, primero estableceremos un hecho general sobre los subconjuntos de N.
Si A N, diremos que m es el mximo de A, si m A y x m para todo x A. En
palabras, el mximo de un conjunto de nmeros naturales es el mayor elemento del conjunto.
Lo primero que hay que observar es que no todos los subconjuntos de N tiene mximo. Por
ejemplo, N no tiene elemento mximo.
Proposicin 2.40. Sea A N. Si A es finito y no vaco, entonces A tiene mximo.
Demostracin. Sea A un conjunto finito y no vaco. Mostraremos por induccin en el nmero
de elementos de A, que A tiene mximo.
Base de la induccin. Si A tiene un slo elemento, digamos A = {p}, entonces p es el mximo
de A.
Hiptesis inductiva: Supongamos que todo subconjunto de N de n elementos tiene mximo.
Sea A N con n + 1 elementos. Sea p0 A cualquiera. Sea B = A \ {p0 }. Entonces B
tiene n elementos. Por hiptesis inductiva, B tiene mximo. Sea q0 el mximo de B. Entonces
el mximo de A es el mayor entre p0 y q0 (verifquelo).
2
Teorema 2.41. N es infinito.
Demostracin. Es claro que N no tiene mximo, pues si n N, entonces n < n + 1 para
todo n N y n + 1 N. En consecuencia, N no es finito (por la proposicin 2.40)
2
El siguiente resultado expresa de manera precisa el significado de la frase el conjunto
A tiene una cantidad infinita de elementos. Adems, da un mtodo para mostrar que un
conjunto es infinito.
Teorema 2.42. Un conjunto A es infinito si, y slo si, existe una funcin inyectiva f : N
A.
Demostracin: Supongamos que A es infinito. Definiremos una funcin f : N A inyectiva.
Para ese fin, mostraremos que es posible escoger, para cada n N, un elemento an A de
tal manera que si n 6= m son naturales, entonces an 6= am . Una vez hecho esto, definiremos
f (n) = an y tendremos la funcin inyectiva que buscbamos.
Como A es infinito, en particular A no es vaco. Sea entonces a0 A cualquiera. Notemos
que
A = (A \ {a0 }) {a0 }
y {a0 } es finito, entonces A \ {a0 } no es finito y en particular no es vaco. Luego podemos
escoger a1 A con a1 6= a0 . Supongamos que hemos escogido ak A para k n tal que
2

Alguien alguna vez compar la matemtica con una sinfona del infinito

82

ak 6= al si k 6= l y k, l n. Notemos que A {a0 , a1 , , an } no es vaco, pues si lo fuera,

entonces A = {a0 , a1 , , an }, y en consecuencia A sera finito. Por esta razn sabemos que
existe un elemento a A diferente de a0 , a1 , , an , escojamos uno de ellos y denotmoslo
por an+1 . Por lo dicho al comienzo, la funcin f : N A dada por f (n) = an es inyectiva.
Recprocamente, supongamos que f : N A es una funcin inyectiva y sea B =
rango(f ). Entonces N B (por la proposicin 2.35). Como N no es finito, entonces B
no es finito. Como B A, entonces A no es finito.
2
El resultado anterior nos dice que, desde el punto de vista del tamao de los conjuntos, la
cardinalidad de N es la ms pequea entre la de todos los conjuntos infinitos, pues el hecho
de que exista una funcin inyectiva de N en un conjunto A, indica que A tiene al menos
tantos elementos como N.
Ejemplo 2.43. Por lo visto en la seccin 2.2 sabemos que el intervalo (0, 1) es infinito.
Podemos mostrarlo de otra forma usando el Teorema 2.42. En efecto, considere la funcin
f : N (0, 1) dada por f (n) = 1/(n + 2). El lector puede verificar fcilmente que f es
inyectiva.
Ejemplo 2.44. Mostraremos que el conjunto NN es infinito. Recordemos que NN es el conjunto de todas las funciones de N en N. Usaremos el Teorema 2.42. Debemos construir una
funcin F : N NN inyectiva. Para hacerlo, considere la siguiente coleccin de funciones
f1 (n) = 1
f2 (n) = 2
f3 (n) = 3
..
.
fk (n) = k
..
.
Es decir, la funcin fk es la funcin constante con valor k. Obviamente, todas esas funciones
son distintas. Defina F (k) = fk , entonces F es una inyeccin como la requerida.
Ejemplo 2.45. Mostraremos que el conjunto P(N) es infinito. Usaremos el Teorema 2.42.
Debemos construir una funcin F : N P(N) inyectiva. Defina F (k) = {k} para k N,
entonces F es una inyeccin como la requerida.
Una de las propiedades ms importantes de un conjunto infinito es la de poseer un
subconjunto propio equipotente a l. Esto ya lo hemos observado en algunos ejemplos, pues
vimos que
Z N , R (0, +) , R (R \ {0}).

Ms adelante mostraremos que todos los conjuntos infinitos tienen esa propiedad.
El prximo resultado muestra que un conjunto finito no puede ser equipotente a un
subconjunto propio
2
83

Teorema 2.46. Un conjunto finito no es equipotente a ninguno de sus subconjuntos propios.

Demostracin: Sea A un conjunto finito. Si A es vaco, entonces no hay nada que demostrar
pues el nico subconjunto de es . Por esto podemos suponer que A no es vaco. Sea n = |A|
y B A con B 6= A. Entonces como A = (A \ B) B y (A \ B) B = , entonces
|A| = |A \ B| + |B|.
Como (A \ B) 6= , entonces |B| < |A|. En consecuencia, A y B no son equipotentes.

Un conjunto A se dice que es infinito en el sentido de Dedekind si existe B A tal

que A 6= B y A B. El siguiente teorema nos dice que este concepto es equivalente al de
conjunto infinito.
Teorema 2.47. Un conjunto A es infinito si, y slo si, existe B A tal que A B y
B 6= A.

Demostracin: ( Si ) Mostraremos la contrarrecproca. Supongamos que A es finito y que

B A con A 6= B. Entonces A 6 B (por el Teorema 2.46).

( Slo si ) Supongamos que A es infinito. Entonces existe una funcin f : N A

inyectiva (por el Teorema 2.42). Sea B = A \ {f (0)}. Mostraremos que A B construyendo
una funcin g : A B biyectiva. Considere la siguiente funcin:

f (n + 1) , si a rango(f ) y a = f (n)
g(a) =
a
, si a 6 rango(f ).
Mostraremos que g es biyectiva.
(i) Veamos que g es inyectiva. Supongamos que a, a A son tales que g(a) = g(a ).
Entonces ambos, g(a) y g(a ) estn en rango(f ) o ninguno pertenece a rango(f )
(Porqu?).
(1) Supongamos que g(a) y g(a) estn en rango(f ). Entonces existen n, n N tales
que a = f (n) y a = f (n ) y por la definicin de f , tenemos que g(a) = f (n + 1) =
f (n + 1) = g(a ). Por ser f inyectiva, concluimos que n + 1 = n + 1 y as n = n .
Por lo tanto a = a .
(2) Supongamos que ni g(a), ni g(a ) estn en rango(f ). Se tiene que g(a) = a y
g(a ) = a y por lo tanto a = a .
(ii) Veamos que g es sobreyectiva. Sea b B, entonces de nuevo hay dos casos posibles:
(1) b rango(f ). Sea n N tal que f (n) = b. Como b 6= f (0) y f es inyectiva,
entonces n 1. Sea a = f (n 1). Entonces g(a) = f (n) = b.
(2) b 6 rango(f ). Entonces g(b) = b.

2
84

Ejercicios 2.3
1. Muestre que para todo n, m 1 naturales con m 6= n se tiene que {1, , n} 6
{1, , m}.
2. Sea A N finito. Muestres que (N \ A) N.
3. Muestre que Z \ {2, 3, 4} N.

(Sugerencia: Recuerde que Z N y que N \ F N para todo conjunto finito F N).

4. Consiga otra funcin inyectiva F : N NN diferente a la presentada en el ejemplo

2.44.
5. Muestre que el conjunto de todas las funciones de N en {0, 1} es infinito.
6. Muestre que el conjunto de todas las biyecciones de N en N es infinito.
7. Sea A un conjunto finito. Muestre que si |A| > 1, entonces A 6 A A. Usando este
resultado, concluya que N no es finito.
8. Muestre que los siguientes conjuntos son infinitos (use el Teorema 2.42).
a) El conjunto de todos los nmeros enteros pares mayores que 25.
b) El intervalo (2, 5/2).
c) En general, el intervalo (a, b) donde a, b R y a < b.

d ) El conjunto Z \ A donde A es un subconjunto finito de Z.

e) Q \ N.

f ) R R.

g) El conjunto de todos los enteros mltiplos de 5.

h) R \ Q.

i ) [0, 1/2] \ Q.

9. Halle un subconjunto propio de cada uno de los conjuntos del ejercicio #8 que sea
equipotente con el conjunto dado.
10. Sea A y B dos conjuntos tales que A tenga al menos 2 elementos y B no sea vaco.
Muestre que si A o B es infinito, entonces AB es infinito.
(Sugerencia: Vea lo hecho en el ejemplo 2.44 y use el Teorema 2.42).
11. Sea A un conjunto infinito. Muestre que P(A) es infinito. (Sugerencia: Vea lo hecho en
el ejemplo 2.45 y use el Teorema 2.42).
12. Sea A un conjunto infinito. Muestre que A B es infinito para todo conjunto B que
no sea vaco.
85

13. Sea S R no vaco y acotado superiormente. Sea r = sup A. Muestre que si r 6 A,

entonces A es infinito.
14. Suponga que A es un conjunto Dedekind infinito y x 6 A. Sin usar el Teorema 2.47,
muestre directamente de la definicin de conjunto Dedekind infinito que A {x} es
Dedekind infinito.

2.4.

Algunos ejemplos importantes

Sean A y B conjuntos. Denotaremos por B A al conjunto de todas las funciones de A en

B. En esta seccin nos ocuparemos en estudiar, desde el punto de vista que nos da la relacin
de equipotencia, los conjuntos
AB ,

P(A) , B A .

Comenzaremos por el producto cartesiano.

Ejemplo 2.48. Mostraremos que
NN ZZ
y en consecuencia
N Z Z.
La segunda afirmacin se concluye de la primera y del hecho que N N N (Teorema 2.39)
Como N Z (ver el ejemplo 2.32), fijemos una biyeccin f : N Z. Definimos H :
N N Z Z de la siguiente manera
H(n, m) = (f (n), f (m)).
Mostraremos que H es una biyeccin.
(i) H es inyectiva. Sea (n, m), (n , m ) dos pares ordenados en N N y supongamos que
H(n, m) = H(n , m ). Mostraremos que (n, m) = (n .m ). En efecto, por la definicin
de H tenemos que (f (n), f (m)) = (f (n ), f (m )). Por lo tanto f (n) = f (n ) y f (m) =
f (m ). Como f es inyectiva, concluimos que n = n y m = m .
(ii) H es sobreyectiva. Sea (k, l) Z Z. Mostraremos que existe (n, m) N N tal
que f (n, m) = (k, l). En efecto, como f es sobreyectiva, existen n, m N tales que
f (n) = k y f (m) = l. Es fcil verificar que H(n, m) = (k, l).
2
El siguiente teorema es un resultado general relacionado con el ejemplo anterior.
86

Teorema 2.49. Sean A, B, C y D tales que A B y C D. Entonces

A C B D.
2
Ahora estudiaremos el conjunto potencia.
Ejemplo 2.50. Mostraremos que
P(N) P(Z).

Fijemos f : N Z una biyeccin. Definimos H : P(N) P(Z) de la siguiente manera

H(A) = {f (n) : n A}.
Observe que H(A) es f [A]. Mostraremos que H es una biyeccin.
(i) H es inyectiva. Sean A, B N distintos, mostraremos que H(A) 6= H(B). Como
A 6= B, hay dos casos a considerar.
(a) Supongamos que existe x A \ B. Entonces, como f es inyectiva, concluimos que
no existe y B tal que f (y) = f (x). Por lo tanto f (x) H(A) \ H(B).

(b) Supongamos que existe x B \ A. Este caso lo dejaremos a cargo del lector, pues
se hace de manera anloga al caso (a).

(ii) H es sobreyectiva. Sea B Z y consideremos el conjunto A = {n N : f (n) B}.

Observe que A = f 1 (B). Mostraremos que H(A) = B. De la definicin de H(A) se
tiene inmediatamente que H(A) B. Para verificar que B H(A), fijemos y B.
Como f es sobreyectiva, existe x N tal que f (x) = y. Como f (x) B, entonces
x A. Y concluimos que y H(A).
2
Un resultado general relacionado con el ejemplo anterior es el siguiente:
Teorema 2.51. Si X Y , entonces P(X) P(Y ).

Ejemplo 2.52. Mostraremos que

ZN NN .

Como antes, fijemos una biyeccin h : N Z. Considere la funcin H : NN ZN definida

por
H(f ) = h f.
Mostraremos que H es una biyeccin.

(i) H es inyectiva. En efecto, sean f, f NN dos funciones distintas. Entonces existe

n N tal que f (n) 6= f (n). Como h es inyectiva, entonces h(f (n)) 6= h(f (n)) y esto
muestra que H(f ) 6= H(f ).
87

(ii) H es sobreyectiva. Sea g ZN . Mostraremos que existe f NN tal que H(f ) = g. En

efecto, sea f = h1 g : N N. tenemos que
H(f ) = h (h1 g) = (h h1 ) g = 1Z g = g.
2
El siguiente teorema es un resultado general relacionado con el ejemplo anterior.
Teorema 2.53. Sean A, B, C y D tales que A B y C D. Entonces
C A DB .
2
Ejercicios 2.4
1. Para responder las preguntas que siguen imite lo hecho en el ejemplo 2.48. Describa la
biyeccin que muestra lo requerido.
a) Muestre que N R R N.

b) Muestre que N N N Z Z Z.

c) Sean A y B conjuntos no vacos. Muestre que A B B A.

2. Para responder las preguntas que siguen imite lo hecho en el ejemplo 2.50. Describa la
biyeccin que muestra lo requerido.
a) Sea P la coleccin de nmeros naturales pares y I la coleccin de nmeros naturales impares. Muestre que P(P ) P(I).
b) Sea A = {n Z : n 4} y B = {n Z : n 8}. Muestre que P(A) P(B).
c) Muestre que P((1, 2)) P((3, 4)).

d ) Muestre que P((0, +)) P(R).

3. Muestre que NN ZZ .

(Sugerencia: Sea h : N Z una biyeccin. Dada f : N N queremos asociar a f una

funcin g : Z Z. Considere el siguiente diagrama donde 99K indica la funcin g que
queremos definir.
f
N N
h1
h
Z 99K Z
Es natural entonces pensar que g debe ser h f h1 . Esto sugiere definir H : NN ZZ
de la siguiente manera:
H(f ) = h f h1
Muestre que H es una biyeccin.)

88

4. Muestre que NZ NN .

(Sugerencia: Fije una biyeccin h : N Z y defina H : NZ NN de la manera

siguiente
H(f ) = f h.
Muestre que H es una biyeccin).

5. Use los Teoremas 2.49, 2.51 y 2.53 para mostrar lo siguiente

a) NN Z ZZ N.
b) P(ZN ) P(NN ).

c) P(Q) N Z P(Q).

d ) (0, 1)R RR .

e) NP(N) ZP(Z) .

f ) P(P(Z) R) P((0, 1) P(N)).

6. Considere los siguientes conjuntos

A = {3n : n N} B = {5n + 2 : n N} C = {7n 1 : n Z}.
Muestre que
a) A B, B C.

b) A B B N.

c) P(AN ) P(ZB ).
7. Muestre el Teorema 2.49: Sean A, B, C y D tales que A B y C D. Entonces
A C B D.

(Sugerencia: Fije biyecciones f : A B y g : C D y defina F : A C B D de

la manera siguiente
F ((a, c)) = (f (a), g(c))
Muestre que F es una biyeccin).

8. Demuestre el Teorema 2.51: Si X Y , entonces P(X) P(Y ).

(Sugerencia: Dada una biyeccin f : X Y , considere la funcin G : P(X) P(Y )

definida por
G(C) = {f (c) : c C}.
Donde C P(X). Muestre que G es una biyeccin).

9.

a) Sean A, B y C conjuntos no vacos tales que B C. Muestre que AB AC .

(Sugerencia: Imite lo hecho en el ejemplo 2.52).
89

b) Sean A, B y C conjuntos no vacos tales que B C. Muestre que B A C A .

c) Use (a) y (b) para mostrar el Teorema 2.53: Si A C y B D, entonces

AB C D .

10. Sea H : NN NN NN dada por H(f, g)(n) = f (n) + g(n) para todo n N. Determine
si H es inyectiva y el rango de H.
11. Sea H : NN NN NN dada por H(f, g) = f g. Determine si H es inyectiva y el
rango de H.
12. Sean A, B y C conjuntos. Muestre que
a) Si B C = , entonces ABC AB AC .
b) (A B)C AC B C .
C

c) (AB ) ABC .

2.5.

Operaciones generalizadas

Vimos varios ejemplos de generalizaciones de algunas de las leyes del lgebra de conjuntos.
Por ejemplo,
A (B C D) = (A B) (A C) (A D).
Es natural esperar que algo similar se cumple si en lugar de tener 4 conjuntos tenemos 5. Es
decir,
A (B C D E) = (A B) (A C) (A D) (A E).
Para expresar leyes similares a stas, donde intervengan colecciones arbitrarias de conjuntos,
usamos los subndices. Por ejemplo, si tenemos n conjuntos (donde n es un nmero natural),
los denotaremos de la siguiente manera:
A1 , A2 , , An1 , An .
Los nmeros 1, 2, .., n se llaman subndices y son etiquetas que sirven para distinguir
los conjuntos. La coleccin A1 , A2 , , An1 , An se dice que es una coleccin indizada y
el conjunto {1, 2, , n} es el conjunto de ndices de esta coleccin. Es comn que las
familias indizadas se denoten por
{Ai }ni=1 .
El conjunto de ndice depende del problema que se est resolviendo como veremos en los
ejemplos.
La ley distributiva se puede expresar de manera general de la siguiente forma: sean A1 ,
A2 , An y B conjuntos, entonces se cumple
B (A1 An ) = (B A1 ) (B An ).
90

La demostracin de este hecho se ver ms adelante. La parte derecha de la expresin de

arriba tambin tiene una notacin especial. Si A1 , , An son conjuntos, entonces la unin
de todos ellos A1 A2 An se escribe
n
[

Ai

i=1

y la interseccin A1 An se escribe
n
\

Ai .

i=1

Con esta notacin podemos expresar la ley distributiva que mencionramos arriba de la
siguiente manera
n
n
\
\
Ai ] = (B Ai )
B[
i=1

i=1

y la generalizacin de la otra ley distributiva es

B[

n
[

Ai ] =

i=1

n
[

(B Ai ).

i=1

Antes de continuar con las generalizaciones de la leyes del lgebra de conjuntos veamos
algunos ejemplos de colecciones indizadas.
Ejemplos 2.54.

1. Considere la familia indizada {Ai }5i=0 definida por

Ai = {n + i : 0 n 3} con i {0, 1, 2, 3, 4, 5}.

As por ejemplo tenemos que

A0 = {0, 1, 2, 3}
A3 = {3, 4, 5, 6}

A1 = {1, 2, 3, 4}
A4 = {4, 5, 6, 7}

A2 = {2, 3, 4, 5}
A5 = {5, 6, 7, 8}

Tenemos adems que

5
[

i=0

Ai = {0, 1, 2, 3, 4, 5, 6, 7, 8}.

Dijimos que los ndices son como etiquetas que se le colocan a los conjuntos para
diferenciarlos. En algunos casos los ndices estn estrechamente relacionados con los
elementos del conjunto que lleva el ndice. Esto ocurri en el ejemplo que estamos
estudiando. Pues conociendo el ndice y la regla de formacin de los conjuntos tenemos
toda la informacin necesaria para determinar los elementos del conjunto. Por ejemplo,
A3 consiste de todos los nmeros de la forma n + 3 con n {0, 1, 2, 3}.
91

2. Consideremos I el conjunto de todas las secciones de Mat10 que se dictaron en la

Facultad de Ciencias durante el semestre A-98. Para cada i I sea
Ai = {n N : n es el nmero de cdula
de un estudiante inscrito en la seccin i de Mat10}.
Tenemos definida de esta manera una familia indizada de conjuntos {Ai }iI . A pesar
de no tener a la mano los elementos de cada conjunto de esta familia, podemos afirmar
que dados dos indices i y j distintos se cumple que Ai Aj = (por qu?).
3. Podemos definir familias indizadas de conjuntos donde el conjunto de ndices es muy
grande. Por ejemplo, para cada n N positivo considere el conjunto
Dn = {k N : n divide a k}.
Esta familia la podemos denotar de varias maneras
{Dn }
n=1

{Dn }nI

donde el conjunto de ndices I es {n N : n 1} y el smbolo se lee infinito;

en este ejemplo se sobrentiende que los ndices son nmeros naturales desde el 1 en
adelante. Veamos algunos de estos conjuntos
D1 = N
D2 = {k N : k es par}
D7 = {0, 7, 14, 21, 28, 35, 42, 49, } = {7m : m N}.
Por ejemplo, tenemos que
5
\

i=2

Di = D2 D3 D4 D5
= {k N : k es divisible por 2, 3, 4, y 5}
= {k N : k es divisible por 60}.

Podemos tambin tomar la unin o la iterseccin de todos los conjuntos indizados. En

este caso escribiremos

[
\
Di ,
Di .
i=1

i=1

Notemos que

Di = N

i=1

i=1

92

Di = {0}.
2

El conjunto de ndices no tiene porque consistir necesariamente de nmeros. En el ejercicio

6 el lector encontrar un ejemplo donde los ndices son a su vez conjuntos.
Sean {Ai }ni=1 y {Bj }m
j=1 dos familias indizadas la primera con n conjuntos y la segunda
con m conjuntos. Observe que hemos usado la letra j para denotar los ndices de la segunda
familia, esto se hace para evitar confusiones entre los ndices. Ahora podemos expresar las
generalizaciones de las leyes distributivas de la siguiente manera:
[

n
[

i=1

n
\

i=1

Ai ] [
Ai ] [

m
[

Bj ] =

(Ai Bj )

(Ai Bj )

i=1,2, ,n ; j=1,2, ,m

j=1
m
\

Bj ] =

i=1,2, ,n ; j=1,2, ,m

j=1

Los subndices en el lado derecho de estas igualdades pueden parecer a primera vista
horrorosos. Ms adelante veremos otra manera de escribir esta leyes con una mejor notacin
para el lado derecho de las igualdades. Veamos que dicen estas leyes cuando n = 3 y m = 2
(A1 A2 A3 ) (B1 B2 ) = (A1 B1 ) (A1 B2 ) (A2 B1 )
(A2 B2 ) (A3 B1 ) (A3 B2 )
(A1 A2 A3 ) (B1 B2 ) = (A1 B1 ) (A1 B2 ) (A2 B1 )
(A2 B2 ) (A3 B1 ) (A3 B2 ).

Algo similar ocurre con las leyes de DeMorgan. Sea {Ai }ni=1 una familia indizada de subconjuntos de un conjunto universal U, entonces
" n
#c
n
[
\
Ai
=
Aci
i=1

"

n
\

i=1

i=1

Ai

#c

n
[

Aci .

i=1

Sea {Ai }iI una familia indizada de conjuntos, donde I es el conjunto de ndices (recordemos que I no es necesariamente N, puede ser un subconjunto de N o quiz otro conjunto).
Cuando se trabaje con uniones e intersecciones generalizadas es importante tener presente
S
la T
siguientes observaciones que pueden ser consideradas una definicin de los smbolos i Ai
y i Ai :
x

Ai si, y slo si, existe i I tal que x Ai

Ai si, y slo si, x Ai para todo i I.

iI

iI

93

Podemos expresar las leyes distributivas generalizadas usando una notacin donde interviene el producto cartesiano. Sean {Ai }ni=1 y {Bj }m
j=1 dos familias indizadas de conjuntos.
Denotaremos con I el conjunto {1, 2, , n} y con J el conjunto {1, 2, , m}. Entonces
tenemos que
[

n
[

i=1

n
\

i=1

Ai ] [
Ai ] [

m
[

Bj ] =

j=1
m
\

(Ai Bj )

(Ai Bj )

(i,j)IJ

Bj ] =

j=1

(i,j)IJ

Los cuantificadores son de uso muy frecuente en matemticas. En muchos casos sirven
para abreviar expresiones que seran engorrosas de escribir de otra manera. Por ejemplo, sea
{Ai }iI una familia indizada de conjuntos, entonces
x

Ai i I (x Ai )

Ai i I (x Ai ).

iI

iI

Ya vimos como se denota el productor cartesiano de tres conjuntos: usamos tripletas

ordenadas (x, y, z). Tambin podemos definir el producto cartesiano de ms de tres conjuntos.
Para hacerlo introducimos el concepto de tuplas ordenadas que hace uso de la notacin
con subndices que vimos anteriormente. Digamos que tenemos n conjuntos A1 , A2 , , An
definimos una n-tupla ordenada como una expresin de la forma
(x1 , x2 , , xn )
donde xi pertenece al conjunto Ai para cada i {1, , n}.
Dos n-tuplas son iguales cuando todas sus componentes son respectivamente iguales, ms
precisamente tenemos

(x1 , x2 , , xn ) = (y1 , y2, , yn ) si, y slo si x1 = y2 , x3 = y3 , , xn = yn .

El producto cartesiano de los conjuntos A1 , A2 , , An se define como la coleccin de
todas la n-tuplas, ms precisamente,

94

A1 A2 An = {(x1 , x2 , , xn ) : x1 A1 , x2 A2 , , xn An }
Denotaremos con An el producto cartesiano de A por s mismo n veces.
Tambin podemos definir el producto cartesiano de cualquier coleccin indizada de conjuntos. Para hacerlo, no es conveniente trabajar con uplas para denotar los elementos del
producto cartesiano, en su lugar, usaremos funciones. Para motivar esa definicin, considere el
lector que tuvieramos tres conjuntos no vacos A, B y C. Un elemento (x1 , x2 , x3 ) cualquiera
del producto cartesiano A B C lo podemos identificar con la funcin f : {1, 2, 3}
A B C dada por f (1) = x1 , f (2) = x2 y f (2) = x2 . Usando esa idea, damos la definicin
precisa del producto cartesiano de una familia arbitraria de conjuntos.
Definicin 2.55. Sea (Xi )i una familia conjuntos no vacos indizada por un conjunto no
vaco de ndices I.
Y
[
Xi = {f : I
Xi | f (i) Xi para todo i I}.
iI

iI

Esta definicin general de producto cartesiano es quiz el objeto ms complejo que se usa
en este texto.
Ejemplo 2.56. Sea Xi = N para todo i N. Es decir, los conjuntos en la familia indizada
Q
de conjuntos son todos iguales a N y adems el conjunto de ndices es N. Entonces XiN
es igual a NN , es decir, la coleccin de todas la funciones de N en N.
Observe el lector que los elementos del producto cartesiano son funciones de un tipo
especial: La condicin de que f (i) sea un elemento de conjunto Xi se interpreta diciendo que
f es una funcin de eleccin para la familia (Xi )i . Unos de los axiomas bsicos de la teora
de conjuntos garantiza la existencia de tales funciones de eleccin. Este axioma se conoce
como el axioma de eleccin.
Veamos con un ejemplo cmo se usa el axioma de eleccin. Suponga que f : A B es
una funcin entre dos conjuntos no vacos A y B. Si f es sobreyectiva, uno puede escoger
para cada y B un elemento x A tal que f (x) = y. Esto permite definir g : B A como
g(y) = x. Por la manera de construir g : B A se verifica que f (g(y)) = y para todo
y B, es decir, f g = 1B . A continuacin presentamos este argumento de manera mas
rigurosa para hacer explcito el uso del axioma de eleccin.
Teorema 2.57. Sean A y B dos conjuntos no vacos y f : A B una funcin sobreyectiva.
Entonces existe g : B A inyectiva y adems f g = 1B .
Demostracin. Para cada y B, sea Xy = {x X : f (x) = y}. Esto es, Xy = f 1 (y). Por
ser fQsobreyetiva, sabemos que Xy 6= para cada y B. Por el axioma de eleccin, existe
g yB Xy . Notemos que por la definicin de producto cartesiano, se tiene que g(y) Xy
para todo y B, es decir, f (g(y)) = y para todo y B. Esto muestra que f g = 1B . Esto
95

ltimo implica que g es inyectiva. En efecto, sean b, c B y supongamos que g(b) = g(c).
Entonces, b = f (g(b)) = f (g(c)) = c (vea tambin el ejercicio 8 de la seccin 1.6).
2
Ejercicios 2.5:
1. Para cada i {1, 2, 3, 4, 5} sea Ai = {n i : 0 n 3}.
a) Determine por extensin los conjuntos A1 , A2 , A3 , A4 y A5 .
b) Determine los elementos de A3 A5 y A5 A4 .
2. Para cada i {1, 2, 3, 4, 5} sea Ai = {ni : 0 n 3}.
a) Determine por extensin los conjuntos A1 , A2 , A3 , A4 y A5 .
b) Determine los elementos de A3 A5 y A5 A4 .
3. Sea P el conjunto de todos los nmeros naturales positivos. Considere los siguientes
conjuntos
Dn = {k P : k es mltiplo de n}

para cada n P. Determine los siguientes conjuntos donde el conjunto universal es P.

a) D2 D5
d) D4 D6
g) D2c

b) D2 D3 D5
e) D4 D6
h) D4c D6c

c) D2 D4
f) D2 D6
i) D4c D6c

4. En este ejercicio el conjunto universal es N. Para cada n P, sea

An = {n, n + 1, n + 2, } = {k N : k n}
Bn = {0, 1, 2, 3 , 2n}
= {k N : k 2n}.
a) Determine A4 y B4 .
b) Determine An Bn y Acn para n = 1, 2, 3 y 7.
c) Determine
d ) Determine

6
[

n=3

An ,
An ,

n=3

e) Determine

5
[

6
[

n=3

Bn ,
Bn ,

n=3

Acn , y

n=1

6
\

n=3

An ,
An ,

n=3

6
\

n=3

Bn .
Bn .

n=3

(An Bn )c .

n=1

5. Para cada n Z, sea An = {n, n + 1}. El conjunto universal es Z.

a) Determine

6
[

n=6

A2n+1 ,

6
[

n=6

A2n ,

6
\

n=6

96

Ac2n+1 .

b) Muestre que Z =

A2n

nZ

c) Determine

A2n+1 .

nZ

d ) Muestre que si n m = 1, entonces An Am 6=

e) Muestre que si n m > 1, entonces An Am = .

f ) Para cules valores de n y m se cumple que An Am 6= ?

6. Sea I = P({0, 1}) y defina la coleccin indizada {CA }AI de la manera siguiente
CA = {B {0, 1, 2} : A B}
a) Determine C , C{0} , C{1} y C{0,1} .
b) Muestre que C{0} C{1} = C{0,1} .
7. Considere la familia indizada Ai = {n i : 0 n 5} para i {0, 1, 2, 3, 4, 5}.
a) Determine A0 , A1 , A2 , A3 , A4 y A5 .
b) Verifique que A0 Ai para todo i {0, 1, 2, 3, 4, 5}.
c) Determine A3 A5 .

8. Considere la familia indizada Ai = {ni : 0 n 5} para i N. Muestre que A4 A2 .

9. Sea A0 = {n Z : n es divisible por 5} y para cada k P sea Ak = {n + k : n A0 }.
a) Encuentre varios elementos de A0 , A1 , A2 , A3 , A4 , A5 y A6 .
b) Muestre que A0 = A5 y que A1 = A6 .
c) Generalice sus respuestas de la parte (b).
S
S
d ) Determine 4k=0 Ak y 5k=1 Ak .

10. Para cada n Z sea Bn = {n, n + 1, n + 2}.

a) Determine

6
[

B3n+1 .

n=6

b) Determine

6
[

B3n .

n=6

c) Muestre que Z =

B3n .

nZ

d ) Determine

B3n+1 .

nZ

97

e) Muestre que si n m = 1 o n m = 2, entonces Bn Bm 6= .

f ) Muestre que si n m > 2, entonces Bn Bm = .

g) Para cules valores de n y m se cumple que Bn Bm 6= ?

h) Para cules valores de n, m y k se cumple que Bn Bm Bk 6= ?

11. Sean A y B dos conjuntos no vacos. Para cada y B definimos
Dy = {y} B
y consideramos a {Dy }yB una familia indizada con B como conjunto de ndices.
Muestre que
[
AB =
Dy
yB

12. Para cada n N, sea

An = {n} N

Bn = N {n}.

De esta manera tenemos definidas dos familias indizadas {An }

n=0 y {Bn }n=0 .

a) Muestre que An Am = si, y slo si, n 6= m.

b) Determine A5 B2 . En general, determine An Bm .

S
c) Muestre que N N =
n=0 An
S
d ) Determine n=0 Bn

e) Considere que N N es el conjunto universal y determine

"
#c

[
[
An
Bn
n=2

n=3

13. Sea Xn N Q
un conjunto no vaco para cada n N. Muestre, sin usar el axioma de
eleccin, que nN Xn no es vaco. Qu puede decir si Xn Z para todo n N?

14. Sea A un conjunto

Q no vaco y Xn = A para todo n N. Muestre, sin usar el axioma
de eleccin, que nN Xn no es vaco. En general, si A y B son conjuntos AB es el
conjunto de funciones de A en B, y no hace falta el axioma de eleccin para mostrar
que AB no es vaco.
15. Sea f : R R dada por f (x) = x(x 1)2 , muestre que f es sobreyectiva. Por el
Teorema 2.57 sabemos que existe g : R R tal que (g f )(x) = x para todo x R.
Defina lo ms explcitamente que pueda una funcin g con esa propiedad. Sugerencia:
Haga la grfica de f y defina g por partes.
S
1
16. Sea
S f1: A B una funcin. Sean Ei B para cada i N. Muestre que f [ i Ei ] =
[Ei ].
if
98

2.6.

El Teorema de Schrder-Bernstein

Para los conjuntos finitos tenemos la nocin de nmero de elementos la cual nos permiti
introducir las notaciones
|A| = n y |A| |B|.
En esta seccin extenderemos esta notacin a los conjuntos infinitos y estudiaremos sus
propiedades.
Definicin 2.58. Sean A y B dos conjuntos. Escribiremos
|A| |B|
si existe una funcin f : B A sobreyectiva.
El objetivo de lo que resta de este captulo es desarrollar mtodos para determinar cundo
se cumple |A| |B|. En particular, queremos responder cules de las siguientes afirmaciones
son ciertas
|N| |Q|,

|Q| |N|, |Q| |R|, |R| |Q| ?

Comenzaremos mostrando que la relacin que acabamos de introducir es reflexiva y

transitiva.
Teorema 2.59. Sean A, B y C conjuntos. Entonces se tiene que
(i) |A| |A|.
(ii) Si |A| |B| y |B| |C|, entonces |A| |C|.
Demostracin: (i) Pues A A.
(ii) Sean f : B A y g : C B funciones sobreyectiva. Entonces f g : C A es
sobreyectiva (por ser la composicin de sobreyectivas, ver el Teorema 1.53) y por lo tanto
|A| |C|.
2
El siguiente resultado se usar con frecuencia y le recomendamos al lector que le preste
bastante atencin.
Teorema 2.60. Sean A, B y C conjuntos. Entonces se tiene que
(i) Si A C y |A| |B|, entonces |C| |B|.
(ii) Si B C y |A| |B|, entonces |A| |C|.
Demostracin: Haremos slo la prueba de (i) y dejamos la de (ii) al lector, pues es completamente anloga. Para (i) basta observar que si A C, entonces |C| |A| (verifquelo). Si
adems |A| |B|, entonces por el Teorema 2.59 se concluye que |C| |B|.
2
Ahora daremos una forma equivalente de verificar que se cumple |A| |B|. Esto se usar
con frecuencia en lo que resta del captulo y el lector le debe prestar atencin.
99

Teorema 2.61. Sean A y B dos conjuntos no vacos. Las siguientes afirmaciones son equivalentes
(i) Existe una funcin inyectiva f : A B.
(ii) Existe una funcin sobreyectiva g : B A.
Demostracin: (i) (ii) Sea f : A B una funcin inyectiva. Si f es sobreyectiva, entonces
tomamos g = f 1 . Si f no es sobreyectiva, escogemos a0 cualquier elemento de A. Como f
es inyectiva, dado b rango(f ) existe un nico a A tal que f (a) = b, con esto en mente
definimos g : B A de la siguiente manera

a , si b rango(f ) y f (a) = b
g(b) =
a0 , si b 6 rango(f ).
Mostraremos que g es sobreyectiva. En efecto, sea a A y pongamos b = f (a), entonces se
tiene que g(b) = a.
(ii) (i). Ya esto lo hicimos en el Teorema 2.57.
2
Como ya dijimos en la demostracin del Teorema 2.57, la prueba de que (ii) (i) hace
uso del axioma de eleccin.

En vista del Teorema 2.61 podemos afirmar que |A| |B| es equivalente a
que existe una funcin inyectiva f : A B.

Ejemplos 2.62.
1. Si A B, entonces |A| |B|. En efecto, considere la funcin f :
A B, dada por f (x) = x. Entonces f es inyectiva. En consecuencia tenemos que:
|N| |Z|, |Z| |Q|, |Q| |R|.
2. Ya vimos que el conjunto P de los nmeros naturales pares y el conjunto I de los
impares son equipotentes. En particular esto dice que |P | |I| y tambin que |I| |P |.
2
El siguiente teorema nos da una herramienta muy importante para determinar cuando
dos conjuntos son equipotentes.
Teorema 2.63. (Schrder-Bernstein) Si |A| |B| y |B| |A|, entonces A B.

La demostracin la haremos al finalizar esta seccin.

Hasta ahora solo hemos trabajado con la relaciones |A| |B|. Ahora definimos |A| < |B|
y |A| = |B| de la manera que uno esperara.
100

Definicin 2.64. Sean A y B conjuntos. Si A B, entonces escribiremos

|A| = |B|.
Y por otra parte, si |A| |B| pero |A| =
6 |B|, entonces escribiremos
|A| < |B|.
2
El siguiente resultado es una consecuencia inmediata de los Teoremas 2.61 y 2.63 y queda
a cargo del lector.
Teorema 2.65. Sean A y B conjuntos. Se tiene que
(i) |A| = |B| si, y slo si, |A| |B| y |B| |A|.
(ii) |A| < |B| si, y slo si, existe una inyeccin de A en B y no existe una inyeccin de B
en A.
(iii) |A| < |B| si, y slo si, existe una funcin sobreyectiva de B en A y no existe una
funcin sobreyectiva de A en B.
2
Hemos dejado hasta este momento para precisar el significado del smbolo: |A| = |B|.
La razn es que haca falta el teorema de Schrder-Bernstein para poder justificar que las
relaciones |A| |B| y |A| = |B| que hemos definido entre conjuntos tienen las propiedades
que uno espera, es decir, que se comporta de manera similar a lo que ocurre con los conjuntos
finitos.
Ejemplo 2.66. Usaremos el Teorema 2.63 para mostrar que
R [0, 1].
Ya que [0, 1] R, entonces por lo visto en el ejemplo 2.62, |[0, 1]| |R|. Resta mostrar que
|R| |[0, 1]|. Recordemos que R (0, +) (ver ejemplo 2.34). Por otra parte tenemos que
(0, +) (0, 1). En efecto, la funcin f : (0, 1) (0, +) dada por

1
1
x
es una biyeccin como lo puede verificar el lector interesado.
Por lo tanto tenemos que
f (x) =

R (0, +) y (0, +) (0, 1).

Luego, por la transitividad de , concluimos que R (0, 1). En consecuencia |R| = |(0, 1)|.
Como |(0, 1)| |[0, 1]| (por qu?), entonces obtenemos que |R| |[0, 1]|. Hemos verificado
as que |[0, 1]| |R| y |R| |[0, 1]|, las hiptesis del Teorema 2.63, y por lo tanto concluimos
que R [0, 1].
2
101

Para que el lector tome conciencia de lo til que es el Teorema 2.63, lo invitamos a
conseguir explcitamente una biyeccin de R en [0, 1] (vea los ejercicios de la seccin 2.2).
Para finalizar esta seccin, enunciaremos la ley de tricotoma para la cardinalidad. No
presentaremos su demostracin pues requiere de un principio de la teora de conjuntos que
no trataremos en este curso.
Teorema 2.67. Sean A y B dos conjuntos. Entonces se cumple una, y slo una, de las
siguientes afirmaciones:
(i) |A| < |B|.
(ii) |A| = |B|.
(iii) |B| < |A|.
2

2.6.1.

Demostracin del Teorema de Schrder-Bernstein

Sean f : A B y g : B A funciones inyectivas. Para definir la biyeccin h : A

B necesitamos hacer una construccin auxiliar. Definiremos, para cada nmero natural n,
subconjuntos An A y Bn B de la siguiente manera:
A0 = A \ g[B]
B0 = f [A0 ]
A1 = g[B0 ]
B1 = f [A1 ]
..
.
An+1 = g[Bn ]
Bn+1 = f [An+1 ]
..
.

A0

A1

A2

B0

B1

Sea
M = A0 A1 A2
102

B2

y
N = B0 B1 B2
La verificacin de las siguientes afirmaciones las dejaremos a cargo del lector.
f [M] = N
g[N] = A1 A2 An
g 1(A \ M) = B \ N.
Notemos que si x A \ M, entonces x 6 A0 , es decir x g[B] y por lo tanto g 1(x) est
definido. Podemos entonces definir h : A B como se indica a continuacin:

f (x)
, si x M.
h(x) =
1
g (x) , si x A \ M .
Veamos que h es biyectiva:
(i) h es inyectiva. En efecto, observe que h[M] = f [M] = N y h[A \ M] = g 1 (A \ M) =
B \ N. En particular h[M] h[A \ M] = . Como f y g son inyectivas, de lo anterior
se concluye que h es inyectiva (el lector interesado verificar esta afirmacin).
(ii) h es sobreyectiva. En efecto, ya vimos que h[M] = N y h[A \ M] = B \ N y por lo
tanto h[A] = B.
2
Ejercicios 2.63
1. Muestre que |Z| |Q|.
2. Muestre que |N {0, 1}| |Z {0, 1, 2}|.
3. Muestre que |N {1, 2}| |Z {3, 4}|.
4. Muestre que |N| |N N|.
5. Muestre que (1, 1) [1, 1].

(Sugerencia: Muestre que |(1, 1)| |[1, 1]| y que [1, 1] [ 21 , 12 ]).

6. Muestre que (1, 2) (4, 5) (3, 4).

(Sugerencia: Use la funcin definida en el ejercicio 3 de 2.2).

7. Sea P la coleccin de todos los nmeros naturales pares. Muestre que |P | |N N|.
8. Sean A y B conjuntos no vacos. Muestre que |A| |A B|.
9. Muestre que |N| |P(N)|.
103

10. Sea A un conjunto. Muestre que |A| |P(A)|.

11. Muestre que |N {1, 2}| = |N|.
12. Muestre que |N {1, 2, 3}| = |N|.
13. Muestre que |N| |NN |.
14. |N N| |NN |.
15. Muestre que |P(N)| |P(NN )|.
16. Muestre que R R N. (Sugerencia: Recuerde que R (n, n + 1) para todo n N.
Esto sirve para demostrar que |R N| |R|.)
17. Haga la demostracin del Teorema 2.65.
18. Complete la demostracin del Teorema 2.63 comprobando las siguientes afirmaciones:
f [M] = N
g[N] = A1 A2 An
1
g (A \ M) = B \ N.

2.7.

Conjuntos numerables

En esta seccin estudiaremos un tipo particular de conjunto infinito que juega un papel
importante dentro de las matemticas.
Definicin 2.68. Diremos que un conjunto A es numerable si A N.

Observe que podemos expresar de manera equivalente que A sea numerable escribiendo
|A| = |N|.
Teorema 2.69. Todo subconjunto de N es finito numerable.

Demostracin: Sea A N. Si A es finito, no hay nada que mostrar. Si A es infinito, entonces

sabemos que |N| |A| (por el Teorema 2.42). Como A N, entonces |A| |N|. Luego por
el teorema de Scheder-Bernstein 2.63 tenemos que N A.
2
Hemos visto que Z es numerable y el Teorema 2.39 nos dice que N N es numerable.
Ahora mostraremos que Q es numerable.
Teorema 2.70. Q es numerable.
Demostracin: Por el Teorema 2.63, es suficiente mostrar que |N| |Q| y que |Q| |N|.
(i) Considere la funcin f : N Q dada por f (n) = n. claramente f es inyectiva, por lo
tanto por el Teorema 2.61, concluimos que |N| |Q|.
(ii) Considere la funcin g : Z Z Q dada por f (p, q) = p/q, si q 6= 0 y f (p, q) = 0 si
q = 0. Le dejamos al lector convencerse que de la misma definicin de Q se concluye que f
104

es sobreyectiva. Por lo tanto, |Q| |Z Z|. Finalmente, ya hemos mostrado que Z Z es

numerable (ver ejemplo 2.48) y por lo tanto |Q| |N|.
2
El resultado que sigue es de uso frecuente en diferentes areas de las matemticas.
Teorema 2.71. Sea {An : n N} una coleccin de conjuntos numerables. Entonces
es numerable.

An

Demostracin: Denotemos por A la unin de todos los conjuntos An , es decir

[
A=
An .
nN

Ya que A0 A, entonces |A0 | |A|. Como A0 es numerable, entonces |N| |A|. Mostraremos
que |A| |N|. Despus de mostrarlo podemos usar el teorema de Schrder-Bernstein 2.63
para concluir que A es equipotente con N y por lo tanto numerable.
Como cada An es numerable existe una biyeccin fn : N An . Definiremos una sobreyeccin g : N N A. Esto mostrar que |A| |N N|. Como |N N| = |N|, entonces
|A| |N|. La definicin de g es como sigue:
g(n, m) = fn (m).
Veamos que g es sobreyectiva. Sea a A, entonces existe n tal que a An . Como fn es
sobreyectiva, entonces existe m N tal que fn (m) = a. Esto muestra que g(n, m) = a.
2
Podemos usar el resultado anterior para dar otra demostracin de que Q es numerable.
En efecto, definimos para cada n N con n > 0 un conjunto An de la manera siguiente:
o
nm
: mZ .
An =
n
Notemos que

Q=

An .

nN\{0}

Afirmamos que An es numerable para cada n N. En efecto, la funcin

Sfn : Z An definida
por fn (m) = m
es
biyectiva.
Por
el
Teorema
2.71,
se
concluye
que
n An es numerable y
n
esto muestra que Q es numerable.
Ejemplo 2.72. Sea X la coleccin de todos los subconjuntos de N con exactamente dos
elementos. Es decir
X = {A N : |A| = 2}.
Mostraremos que X es numerable, es decir, que |X| = |N|. Usaremos el Teorema de SchrderBernstein 2.63. Para esto debemos mostrar dos cosas: |N| |X| y |X| |N|.
105

(1) |N| |X|: Considere la siguiente funcin f : N X dada por

f (n) = {0, n + 1}.
Entonces f es inyectiva (mustrelo!). Por consiguiente |N| |X|.
(2) |X| |N|: Como N N N, entonces es suficiente mostrar que |X| |N N|.
Considere la funcin g : N N X dada por

{n, m}
, si n 6= m
g(n, m) =
{n, n + 1} , si n = m.
Verifique que g es sobreyectiva. Por lo tanto |X| |N N|.
2
Ejercicios 2.7
1. Muestre que los siguientes conjuntos son numerables:
a) La coleccin de todos los nmeros primos.
b) La coleccin de todos los enteros mltiplos de 8.
c) N3 , Q2 , Q3 .
2. Determine cules de los siguientes conjuntos son numerables.
a) {q Q : Existe un entero m tal que 5m + 1 < q < 5m + 2}.
b) {(n, m) N N : n es par y m es impar}.
c) {q Q : q 2 < 2}.

d ) {q Q : q 4 + 5q 3 q 2 + 7q 12 = 0}.

e) {n N : n divide a 1.567.344.987.678.333}.

f ) {(n, q) N Q : n es mltiplo de 5 y q 0}.

g) {(n, m) N N : n divide a m}.

3. Muestre que la coleccin de todos los subconjuntos de N con exactamente 3 elementos

es numerable.
(Sugerencia: Imite lo hecho en el ejemplo 2.72).
4. Muestre las siguientes afirmaciones.
a) Todo subconjunto de un conjunto numerable es finito numerable.
b) Todo conjunto infinito tiene un subconjunto numerable.
c) Si |N| |A|, entonces A es infinito.
106

d ) A es finito numerable si, y slo si, |A| |N|.

5. Si A es infinito y A B, entonces B es infinito.
6. Sea B un conjunto infinito, y A B finito. Muestre que
a) B A es infinito.

b) B A B, esto no es tan fcil de ver. Los reto a que lo prueben!

7. Sean A y B conjuntos tales que A B. Muestre que si A no es numerable, entonces

B no es numerable.
8. Sea A un conjunto. Muestre que A N es numerable si, y slo si, |A| |N|.
9. Muestre que si A y B son numerables, entonces A B es numerable.
(Sugerencia: Use el Teorema 2.39).
10. Sea A un conjunto finito y f : A A una funcin. Muestre que
a) Si f es inyectiva, entonces es f biyectiva.
b) Si f es sobreyectiva, entonces f es biyectiva.
c) Halle una funcin f : N N que sea inyectiva pero no sea sobreyectiva. Qu
tiene esto que ver con lo mostrado en (a)?
d ) Halle una funcin f : N N que sea sobreyectiva pero no sea inyectiva. Qu
tiene esto que ver con lo mostrado en (b)?
11. Considere la regla
(a, b) 7 2a (2b + 1) 1.
En la demostracin del Teorema 2.39 vimos que si esa regla define una biyeccin de
N N en N. Pero claramente esa regla tambien tiene sentido si a, b son nmeros reales
cualesquiera. Determine si esa regla define una inyeccin entre
a) Z Z y Q.

b) Q Q y R.

12. Suponga que |An | |N| para cada n N. Muestre que

|

nN

An | |N|.

13. Sean A y B conjuntos numerables. Muestre que A B es numerable.

107

14. Muestre que la coleccin X de todos los subconjuntos finitos de N es numerable.

(Sugerencia: Muestre primero que para cada n N la coleccin de todos los subconjuntos de N con exactamente n elementos es numerable. Despus observe que X es una
unin numerable de conjuntos numerables).
15. Considere la siguiente relacin binaria en el conjunto A de todas las funciones de N en
N. Sean f, g funciones de N en N.
f g , si {n N : f (n) 6= g(n)} es finito.
Muestre que es una relacin de equivalencia. Halle todas las funciones que son equivalentes con la funcin constante igual a cero. Muestre que cada clase de equivalencia
es un conjunto numerable.
16. Considere la siguiente relacin sobre P(N): A B si AB es finito. Muestre que es
una relacin de equivalencia. Determine la clase de equivalencia de y de N.

2.8.

Aplicaciones del Teorema de Schrder-Bernstein

En matemticas se usan con frecuencia conjuntos que tienen la misma cardinalidad que
P(N). En esta seccin veremos algunos ejemplos. Trataremos varios conjuntos que tiene la
forma AN , o sea, funciones de N en A.
El siguiente resultado es intuitivamente claro y lo usaremos con frecuencia.
Lema 2.73. Si A B, entonces |AN | |B N |.

Demostracin: Definiremos una funcin f : AN B N inyectiva. Sea AN , es decir,

: N A es una funcin. Entonces f () simplemente cambia el contradominio de por B
y deja la misma regla.
2
Ejemplo 2.74. Mostraremos que
{0, 1}N P(N).
Considere la funcin F : P(N) {0, 1}N dada por
F (A) = fA .
Donde fA es la funcin caracterstica de A (ver la definicin 1.26). Dejamos como ejercicio
al lector verificar que F es una biyeccin.
2
Ejemplo 2.75. Mostraremos que
P(N) NN .

Por el lema 2.73, sabemos que

|{0, 1}| |NN |.
108

Por otra parte, por lo visto en el ejemplo 2.74, |{0, 1}N | = |P(N)|. Entonces tenemos que
|P(N)| |NN |.
Bastara entonces ver que |NN | |P(N)|. Pues por el teorema de Schrder-Bernstein podemos
concluir que esos dos conjuntos son equipotentes.
Recordemos que N N N y por consiguiente por el Teorema 2.51 tenemos que
P(N) P(N N).
Ahora bien, cada funcin f NN es una relacin binaria sobre N. Es decir, cada funcin
f NN es un subconjunto de N N. En otras palabras, tenemos que
NN = {f N N : f es una funcin} P(N N).
Y por lo tanto
|NN | |P(N N)|
y en consecuencia
|NN | |P(N)|.
2
Ejemplo 2.76. Mostraremos que
{0, 1}N {0, 1, 2}N.
Es suficiente mostrar que
|{0, 1}N | |{0, 1, 2}N| y |{0, 1, 2}N| |{0, 1}N |.
La primera desigualdad se deduce del lema 2.73. Por otra parte, de igual manera se tiene
que
|{0, 1, 2}N| |NN |.
De 2.74 y 2.75 sabemos que
NN {0, 1}N .
Por lo tanto
|{0, 1, 2}N| |{0, 1}N|
y con esto termina la demostracin.
2
Ejercicios 2.8
1. Muestre que {0, 1}N {4, 5, 6, 7, 8}N.
109

2. Muestre que {0, 1}N ZN .

3. Muestre que |P(Q)| = |NN |.
4. Muestre que R \ Z R.

(Sugerencia: Halle una funcin inyectiva f : R R \ Z).

5. Muestre que la funcin F definida en el ejemplo 2.74 es biyectiva.

(Sugerencia: Para ver que F es inyectiva, tome A, B P(N) distintos. Entonces hay
dos casos que se tratan de manera similar. Suponga que existe x A \ B (Cul es
el otro caso?). Entonces fA (x) = 1 y fB (x) = 0, por esto fA 6= fB . Para ver que F es
sobreyectiva, sea g : N {0, 1} arbitraria. Tome A = {x N : g(x) = 1}. Muestre
que g = F (A). )
6. Sea S el conjunto de todas las biyecciones de N en N. Muestre que S {0, 1}N .

2.9.

Cul es el tamao de R?

G. Cantor fu el primer matemtico en darse cuenta y demostrar que existen conjuntos

que no son numerables. Comenzaremos mostrando que R no es numerable con argumento
que se basa en la representacin decimal de los nmeros reales, sobre la que supondremos el
lector tiene alguna familiaridad. Ms adelante en el captulo ?? veremos otra demostracin
diferente (ver Teorema ??).
Teorema 2.77. R no es numerable.
Demostracin: Cada nmero real lo identificaremos con una expresin de la forma que se
indica a continuacin, llamada su expansin decimal:
b, a0 a1 an
donde b es un entero y cada ai es un natural. Fijemos una funcin f : N R cualquiera.
Construiremos un real que no pertenece al rango de f . Por lo tanto f no es sobreyectiva
y de aqu se concluye que R no es numerable. Cada real f (m) en el rango de f tiene una
expansin decimal b, a0 a1 . Para distinguir una expansin de otra usaremos supraindices
(en este caso no confundirlos con la notacin de las potencias). As obtemos la siguiente tabla
de expansiones decimales de los reales que estn en el rango de f .
f (0)

= b0 , a00 a01 a02 a0n

f (1)
..
.

= b1 , a10 a11 a12 a1n

m m
m
f (m) = bm , am
0 a1 a2 an
..
.

110

Ahora describiremos la expansin decimal de un real que no est en el rango de f . Considere

los siguientes nmeros

0 , si ann 6= 0
cn =

1 , si ann = 0.
Finalmente, sea r el real cuya expansin decimal es igual a
0, c0 c1 c2 cn
De la definicin de la sucesin cn se tiene que cn 6= ann para todo n. Esto garantiza que
r 6= f (n) para todo n. Es decir, r no pertenece al rango de f .
2
El argumento que presentamos para mostrar que R no es numerable es quiz el primer
ejemplo de lo que ahora se conoce como el mtodo de diagonalizacin de Cantor. El lector
podr observar que la sucesin de dgitos cn se obtiene modificando la diagonal de la tabla
de expasiones decimales de los elementos del rango de f .
Pero entonces, cul es el tamao de R? Daremos algunas indicaciones para mostrar la
siguiente afirmacin
|R| = |P(N)|.

(2.4)

Es decir, que hay tantos nmeros reales como subconjuntos de N. Para demostrar esta
igualdad bastar mostrar (gracias al teorema de Schrder-Bernstein) que
|R| |P(N)| y |P(N)| |R|.
La primera desigualdad no es difcil de probar. Para la segunda usaremos de nuevo la representacin de lo nmeros reales con expasiones decimales.
Ya vimos en el ejemplo 2.75 que
P(N) NN
es decir, hay tantos subconjuntos de N como funciones de N en N. Entonces (2.4) dice que
hay tantos nmeros reales como funciones de N en N. Esto es hasta cierto punto bastante
intuitivo, pues cada nmero real se puede expresar en forma decimal, es decir, como un entero
seguido de un sucesin (posiblemente) infinita de nmeros naturales. Esta representacin
sugiere que existe una relacin natural entre nmeros reales y funciones de N en N.
Mostraremos a continuacin que el tamao de R no sobrepasa el tamao de P(N).
Teorema 2.78. |R| = |P(N)|.

Demostracin: Hemos visto que |N| = |Q| y tambin sabemos que |P(Q)| = |P(N)| (ver el
ejercicio 8 de 2.2). As que basta mostrar que |R| |P(Q)|. Definimos f : R P(Q) de la
manera siguiente:
f (r) = {q Q : q < r}.
111

Mostraremos que f es inyectiva. En efecto, sean r, r R dos reales cualesquiera con r 6= r .

Podemos suponer que r < r (el otro caso se analiza de manera anloga). Por la densidad
de Q en R existe un racional q tal que r < q < r . Por lo tanto q f (r ) pero q 6 f (r). En
consecuencia f (r) 6= f (r ).
La otra desigualdad, |P(N)| |R|, es un poco ms difcil de mostrar. Tenemos que asociar
a cada subconjunto de N un nmero real. Para lograr sto usaremos la representacin decimal
de los nmero reales. Tomemos un nmero real r tal que 0 r 1. La representacin
decimal de r es una sucesin an de enteros no negativos que usualmente se escribe de la
manera siguiente
0, a0 , a1 a2 , an ,

A cada subconjunto A N le asociamos la siguiente sucesin


1 , si n A
an =
0 , si n 6 A.
Definimos f : P(N) R de la siguiente manera

f (A) = el nmero real cuya expansin decimal viene dada por

la sucesin a0 , a1 , a2 , , an , definida arriba.
Mostraremos que f es inyectiva. Sean A, B dos subconjuntos de N diferentes. Ya que AB 6=
, denotaremos con m al primer natural que pertenece a AB. Observe que para todo i < m
se tiene que
i A i B.

(2.5)

Tenemos que considerar dos casos: m A B m B A. Los dos casos son anlogos
y analizaremos slo uno de ellos. Supongamos entonces que m A B. Para simplificar la
notacin llamaremos r al nmero real f (A) y s a f (B). Mostraremos que r 6= s. Sea an y
bn los dgitos correspondientes a la representacin decimal de f (A) y f (B) respectivamente.
Entonces para todo i < m se cumple que
ai = 0 bi = 0.

(2.6)

Definimos un racional q de la siguiente manera

q = 0, a0 a1 a2 , am .
Observe que am = 1 y bm = 0. Por (2.6) sabemos que
s<qr
por lo tanto r 6= s.

El siguiente resultado que demostraremos es sorprendente. Si el lector no le parece creible,

no se preocupe, cuando lo demostr Cantor en 1877 le escribi a su colega Dedekin: Lo veo
y no lo creo.
112

Teorema 2.79. R R2 .

Demostracin: Ya vimos que R NN , por esto R R NN NN . En consecuencia, es

suficiente mostrar que NN NN NN . Afirmamos que NN NN (N N)N . En efecto,
considere la siguiente funcin : NN NN (N N)N definida como se indica:
(f, g)(n) = (f (n), g(n))

(2.7)

El lector debe convencerse de que est bien definida, es decir, debe entender que la frmula
dada por (2.7) describe correctamente una regla de correspondencia.
Veamos que es inyectiva. Sean (f, g), (f , g ) NN NN con (f, g) 6= (f , g ). Hay dos
casos a considerar, o bien f 6= f , o bien g 6= g . Ambos se tratan de manera anloga y
slo haremos uno. Supongamos que f 6= f , debemos mostrar que (f, g) 6= (f , g ). Por
hiptesis, existe n0 N tal que f (n0 ) 6= f (n0 ). Afirmamos que (f, g)(n0 ) 6= (f , g )(n0 ).
En efecto, (f, g)(n0 ) = (f (n0 ), g(n0 )) 6= (f (n0 ), g (n0 )) = (f , g )(n0 ).
Dejamos como un ejercicio al lector el verificar que es sobreyectiva.
2
Dijimos que R R2 es un resultado sorprendente, pues parecera contradecir el hecho que
R2 tiene dos dimensiones y R slo una. Pero no es as, no hay nada logicamente incorrecto
con esa afirmacin, pues slo hemos demostrado que existe una biyeccin entre R y R2 , pero
eso no permite sacar conclusiones de naturaleza geomtrica acerca de ellos.
Hasta ahora hemos mostrado ejemplos de subconjuntos de R de tres tamaos: finitos,
numerables y aquellos de igual tamao que R. Una pregunta que ha cautivado la atencin
de muchos matemticos es si existe algn subconjunto A R tal que
|N| < |A| < |R|.
Esta pregunta de apariencia tan sencilla fu estudiada por Cantor, quien pensaba que la
respuesta era negativa, es decir, que no existe un conjunto A con esa caracterstica (esta
alternativa se conoce como la Hiptesis del Continuo). En la actualidad se sabe mucho ms
acerca de esa pregunta que en la poca de Cantor, sin embargo, todava es objeto de profundos
y complejos trabajos de investigacin.
Ejercicios 2.9.
1. Use el mismo argumento de la demostracin del Teorema 2.77 para probar que (1/103, 1/102)
no es numerable.
2. Complete la demostracin del Teorema 2.79 mostrando que la funcin es sobreyectiva.
3. Muestre las siguientes afirmaciones:
a) R {0, 1}N .

b) R Rn para todo n 3.

c) ({0, 1}N )N {0, 1}N .

d ) QQ ZN NN .
e) R RN .

113

2.10.

El Teorema de Cantor

Ahora mostraremos que P(A) tiene una cardinalidad estrictamente mayor que la de A. En
particular, eso nos dice que P(N) no es numerable. Y si repetimos el argumento, obtenemos
que P(P(N)) es de una cardinalidad estrictamente mayor que la de P(N), vemos as que
existen conjuntos infinitos muy grandes. Este resultado tuvo una enorme repercusin sobre
la concepcin del infinito en matemticas.
Teorema 2.80. (Cantor) Sea A un conjunto, entonces |A| < |P(A)|.

Demostracin: Primero observemos que |A| |P(A)|. En efecto, considere la funcin f :

A P(A) dada por
f (a) = {a}
para a A. Es obvio que f es inyectiva.
Para ver que |A| =
6 |P(A)|, mostraremos que ninguna funcin g : A P(A) puede ser
sobreyectiva. Sea entonces g : A P(A). Definimos
B = {a A : a 6 g(a)}.
Veremos que B no est en el rango de g. Supongamos que estuviera, y sea a A tal que
g(a) = B. Entonces tenemos que
a B a g(a) a 6 B.
Y esto es absurdo. Por lo tanto la suposicin de que B estaba en el rango de g es imposible.
En consecuencia, g no es sobreyectiva.
2
Del teorema de Cantor inmediatamente obtenemos que P(N) no es numerable, resultado
que ya habamos probado de una manera un poco diferente, pues vimos que R P(N) y
tambin que R no es numerable.
Observemos que del teorema de Cantor se obtiene lo siguiente
|N| < |P(N)| < |P(P(N))| < |P(P(P(N)))|.
Esto muestra que estos conjuntos son de un tamao infinito cada vez mayor.
Ejemplo 2.81. Considere la coleccin X de todos los subconjuntos de N que no contienen
nmeros pares. Es decir, si P denota la coleccin de nmeros pares e I la de los impares
tenemos que
X = {A N : A P = }.
De manera equivalente tenemos que

X = {A N : A I} = P(I).
Mostraremos que X no es numerable. Para esto es suficiente mostrar que |X| = |P(N)| y
usar el teorema de Cantor. En efecto, recordemos que I N, por lo tanto P(I) P(N) (ver
el ejercicio 8 de 2.2). En consecuencia |X| = |P(N)|.
2
114

Ejercicios 2.10
1. Ordene de manera creciente (no necesariamente estricta) los siguientes conjuntos de
acuerdo a su cardinalidad.
a) N.
b) Z.
c) P(N).

d ) {n N : n divide a 1.567.344.987.678.333}.

e) {q Q : Existe un entero m tal que 5m + 1 < q < 5m + 2}.

f ) Q Z.

g) R

h) R {0, 1}
i ) Q5 .

j ) QQ .
k ) P(P(N)).

l ) {A N : A no contiene nmeros impares}.

m) {A P(P(N)) : {2} 6 A}.

n) P(P(Z)).

) P(P(P(N))).

115

116

ndice alfabtico
A + B, 142
A B, 74
A B, 142
A B, 1
B A , 14, 86
Sn , 47
fA , 18
1A , 40
f : A B, 14
f [C], 50
f 1 , 42
f 1 [D], 51
f 1 [b], 51
g f , 35
automorfismo, 127
axioma de completitud, 139
Axioma de Eleccin, 95
axioma del supremo, 139
buen orden, 120
Cantor, 114
cartesiano, 1
ciclo, 48
ciclos disjuntos, 48
codominio, 14
componente, 1
conjunto acotado inferiormente, 139
conjunto acotado superiormente, 138
conjunto con n elementos, 57
conjunto denso, 157
conjunto denso en si mismo, 136
conjunto finito, 58
conjunto imagen, 14
conjunto infinito, 82

conjunto linealmente ordenado, 118

conjunto ordenado, 117
conjunto totalmente ordenado, 118
conjuntos disjuntos dos a dos, 60
conjuntos equipotentes, 74
contradominio, 14
cota inferior, 139
cota superior, 138
cubo, 5
Dedekind, 84
denso, 129
Descartes, 1
diagrama sagital, 16
dominio de una funcin, 14
dominio de una relacin, 11
espacio tridimensional, 4
fraccin irreducible, 144
funcin, 13
funcin biyectiva, 28
funcin caracterstica, 18
funcin compuesta, 35
funcin creciente, 32
funcin decreciente, 32
funcin definida por partes, 17
funcin identidad, 15, 40
funcin indicatrz, 18
funcin inyectiva, 21
funcin que preserva el orden, 122
funcin restriccin, 66
funcin sobreyectiva, 23
funcin uno-a-uno, 21
grupo simtrico, 47
117

hiptesis del continuo, 113

supremo, 138

imagen, 13
imagen de un conjunto, 50
infimo, 140
intervalo, 126, 130
inversa por la derecha, 45
inversa por la izquierda, 45
inversas laterales, 45
isomorfismo de orden, 121

Teorema de Schrder-Bernstein, 100

tupla ordenada, 94

ley de correspondencia, 15
longitud de un intervalo, 160
mximo, 82
mtodo de diagonalizacin de Cantor, 111
mtodo de diagonalizacin de Cantor, 162
mximo, 138
nmero algebrico, 162
nmero irracional, 145
nmero trascendente, 163
orden, 117
orden completo, 165
orden lexicogrfico, 167
par ordenado, 1
parte entera, 128, 154
permutaciones, 47
plano Cartesiano, 2
preimagen, 23
preimagen de un conjunto, 51
principio de buena ordenacin, 140
principio de inclusin y exclusin, 61
principio de los intervalos encajados, 161
principio del palomar, 71
producto Cartesiano, 1
propiedad Arquimediana, 147
rango de una funcin, 14
rango de una relacin, 11
relacin, 10
relacin binaria, 10
subconjunto denso, 130
118

Bibliografa
[1] P. S. Alexandroff. Introduccin a la teora a de los grupos. Eudeba, Buenos Aires,
Argentina, 1965.
[2] H. Angulo and C. A. Di Prisco. El orden de los nmeros racionales. Algunas nociones
bsicas sobre conjuntos linealmente ordenados. Curso para la XIV Escuela Venezolana
para la Enseanza de la Matemticas, Universidad de Los Andes, Mrida, 2010.
[3] I. N. Herstein. lgebra moderna. Editorial Trillas, Mxico, 1976.
[4] G. Myerson. Irrationality via well-ordering. Gaz. Aust. Math. Soc., 35:121125, 2008.
[5] C. A. Di Prisco. Teora de conjuntos. Consejo de Desarrollo Cientfico y Humanstico.
Universidad Central de Venezuela, 2009.
[6] M. Spivak. Calculus. Tomos I y II. Editorial Revert S. A., Espaa, 1978.
[7] K. Stromberg. An introduction to classical real analysis. Wadsworth, Inc., USA, 1981.
[8] C. Uzctegui-Aylwin. Lgica, conjuntos y nmeros. Consejo de publicaciones de la ULA.
Mrida, 2011.
[9] A. Tineo y C. Uzctegui. Introduccin al anlisis real.
http://www.ciens.ula.ve/matematica/publicaciones.

119