Libro Mate PDF

Fundamentos de la Matematica
Apuntes de clase
Preparado por JC Trujillo O.
Agosto 2011 - Enero 2012

Indice
general
1
Logica:
reglas de inferencia
1
Proposicion
asociada. . . . . . . . . . . . .
2
Razonamiento valido. . . . . . . . . . . . .
2.1
. . . . . . . . . . . . . . . . . . . . .
2.2
. . . . . . . . . . . . . . . . . . . . .
3
El metodo de reduccion
al absurdo. . . . .
3.1
No a las contradicciones. . . . . . .
3.2
El metodo. . . . . . . . . . . . . . .
3.3
Ejemplo. . . . . . . . . . . . . . . .
3.4
Ejemplo. . . . . . . . . . . . . . . .
4
Reglas de inferencia. . . . . . . . . . . . . .
5
Principio de sustitucion
por equivalentes.
6
Predicados. . . . . . . . . . . . . . . . . . .
7
Cuantificadores. . . . . . . . . . . . . . . .
8
Propiedades basicas de los cuantificadores.
9
Reglas de inferencia para predicados. . . .
Teora de conjuntos
1
Nociones no definidas. . . . . . . .
1.1
. . . . . . . . . . . . . . . . .
1.2
. . . . . . . . . . . . . . . . .
2
Conjunto . . . . . . . . . . . . . . . .
3
Igualdad de clases. . . . . . . . . . .
4
Axioma de extension.
. . . . . . . .
5
Axioma de construccion
de clases. .
5.1
La clase universal. . . . . . .
5.2
La clase vaca. . . . . . . . .
5.3
La clase union.
. . . . . . . .
5.4
La clase interseccion.
. . . .
5.5
La clase diferencia. . . . . .
5.6
La clase complemento. . . .
5.7
Ejercicio. . . . . . . . . . . .
6
La redaccion
de las demostraciones.
7
Algebra de clases . . . . . . . . . . .
8
Ejemplos. . . . . . . . . . . . . . . . .
8.1
. . . . . . . . . . . . . . . . .
8.2
. . . . . . . . . . . . . . . . .
8.3
. . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
7
7
8
8
8
9
9
10
10
11
12
12
13
13
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
14
14
14
14
14
14
20
20
21
22
24
24
24
24
25
26
27
31
31
31
31
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
10
11
12
13
14
15
16
17
18
19
20
8.4
. . . . . . . . . . . . . . . . . . . . . . . . . .
Clase unitaria. . . . . . . . . . . . . . . . . . . . . .
Par desordenado. . . . . . . . . . . . . . . . . . . .
Axioma del par desordenado . . . . . . . . . . . . .
Par ordenado . . . . . . . . . . . . . . . . . . . . . .
12.1 Un par ordenado es un conjunto. . . . . . .
12.2
. . . . . . . . . . . . . . . . . . . . . . . . . .
12.3
. . . . . . . . . . . . . . . . . . . . . . . . . .
Producto cartesiano. . . . . . . . . . . . . . . . . . .
Axioma de los subconjuntos . . . . . . . . . . . . . .
Dos clases propias: la de Russell y la universal. . .
Grafos. . . . . . . . . . . . . . . . . . . . . . . . . .
16.1 Dominio de un grafo. . . . . . . . . . . . . .
16.2 Imagen de un grafo. . . . . . . . . . . . . . .
16.3 Grafo inverso. . . . . . . . . . . . . . . . . .
16.4 La composicion
de dos grafos. . . . . . . . .
16.5 Ejercicio. . . . . . . . . . . . . . . . . . . . .
El axioma de las uniones (version
temporal). . . . .
El conjunto de partes. . . . . . . . . . . . . . . . . .
18.1 El axioma del conjunto vaco (temporal). . .
18.2 El axioma de los conjuntos de partes. . . . .
El producto cartesiano de conjuntos es un conjunto.
Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . .
20.1
. . . . . . . . . . . . . . . . . . . . . . . . . .
20.2
. . . . . . . . . . . . . . . . . . . . . . . . . .
Funciones
1
El concepto de funcion.
. . . . . . . . .
2
La funcion
identidad. . . . . . . . . . .
3
La funcion
constante. . . . . . . . . . .
4
La funcion
inclusion.
. . . . . . . . . .
5
La funcion
restriccion.
. . . . . . . . . .
6
La funcion
caracterstica. . . . . . . . .
7
Ejemplo. . . . . . . . . . . . . . . . . . .
8
Ejemplo. . . . . . . . . . . . . . . . . . .
9
Ejemplo. . . . . . . . . . . . . . . . . . .
10 Ejemplo. . . . . . . . . . . . . . . . . . .
11 Notaciones. . . . . . . . . . . . . . . . .
11.1 La funcion
identidad. . . . . . .
11.2 La funcion
constante. . . . . . .
11.3 La funcion
inclusion.
. . . . . .
11.4 La funcion
restriccion.
. . . . .
11.5 La funcion
caracterstica. . . . .
12 Ejemplos. . . . . . . . . . . . . . . . . .
13 Reformulacion
del concepto de funcion.
14 Representacion
grafica de una funcion.
15 Caracterizacion
de una funcion.
. . . .
16 Igualdad de funciones. . . . . . . . . .
16.1
. . . . . . . . . . . . . . . . . . .
17 Funcion
inyectiva. . . . . . . . . . . . .
: 0.310
V ERSI ON
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2011 - D IC - 07
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. .
. .
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
32
32
33
34
37
37
37
37
38
38
39
40
40
40
40
41
45
45
45
45
46
46
47
47
47
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
49
49
49
50
50
51
52
53
53
53
54
54
54
54
55
55
55
55
55
57
58
59
60
61
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3 de 117
18
19
20
21
22
23
24
25
26
17.1 La funcion
identidad es inyectiva. . . . . . . . . . . . . . . . . . . .
17.2 La inyectividad de la funcion
constante. . . . . . . . . . . . . . . .
17.3 Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17.4
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Funcion
sobreyectiva. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18.1 La funcion
identidad es sobreyectiva. . . . . . . . . . . . . . . . . .
18.2 La sobreyectividad de la funcion
constante. . . . . . . . . . . . . .
18.3 Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Funcion
biyectiva. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Una propiedad de la funcion
restriccion.
. . . . . . . . . . . . . . . . . . .
La union
de funciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Composicion
de funciones. . . . . . . . . . . . . . . . . . . . . . . . . . . .
22.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Funciones inversibles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23.1 La funcion
identidad es inversible. . . . . . . . . . . . . . . . . . .
23.2 La funcion
constante no siempre es inversible. . . . . . . . . . . .
23.3 Caracterizacion
de la funcion
inversa . . . . . . . . . . . . . . . . .
Condiciones necesarias y suficientes para que una funcion
sea inversible. .
24.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
24.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
24.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Imagen directa bajo una funcion.
. . . . . . . . . . . . . . . . . . . . . . .
25.1 Cautela con la notacion
f ( w ). . . . . . . . . . . . . . . . . . . . . .
25.2 Ejemplo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
25.3 Representacion
grafica. . . . . . . . . . . . . . . . . . . . . . . . . .
25.4 Propiedades basicas de la imagen directa. . . . . . . . . . . . . . .
Imagen inversa bajo una funcion.
. . . . . . . . . . . . . . . . . . . . . . .
26.1 Precaucion
con la notacion
f 1 ( w ) . . . . . . . . . . . . . . . . . . .
26.2 Ejemplo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
26.3 Propiedades basicas de la imagen inversa. . . . . . . . . . . . . . .
26.4 Otras propiedades de las imagenes directas e inversas. . . . . . .
26.5 Ejercicio. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
26.6 Ejercicio. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Union,
interseccion
y producto generalizado
1
Familia de clases indexada. . . . . . . . . . . .
1.1
Ejemplo. . . . . . . . . . . . . . . . . .
2
Union
de una familia de clases indexada. . . .
2.1
Ejemplo. . . . . . . . . . . . . . . . . .
2.2
. . . . . . . . . . . . . . . . . . . . . . .
2.3
Union
de una clase. . . . . . . . . . . .
2.4
Problema. . . . . . . . . . . . . . . . . .
3
Interseccion
de una familia de clases indexada.
3.1
Ejemplo. . . . . . . . . . . . . . . . . .
3.2
. . . . . . . . . . . . . . . . . . . . . . .
3.3
Interseccion
de una clase. . . . . . . . .
3.4
Problema. . . . . . . . . . . . . . . . . .
4 de 117
: 0.310
V ERSI ON
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
61
62
62
62
62
63
63
63
64
64
64
67
67
68
69
70
70
71
72
73
73
76
77
78
79
79
79
80
81
83
84
84
85
86
87
87
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
88
88
88
88
89
89
89
90
90
90
90
91
91
2011 - D IC - 07
4
5
3.5
Propiedades de la union
e interseccion
generalizadas.
3.6
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.7
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.8
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.9
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.10
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
El axioma de la union.
. . . . . . . . . . . . . . . . . . . . . .
4.1
El dominio y la imagen de un grafo. . . . . . . . . .
Producto de una familia de conjuntos indexada. . . . . . . .
5.1
Ejemplo. . . . . . . . . . . . . . . . . . . . . . . . . .
5.2
Ejemplo. . . . . . . . . . . . . . . . . . . . . . . . . .
5.3
Notacion.
. . . . . . . . . . . . . . . . . . . . . . . . .
La exponencial. . . . . . . . . . . . . . . . . . . . . . . . . . .
6.1
Ejemplo. . . . . . . . . . . . . . . . . . . . . . . . . .
El conjunto de los numeros
naturales
1
Conjuntos sucesores. . . . . . . . . .
2
naturales.
3
El teorema de recursion
finita . . . . .
4
La suma en . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
91
91
92
92
93
93
94
95
95
96
97
97
98
98
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
100
100
101
104
104
Relaciones de equivalencia
1
Relacion
en una clase. . . . . . . . . . . .
2
Algunos tipos de relaciones. . . . . . . .
3
Relacion
de equivalencia. . . . . . . . . .
3.1
Ejemplo. . . . . . . . . . . . . . .
3.2
Ejemplo. . . . . . . . . . . . . . .
3.3
Ejemplo. . . . . . . . . . . . . . .
3.4
Ejercicio. . . . . . . . . . . . . . .
3.5
Ejercicio. . . . . . . . . . . . . . .
3.6
Unicidad del elemento inverso. .
3.7
Un par de propiedades de Grupo.
3.8
Subgrupo de un grupo. . . . . . .
3.9
Ejercicio. . . . . . . . . . . . . . .
4
Clases de equivalencia. . . . . . . . . . .
4.1
Ejemplo. . . . . . . . . . . . . . .
4.2
Ejemplo. . . . . . . . . . . . . . .
5
Particion
de un conjunto. . . . . . . . . .
5.1
Ejemplo. . . . . . . . . . . . . . .
5.2
Ejemplo. . . . . . . . . . . . . . .
5.3
. . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
107
107
107
107
107
108
109
110
111
111
112
112
112
112
113
113
114
115
116
116
: 0.310
V ERSI ON
.
.
.
.
2011 - D IC - 07
5 de 117
Captulo 1
Logica:
reglas de inferencia
1 Proposicion
asociada. La proposicion
asociada a un razonamiento es la implicacion
cuyo antecedente es la conjuncion

de las premisas y el consecuente es la conclusion
del
razonamiento. De manera mas precisa, si el razonamiento es
P1
P2
..
.
Pn
Q,
la proposicion asociada al razonamiento es
( P1 P2 Pn ) Q.
2
Razonamiento valido. El razonamiento

P1
P2
..
.
Pn
Q
es valido si y solo si la proposicion

asociada a e ste es siempre verdadera; es decir, si la
proposicion
( P1 P2 Pn ) Q
es una tautologa .
2.1 El razonamiento o la regla de inferencia
PQ
P
Q
(1.1)
es valido. En efecto, debemos demostrar que la proposicion

asociada al razonamiento (1.1)
es siempre verdadera; es decir, debemos probar que la proposicion
[( P Q) P] Q
(1.2)
es una tautologa. Para ello, realicemos la tabla de verdad de esta proposicion:
PQ
( P Q) P
[( P Q) P] Q
v
v
f
f
v
f
v
f
v
f
v
v
v
f
f
f
v
v
v
v
Como se puede observar, la proposicion

(1.2) es una tautologa, de donde se concluye que
el razonamiento (1.1) es valido.
2.2 El razonamiento
PQ
Q
P
no es valido, pues la proposicion

asociada a e ste,
[( P Q) Q] P,
no es una tautologa como se puede apreciar en la siguiente tabla de verdad:
PQ
( P Q) Q
[( P Q) Q] P
v
v
f
f
v
f
v
f
v
f
v
v
v
f
v
f
v
v
f
v
El metodo de reduccion
al absurdo.
3.1 No a las contradicciones. Si hay algo que no cabe en una teora matematica es la
deduccion
de una contradiccion;
es decir, la deduccion
de la conjuncion
de una proposicion
y su negacion.
Si ello llegara a ocurrir, se buscaran aquellos axiomas de los cuales se ha
deducido la contradiccion,
y se los eliminara de modo definitivo de la teora. Por que este
miedo y rechazo a las contradicciones?
Para contestar a la pregunta, demostremos, en primer lugar, que el siguiente razonamiento es valido:
P P
(1.3)
Q
Para ello, debemos probar que la implicacion
( P P) Q
(1.4)
es una tautologa; es decir, debemos demostrar que su valor de verdad siempre es verdadero
para todos los valores de verdad de P y de Q, respectivamente.
8 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
Independientemente del valor que pueda tomar P, la conjuncion

P P siempre toma el valor de verdad falso; por lo tanto, el antecedente de la implicacion
(1.4) siempre
es falso, de donde, por la definicion
de implicacion,
el valor de verdad de e sta es siempre verdadero, independientemente del valor de verdad que tome la proposicion
Q. En
resumen, hemos demostrado que el razonamiento (1.3) es valido.
Ahora cabe preguntarnos por el significado del razonamiento (1.3). En e ste se afirma que, si admitieramos una contradiccion,
entonces deberamos aceptar como verdadera
cualquier proposicion
Q, sea verdadera o sea falsa; es decir, deberamos aceptar como verdadera todas las proposiciones. En otras palabras, todo valdra! Y esto significa que nada
valdra! He aqu la razon
para no aceptar las contradicciones.
3.2 El metodo. De la no aceptacion
de las contradicciones nos hemos provisto de un
metodo para demostrar que una proposicion
es verdadera; es decir, que tal proposicion
puede ser deducida de otras proposiciones.

En efecto, supongamos que queremos demostrar que una proposicion
P es verdadera.
Para ello, supongamos, por un momento, que no lo es. Esto significa que la proposicion
P debe ser falsa; es decir, que la proposicion

P debe ser verdadera. Si a partir de esta
proposicion
y, quizas de otras proposiciones verdaderas, deducimos una contradiccion,
entonces debemos rechazar esa contradiccion,

y ello implica rechazar aquella proposicion
de donde se dedujo la contradiccion.

Esa proposicion
es, precisamente, P. Rechazar esta
proposicion
significa aceptar que es falsa; es decir, debemos aceptar que la proposicion
P
es verdadera.
Podemos resumir en los siguientes pasos el metodo de reduccion
al absurdo:
1. Queremos demostrar que la proposicion
P es verdadera.
2. Suponemos que P no es verdadera; es decir, suponemos que P es falsa.
3. Del paso anterior, concluimos que P es verdadera.
4. De la proposicion
P y, quizas, de otras proposiciones verdaderas, deducimos una
contradiccion;
es decir, una proposicion
de la forma Q Q.
5. La deduccion
de la contradiccion
significa que la proposicion
P es falsa; por lo tanto,
la proposicion
P es verdadera.
3.3 Ejemplo. Demostremos por reduccion
al absurdo que el razonamiento
PQ
Q
(1.5)
es valido.
Demostracion. Debemos demostrar que la implicacion
que tiene como antecedente la premisa del razonamiento y como consecuente la conclusion
es una tautologa ; es decir, debemos
demostrar que la proposicion
( P Q) Q
(1.6)
es siempre verdadera.
Supongamos lo contrario; es decir, supongamos que la implicacion
(1.6) no es una tautologa. Esto significa que, existen valores de verdad para P y para Q, respectivamente,
para los cuales la implicacion
(1.6) no es verdadera.
: 0.310
V ERSI ON
2011 - D IC - 07
9 de 117
Para esos valores de verdad de P y de Q, por la definicion

de implicacion,
el antecedente de (1.6) debe ser verdadero y el consecuente, falso; es decir, el valor de verdad de la
conjuncion
P Q es verdadero y el de Q es falso.
Ahora bien, si la conjuncion
P Q es verdadera, por la definicion
de conjuncion,
el
valor de verdad, tanto de P como de Q, debe ser verdadero; es decir, el valor de verdad de
Q debe ser verdadero.
Sin embargo, hemos demostrado antes que el valor de verdad de Q es falso. Esto significa que el valor de verdad de Q no es verdadero.
En resumen, hemos deducido que de que la implicacion
(1.6) no es una tautologa, que el
valor de verdad de Q es verdadero y no lo es; es decir, hemos deducido una contradiccion.
Por lo tanto, no aceptamos que la implicacion

(1.6) no sea una tautologa; es, entonces, una
tautologa.
3.4 Ejemplo. Mediante el uso de una tabla de verdad, se probo que la proposicion
(1.2) de
la pagina 8 es una tautologa . Probemos lo mismo, pero utilicemos el metodo de reduccion
al absurdo esta vez.

Antes de empezar, introduzcamos la notacion
siguiente: si P es una proposicion,
el
smbolo v( P) representara el valor de verdad de P.
Demostracion. Supongamos que la implicacion
[( P Q) P] Q no es una tautologa.
Existiran, entonces, valores de verdad para P y Q para los cuales esta implicacion
no sera
verdadera. Y, puesto que una implicacion
es falsa unicamente
cuando el antecedente es
verdadero y el consecuente es falso, colegiramos que
v([ P Q] P) = v y
v( Q) = f.
Por otro lado, de la definicion

de conjuncion
que es verdadera unicamente
cuando las
dos proposiciones son verdaderas aseguraramos que
v( P Q) = v
v( P) = v.
Nuevamente, de la definicion
de implicacion,
como el valor de verdad de P sera verdadero
y el de Q, falso, el valor de verdad de la implicacion
P Q sera falso.
En resumen, hemos deducido que
v( P Q) = v
v( P Q) = f,
lo que es una contradiccion,

por lo cual aceptamos que la implicacion
[( P Q) P] Q
s es una tautologa.
4 Reglas de inferencia. A continuacion
se presenta una tabla de las reglas de inferencia mas utilizadas. Se utilizan las siguientes abreviaciones: S para silogismo, R para
reduccion,
D para negacion,
I para introduccion
y E para eliminacion.
10 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
I DENTIDAD [ID]
P
P
S. H IPOT E TICO [SH]
PQ
QR
PR
[IC]
I. C ONJUNCI ON
P
Q
PQ
[ID]
I. D ISYUNCI ON
P
QP
[D]
D EDUCCI ON
M ODUS P ONENS [MP]
P
..
.
PQ
P
Q
Q
PQ
R. AL ABSURDO [RA]
D.
P
..
.
[DN]
NEGACI ON
P
P
Q Q
P
[EC]
E. C ONJUNCI ON
[EC]
E. C ONJUNCI ON
PQ
Q
PQ
P
S. D ISYUNTIVO [SD]
S. D ISYUNTIVO [SD]
PQ
P
Q
PQ
Q
P
M ODUS T OLLENS [MT]
PQ
Q
P
[C]
C ONTRAPOSICI ON
PQ
Q P
[ID]
I. D ISYUNCI ON
P
PQ
D ILEMA [D]
PQ
PR
QR
R
La siguiente tabla contiene equivalencias logicas
que pueden ser expresadas como un

par de reglas de inferencia; as, el esquema
P
(1.7)
Q
abrevia las siguientes reglas de inferencia:
P
Q
Q
P
En otras palabras, el esquema (1.7) indica que Q se deduce de P y que P se deduce de Q.

[DI]
D E . I MPLICACI ON
PQ
P Q
[C]
C ONTRAPOSICI ON
D E M ORGAN [NC]
( P Q)
P Q
D E M ORGAN [ND]
( P Q)
P Q
C ONMUTATIVA C. [CC]
[DN]
D. N EGACI ON
P
P
C ONMUTATIVA D. [CD]
PQ
PQ
PQ
Q P
QP
QP
Para esta tabla, las abreviaciones son: DE para definicion,
D para doble; NC
y ND en las leyes de De Morgan abrevian negacion
de la conjuncion
y negacion
de
la disyuncion,
respectivamente; en la conmutativas, C para conjuncion
y D para
disyuncion.
5 Principio de sustitucion
por equivalentes. La mayor importancia de una equivalencia
consiste en que en cualquier formula
en la que aparezca una proposicion,

e sta puede ser
: 0.310
V ERSI ON
2011 - D IC - 07
11 de 117
sustituida por otra proposicion

equivalente, la formula
obtenida tras la sustitucion

tendra el
mismo valor de verdad que la formula
original. De manera mas precisa, el siguiente enunciado es conocido como el Principio de sustitucion por equivalentes:
Sea ( P1, P2 , . . . , Pn ) una proposicion que contiene a las proposiciones P1 , P2 , . . . , Pn .
Si Q1 , Q2 , . . . , Qn son proposiciones tales que P1 Q1 , P2 Q2 , . . . , Pn Qn ,
entonces
( Q1 , Q2 , . . . , Qn ) ( P1, P2 , . . . , Pn )
donde ( Q1 , Q2, . . . , Qn ) es la proposicion obtenida a partir de ( P1, P2 , . . . , Pn ) al
sustituir cada Pj por Q j , respectivamente.
Por ejemplo, por la aplicacion
de este principio, podemos afirmar que
( P Q) ( P Q) ( P Q) ( P Q).
En efecto, basta aplicar el principio con P1 : P; P2 : P Q y
( P1 , P2 ) : ( P1 Q) P2 .
Ademas, Q1 : P y Q2 : ( P Q). Entonces
P1 Q1 ,
P2 Q2
( Q1 , Q2 ) : ( Q1 Q ) Q2 ;
por lo tanto:
( P1, P2 ) ( Q1 , Q2 ).
6 Predicados. Un enunciado P que depende de una variable x suele llamarse predicado de
una variable. Para indicar la dependencia con la variable, se usa la notacion
P ( x ).
Si un enunciado P depende de dos variables x, y suele llamarse predicado de dos variables.
Para indicar la dependencia con las dos variables, se utiliza la notacion
P( x, y).
7
Cuantificadores. La proposicion
P( x ) es verdadera para todo x
se representa por
( x ) P( x ).
Al smbolo se lo conoce con el nombre de cuantificador universal.
La proposicion
P( x ) es verdadera para algun

x
se representa por
( x ) P( x ).
Al smbolo se lo conoce con el nombre de cuantificador existencial.
Si el predicado P( x ) no depende de la variable y, entonces se tienen las siguientes equivalencias logicas:
( x ) P( x ) (y) P(y) y ( x ) P( x ) (y) P(y).
12 de 117
: 0.310
V ERSI ON
(1.8)
2011 - D IC - 07
Propiedades basicas de los cuantificadores.
1. Si fuera falso que el enunciado P( x ) sea verdadero para todo x, entonces existira algun
x (al menos uno) para el cual la proposicion

P( x ) sea falsa, y recprocamente.
2. Tambien ocurre que si fuera falso que P( x ) sea verdadero para algun
x, entonces P( x )
sera falso para todo x, y recprocamente.
Estas dos principios se expresan como equivalencias logicas
en el siguiente teorema.
T EOREMA 1.1 (Negacion).
Sea P un predicado de una variable. Se tiene las siguientes equivalencias logicas:
1. ( x ) P( x ) ( x )( P)( x ).
2. ( x ) P( x ) ( x )( P)( x ).
Los cuantificadores tambien satisfacen la siguiente propiedad de intercambio.

T EOREMA 1.2 (Intercambio). Si P es un predicado de dos variables, se tiene las siguientes
equivalencias logicas:
1. ( x )(y) P( x, y) (y)( x ) P( x, y).
2. ( x )(y) P( x, y) (y)( x ) P( x, y).
T EOREMA 1.3. Sean P( x ) un predicado de una variable y Q un predicado que no depende

de la variable x. Entonces se tiene las siguientes equivalencias logicas:
1. ( x )[ Q P( x )] Q ( x )[ P( x )].
2. ( x )[ Q P( x )] Q ( x )[ P( x )].
9 Reglas de inferencia para predicados. Se utiliza I para Introduccion,
E para
Eliminacion,
P para Particularizacion,
G para Generalizacion,
EU para Eliminacion
del cuantificador universal, IU para Introduccion
del cuantificador universal, EE para Eliminacion
del cuantificador existencial y IE para Introduccion
del
cuantificador existencial.
P. U NIVERSAL [EU]
( x ) P( x )
P( a)
G. U NIVERSAL [IU]
P( a)
( x ) P( x )
P. E XISTENCIAL [EE]
( x ) P( x )
P( a)
G. E XISTENCIAL [IE]
P( a)
( x ) P( x )
Es necesario aclarar el papel de a en cada una de las reglas.

1. Particularizacion
universal, tambien llamada eliminacion del cuantificador universal.
Esta regla afirma que de la proposicion
( x ) P( x ), se deduce la proposicion
P( a), cualquiera que sea a.
2. Generalizacion
universal, tambien llamada introduccion del cuantificador universal. Esta regla afirma que de la proposicion
P(a) es verdadera para cualquier a, se deduce
la proposicion
( x ) P( x ).
3. Particularizacion
existencial, tambien denominada eliminacion del cuantificador existencial. Esta regla afirma que de la proposicion
( x ) P( x ), se deduce hay algun
a para
el cual la proposicion
P( a) es verdadera.
4. Generalizacion
existencial, tambien denominada introduccion del cuantificador existencial. Esta regla afirma que si la proposicion
P(a) es verdadera para algun
a, la
proposicion
( x ) P( x ) es verdadera.
: 0.310
V ERSI ON
2011 - D IC - 07
13 de 117
Captulo 2
Teora de conjuntos
1
Nociones no definidas. Hay dos: clase y pertenencia.
1.1 Todos los objetos que estudia la teora de conjuntos son clases. Utilizaremos las letras
mayusculas
del alfabeto espanol

para representar una clase: A, B, C, etcetera.
1.2 La pertenencia es una relacion
entre dos clases representada por el smbolo . Si A y B
representan clases, se escribira A B para indicar la proposicion
la clase A pertenece a la clase B;

en otras palabras, la expresion
A B representa una proposicion.
La negacion
de la proposicion
A B se escribira A 6 B y leera la clase A no pertenece
a la clase B. Entonces, se verifica que
A 6 B ( A B).
La proposicion
A B tambien sera leda como la clase A esta en la clase B o la clase
A es elemento de la clase B.
2
Conjunto
2.1 (Conjunto). Una clase A es un conjunto si hay una clase B de la cual A es

D EFINICI ON
elemento; es decir, si A B.
De la definicion
de conjunto se desprende que todo conjunto es una clase. Sin embargo,
como se probara mas adelante, hay clases que no son conjuntos. A esas clases se las denomina clases propias. Dicho de otro modo, una clase A es una clase propia si A 6 B para toda
clase B.
Se utilizaran letras minusculas
del alfabeto espanol

a, b, c, etcetera para representar
conjuntos unicamente;
las letras mayusculas
podran representar tanto clases propias como

conjuntos.
3
Igualdad de clases. Es una relacion

entre dos clases.
2.2 (Igualdad). Sean A y B dos clases. Se escribe A = B para abreviar la

D EFINICI ON
proposicion:
x A x B.
14
La proposicion
A = B se lee: la clase A es igual a la clase B.
De la definicion
de doble implicacion,
se tiene que
A = B ( x A x B ) ( x B x A ).
(2.1)
Se escribe A 6= B para abreviar ( A = B).

T EOREMA 2.1 (Reflexiva de la igualdad). Para toda clase A, la proposicion
A=A
es verdadera.
Demostracion. Sea A una clase. Debemos demostrar que A = A es una proposicion
verdadera; es
decir, debemos demostrar que la proposicion
( x A x A)
(2.2)
es verdadera; y para ello, de la definicion

debemos demostrar que las proposiciones x A y x A tienen el mismo valor de verdad, lo cual es cierto, pues son una misma
proposicion.
Por lo tanto, la proposicion
(2.2) es verdadera, que es lo que se quera demostrar.
T EOREMA 2.2 (Simetrica de la igualdad). Para toda clase A y toda clase B, si la proposicion
A = B es verdadera, entonces tambien es verdadera la proposicion
B = A. En otras
palabras, la proposicion
A=B B=A
es verdadera.
Demostracion. Sean A y B clases. Supongamos que la proposicion
A = B es verdadera; debemos
demostrar que la proposicion
B = A es verdadera. Para ello, debemos probar que la proposicion
( x B x A)
(2.3)
es verdadera; es decir, debemos demostrar que las proposiciones x B y x A tienen el mismo valor
de verdad.
De la hipotesis,
sabemos que A = B es verdadera; entonces, es verdadera la proposicion
( x A x B ),
(2.4)
de donde, junto con (2.4) y la definicion

las proposiciones x A y x B tienen
el mismo valor de verdad; es decir, las proposiciones x B y x A tienen el mismo valor de verdad,
como se quera demostrar.
Para la demostracion
del siguiente teorema, utilizaremos la siguiente regla de inferencia, denominada Transitiva de la doble implicacion:
PQ
QR
P R.
La demostracion
de la validez de esta regla es sencilla, por lo que se la deja de ejercicio.
: 0.310
V ERSI ON
2011 - D IC - 07
15 de 117
T EOREMA 2.3 (Transitiva de la igualdad). Para toda clase A, toda clase B y toda clase C,
si son verdaderas las proposiciones A = B y B = C, entonces tambien es verdadera la
proposicion
A = C. En otras palabras, la proposicion
( A = B B = C) A = C
es verdadera.
Demostracion. Sean A, B y C clases. Supongamos que la proposicion
A=B B=C
(2.5)
es verdadera. Debemos demostrar que A = C es una proposicion

verdadera; es decir, debemos probar
que la proposicion
x A x C.
(2.6)
A = B es
Por la aplicacion
de la eliminacion
de la conjuncion
a (2.5), tenemos que la proposicion
verdadera; es decir, que la proposicion
xAxB
(2.7)
es verdadera. Y por la aplicacion

de la eliminacion
de la conjuncion
una vez mas a la proposicion
(2.5),
obtenemos que la proposicion
B = C es verdadera; es decir, que la proposicion
xBxC
(2.8)
tambien es verdadera. Por lo tanto, por la regla de inferencia Transitiva de la doble implicacion aplicada
a (2.7) y a (2.8), podemos concluir que la proposicion
(2.6) es verdadera, como se quera demostrar.
T EOREMA 2.4 (Caracterizacion

de la igualdad). Para todo clase A y toda clase B, las proposiciones
( A = B x A) x B y ( A = B x B) x A
son verdaderas.
Demostracion. Demostraremos unicamente
la primera proposicion;
la segunda se demuestra de manera similar.
Sean A y B clases. Supongamos que la proposicion
A = Bx A
(2.9)
es verdadera. Debemos demostrar que la proposicion
xB
tambien es verdadera.
Por la aplicacion
de la eliminacion
de la conjuncion
dos veces a (2.9), sabemos que ambas proposiciones
A=B y xA
son verdaderas; luego, por la definicion
de igualdad de clases y el principio de sustitucion
por equivalentes, las dos proposiciones
xAxB y xA
son verdaderas. Entonces, por la definicion
la proposicion
x B tambien es
verdadera, como se quera demostrar.
16 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
2.3 (Subclase). Sean A y B dos clases. Se escribe A B para abreviar la

D EFINICI ON
proposicion:
x A x B.
La proposicion
A B se lee: A es subclase de B.
Se tiene, entonces, que:
A B x A x B.
(2.10)
2.4 (Subclase estricta). Sean A y B dos clases. Se escribe A B para abreviar

D EFINICI ON
la proposicion:
A B A 6= B.
Se tiene, entonces, que:
A B A B A 6= B.
(2.11)
T EOREMA 2.5 (Antisimetrica de las subclases). Para toda clase A y toda clase B, la proposicion
( A B B A) A = B.
AB BA
(2.12)
es verdadera. Vamos a probar que la proposicion

A = B es verdadera; es decir, vamos a probar que
la proposicion
xAxB
es verdadera.
Por la eliminacion
de la conjuncion
aplicada a la proposicion
(2.12) dos veces, obtenemos que
ambas proposiciones
AB y BA
son verdaderas, de donde, por la definicion
de subclase, concluimos que las dos proposiciones
xAxB
xBxA
(2.13)
son verdaderas. Por lo tanto, por la introduccion

a la conjuncion
aplicada a las dos proposiciones
de (2.13), obtenemos que es verdadera la proposicion
( x A x B ) ( x B x A ),
de donde concluimos que la proposicion
xAxB
es verdadera, como se quera demostrar.
T EOREMA 2.6. Para toda clase A y toda clase B, la proposicion
A = B ( A B B A)
es verdadera.
: 0.310
V ERSI ON
2011 - D IC - 07
17 de 117
A = B.
(2.14)
Vamos a demostrar que la conjuncion
AB BA
es verdadera, para lo cual, por la introduccion
de la conjuncion
y la definicion
de subclase, vamos a
demostrar que las dos proposiciones siguientes son verdaderas:
xAxB
xBxA
son verdaderas.
De (2.14) y de la definicion
de igualdad, tenemos que la proposicion
xA xB
es verdadera, por lo que, es verdadera tambien la proposicion
( x A x B) ( x B x A)
es verdadera; es decir, gracias a la eliminacion
de la conjuncion
tenemos que las proposiciones
xAxB
xBxA
son verdaderas, como se quera probar.
De los teoremas 2.5 y 2.6, obtenemos el corolario siguiente.

C OROLARIO 2.1. Para toda clase A y toda clase B, se tiene que
A = B A B B A.
T EOREMA 2.7 (Reflexiva de las subclases). Para toda clase A, la proposicion
AA
es verdadera.
Demostracion. Sea A una clase. Debemos demostrar que la proposicion
AA
es verdadera; es decir, debemos probar que la proposicion
xAxA
es verdadera, lo que es cierto por la definicion
de implicacion.
T EOREMA 2.8 (Transitiva de las subclases). Para toda clase A, toda clase B y toda clase C,
la proposicion
A BB C A C
es verdadera.
18 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
Demostracion. Sean A, B y C clases. Debemos probar que la proposicion
A BB C A C
(2.15)
es verdadera. Pero esta proposicion,

por la definicion
de subclase y el principio de sustitucion
por
equivalentes, es equivalente logicamente
a la siguiente:
[( x A x B ) ( x B x C )] ( x A x C ),
proposicion
que es verdadera, pues es la proposicion
asociada al razonamiento valido silogismo hipotetico
PQ
QR
PR
(P es x A; Q es x B y R es x C). Por lo tanto, la proposicion
(2.15) tambien es verdadera, como
se quera demostrar.

de las subclases). Para toda clase A y toda clase B, la proposicion
( A B x A) x B
es verdadera.
A Bx A
(2.16)
es verdadera. Debemos probar que la proposicion

x B tambien lo es.
De (2.16) y la eliminacion
de la conjuncion
(aplicada dos veces), tenemos que ambas proposiciones
AB
xA
son verdaderas; es decir, son verdaderas las dos proposiciones siguientes:

xAxB
x A,
de donde, por el Modus Ponens aplicada a estas dos proposiciones, concluimos que la proposicion
x B es verdadera, como se quera.
T EOREMA 2.10. Para toda clase A y toda clase B, se verifica que A 6= B si y solo o bien
existe x A tal que x 6 B, o bien existe x B tal que x 6 A.
Demostracion. Sean A y B clases. El teorema afirma que
A 6 = B ( x A x 6 B ) ( x B x 6 A ).
Y esto se demuestra a partir de la siguiente equivalencia logica:
( P Q) ( P Q) ( Q P ).
(2.17)
En efecto, por el principio de sustitucion

por equivalentes y la definicion
de igualdad, tenemos
que
A 6= B ( x A x B ),
(2.18)
y por la equivalencia logica
(2.17), a su vez tenemos que
( x A x B ) [ x A ( x B )] [ x B ( x A)],
: 0.310
V ERSI ON
2011 - D IC - 07
19 de 117
que junto con (2.18), nos permite concluir que

A 6= B [ x A ( x B )] [ x B ( x A)],
es decir:
A 6 = B ( x A x 6 B ) ( x B x 6 A ),
que es lo que se quera demostrar.
T EOREMA 2.11. Sean A y B dos clases tales que A es subclase estricta de B. Entonces existe
un conjunto que pertenece a la clase B pero no pertenece a la clase A.
Demostracion. Supongamos que A B. Debemos demostrar que existe un conjunto x tal que x B y
x 6 A.
De la hipotesis
A B, por (2.11), sabemos que

A B A 6= B.
(2.19)
Luego, por la eliminacion

de la conjuncion
aplicada dos veces a esta proposicion,
obtenemos que la
proposicion
A 6= B.
(2.20)
y que la proposicion
AB
(2.21)
tambien es verdadera.
Por el teorema 2.10, de (2.20), obtenemos que la proposicion
( x A x 6 B) ( x B x 6 A)
es verdadera. De modo que, por la definicion
de disyuncion,
una o las dos proposiciones siguientes
son verdaderas:
x A x 6 B y x B x 6 A.
(2.22)
Pero la primera de ellas, es decir, x A x 6 B, no puede ser verdadera, porque, de serlo, por la
definicion
de conjuncion,
las proposiciones
xA
x 6 B
seran, ambas, verdaderas; es decir, x A sera verdadera y x B sera falsa, de donde, la implicacion
xAxB
sera una proposicion
falsa, por lo que la proposicion
(2.21) sera una proposicion
falsa; pero no lo
es. Por lo tanto, la primera proposicion
en (2.22) es falsa. Luego, por la definicion
de disyuncion,
la segunda proposicion
de (2.22), x B x 6 A, es verdadera necesariamente. En otras palabras,
existe un conjunto x que pertenece a la clase B pero que no pertenece a la clase A, como se quera
demostrar.
Axioma de extension.
A XIOMA 1 (Extension).
Si X = Y y X A, entonces Y A.
Axioma de construccion
de clases.
20 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
A XIOMA 2 (Construccion
de clases). Designemos con P( x ) una proposicion
acerca de x
que pueda ser expresada, enteramente, en terminos de: el smbolo , las conectivas logicas,
los cuantificadores, delimitadores, variables de conjunto y variables de clase. Entonces,

existe la clase, representada por
{ x : P( x )},
tal que
u { x : P( x )} P(u).
(2.23)
La equivalencia logica
(2.23) expresa el hecho de que la clase { x : P( x )} es la clase que

consiste de todos los conjuntos x que satisfacen P( x ).
T EOREMA 2.12.
{ x : P( x )} = {y : P(y)} .
Demostracion. Debemos demostrar que
u { x : P ( x )} u {y : P (y)},
lo que es verdadero, pues:
u { x : P ( x )} P (u )
u {y : P (y)}.
5.1 La clase universal. Sea P( x ) : x = x. Puesto que x = x es la abreviacion

para
u x u x,
el axioma de construccion
de clases puede ser aplicado a la proposicion
P( x ). En otras
palabras, este axioma nos garantiza la existencia de la clase de todos los conjuntos x tales
que x = x; es decir, existe la clase
{x : x = x} .
2.5 (Clase universal). La clase { x : x = x } se denomina clase universal y es
D EFINICI ON
representada por U . Por lo tanto:
U = {x : x = x} .
De la definicion
de U se tiene que:
z U z = z.
(2.24)
Hemos demostrado que para toda clase A, A = A (teorema 2.1). Por lo tanto, todo
conjunto z pertenece a la clase universal; de all, su nombre y el siguiente teorema.
T EOREMA 2.13 (Clase universal). Para todo conjunto a, la proposicion
aU
es verdadera.
Demostracion. Sea a un conjunto. Debemos demostrar que la proposicion
a U es verdadera; es
decir, debemos probar que la proposicion
a = a es verdadera. Pero esta proposicion
es verdadera
: 0.310
V ERSI ON
2011 - D IC - 07
21 de 117
como se demostro en el teorema 2.1. Por lo tanto, la proposicion

a U es verdadera, como se quera
demostrar.
5.2 La clase vaca. Sea P( x ) : x 6= x. Puesto que x 6= x es la abreviacion

de ( x = x ), el
axioma de construccion
de clases puede ser aplicado a la proposicion
P( x ). De modo que
este axioma nos garantiza la existencia de la clase de todos los conjuntos x tales que x 6= x;
es decir, existe la clase
{ x : x 6= x } .
2.6 (Clase vaca). La clase { x : x 6= x } se denomina clase vaca y es represenD EFINICI ON
tada por . Por lo tanto:
= { x : x 6= x } .
De la definicion
de se tiene que:
z z 6= z.
(2.25)
Sabemos que z 6= z es falso; por lo tanto, ningun

conjunto pertenece a la clase vaca; de
all, su nombre y el siguiente teorema.
T EOREMA 2.14 (Clase vaca). Para todo conjunto a, la proposicion
a 6
es verdadera. O, dicho de otro modo, la proposicion
a
es falsa.
Vamos a presentar dos demostraciones. La primera directa; la segunda, utilizaremos el
metodo de reduccion
al absurdo.
Demostracion directa. Sea a un conjunto. Debemos demostrar que la proposicion
a 6 es verdadera;
es decir, debemos demostrar que la proposicion
( a )
es verdadera; es decir, debemos demostrar que la proposicion
a
es falsa. De la definicion
de clase vaca, debemos demostrar, entonces, que la proposicion
a 6= a
es falsa; es decir, que la proposicion
( a = a)
es falsa. Por lo tanto, lo que debemos demostrar es que la proposicion
a=a
es verdadera, lo cual ya ha sido realizado en el teorema 2.1.
22 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
Demostracion por reduccion al absurdo. Sea a un conjunto. Vamos a probar que la proposicion
a 6
es verdadera.
Supongamos lo contrario; es decir, supongamos que la proposicion
a 6 es falsa. Entonces, la
proposicion
a es verdadera, de donde, por la definicion
de la clase vaca, la proposicion
a 6= a es
verdadera; es decir, la proposicion
( a = a)
(2.26)
es verdadera. Sin embargo, por el teorema 2.1, sabemos que la proposicion
a=a
(2.27)
es verdadera. Por lo tanto, por la introduccion

de la conjuncion
aplicada a las proposiciones (2.19) y
(2.27), la proposicion
[( a = a) a = a]
debera ser verdadera, pero es una contradiccion;
es decir, es falsa. Esto significa que lo supuesto es
falso; es decir, la proposicion
a es falsa; por lo tanto, la proposicion
a 6 es verdadera, como se
quera demostrar.
T EOREMA 2.15. Para toda clase A, la proposicion
A
es verdadera.
x xA
(2.28)
es verdadera, lo que es cierto, pues el antecedente de esta implicacion

es una proposicion
falsa (por
el teorema 2.14), de donde, por la definicion
de implicacion,
la proposicion
(2.28) es verdadera.
Es posible otra demostracion
del teorema. En efecto, en lugar de demostrar que la proposicion
(2.28) es verdadera, probaremos que la contra-positiva a e sta, la proposicion
x 6 A x 6 ,
es verdadera. Pero esto es as, pues el consecuente de esta implicacion
es una proposicion
verdadera,
como lo establece el teorema 2.14.
T EOREMA 2.16. Para toda clase A, la proposicion
AU
es verdadera.
A U es verdadera; es decir,
debemos demostrar que la proposicion
xAxU
es verdadera, lo cual es as, pues, por el teorema 2.13, el consecuente de esta implicacion
es una
proposicion
verdadera, de donde, por la definicion
de implicacion,
hace que e sta sea una proposicion
verdadera, como se quera demostrar.
: 0.310
V ERSI ON
2011 - D IC - 07
23 de 117
5.3 La clase union.

Sean A y B clases, y P( x ) : x A x B. Por el axioma de construccion
de clases, aplicado a la propiedad P, existe la clase de todos los conjuntos x tales que
x pertenece a la clase A o a la clase B (o a ambas).
2.7 (Union
D EFINICI ON
de clases). Sean A y B clases. La clase { x : x A x B} se denomina union de las clases A y B, y es representada por A B. Por lo tanto:
A B = {x : x A x B} .
De la definicion
de la union
de clases, se tiene que:
z A B z A z B.
(2.29)
5.4 La clase interseccion.
Sean A y B clases, y P( x ) : x A x B. Por el axioma de

construccion
de clases, aplicado a la propiedad P, existe la clase de todos los conjuntos x
tales que x pertenece tanto a la clase A como a la clase B.
2.8 (Interseccion
D EFINICI ON
de clases). Sean A y B clases. La clase { x : x A x B} se
denomina interseccion de las clases A y B, y es representada por A B. Por lo tanto:
A B = {x : x A x B} .
De la definicion
de la interseccion
de clases, se tiene que:
z A B z A z B.
(2.30)
5.5 La clase diferencia. Sean A y B clases, y P( x ) : x A x 6 B. Por el axioma de

construccion
de clases, aplicado a la propiedad P, existe la clase de todos los conjuntos x
tales que x pertenece a la clase A, pero no a la clase B.
2.9 (Diferencia de clases). Sean A y B clases. La clase { x : x A x 6 B} se
D EFINICI ON
denomina diferencia de las clases A y B, y es representada por A B. Por lo tanto:
A B = { x : x A x 6 B} .
De la definicion
de la diferencia de clases, se tiene que:
z A B z A z 6 B.
(2.31)
5.6 La clase complemento. Sean A una clase y P( x ) : x 6 A. Por el axioma de construccion

de clases, aplicado a la propiedad P, existe la clase de todos los conjuntos x tales que
x no pertenece a la clase A.
2.10 (Complemento de una clase). Sea A una clase. La clase { x : x 6 A} se
D EFINICI ON
denomina complemento de la clase A, y es representada por A . Por lo tanto:
A = { x : x 6 A} .
De la definicion
del complemento de una clase, se tiene que:
z A z 6 A.
24 de 117
: 0.310
V ERSI ON
(2.32)
2011 - D IC - 07
T EOREMA 2.17 (La diferencia de clases). Para toda clase A y toda clase B, se verifica que
A B = A B .
Demostracion. Por la definicion
de igualdad de clases, hay que demostrar que se verifica la siguiente
equivalencia logica:
x A B x A B .
Entonces, de las definiciones de diferencia e interseccion
y complemento, y el principio de sustitucion
por equivalentes, lo que hay que probar es que se cumple la equivalencia logica
siguiente:
x A x 6 B x A x 6 B,
lo que es cierto, pues toda proposicion
es equivalente logicamente
a s misma.
5.7 Ejercicio. Supongamos que las proposiciones A B y C D son verdaderas. Probemos que la proposicion
( A C) ( B D)
es verdadera.
Demostracion. Supongamos que las proposiciones
AB
CD
(2.33)
son verdaderas. Debemos demostrar que la proposicion
( A C) (B D)
es verdadera.
Para ello, debemos demostrar que la proposicion
x AC x BD
es verdadera, para lo cual, supongamos que la proposicion
x A C es verdadera. Debemos probar
que la proposicion
x B D tambien lo es; es decir, por la definicion
de union,
debemos demostrar
que la proposicion
x B x D
(2.34)
es verdadera.
De x A C, por la definicion
de union,
tenemos que la proposicion
x A x C
(2.35)
es verdadera. Por la definicion

de disyuncion,
hay dos casos posibles.
1. Caso 1. La proposicion
x A es verdadera. De esta hipotesis,
de la primera proposicion
de (2.33),
A B, y del teorema 2.9, obtenemos que la proposicion
xB
(2.36)
es verdadera. Por lo tanto, por la introduccion

de la disyuncion
aplicada a (2.36), concluimos que
la proposicion
x B x D
es verdadera; es decir, la proposicion
: 0.310
V ERSI ON
2011 - D IC - 07
25 de 117
2. Caso 2. La proposicion
x C es verdadera. De esta hipotesis,
de C D y de la definicion
de
subclase, obtenemos que la proposicion
siguiente es verdadera:
x D.
(2.37)
Entonces, por la introduccion

de la disyuncion
aplicada a (2.37), concluimos que la proposicion
x B x D,
que es (2.34), es verdadera.
En resumen, en cada uno de los casos hemos demostrado, respectivamente, que las implicaciones
siguientes:
x A ( x B x D ),
(2.38a)
x C ( x B x D ),
(2.38b)
son verdaderas. Por lo tanto, si aplicamos el dilema a las proposiciones (2.35), (2.38a) y (2.38b), obtenemos que es verdadera la proposicion
x B x D,
y esto es lo que queramos demostrar.
6 La redaccion
de las demostraciones. De aqu en adelante vamos a simplificar la escritura de las demostraciones de los teoremas de la siguiente manera.
1. En lugar de decir:
la proposicion P es verdadera,
diremos:
se tiene P
P se cumple.
hay que demostrar que la proposicion P es verdadera,
diremos:
hay que demostrar P
o se cumple P.
supongamos que P es verdadera,
diremos:
supongamos P.
supongamos que x A es verdadera,
diremos:
sea x A.
26 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
5. Cuando hay que demostrar que la proposicion
AB
es verdadera, omitiremos el hecho de que esta proposicion,
por la definicion
de subclase, es equivalente a la implicacion
x A x B,
y pasaremos directamente a suponer que x A, o a decir: sea x A, y, a continuacion,
indicar que hay que demostrar que x B.

Para ejemplificar estas convenciones, demostraremos el teorema 2.18 de dos maneras:
con y sin las convenciones indicadas.
7
Algebra
de clases
T EOREMA 2.18. Si A y B son clases. Entonces

A AB
B A B.
Demostracion. Sin el uso de las convenciones indicadas, el enunciado de este teorema debera decir
que las proposiciones A A B y B A B son verdaderas. Vamos a demostrar unicamente
la
primera proposicion;
la otra queda como ejercicio para el lector.
Para demostrar que la proposicion
A A B es verdadera, por la definicion
de subclase, debemos demostrar que la proposicion
x A x AB
es verdadera; es decir, por la definicion
de union
y el principio de sustitucion
por equivalentes, debemos probar que es verdadera la proposicion
x A x A x B,
lo que es as, efectivamente, por la introduccion
de la disyuncion.
Ahora vease la version

en la que se utilizan las convenciones indicadas. Puede observarse que la extension
de esta segunda demostracion
es mas pequena
que la de la primera
demostracion.
Demostracion. Supongamos que

x A;
(2.39)
debemos probar que x A B; es decir, por la definicion

de union,
hay que demostrar
x A x B.
Pero esto es as, si se aplica la introduccion
de la disyuncion
a esta (2.39).

AB A
: 0.310
V ERSI ON
A B B.
2011 - D IC - 07
27 de 117
Demostracion. Vamos a demostrar unicamente
la segunda proposicion;
la primera queda como ejercicio para el lector. Sea x A B; hay que demostrar que x B.
De la hipotesis
y de la definicion
de interseccion,
se tiene que
x A x B.
Entonces, por la eliminacion
de la conjuncion
aplicada a esta proposicion,
se obtiene que x B, que
es lo que se quera demostrar.

AB
si y solo si
A B = A.
Demostracion. Hay que demostrar que dos implicaciones son verdaderas. La primera:
A B A B = A.
La segunda:
A B = A A B.
1. Supongamos que
A B;
(2.40)
vamos a demostrar que A B = A. Para ello, por la propiedad antisimetrica de la relacion

de
subclase entre clases (vease teorema 2.5), es suficiente demostrar
A B A A A B.
(2.41)
A su vez, por la introduccion

de la conjuncion,
es suficiente demostrar que cada una de las proposiciones
AB A y A AB
(2.42)
es verdadera.
La primera ha sido ya demostrada en el teorema (2.19). Probemos la segunda. Para ello, supongamos que
x A.
(2.43)
Vamos a demostrar que x A B; es decir, probaremos que x A x B.
Por la definicion
de subclase aplicada a (2.43) y(2.40), tenemos que x B; de donde, si aplicamos la introduccion
de la conjuncion
a esta ultima
proposicion
y a (2.43), obtenemos
x A x B,
que es lo que queramos demostrar.
2. Supongamos que
A B = A;
(2.44)
vamos a demostrar que A B. Para ello, supongamos que la proposicion
xA
(2.45)
es verdadera. Probemos que x B. Pero esta proposicion

es verdadera como lo podemos constatar
al aplicar la definicion
de igualdad de clases a (2.45) y (2.44).

AB
28 de 117
si y solo si
A B = B.
: 0.310
V ERSI ON
2011 - D IC - 07
Demostracion. Ejercicio.
T EOREMA 2.22 (Conmutativas de la union

y la interseccion).
Si A y B son clases. Entonces

AB = BA
A B = B A.
Demostracion. Demostremos unicamente
la primera; la otra queda como ejercicio para el lector. Por

la definicion
de igualdad de clases, lo que hay que demostrar es
x A B x B A.
Ahora bien, por el principio de sustitucion
por equivalentes y la definicion
de union,
lo que se debe
demostrar es
x A x B x B x A.
Pero esta equivalencia es nada mas y nada menos que la propiedad conmutativa de la disyuncion,
que es verdadera, lo que prueba que la union

de clases es conmutativa.
T EOREMA 2.23 (Leyes de Absorcion).

A ( A B) = A
A ( A B) = A.
Demostracion. Probaremos unicamente
la primera igualdad. Por el teorema 2.19, tenemos que

A B A,
que, junto con el teorema 2.21, podemos concluir que
( A B) A = A
(2.46)
es verdadera. Finalmente, como la interseccion

de clases es conmutativa (vease el teorema 2.22), se
tiene que
A ( A B ) = ( A B ) A,
(2.47)
que junto con (2.46), por la conmutativa de la igualdad de clases, concluimos que
A ( A B ) = A,
T EOREMA 2.24. Para toda clase se verifica que ( A ) = A.

Demostracion. Sea A una clase. Por la definicion
de igualdad de clases, debemos probar que se cumple
la siguiente equivalencia:
x ( A ) x A;
es decir, por la definicion
de complemento de una clase y el principio de sustitucion
por equivalentes,
lo que debemos demostrar es que se verifica la siguiente equivalencia:
(( x A)) x A,
la cual es verdadera, por la regla de doble negacion.
: 0.310
V ERSI ON
2011 - D IC - 07
29 de 117
T EOREMA 2.25 (Leyes de DeMorgan). Si A y B son clases. Entonces
( A B) = A B
( A B) = A B .
T EOREMA 2.26 (Leyes de Idempotencia de la union

y la interseccion).
Para toda clase A,

se verifica:
A A = A y A A = A.
T EOREMA 2.27 (Leyes Asociativas de la union

y la interseccion).

A ( B C ) = ( A B) C y A ( B C ) = ( A B) C.
T EOREMA 2.28 (Leyes Distributivas de la union

y la interseccion).
Si A y B son clases.
Entonces
A ( B C) = ( A B) ( A C)
A ( B C ) = ( A B ) ( A C ).
T EOREMA 2.29 (Propiedades de la clase vaca). Para toda clase A, se verifica

1. A = A.
3. = U .
2. A = .
4. A A = .
Demostracion. Las dos primeras igualdades son consecuencia directa de aplicar los teoremas 2.21
y 2.20 a la proposicion
A (teorema 2.15), respectivamente. La siguiente cadena de equivalencias
logicas
prueba la tercera igualdad:

x x 6
( x )
( x 6= x )
( x = x )
x = x.
Finalmente, la cuarta igualdad se prueba mediante reduccion
al absurdo. En efecto, si la proposicion
A A 6= fuera verdadera, existira x tal que

x A A .
Entonces, de las definiciones de interseccion
y complemento, se tendra que
x A ( x A),
que es una contradiccion,
lo que prueba la cuarta igualdad.
30 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
T EOREMA 2.30 (Propiedades de la clase universal). Para toda clase A, las proposiciones
siguientes son verdaderas:
1. A U = U .
3. U = .
2. A U = A.
4. A A = U .
Ejemplos.
8.1 Para toda clase A y toda clase B, se tiene que

A ( A B) = A B.
Demostracion.
1.
2.
A ( A B) = ( A A ) ( A B)
A A =
Distributiva de respecto de .
Teorema 2.29.
3.
4.
( A A ) ( A B) = ( A B)
A ( A B) = ( A B)
( A B) = ( A B)
A ( A B) = ( A B)
( A B) = A B
A ( A B) = A B
Monotona de respecto de = a [2].

Transitiva de la igualdad a [1] y [3].
5.
6.
7.
8.
Conmutativa de .
Teorema 2.29.
8.2 Para toda clase A y toda clase B, se verifica la igualdad

A B = B A .
Demostracion.
1.
2.
A B = A B
A B = B A
Teorema de la diferencia 2.17.

Conmutativa de la interseccion.
3.
4.
A B = B A
( A ) = A
Transitiva a [1] y [2].

Teorema 2.24.
5.
6.
A = ( A )
B A = B ( A )
Simetrica de la igualdad a [4].

7.
8.
A B = B ( A )
B A = B ( A )

Teorema de la diferencia 2.17.
9.
10.
B ( A ) = B A
A B = B A
Simetrica de la igualdad a [8].

8.3 Para toda clase A, clase B y clase C, se verifica que
( A B ) C = ( A C ) ( B C ).
Demostracion.
: 0.310
V ERSI ON
2011 - D IC - 07
31 de 117
1.
2.
3.
4.
5.
6.
7.
( A B) C = C ( A B)
C ( A B ) = (C A) (C B )
( A B ) C = (C A) (C B )
(C A) = ( A C )
(C B ) = ( B C )
(C A) (C B ) = ( A C ) ( B C )
( A B) C = ( A C ) (B C )
Conmutativa de la interseccion.
Conmutativa de la union.
Conmutativa de la union.
Monotona de respecto de = a [4] y [5].

8.4 Si A C = , entonces A ( B C ) = A B.
Demostracion.
1.
2.
AC =
A (B C ) = ( A B) ( A C )
Hipotesis.
3.
4.
( A B) ( A C ) = ( A B)
A (B C ) = ( A B)
( A B) = A B
A (B C) = A B

5.
6.
Teorema 2.29.
9 Clase unitaria. Sean a un conjunto y P( x ) : x = a. Por el axioma de construccion

de
clases aplicado a la propiedad P, se garantiza la existencia de la clase de todos los conjuntos
x tales que x es igual al conjunto a; es decir, existe la clase
{ x : x = a} .
2.11 (Clase unitaria). Sea a un conjunto. La clase { x : x = a} es denominada
D EFINICI ON
clase unitaria de a y es representada por { a}. Por lo tanto:
{ a } = { x : x = a }.
De la definicion
de { a} se tiene que
u { a} u = a.
(2.48)
Puesto que a = a, entonces, de (2.48), se concluye que a { a} para todo conjunto

a. Ademas, si z { a}, nuevamente de (2.48), obtenemos que z = a; es decir, cualquier
conjunto z, elemento de { a}, es necesariamente igual a a. Dicho de otro modo, no puede
existir un conjunto distinto de a que sea elemento de { a}, porque si b 6= a y b { a},
entonces b 6= a y b = a, respectivamente, lo que es una contradiccion.
En resumen, la clase { a} tiene un solo elemento, y ese elemento es, precisamente, el

conjunto a; de all, el nombre de esta clase. Resumamos estos resultados en el siguiente
teorema.
T EOREMA 2.31 (Clase unitaria). Para todo conjunto a, se verifica que
a { a }.
Ademas, se verifica la siguiente equivalencia logica:
b 6 = a b 6 { a }.
32 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
10 Par desordenado. Sean a y b dos conjuntos, y P( x ) : x = a x = b. El axioma de construccion

de clases garantiza la existencia de la clase de todos los conjuntos x que satisfacen
la propiedad P( x ); es decir, existe la clase de todos los conjuntos x que son iguales o bien
al conjunto a o bien al conjunto b. Existe, entonces, la clase
{ x : x = a x = b} .
2.12 (Par desordenado). Sean a y b dos conjuntos. La clase { x : x = a x = b}
D EFINICI ON
es denominada par desordenado de a y b y se la representa por { a, b}. Por lo tanto:
{ a, b} = { x : x = a x = b} .
De la definicion
de par desordenado, tenemos que
u { a, b} u = a u = b.
(2.49)
Por otro lado, como a = a, entonces, por la introduccion

de la disyuncion,
la proposicion
a=a a=b
es verdadera; por lo tanto, de (2.49), podemos concluir que
a { a, b}.
De manera similar, la proposicion
b=a b=b
es verdadera; por lo tanto, una vez mas, de (2.49), podemos concluir que
b { a, b}.
Una vez mas, de (2.49), si z { a, b}, necesariamente z = a o z = b; luego, no puede
existir un conjunto u, distinto tanto de a y de b, que sea elemento del par desordenado
{ a, b}. Esto significa que la clase { a, b} tiene unicamente
dos elementos, y esos elementos

son, precisamente, a y b. De all la mitad del nombre: par. El porque de la otra mitad, lo
veremos mas adelante.
En el teorema siguiente, resumimos lo anterior.
T EOREMA 2.32 (Par desordenado). Para todo conjunto a y todo conjunto b, son verdaderas
las siguientes proposiciones:
a { a, b}
b { a, b}.
Ademas, se verifica la equivalencia siguiente:

c 6= a c 6= b c 6 { a, b}.
T EOREMA 2.33. Sean a y b conjuntos. Entonces
{ a, b} = { a} {b}.
: 0.310
V ERSI ON
2011 - D IC - 07
33 de 117
11 Axioma del par desordenado

A XIOMA 3 (Par desordenado I). Si a y b son conjuntos, entonces el par desordenado { a, b}
es un conjunto.
T EOREMA 2.34 (Conjunto unitario). Para todo conjunto a, se verifica que
{ a, a} = { a}.
Se tiene, entonces, que la clase unitaria de a es un conjunto, llamado conjunto unitario de a.
Demostracion. Sea a un conjunto. Para demostrar que { a, a} = { a}, vamos a probar que la siguiente
proposicion
es verdadera:
u { a, a} u { a}.
De la definicion
de par desordenado, la propiedad de idempotencia de la disyuncion
y la definicion
de clase unitaria, tenemos las equivalencias siguientes:
u { a, a} u = a u = a
u=a
u { a },
de donde se obtiene lo que se quera.
Falta demostrar que la clase { a} es un conjunto. Para ello, utilizaremos el axioma de extension
(vease la pagina 20).

Como { a, a} es un conjunto, existe una clase B tal que
{ a, a} B;
es decir, la siguiente conjuncion
es verdadera:
{ a, a} = { a} { a, a} B,
de donde, por el axioma de extension,
concluimos que { a} B, lo que prueba que { a} es un conjunto,
pues pertenece a otra clase.
Del siguiente teorema, se puede entender el porque de desordenado de un par desordenado.

T EOREMA 2.35 (Par desordenado II). Si { x, y} = {u, v}, entonces o bien x = u y = v, o
bien x = v y = u.
{ x, y} = {u, v};
(2.50)
vamos a demostrar que es verdadera la siguiente disyuncion:
( x = u y = v ) ( x = v y = u ).
(2.51)
Para ello, por la definicion

de disyuncion,
es suficiente que demostremos que es verdadera cualquiera
de las dos proposiciones que conforman la disyuncion
(2.51).
Ahora bien, puesto que por la ley del tercero excluido, se tiene que o bien x = y o bien x 6= y,
consideraremos cada uno los dos casos por separado.
34 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
1. Primer caso. Supongamos que

x = y.
(2.52)
(2.50) y el teorema de caracDel teorema (2.32), tenemos que u {u, v}; entonces, por la hipotesis
terizacion
de la igualdad de clases1 , tenemos que
u { x, y},
de donde, por la definicion
de par desordenado, podemos concluir que
u = x u = y.
(2.53)
Se presentan dos cosas otra vez:

(a) Si sucediera que u = x, como x = y, por la transitiva de la igualdad concluiramos que u = y,
de donde, tendramos que:
u = x u = y.
(b) Si sucediera que u = y, junto con x = y y por las propiedades simetrica y transitiva de la
igualdad, concluiramos que u = x, de donde, tambien tendramos en este caso la conclusion
de que
u = x u = y.
En resumen, de las proposiciones (2.52) y (2.53), hemos deducido que
u = x u = y.
(2.54)
De modo similar, como v {u, v}, se demuestra que

v = x v = y.
(2.55)
Por lo tanto, de (2.54) y (2.55), por la eliminacion

e introduccion
de la conjuncion
y la propiedad
simetrica de la igualdad, concluimos que
x = u y = v.
De hecho tambien se obtiene, en este caso, que:
x = v y = u,
con lo que se prueba (2.51).
2. Segundo caso. Supongamos que
x 6= y.
(2.56)
Del teorema (2.32), tenemos que x { x, y}; entonces, de (2.50), el teorema de caracterizacion
de la igualdad de clases y la definicion

de par desordenado, concluimos que
x = u x = v.
(2.57)
Bajo un razonamiento similar, tambien podemos concluir que

y = u y = v.
(2.58)
De la proposicion
(2.57), se tienen dos posibilidades.
(a) Si sucediera que
x = u,
(2.59)
entonces no podra suceder que y = u.
En efecto, si y = u, entonces, de (2.59), se tendra que x = y, lo que contradice la hipote1 El
teorema 2.4 en la pagina 16
: 0.310
V ERSI ON
2011 - D IC - 07
35 de 117
sis (2.56). Luego, si x = u, necesariamente:

y 6= u.
(2.60)
Concluimos, entonces, por el silogismo disyuntivo2 , aplicada a las proposiciones (2.58) y (2.60),
que
y = v.
(2.61)
Luego, por de (2.59) y (2.61), tenemos que
x = u y = v.
As la proposicion
(b) De manera similar, se demuestra que, si x = v, se deduce que y = v, pues x 6= y. Luego,
de (2.58), se obtiene que y = u. Por lo tanto:
x = v y = u,
de donde se deduce tambien (2.51).
Finalmente, de los dos casos se ha probado que la proposicion
(2.51) es verdadera, como se
quera demostrar.
T EOREMA 2.36. Para todo conjunto x y todo conjunto y, se verifica que
{ x } = {y} si y solo si x = y.
Demostracion. Sean x y y dos conjuntos.
1. Supongamos que
{ x } = { y }.
(2.62)
Vamos a demostrar que x = y.

Del teorema 2.31, tenemos que x { x }. Por lo tanto, de (2.62) y el teorema de caracterizacion
de la igualdad de clases, tenemos que

x { y },
de la clase unitaria, concluimos que x = y, como se quera demostrar.
2. Ahora supongamos que
x = y.
(2.63)
Debemos demostrar que { x } = {y}.
Para ello, primero vamos a suponer que u { x }, y demostraremos que u {y}; luego,
supondremos, en cambio, que u {y}, y deberemos demostrar que u { x }.
(a) Supongamos que u { x }. Demostremos que u {y}.
De la definicion
de conjunto unitario, tenemos que u = x. Como x = y (por (2.63)), por la
propiedad transitiva de la igualdad de clases, tenemos que u = y, de donde, otra vez por la
definicion
de conjunto unitario, u {y}, como se quera demostrar.
(b) Ahora supongamos que u {y}. Probemos que u { x }.
De la definicion
de conjunto unitario, tenemos que u = y. Por la propiedad simetrica de
la igualdad aplicada a (2.63), obtenemos que y = x, de donde, por la propiedad transitiva de
la igualdad, concluimos que u = x; es decir, u { x }, como se quera demostrar.
2 O,
simplemente, por la definicion

de disyuncion.
36 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
12 Par ordenado
2.13 (Par ordenado). Sean a y b conjuntos. El par desordenado del conjunto
D EFINICI ON
unitario de a y del par desordenado de a y de b es denominado par ordenado de a y de b, y es
representado por ( a, b). Por lo tanto:
( a, b) = {{ a}, { a, b}} .
De la definicion
de par ordenado, tenemos que
u ( a, b) u = { a} u = { a, b}.
12.1 Un par ordenado es un conjunto. En efecto, por el axioma del par desordenado, { a}
y { a, b} son conjuntos. Por lo tanto, por el mismo axioma, el par desordenado {{ a}, { a, b}}
es un conjunto; es decir, el par ordenado ( a, b) es tambien un conjunto.
12.2 El teorema siguiente, justifica el nombre de par ordenado.
T EOREMA 2.37 (Par ordenado). Si ( a, b) = (c, d), entonces a = c y b = d.
Demostracion. Ver el libro de Pinter.
12.3
T EOREMA 2.38. Si x = y, entonces:
1. { x, z} = {y, z}.
2. ( x, z) = (y, z).
3. (z, x ) = (z, y).
T EOREMA 2.39. Si a = c y b = d, entonces ( a, b) = (c, d).

a=c
(2.64)
b = d.
(2.65)
y que
Vamos a demostrar que ( a, b ) = (c, d).
De (2.64) y la segunda igualdad del teorema 2.38, tenemos que
( a, b ) = (c, b );
(2.66)
y de (2.65) y la tercera igualdad del teorema 2.38, obtenemos que
(c, b ) = (c, d).
(2.67)
Por lo tanto, por la propiedad transitiva aplicada a (2.66) y a (2.67), obtenemos que
( a, b ) = (c, d),
como se quera.
: 0.310
V ERSI ON
2011 - D IC - 07
37 de 117
13 Producto cartesiano. Sean A y B clases, y P(z) : z = ( x, y) ( x A y B). El

axioma de construccion
de clases garantiza la existencia de la clase de todos los conjuntos
z que satisface la proposicion
P(z); es decir, existe la clase de todos los conjuntos z que son
pares ordenados de la forma ( x, y) tales que x A y y B. Existe, entonces, la clase
{ z : z = ( x, y) ( x A y B)} .
2.14 (Producto cartesiano). Sean A y B dos clases. La clase
D EFINICI ON
{z : z = ( x, y) ( x A y B)}
es denominada producto cartesiano de las clases A y B y se la representa por A B. Por lo
tanto:
A B = {z : z = ( x, y) ( x A y B)} .
De la definicion
de producto cartesiano, tenemos que
u A B u = ( x, y) ( x A y B).
(2.68)
Es costumbre abreviar la escritura de la clase {z : z = ( x, y) ( x A y B)} al omitir

la variable z de la siguiente manera: {( x, y) : x A y B}. Por lo tanto, aceptaremos
como verdadera la siguiente igualdad:
A B = {( x, y) : x A y B} .
T EOREMA 2.40. Sean A, B y C clases. Entonces
1. A ( B C ) = ( A B) ( A C ).
2. A ( B C ) = ( A B) ( A C ).
3. ( A B) (C D ) = ( A C ) ( B D ).
14 Axioma de los subconjuntos

A XIOMA 4 (Subconjuntos). Toda subclase de un conjunto es un conjunto.
Dado que siempre ocurre que A B A, si A es un conjunto, por el axioma de los
subconjuntos, la clase A B es un conjunto. Hemos demostrado el siguiente teorema.
T EOREMA 2.41. Si A un conjunto y B una clase cualquiera, entonces A B es un conjunto.
T EOREMA 2.42. Si A es un conjunto y B una clase propia, entonces A 6= B.
Demostracion. Supongamos que A es un conjunto y B una clase propia. Debemos demostrar que
A 6= B. Utilicemos el metodo de reduccion
al absurdo. Para ello, supongamos que
A = B.
(2.69)
Vamos en busca de una contradiccion.
38 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
Como A es un conjunto, existe una clase C tal que

A C.
(2.70)
Por lo tanto, al aplicar el axioma de extension

a (2.69) y a (2.70), podemos concluir que existe una
clase C tal que
B C;
es decir, B es un conjunto, lo que contradice con la hipotesis
de que B es una clase propia. Por lo tanto,

A 6= B, como se quera demostrar.
15 Dos clases propias: la de Russell y la universal. Sea P( x ) la propiedad x 6 x. Por

de clases, existe la clase de todos los conjuntos que satisfacen P.
Nombremos a esta clase con la letra R. Entonces:
R = { x : x 6 x }.
(2.71)
Por lo tanto, se verifica la siguiente equivalencia:

u R u 6 u.
(2.72)
La clase R es denominada clase de Russell ([?] y [?]).

T EOREMA 2.43. La clase de Russell R es una clase propia; es decir, R no es un conjunto.
Demostracion. Utilicemos el metodo de reduccion
al absurdo; para ello, supongamos que R es un
conjunto. Entonces, por la definicion
de R, la equivalencia (2.72) es verdadera si tomamos u igual a
R:
R R R 6 R.
(2.73)
Sin embargo, esta equivalencia no es verdadera, porque R R y R 6 R no tienen el mismo valor de verdadera. En otras palabras, hemos encontrado una contradiccion:
la equivalencia (2.73) es
verdadera y no es verdadera.
La contradiccion
encontrada nos permite concluir que el supuesto de R es un conjunto es falso;
por lo tanto, la clase R no es un conjunto sino una clase propia.
T EOREMA 2.44. La clase de Russell R es una subclase de la clase universal U .

Demostracion. Es un caso particular del teorema 2.16 de la pagina 23.
T EOREMA 2.45. Si A es una clase propia y A B, entonces B es una clase propia.

Demostracion. Utilicemos la reduccion
al absurdo. Supongamos, entonces, que A es una clase propia,
que A B y que B no es una clase propia, sino un conjunto. Por lo tanto, la clase A es una subclase
de un conjunto, por lo que, por el axioma de subconjuntos, la clase A debe ser un conjunto, lo que
contradice con la hipotesis
de que es una clase propia. Por lo tanto, B es una clase propia, como se
quera demostrar.
De los dos ultimos
teoremas que acabamos de demostrar, se deduce, inmediatamente,

el siguiente teorema.
T EOREMA 2.46. La clase universal U es una clase propia; es decir, U no es un conjunto.
: 0.310
V ERSI ON
2011 - D IC - 07
39 de 117
16 Grafos.
2.15 (Grafo). Un grafo es cualquier clase cuyos elementos son pares ordenaD EFINICI ON
dos; es decir, un grafo es una subclase de U U .
Si G es un grafo, entonces se verifica
u G u = ( x, y).
(2.74)
16.1 Dominio de un grafo. Sean G un grafo y P( x ) : (y)[( x, y) G ]. Por el axioma

de construccion
de clases, existe la clase de todos los conjuntos x para los cuales existe un
conjunto y tal que ( x, y) G.
2.16 (Dominio de un grafo). Sea G un grafo. La clase
D EFINICI ON
dom G = { x : (y)[( x, y) G ]}
es denominada dominio del grafo G.
De esta definicion,
se tiene la siguiente equivalencia:
u dom G (z)[(u, z) G ].
(2.75)
16.2 Imagen de un grafo. Sean G un grafo y P(y) : ( x )[( x, y) G ]. Por el axioma de

construccion
de clases, existe la clase de todos los conjuntos y para los cuales existe un
conjunto x tal que ( x, y) G.
2.17 (Imagen de un grafo). Sea G un grafo. La clase
D EFINICI ON
img G = {y : ( x )[( x, y) G ]}
es denominada imagen del grafo G.
De esta definicion,
se tiene la siguiente equivalencia:
u img G (z)[(z, u) G ].
(2.76)
16.3 Grafo inverso. Sean G un grafo y P(z) : z = ( x, y) (y, x ) G. Por el axioma de

construccion
de clases, podemos asegurar la existencia de la clase de todos los conjuntos z
que son pares ordenados de la forma ( x, y) tales que (y, x ) G.
2.18 (Grafo inverso). Sea G un grafo. La clase
D EFINICI ON
G 1 = {z : z = ( x, y) (y, x ) G }
es denominada grafo inverso del grafo G.
Igual que en el caso del producto cartesiano de dos clases, la definicion
de G 1 suele ser
abreviada de la siguiente manera:
G 1 = {( x, y) : (y, x ) G }.
De esta definicion
tenemos que
( x, y) G 1 (y, x ) G.
40 de 117
: 0.310
V ERSI ON
(2.77)
2011 - D IC - 07
T EOREMA 2.47. Sea G un grafo. Entonces ( G 1 )1 = G.

Demostracion. Sea G un grafo. Debemos demostrar que la proposicion
( x, y) ( G 1 )1 ( x, y) G
es verdadera, lo que se deduce a partir de la siguiente cadena de equivalencias:
( x, y) ( G 1 )1 (y, x ) G 1
( x, y) G.
Ambas equivalencias se deben a la definicion
de grafo inverso, pero la primera aplicada al grafo G 1
y la segunda a G.
T EOREMA 2.48. Para todo grafo G, son verdaderas las siguientes proposiciones:
1. dom G = img G 1 ,
2. img G = dom G 1 .
Demostracion. Vamos a demostrar la primera proposicion;

la otra queda como ejercicio para el lector.
Para demostrar que dom G = img G 1 , debemos probar que es verdadera la equivalencia
x dom G x img G 1 ,
lo que se puede ver en la siguiente cadena de equivalencias:
x dom G (y)[( x, y) G ]
(y)[(y, x ) G 1 ]
x img G 1 .
La primera equivalencia es verdadera por la definicion
de dominio; la segunda, por la definicion
de
grafo inverso y el principio de sustitucion
por equivalentes; y la tercera equivalencia es verdadera
por la definicion
de imagen.
16.4 La composicion
de dos grafos. Sean G, H dos grafos y
P(u) : u = ( x, y) (z)[( x, z) H (z, y) G ].
Por el axioma de construccion
de clases, existe la clase de todos los conjuntos u para los
cuales P(u) es verdadera.
2.19 (Composicion
D EFINICI ON
de grafos). Sean G y H dos grafos. La clase
G H = {u : u = ( x, y) (z)[( x, z) H (z, y) G ]}
es denominada la composicion de los grafos G y H.
Como en el caso del grafo inverso de un grafo, se acostumbra a abreviar la definicion
de
G H de la siguiente manera.
G H = {( x, y) : (z)[( x, z) H (z, y) G ]}.
De la definicion
de la composicion
de dos grafos, tenemos la siguiente equivalencia:
( x, y) G H (z)[( x, z) H (z, y) G ].
: 0.310
V ERSI ON
2011 - D IC - 07
(2.78)
41 de 117
T EOREMA 2.49. Para todo par de grafos G y H, las proposiciones siguientes son verdaderas:
1. dom( G H ) dom H,
2. img( G H ) img G.
Demostracion. Demostraremos unicamente
la primera proposicion;
la segunda queda como ejercicio
para el lector. Sea x dom( G H ). Vamos a probar que x dom H; es decir, vamos a demostrar que
la proposicion
(y)[( x, y) H ]
es verdadera.
De la hipotesis
y de la definicion
de dominio, es verdadera la proposicion
(u )[( x, u ) G H ].
Al aplicar la eliminacion
del cuantificador existencial a esta ultima
proposicion,
podemos afirmar que
la siguiente es verdadera para algun
conjunto u0 :
( x, u0 ) G H.
(2.79)
de composicion
de grafos; obtenemos que la proposicion
Apliquemos ahora a (2.79) la definicion
(z)[( x, z) H (z, u0 ) G ]
(2.80)
es verdadera. De (2.80), por la eliminacion

del cuantificador existencial, obtenemos que
( x, z0 ) H (z0 , u0 ) G
(2.81)
es una proposicion
verdadera para algun
conjunto z0 . Finalmente, por la eliminacion
de la conjuncion
aplicada a (2.81), obtenemos que es verdadera la proposicion

( x, z0 ) H para algun
conjunto z0 , por
lo que, si aplicamos a e sta la introduccion
del cuantificador existencial, concluimos que la proposicion
(y)[( x, y) H ]
es verdadera, como se quera demostrar.
La redaccion
de la demostracion
que se acaba de presentar no es la que se encuentra
en los libros de matematicas usualmente. De hecho, la redaccion
suele ser mas breve y
resumida como se muestra a continuacion.
Demostracion. Supongamos que x dom( G H ). Demostraremos que x dom H; es decir, probaremos que existe un conjunto y tal que ( x, y) H.
De la hipotesis
y la definicion
de dominio, existe u tal que ( x, u ) G H, de donde, por la
definicion
de composicion
de grafos, existe y tal que
( x, y) H
(y, u ) G;
es decir, existe un conjunto y tal que ( x, y) H, que es lo que se quera demostrar.
Como se puede notar, hay dos hechos que se omiten en esta segunda version
de la demostracion
del teorema 2.49: las reglas de inferencia que se utilizan y los subndices en
algunas variables. En cuanto a la primera omision,
si en los primeros pasos del aprendizaje
de la Matematica los estudiantes son forzados a hacer explcito el uso de las reglas de inferencia, no solo que conoceran que reglas existen sino que tambien aprenderan a utilizarlas
42 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
y, con ello, aprenderan a realizar demostraciones. Por lo tanto, luego de los primeros pasos, ya no se hace necesario presentar las demostraciones con todos los detalles, pues los
estudiantes estaran en capacidad de entender las reglas que han sido utilizadas.
Respecto del uso de los subndices, estos se utilizan para distinguir las variables de las
constantes, lo que suele ser de ayuda para el aprendiz en sus primeros pasos, y que se
hace necesario cuando se utilizan los cuantificadores y se escriben las proposiciones con
ayuda de estos. Igual que con las reglas de inferencia, con el tiempo el aprendiz aprende a
distinguir, en el contexto, variables de constantes, y ya no se hace necesaria la distincion.
Las demostraciones de algunos de los teoremas que siguen seran redactadas en forma
detallada; sin embargo, la mayora de ellas seran redacciones mas breves.
T EOREMA 2.50. Si G,H y J son grafos, entonces se verifican las siguientes proposiciones:
1. ( G H ) J = G ( H J ),
2. ( G H )1 = H 1 G 1 .
Demostracion. Debemos probar la equivalencia logica
( x, y) ( G H ) J ( x, y) G ( H J ).
(2.82)
De la definicion
de composicion
y por el principio de sustitucion
por equivalentes, se tiene
( x, y) ( G H ) J (z)[( x, z) J (z, y) ( G H )]
(z)[( x, z) J (w){(z, w) H (w, y) G }];
es decir, se verifica
( x, y) ( G H ) J (z)[( x, z) J (w){(z, w) H (w, y) G }];
(2.83)
y tambien se cumple
( x, y) G ( H J ) (u )[( x, u ) ( H J ) (u, y) G ]
(u )[(v){( x, u ) J (v, u ) H } (u, y) G ];
es decir, se tiene
( x, y) G ( H J ) (u )[(v){( x, u ) J (v, u ) H } (u, y) G ].
(2.84)
Por lo tanto, si aplicamos el principio de sustitucion

a (2.82), (2.83) y (2.84), lo que vamos a demostrar
que se verifica
(z)[( x, z) J (w){(z, w) H (w, y) G }] (u )[(v){( x, u ) J (v, u ) H } (u, y) G ].

En efecto, tenemos que
(z)[( x, z) J (w){(z, w) H (w, y) G }] (z)(w)[( x, z) J {(z, w) H (w, y) G }]

(w)(z)[( x, z) J {(z, w) H (w, y) G }]
(w)(z)[{( x, z) J (z, w) H } (w, y) G ]
(w)[(z){( x, z) J (z, w) H } (w, y) G ]
(u )[(v){( x, v) J (v, u ) H } (u, y) G ].
Estas son las justificaciones de cada una de estas equivalencias:
1. como la variable w no esta en la proposicion
( x, z) J, la primera resulta de la aplicacion
del
teorema 1.3;
: 0.310
V ERSI ON
2011 - D IC - 07
43 de 117
2. la segunda, por el teorema 1.2;

3. la propiedad asociativa de la conjuncion
muestra que la tercera equivalencia es verdadera;
4. la cuarta resulta del teorema 1.3 y porque la proposicion
(w, y) G no contiene la variable z; y
5. la quinta es verdadera por la equivalencia de la derecha de (1.8) en la pagina 12.
T EOREMA 2.51. Sean G y H grafos. Si img H dom G, entonces dom G H = dom H.

Demostracion. Supongamos que img H dom G. Vamos a probar que dom G H = dom H. Por
el teorema 2.49, sabemos que dom G H dom H; por lo tanto, falta unicamente
demostrar que
dom H dom G H.
Para ello, sea x dom H; probaremos que x dom G H; es decir, probaremos que la proposicion
(y)[( x, y) G H ]
es verdadera. Entonces, por la definicion
de composicion
de grafos, lo que vamos a probar es que la
proposicion
(y)(z){( x, z) H (z, y) G }
(2.85)
es verdadera.
Hemos supuesto que x dom H; entonces, de la definicion
de dominio, sabemos que la proposicion
(u )[( x, u ) H ]
(2.86)
es verdadera. Entonces, al aplicar la eliminacion
del cuantificador existencial a (2.86), podemos afirmar que la proposicion
( x, u0 ) H
(2.87)
es verdadera para algun
conjunto u0 .
Ahora, si aplicamos la introduccion
del cuantificador existencia a la proposicion
(2.87) con respecto de la variable x, obtenemos que la proposicion
(s)[(s, u0 ) H ]
es verdadera; es decir, es verdadera la proposicion
u0 img H. Por lo tanto, de la definicion
de
subclase y la hipotesis
img H dom G, podemos concluir la proposicion

u0 dom G es verdadera;
es decir, es verdadera la proposicion
(t)[(u0 , t) G ].
Luego, de aplicar la eliminacion
del cuantificador existencia a la ultima
proposicion,
sabemos que
( u 0 , t0 ) G
(2.88)
es una proposicion
verdadera para algun
conjunto t0 .
Finalmente, por la introduccion
de la conjuncion
aplicada a las proposiciones (2.87) y (2.88), obtenemos que la proposicion
( x, u0 ) H (u0 , t0 ) G
es verdadera. De esta proposicion,
por la introduccion
del cuantificador existencial, concluimos que
es verdadera la proposicion
(z)[( x, z) H (z, t0 ) G ]
es verdadera, y, una vez mas, por la introduccion
del cuantificador universal, de esta ultima
proposicion,
deducimos que es verdadera la proposicion
(y)(z)[( x, z) H (z, y) G ],
que es lo que se quera demostrar (vease la proposicion
(2.85)).
44 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
16.5 Ejercicio. Si A y B son clases disjuntas, entonces ( A B) ( A B) = .

Demostracion. Sean A y B clases tales que
A B = .
(2.89)
Debemos demostrar que ( A B ) ( A B ) = . Supongamos lo contrario; es decir, supongamos que

existe ( x, y) tal que
( x, y) ( A B ) ( A B ).
Entonces, de la definicion
de composicion,
obtenemos que existe z tal que
( x, z) A B y (z, y) A B.
De ( x, z) A B, por la definicion
de producto cartesiano, obtenemos que z B; y de (z, y) A B,
que z A. Por lo tanto, hemos mostrado que existe z tal que z A B, lo que contradice con la
hipotesis
(2.89).
17 El axioma de las uniones (version

temporal). El siguiente es un axioma provisional.
Una vez en posesion
del concepto de funcion,
definiremos las nociones de familia de clases
y de union
e interseccion
generalizada, y con su ayuda sustituiremos el siguiente axioma
por uno mas general.
A XIOMA 5 (De las uniones). Si A y B son conjuntos, entonces A B es un conjunto.
18 El conjunto de partes. Sean A un conjunto y P( x ) : x A. Por el axioma de construccion
de clases, aseguramos la existencia de la clase de todos los conjuntos x tales que
x A.
2.20 (Partes de una clase). Sea A un conjunto. La clase
D EFINICI ON
P ( A) = { x : x A}
es denominada partes o la clase potencia de A.
De esta definicion,
tenemos la siguiente equivalencia:
u P ( A) u A.
(2.90)
Sabemos que para todo clase A, se verifica la inclusion

A A (teorema 2.7); en particular, si A es un conjunto. Por lo tanto, A P ( A), lo que no hubiera podido asegurarse si,
en la definicion
de P ( A), no se hubiera impuesto a A la restriccion
de ser un conjunto.
18.1 El axioma del conjunto vaco (temporal). A pesar de que para toda clase A, se
verifica la inclusion
A (teorema 2.15, no podemos concluir que P ( A). Por
que? Porque no sabemos si la clase vaca es un conjunto, pues, de los axiomas hasta ahora
introducidos, no lo podemos deducir. Mucho mas adelante, anadiremos
un axioma del
cual se deducira que la clase vaca es un conjunto. Provisionalmente, introduciremos como
axioma que la clase vaca es un conjunto.
A XIOMA 6 (Del vaco). La clase vaca es un conjunto.
De este axioma se deduce inmediatamente que P ( A) para toda clase A. Estos
resultados se resumen en el siguiente teorema.
: 0.310
V ERSI ON
2011 - D IC - 07
45 de 117
T EOREMA 2.52. Si A es un conjunto, se verifican las siguientes proposiciones:

P ( A)
A P ( A) .
18.2 El axioma de los conjuntos de partes.

A XIOMA 7 (Partes de un conjunto). Si A es un conjunto, entonces P ( A) es un conjunto.
El siguiente es un teorema aunque, por su origen, es conocido como el axioma de separacion
de Zermelo [?, p. 18].
T EOREMA 2.53 (Axioma de separacion).
Si A es un conjunto y P( x ) es una proposicion
que satisface las mismas condiciones impuestas en el axioma de construccion

de clases
(axioma 2), entonces la clase de todos conjuntos que pertenecen a A y que satisfacen la
proposicion
P es un conjunto; es decir, la clase
B = { x : x A P( x )}
es un conjunto.
19 El producto cartesiano de conjuntos es un conjunto. Sean A y B dos conjuntos. Vamos

a demostrar que A B es un conjunto. Para ello, vamos a demostrar que esta clase es una
subclase de un conjunto.
T EOREMA 2.54. Sean A y B dos clases. Entonces
A B P (P ( A B)) .
En particular, si A y B son conjuntos, entonces A B es un conjunto.
( x, y) A B.
(2.91)
Debemos demostrar que
( x, y) P (P ( A B )) .
Por la definicion
de partes de un conjunto, lo que hay que demostrar es que
( x, y) P ( A B ) .
Finalmente, para demostrar esta inclusion,
debemos probar que, para todo u ( x, y), se verifica
u P ( A B) ;
es decir, todo u ( x, y) cumple con
u A B.
(2.92)
Ahora bien, el conjunto ( x, y) tiene unicamente
dos elementos:
{ x } y { x, y},
pues, por la definicion
de par ordenado, tenemos que
( x, y) = {{ x }, { x, y}}.
46 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
Entonces, para demostrar (2.92) para todo u ( x, y), debemos demostrar unicamente
que
{ x } A B y { x, y} A B.
(2.93)
Demostremos la primera inclusion

de (2.93). Para ello, sea u { x }; entonces u = x. Por otro
lado, de la hipotesis
(2.91), tenemos que x A. Por lo tanto, por el axioma de extension,

tenemos que
u A. Finalmente, como A A B, tenemos que u A B. Hemos demostrado, entonces, que si
u { x }, entonces u A B.
Ahora probemos la segunda inclusion
de (2.93). Para ello, supongamos que u { x, y}. Vamos a
demostrar que u A B.
De la definicion
de par desordenado, tenemos que u = x o u = y. En el primer caso, ya hemos
demostrado que u A B. Si u = y, de (2.91), tenemos que y B; por lo tanto, por el axioma de
extension,
tenemos que u B, de donde u A B, como se quera.
20 Ejercicios.
20.1 Si A y B son conjuntos, demuestre que
AB
si y solo si P ( A) P ( B) .
(2.94)
Demostracion.
1. Supongamos que
A B.
(2.95)
Vamos a demostrar que

P ( A) P ( B) .
Para ello, supongamos, ademas, que
x P ( A) .
(2.96)
Hay que probar que x P (B ); es decir, hay que demostrar que x B.

De la hipotesis
(2.96) y la definicion
de partes, tenemos que x A, que, junto con (2.95) y
el teorema de caracterizacion
de subclases, concluimos que x B, como se quera.
2. Ahora supongamos que
P ( A) P ( B) .
(2.97)

A B.
Como A P ( A), de (2.97) y el teorema de caracterizacion
de subclases, tenemos que
A P ( B ), de donde, por la definicion
de partes, concluimos que A B, como se quera.
20.2 Si A y B son conjuntos, demuestre que

A=B
si y solo si P ( A) = P ( B) .
Demostracion. Sabemos que

A = B A B B A.
(2.98)
Por otro lado, del ejercicio (2.94), tenemos que

A B P ( A) P ( B)
B A P ( B) P ( A) ,
de donde, junto con (2.98) y el principio de sustitucion

por equivalentes, concluimos que
A = B P ( A) P ( B ) P (B ) P ( A) ,
: 0.310
V ERSI ON
2011 - D IC - 07
47 de 117
de donde obtenemos que

A = B P ( A) = P (B ) ,
como se quera.
48 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
Captulo 3
Funciones
1 El concepto de funcion.
Antes de nada, una funcion

es una clase; mas aun,
es un tipo
particular de grafo (clase de pares ordenados). De manera mas precisa, tenemos la siguiente
definicion.
3.1 (Funcion).
D EFINICI ON
Sean A y B dos clases. Una clase F es una funcion de A en B si y

solo si se satisfacen las siguientes condiciones:
F0. F A B.
F1. Para todo x A, existe y B tal que ( x, y) F.
F2. Si ( x, y) F y ( x, z) F, entonces y = z.
La funcion
identidad. Sea A una clase. Entonces la clase
I A = {( x, y) : x A y = x }
(3.1)
es una funcion
de A en A. En efecto, probemos que:
F0: I A A A.
F1: Para todo x A, existe y A tal que ( x, y) I A .
F2: Si ( x, y) I A y ( x, z) I A , entonces y = z.
Demostracion.
1. Supongamos que
( x, y) I A .
(3.2)
Hay que demostrar que ( x, y) A A; es decir, hay que probar que x A y y A.

De (3.2) y de la definicion
de I A , tenemos que x A y y = x; entonces, es cierto que
x = y x A,
de donde, por el axioma de extension,
tenemos que y A. En resumen, hemos mostrado que
xA
que es lo que se quera.
49
y A,
2. Supongamos que
x A.
(3.3)
Debemos mostrar que existe y A tal que ( x, y) I A ; es decir, como x A por hipotesis,
lo
que falta es encontrar un y tal que y A y y = x.
Tomemos y = x. Como x A, por el axioma de extension,
tenemos que y A. En resumen,
hemos demostrado que existe un y tal que y A y y = x; es decir, tal que ( x, y) I A , como se
quera.
3. Supongamos que ( x, y) I A y ( x, z) I A . Hay que demostrar que y = z.
De ( x, y) I A y la definicion
de I A , obtenemos y = x; de manera similar, de ( x, z) I A ,
obtenemos z = x; por lo tanto, por la propiedad transitiva de la igualdad, concluimos que y = z,
como se quera.
La funcion
constante. Sean A y B clases, b B, fijo, y
Kb = {( x, y) : x A y = b}.
(3.4)
El grafo Kb es una funcion

de A en B. En efecto, probemos que las siguientes tres proposiciones son verdaderas:
F0: Kb A B.
F1: Para todo x A, existe y B tal que ( x, y) Kb .
F2: Si ( x, y) Kb y ( x, z) Kb , entonces y = z.
Demostracion.
1. Supongamos que ( x, y) Kb . Hay que demostrar que ( x, y) A B. Para ello, lo hay que mostrar
es que x A y y B.
De ( x, y) Kb y de la definicion
de Kb , tenemos x A y y = b. Como
y = b b B,
por el axioma de extension,
nos aseguramos que y B, que es lo que faltaba.
2. Supongamos que x A. Hay que demostrar que existe y B tal que ( x, y) Kb . Como x A
por hipotesis,
falta unicamente
encontrar un y tal que y B y y = b.

Definamos y igual al conjunto b; es decir, tomemos y = b. Por el axioma de extension,
y B,
3. Supongamos que ( x, y) Kb y ( x, z) Kb . Vamos a probar que y = z.
De la definicion
de Kb y de las dos hipotesis,
obtenemos que y = b y z = b; entonces, por la

propiedad transitiva de la igualdad, concluimos que y = z.
La funcion
inclusion.
Sean A y B clases tales que B A y
EB = {( x, y) : x B y = x }.
(3.5)
La clase EB es una funcion

de B en A. En efecto, probemos que las siguientes tres proposiciones son verdaderas:
F0: EB B A.
F1: Para todo x B, existe y A tal que ( x, y) EB .
F2: Si ( x, y) EB y ( x, z) EB , entonces y = z.
50 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
Demostracion.
1. Supongamos que ( x, y) EB . Hay que demostrar que ( x, y) B A. Para ello, mostremos que
x B y y A.
De ( x, y) EB y de la definicion
de EB , tenemos x B y y = x. Luego, por el axioma de
extension,
y B, de donde, y A, pues B A.
2. Supongamos que x B. Hay que demostrar que existe y A tal que ( x, y) EB . Como x B,
solo falta encontrar un y tal que y A y y = x.
El conjunto y que buscamos es el mismo conjunto x; es decir, si tomamos y = x, por el axioma
de extension,
obtenemos que y B, y de B A, concluimos que y A, como se quera demostrar.
3. Supongamos que ( x, y) EB y ( x, z) EB . Vamos a probar que y = z.
De la definicion
de EB y de las dos hipotesis,
obtenemos que y = x y z = x; entonces, y = z.
La funcion
restriccion.
Sean A, B clases, D A, F una funcion
de A en B y
R F = {( x, y) : x D ( x, y) F }.
(3.6)
Probemos que el grafo R F es una funcion

de D en B. Probemos, entonces, que:
F0: R F D B.
F1: Para todo x D, existe y B tal que ( x, y) R F .
F2: Si ( x, y) R F y ( x, z) R F , entonces y = z.
Demostracion.
1. Supongamos que ( x, y) R F . Hay que demostrar que ( x, y) D B. Para ello, probaremos que
x D y y B.
De ( x, y) R F y de la definicion
de R F , tenemos x D y
( x, y) F.
(3.7)
Solo falta probar que y B.

Como F es una funcion
de A en B, entonces
F A B,
(3.8)
por la propiedad F0 de la definicion

de funcion.
Por lo tanto, de (3.7), (3.8) y por el teorema de
caracterizacion
de las subclases, concluimos que
( x, y) A B,
de donde y B (por la definicion
de producto cartesiano).
2. Supongamos que x D. Hay que demostrar que existe y B tal que ( x, y) R F . Como x D,
hay que mostrar unicamente
que existe un y tal y B y ( x, y) F.

Como D A, de x D, obtenemos que x A; entonces, como F es una funcion
de A en B,
por la propiedad F1 aplicada a x, podemos asegurar la existencia de y B tal que ( x, y) F.
3. Supongamos que ( x, y) R F y ( x, z) R F . Probemos que y = z.
De la definicion
de R F y de las dos hipotesis,
obtenemos que
( x, y) F y ( x, z) F;
entonces, como F es una funcion,
por la propiedad F2, concluimos que y = z.
: 0.310
V ERSI ON
2011 - D IC - 07
51 de 117
La funcion
caracterstica. Utilizaremos el smbolo 0 para designar el conjunto ; as
0 = .
Para el conjunto unitario de 0, utilizaremos el smbolo 1:

1 = {0 }.
Y para el par desordenado de 0 y de 1, utilizaremos el smbolo 2. As
2 = {0, 1}.
(3.9)
B = {( x, y) : x B y = 1} {( x, y) : x A B y = 0}.
(3.10)
Sean A una clase, B A y
La clase B es una funcion

de A en 2. En efecto, probemos que:
F0: B A 2.
F1: Para todo x A, existe y 2 tal que ( x, y) B .
F2: Si ( x, y) B y ( x, z) B , entonces y = z.
Antes de proceder, notese
que, de la definicion
de B , se obtiene la siguiente equivalencia logica:
(u, v) B [u B v = 1] [u A B v = 0].
(3.11)
Demostracion.
1. Supongamos que ( x, y) B . Hay que demostrar que ( x, y) A 2. Para ello, probaremos que
x A y y 2.
De ( x, y) B , por (3.11), tenemos que o bien sucede
x B y = 1,
(3.12)
x A B y = 0.
(3.13)
o bien,
(a) Caso 1: se verifica (3.12); entonces, x A, pues B A. Por lo tanto, solo falta probar que
y 2. Pero esto se deduce por el axioma de extension
aplicado a y = 1 y 1 2, ya que
2 = {0, 1}.
(b) Caso 2: se verifica (3.13); como x A B, entonces, x A. Ahora falta demostrar unicamente
que y 2, lo que se infiere por la aplicacion

del axioma de extension
a y = 0 y 0 2.
Por la regla del dilema, concluimos que x A y y 2.
2. Supongamos que x A. Hay que demostrar que existe y 2 tal que ( x, y) B . Como x A,
hay que demostrar unicamente
que existe un y tal que y 2 y ( x, y) B .

Para x A, hay dos opciones: x B y x A B. Tenemos, entonces, dos casos.
(a) Caso 1: sucede x B. Definamos y = 1. Entonces ( x, y) B , por (3.11); ademas, y 2.
(b) Caso 2: sucede x A B. Pongamos y = 0. Por lo tanto, ( x, y) B y y 2.
3. Supongamos que (u, v) B y (u, w) B . Probemos que v = w.
De (u, v) B y (3.11), tenemos dos casos.
(a) Caso 1: u B y v = 1. Como (u, w) B y u B, concluimos que w = 1, por lo que v = w.
(b) Caso 2: u A B y v = 0. De (u, w) B , tenemos w = 0; luego, v = w.
52 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
7 Ejemplo. Sean A y B dos clases tales que B tiene al menos dos elementos. Sea a A,
fijo. La clase
R = {( x, y) : x = a y B}
es una funcion
de A en B?
Solucion.
1. Para determinar si la clase R es una funcion
de A en B, debemos averiguar si se satisfacen las tres
condiciones que definen una funcion:
F0: R A B;
F1: para todo x A, existe y B tal que ( x, y) R; y
F2: si ( x, y) R y ( x, z) R, entonces y = z.
2. Antes de indagar si se cumplen o no estas condiciones, miremos un poco mas de cerca a la clase
R; es decir, miremos como
son los elementos de R.

Para ello, supongamos que ( x, y) R. Entonces x = a y y B; es decir, cualquier elemento de
R debe ser un par ordenado de la forma1 ( a, y) con y B.
En resumen, se tiene que
R = {( a, y) : y B }.
(3.14)
3. De la proposicion
(3.14), se deduce facilmente que la condicion
F0 es satisfecha por R.
4. La proposicion
(3.14) tambien nos sugiere que la propiedad F1 no se verificara necesariamente.
En efecto, si el elemento a fuera el unico
elemento de A, es decir, si A = { a}, entonces de x A,

necesariamente x = a, de donde, para cualquier y B, se tendra ( x, y) R; es decir, para el caso
en que A = { a}, la propiedad F1 es verdadera.
Sin embargo, si la clase A tuviera dos elementos al menos, es decir, si existiera b A tal que
b 6= a, entonces la propiedad mencionada ya no sera verdadera. Pues, si x = b, para cualquier
y B, ( x, y) 6 R, pues x 6= a al ser x = b y b 6= a. En otras palabras, no para todo x A (en este
caso, para b), existe y B para el cual ( x, y) R.
En resumen, si el conjunto A tuviera al conjunto a como unico
elemento, para la clase R s se

satisfara la condicion
F1, pero no en el caso de que la clase A tuviera al menos dos elementos.
5. Bajo el supuesto de que A = { a}, veamos si la condicion
F2 es satisfecha por R. Supongamos que
( x, y) R y que ( x, z) R. Es cierto que y = z?
Una de las hipotesis
nos dice que la clase B tiene al menos dos elementos; es decir, sabemos
que existen b B, c B tales que b 6= c. De (3.14), concluimos que x = a, ( a, b ) R y ( a, c) R,
pero b 6= c. Por lo tanto, la condicion
F2 no es satisfecha por R, de donde concluimos que esta clase
no es una funcion
de A en B.
6. Si la clase B tuviera un solo elemento, por ejemplo el conjunto b, entonces tendramos que R =
{( a, b )}, de donde R s sera una funcion
de A en B.
En resumen, a la pregunta si R es una funcion
de A en B, la respuesta es: depende de como son las
clases A y B.
Ejemplo. Sea A un conjunto y

F = {( x, y) : x A y = { x }}.
Es F una funcion
de A en P (a)?
9
Ejemplo. Sean A una clase, I A = {( x, y) : x A y = x } y

G = {( x, y) : x A y = ( x, x )}.
1 Esta
afirmacion
se deduce del teorema siguiente: si u = v, entonces ( u, w ) = ( v, w ).
: 0.310
V ERSI ON
2011 - D IC - 07
53 de 117
Es G una funcion
de A en I A ?
10 Ejemplo. Sean A, B clases y F una funcion
de A en B; C y D clases y G una funcion
de
C en D; y
H = {(u, v) : u = ( x, y) A C v = ( F ( x ), G (y))}.
Es H una funcion
de A C en B D?
11 Notaciones. Sean A y B clases. Para indicar que F es una funcion
de A en B, escribiremos
F : A B.
Si ( x, y) F, introducimos las siguientes definiciones:
1. el conjunto y B es la imagen de x A respecto de f ;
2. el conjunto x A es la pre-imagen de y B respecto de f .
Ademas, como abreviacion
de ( x, y) F, escribiremos y = F ( x ). Por lo tanto, se verifica la
siguiente equivalencia:
y = F ( x ) ( x, y) F.
(3.15)
Con esta notacion,
si para cada x A, ponemos y = F ( x ), para representar F, tambien se
utilizara la siguiente representacion:
F : A B
x 7 y.
(3.16)
Advertencia. El lector debe tener claro que podremos escribir y = F ( x ) unicamente
cuando sepamos que F es una funcion.
11.1 La funcion
identidad. Sea A una clase e I A la funcion
identidad definida por
I A = {( x, x ) : x A}.
Con la notacion
acordada, para cada x A, tenemos que I A ( x ) = x; por lo tanto, podemos
escribir:
I A : A A
x 7 x.
11.2 La funcion
constante. Sean A y B clases, b B, fijo, y Kb la funcion
constante definida por
Kb = {( x, b) : x A}.
Para cada u A, tenemos que Kb (u) = b; por lo tanto, tenemos que
Kb : A B
u 7 b.
54 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
11.3 La funcion
inclusion.
Sean A una clase, B A y EB la funcion
definida por
EB = {( x, x ) : x B}.
Para cada z B, tenemos que EB (z) = z; por lo tanto, se verifica que
EB : B A
z 7 z.
11.4 La funcion
restriccion.
Sean A, B clases, D A, F una funcion

de A en B y R F la
funcion
definida por
R F = {( x, y) : x D ( x, y) F }.
Para cada x D, R F ( x ) = F ( x ); por lo tanto, se verifica que
R F : D B
x 7 F ( x ).
La notacion
F | D es la mas utilizada para representar a R F . De la definicion
de F | D , se deduce
que
( x, y) F | D x D ( x, y) F.
(3.17)
De esta equivalencia, concluimos, entonces, que
x D F | D ( x ) = f ( x ).
(3.18)
11.5 La funcion
caracterstica. Sean A una clase, B A y B la funcion
definida por
B = {( x, 1) : x B} {( x, 0) : x A B}.
(3.19)
Si w B, entonces B (w) = 1; si w A B, B (w) = 0. Por lo tanto, obtenemos que

B : A 2(
w 7
si w B,
si w A B.
12 Ejemplos. Sean A = { a, b, c}, B = {u, v, w, x }, C = { a, b}, { a, b, c, d}, E = {u, v, w},

F = {u, v, w, x, y} conjuntos, y f = {( a, u), (b, v), (c, w)}, g = {( a, v), (b, w), (c, x ), ( a, x )},
h = {( a, u), (b, v)}, i = {( a, u), (b, v), (c, x )} y j = {( a, u), (c, w), (b, v)}.
1. Se verifica que f : A B.
2. En cambio, el grafo g no es una funcion
de A en B, pues ( a, v) g y ( a, x ) g, pero
v 6= x; es decir, el grafo g no satisface la condicion
F2 en la definicion
de funcion.
3. Se tiene que h : C B, i : A F y j : A E.
4. Se tiene que h = f |C , i 6= f y que j = f .
13 Reformulacion
del concepto de funcion.
Con la notacion
introducida en la seccion
anterior, si F : A B, entonces podemos expresar las condiciones F1 y F2 que definen

una funcion
de la siguiente manera:
: 0.310
V ERSI ON
2011 - D IC - 07
55 de 117
F1: Cada elemento x A, tiene una imagen y respecto de F en B. Es decir, para cada
x A, existe y B tal que y = F ( x ).
F2: Cada elemento x A, tiene una sola imagen y respecto de F en B.
En terminos de F ( x ), la propiedad F2 puede ser expresada de la forma indicada en el siguiente teorema.
T EOREMA 3.1 (Propiedad F20 ). Sea F : A B. Si u A, v A y u = v, entonces
F ( u) = F ( v ).
Demostracion. La demostracion
se obtiene por la aplicacion
del siguiente teorema:
x = y ( x, z) = (y, z).
(3.20)
Supongamos que u A, v A y u = v. Vamos a demostrar que F (u ) = F (v).

Como u A, por F1, existe w1 B tal que
(u, w1 ) F.
(3.21)
Otra vez por F1, de v A concluimos que existe w2 B tal que
(v, w2 ) F.
(3.22)
(u, w1 ) = (v, w1 ).
(3.23)
Ya que u = v, de (3.20), tenemos que
Por lo tanto, por el axioma de extension

aplicado a (3.23) y a (3.21), tenemos que
(v, w1 ) F.
De esta proposicion
y de (3.22), tenemos que
(v, w1 ) F y (v, w2 ) F.
Por lo tanto, por F2, ya que F es una funcion,
concluimos que w1 = w2 .
Finalmente, de (3.21), podemos escribir w1 = F (u ), y de (3.22), w2 = F (v). Entonces, de w1 = w2
y de las propiedades simetricas y transitivas de la igualdad, tenemos que F (u ) = F (v), como se
quera demostrar.
Tenemos otras propiedades de F ( x ), que se indican en el siguiente teorema.

T EOREMA 3.2. Sean A, B clases y F : A B. Entonces, para todo x A, se verifican las
siguientes proposiciones:
1. F ( x ) B.
2. F ( x ) img F.
3. ( x, F ( x )) F.
56 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
14 Representacion
grafica de una funcion.
Sea H una subclase del producto cartesiano

de las clases A y B. Entonces, H es un grafo. Si el par ordenado ( a, b) H, utilizaremos el
siguiente dibujo para representar graficamente al grafo H:
H
a
b
En particular, esta representacion

servira para representar funciones. Por ejemplo, si f
es una funcion
de A en B, y y = f ( x ), f sera representada de la siguiente manera:
A
x
b
A continuacion,
representemos graficamente las funciones presentadas en la seccion
12
y los grafos de esa misma seccion
que no son funciones.
Sean A = { a, b, c}, B = {u, v, w, x }, f = {( a, u), (b, v), (c, w)} y g = {( a, v), (b, w), (c, x ), ( a, x )}.
El grafo f es una funcion
de A en B, mientras que el grafo g no lo es:
A
B
u
v
w
x
b
a
b
c
B
u
v
w
x
b
a
b
c
b
Ahora, sean C = { a, b}, { a, b, c, d}, F = {u, v, w, xy}, h = {( a, u), (b, v)} e i = {( a, u), (b, v), (c, x )}:
C
B
b
a
b
b
u
v
w
x
F
b
a
b
c
b
u
v
w
x
y
La representacion
grafica sera de utilidad para ilustrar algunos tipos especiales de funciones, como las inyectivas y las sobreyectivas.
: 0.310
V ERSI ON
2011 - D IC - 07
57 de 117
15 Caracterizacion
de una funcion.

de una funcion).
Sean A y B clases, y f un grafo. Entonces

F : A B si y solo si se verifican las siguientes tres proposiciones:
1. El grafo F verifica la propiedad F2: si ( x, y) f y ( x, z) F, entonces y = z.
2. dom F = A.
3. img F B.
Demostracion.
1. Supongamos que A y B son clases, y F : A B.
(a) F verifica la propiedad F2. En efecto, ya que F es una funcion
de A en B.
(b) Se verifica que dom F = A.
En efecto, en primer lugar, demostremos que dom F A. Para ello, supongamos que
x dom F
(3.24)
y probemos que x A.
De (3.24) y la definicion
de dominio de un grafo, existe y tal que
( x, y) F.
(3.25)
Por otro lado, como F es una funcion

de A en B, F satisface la condicion
F0; por lo
tanto, se verifica que
F A B,
que, junto con (3.25) y el teorema de caracterizacion
de las subclases, obtenemos que
( x, y) A B,
de producto cartesiano, podemos concluir que x A, como
se quera.
Ahora, en segundo lugar, probemos que A dom F. Para ello, supongamos que
x A.
(3.26)
Debemos demostrar que x dom F; es decir, debemos demostrar que existe y tal que
( x, y) F.
Como F es una funcion
de A en B, por la propiedad F1 aplicada a (3.26), podemos
asegurar la existencia de y B tal que
( x, y) F,
como se quera.
(c) Se verifica que img F B.
En efecto, supongamos que
y img F.
(3.27)
Demostremos que y B.
de imagen de un grafo, aseguramos la existencia de un conjunto x tal que
( x, y) F,
58 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
que, junto con F A B, ya que F : A B, y el teorema de caracterizacion

de subclases, nos permite concluir que
( x, y) A B,
de donde tenemos que y B, como se quera.
(d) Ahora supongamos que A, B son clases y F un grafo tales que:
i. F satisface la condicion
F2;
ii. dom F = A; y
iii. img F B.
Vamos a demostrar que F : A B. Para ello, vamos a demostrar que F satisface unica
mente las condiciones F0 y F1, pues, por hipotesis,
satisface la condicion
F2.
i. Demostracion de F0. Supongamos que
( x, y) F;
(3.28)
vamos a demostrar que ( x, y) A B; es decir, vamos a demostrar que x A y que

y B.
de dominio y de imagen de un grafo, obtenemos,
De (3.28), por la definicion
respectivamente, que
x dom F y y img F.
Y de estas dos proposiciones, junto con dom F = A y img F B, concluimos, respectivamente que
x A y y B,
como se quera.
ii. Demostracion de F1. Supongamos que
x A.
(3.29)
Vamos a demostrar que existe y B tal que
( x, y) F.
De (3.29) y de la hipotesis
dom F = A, por el teorema de caracterizacion

de
la igualdad de clases, tenemos que x dom F; por lo tanto, por la definicion
de
dominio de un grafo, afirmamos que existe y tal que
( x, y) F.
(3.30)
Nos falta probar unicamente
que y B.
de imagen de un grafo, podemos concluir
Ahora bien, de (3.30) y la definicion
que
y img F,
que, junto con img F B, nos permite afirmar que y B, como se quera.
C OROLARIO 3.1. Sea f : A B. Si C es una clase tal que img f C, entonces f : A C.

16 Igualdad de funciones.
T EOREMA 3.4 (Igualdad de funciones). Sean f : A B y g : A B. Entonces f = g si
y solo si f ( x ) = g( x ) para todo x A.
: 0.310
V ERSI ON
2011 - D IC - 07
59 de 117
Demostracion. Sean f : A B y g : A B. Supongamos, en primer lugar, que

f = g.
(3.31)
Vamos a demostrar que para todo x A, es verdadera la proposicion
f ( x ) = g ( x ).
Para ello, supongamos que x A. Como f es una funcion
de A en B, por la propiedad F1 de la
definicion
de funcion,
existe y B tal que
( x, y) f .
(3.32)
Analogamente, como g es una funcion

de A en B, existe z B tal que
( x, z) g.
(3.33)
Ahora bien, por la igualad de clases, de (3.32) y de (3.31), obtenemos que ( x, y) g, que, junto
con (3.33) y la propiedad F2 aplicada a g, concluimos que
y = z.
(3.34)
Por otro lado, de (3.32), tenemos que y = f ( x ), y de (3.33), z = g( x ). Entonces, de (3.34), concluimos que f ( x ) = g( x ), como se quera demostrar.
Ahora vamos a probar el recproco. Supongamos, entonces que para todo x A, es verdadera la
proposicion
f ( x ) = g ( x ).
(3.35)
Debemos demostrar que f = g. Para ello, probaremos que f g y que g f . La demostracion
de la
segunda inclusion
es analoga totalmente a la primera, as que se deja como ejercicio.
Supongamos que
( x, y) f ;
(3.36)
debemos demostrar que ( x, y) g.
De (3.36), tenemos que y = f ( x ), que, junto con (3.35), implica que y = g( x ), de donde se deduce
que ( x, y) g, como se quera demostrar.
16.1
C OROLARIO 3.2. Sean f : A B y g : A B tales que f g. Entonces f = g.
Demostracion. Supongamos que f : A B y g : A B tales que
f g.
(3.37)
Vamos a demostrar que f = g.

Para ello, por el teorema (3.4), es suficiente demostrar que
f ( x ) = g( x )
para todo x A.
Sea x A. Por F1, existe y B tal que
( x, y) f ,
(3.38)

de subclases, concluimos que
( x, y) g.
60 de 117
: 0.310
V ERSI ON
(3.39)
2011 - D IC - 07
Pero, de (3.38) y de (3.39), obtenemos que

y = f (x)
y = g ( x ),
de donde se concluye que f ( x ) = g( x ), como se quera demostrar.
17 Funcion
inyectiva.
3.2 (Funcion
D EFINICI ON
inyectiva). Sean A y B dos clases, y f : A B. La funcion
f es
inyectiva si y solo si la siguiente proposicion
es verdadera:
( x1 , y ) f ( x2 , y ) f x1 = x2 .
(3.40)
En otras palabras, si la funcion

f es inyectiva, entonces ningun
elemento de B puede
tener mas de una pre-imagen; es decir, un elemento de B no puede ser la imagen de dos
elementos distintos del dominio de f .
Puesto que ( x1 , y) es equivalente a y = f ( x1 ) y ( x2 , y) a y = f ( x2 ), entonces, por las
propiedades simetrica y transitiva de la igualdad de clases, el antecedente de la proposicion
(3.40) es equivalente a f ( x1 ) = f ( x2 ); por lo tanto, f es inyectiva si y solo si la
proposicion
f ( x1 ) = f ( x2 ) x1 = x2 .
(3.41)
Por otro lado, la proposicion

(3.41) es equivalente a la siguiente:
x1 6 = x2 f ( x1 ) 6 = f ( x2 ).
(3.42)
Dicho de otra manera, la funcion

f es inyectiva si y solo si las imagenes de dos elementos
distintos del dominio son tambien distintas.
En la representacion
grafica de una funcion
inyectiva, se observa que a ningun
elemento
del conjunto de llegada le llega mas de una flecha; esto no es mas que la consecuencia
de que, para una funcion
inyectiva, dos elementos distintos no pueden tener una misma
preimagen; en el dibujo, f es una funcion
inyectiva; g no lo es:
A
B
b
a
b
c
b
u
v
w
x
B
b
a
b
c
b
u
v
w
x
17.1 La funcion
identidad es inyectiva. Sea A una clase. Entonces la funcion
identidad
sobre A, I A , es inyectiva.
Demostracion. Probemos que la proposicion
(3.40) aplicada a I A es verdadera.
Sean x1 , x2 y y tales que ( x1 , y) I A , ( x2 , y) I A ; debemos demostrar que x1 = x2 .
De las hipotesis
y de la definicion
de I A , tenemos que y = x1 y y = x2 , de donde, por la propiedad
transitiva de la igualdad de clases, concluimos que x1 = x2 , como se quera demostrar.
Tambien es facil demostrar que I A es inyectiva, probando que la proposicion

(3.41) aplicada a I A es verdadera.
: 0.310
V ERSI ON
2011 - D IC - 07
61 de 117
Demostracion. Sean x1 y x2 tales que

I A ( x1 ) = I A ( x2 ).
(3.43)
De la definicion
de I A , tenemos que
I A ( x1 ) = x1
I A ( x2 ) = x2 ,
de donde, por (3.43), obtenemos que x1 = x2 .
17.2 La inyectividad de la funcion

constante. Sean A y B dos clases, b B, fijo, y Kb la
funcion
constante de A en B tal que Kb ( x ) = b para todo x A.
Si A es un conjunto unitario, entonces Kb es una funcion
inyectiva.
Demostracion. Supongamos que A = { a}. Entonces, si ( x1 , y) Kb y ( x2 , y) Kb , de la definicion
de
Kb , tenemos, entre otras cosas, que
x1 A y x2 A;
por lo tanto x1 = a y x2 = a, de donde x1 = x2 , lo que muestra que Kb es inyectiva.
En cambio, si A no es un conjunto unitario, Kb no es inyectiva.

Demostracion. Supongamos que existieran a y c, tales que
a 6= c,
aA
c A.
De la definicion
de Kb , tenemos que
[( a, b ) Kb (c, b ) Kb ] a 6= c,
que contradice con la definicion
de funcion
inyectiva.
17.3 Ejercicios. Determine si las funciones inclusion,

caracterstica y restriccion
son funciones inyectivas.
de una funcion
inyectiva es tambien una funcion
inyectiva.
17.4 La restriccion
Demostracion. Sean f : A B una funcion
inyectiva y C A. Vamos a demostrar que f | C es
tambien una funcion
inyectiva.
Para ello, supongamos que
f | C ( x1 ) = f | C ( x2 ).
(3.44)
Vamos a demostrar que x1 = x2 .
Como x1 C y x2 , de (3.18), tenemos que
f | C ( x1 ) = f ( x1 )
f | C ( x2 ) = f ( x2 ),
que, junto con (3.44), obtenemos que

f ( x1 ) = f ( x2 ),
que, a su vez, por ser f una funcion
inyectiva, implica que x1 = x2 , como se quera demostrar. Por lo
tanto, f | C es una funcion
inyectiva.
18 Funcion
sobreyectiva.
3.3 (Funcion
D EFINICI ON
sobreyectiva). Sean A y B clases, y f : A B. La funcion
f es
sobreyectiva si y solo si la siguiente proposicion
es verdadera:
Para todo y B, existe x A tal que y = f ( x ).
62 de 117
: 0.310
V ERSI ON
(3.45)
2011 - D IC - 07
En otras palabras, cada elemento del conjunto B, es la imagen respecto de f de algun
elemento del dominio de f .

La proposicion
(3.45) implica que B img f . En efecto, si y B, por (3.45), existe x A
tal que y = f ( x ); es decir, tal que ( x, y) f , lo que implica que y img f .
Ahora bien, del teorema de caracterizacion
(3.3), sabemos que img f B. Por lo tanto,
que f sea sobreyectiva equivale a que img f = B. En resumen:
f : A B es sobreyectiva si y solo si img f = B.
(3.46)
En la representacion
grafica de una funcion
sobreyectiva, a todos los elementos del conjunto de llegada les llega una flecha, pues la imagen de una funcion
sobreyectiva es igual
al conjunto de llegada; es decir, todo elemento del conjunto de llegada es la preimagen de
algun
elemento del conjunto de salida. En el siguiente dibujo, la funcion
f no es sobreyectiva; la g s lo es:
A
B
b
a
b
c
b
u
v
w
x
B
b
a
b
c
d
b
u
v
w
18.1 La funcion
identidad es sobreyectiva. Para demostrar que la funcion
I A : A A
x 7 x
es sobreyectiva, debemos probar que, para todo y A, existe x A tal que
y = I A ( x );
es decir, tal que
y = x.
Para ello, sea y A. Es claro que hay que elegir x = y. Entonces, por el axioma de
extension,
como y A, tenemos que x A. Ademas, se cumple que y = I A ( x ).
18.2 La sobreyectividad de la funcion
constante. Es facil demostrar que la imagen de la
funcion
Kb : A B
x 7 b
es el conjunto unitario {b}. Por lo tanto, la funcion
Kb sera sobreyectiva unicamente
si
B = {b}; en el caso contrario, no sera una funcion
sobreyectiva.
18.3 Ejercicios. Determine la sobreyectividad de las funciones, inclusion,
caracterstica y
restriccion.
: 0.310
V ERSI ON
2011 - D IC - 07
63 de 117
19 Funcion
biyectiva. Una funcion
es biyectiva si y solo si la funcion
es inyectiva y sobreyectiva. Una funcion
sobreyectiva tambien suele ser denominada correspondencia uno a
uno.
Hay funciones que ni son inyectivas ni sobreyectivas; las hay otras que son unicamente
inyectivas, o unicamente
sobreyectivas; y, por supuesto, hay funciones que son biyectivas.

20 Una propiedad de la funcion
restriccion.
T EOREMA 3.5. Sean A una clase, D A y f : A B. Entonces f | D f .

Demostracion. Supongamos que ( x, y) f | D ; debemos demostrar que ( x, y) f . De la hipotesis,
tenemos que x D y ( x, y) f ; luego, por la eliminacion

de la conjuncion,
obtenemos lo que
queramos demostrar.
21 La union
de funciones.
T EOREMA 3.6. Si f : B C A, entonces f = f | B f |C .
Demostracion. Supongamos que f : B C A. Vamos a demostrar que f = f | B f | C . Para ello,
demostraremos que f f | B f | C y que f | B f | C f .
La demostracion
de la segunda inclusion
se obtiene con ayuda del teorema 3.5. En efecto, puesto
que B B C y C B C, por el teorema mencionado, tenemos que
f |B f
f |D f ,
de donde, por la propiedad de idempotencia de la union,

tenemos que
f | B f |C f .
(3.47)
Ahora probemos que f f | B f | C . Para ello, supongamos que
( x, y) f .
(3.48)
Probemos que ( x, y) f | B f | D ; es decir, demostremos que la proposicion
( x, y) f | B ( x, y) f | D
es verdadera.
Como f ( B C ) A, de (3.48) y de la definicion
de subclase, obtenemos que
( x, y) ( B C ) A;
de donde, concluimos que x B C; es decir, que la proposicion
x Bx C
(3.49)
es verdadera. Entonces, por la introduccion

de la conjuncion
aplicada a (3.49) y (3.48), obtenemos que
la proposicion
( x B x C ) ( x, y) f
es verdadera; de donde, por la propiedad distributiva de la conjuncion
respecto de la disyuncion,
tenemos que es verdadera la proposicion
( x B ( x, y) f ) ( x C ( x, y) f ),
64 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
proposicion
equivalente por la definicion
de funcion
restriccion
a la proposicion
( x, y) f | B ( x, y) f | D ,
de donde e sta tambien es verdadera, como se quera demostrar.
T EOREMA 3.7. Sean f 1 : B A y f 2 : C A, con B C = . Si f = f 1 f 2 , entonces

son verdaderas las siguientes proposiciones:
1. f : B C A.
2. f 1 = f | B y f 2 = f |C .
3. Si x B, entonces f ( x ) = f 1 ( x ), y si x C, entonces f ( x ) = f 2 ( x ).
Demostracion. Supongamos que A, B y C son clases tales que
B C = ,
(3.50)
y
f 1 : B A
f 2 : C A.
(3.51)
Ademas, la clase f se define por:

f = f1 f2.
(3.52)
1. Vamos a demostrar que f es una funcion

de B C en A mediante el teorema de Caracterizacion
de funciones, teorema 3.3. Debemos, entonces, demostrar que las siguientes propiedades son verdaderas:
(a) F2: Si ( x, y) f y ( x, z) f , entonces y = z;
(b) dom f = B C; y
(c) img f A.
Empecemos con el dominio y la imagen del grafo f . Recordemos que, para cualquier par de
grafos, el dominio y la imagen de su union
es igual a la union
de sus dominios e imagenes, respectivamente. De estas dos propiedades, se deduce, por una parte, que
dom f = dom( f 1 f 2 )
= dom f 1 dom f 2 .
Y, como f 1 y f 2 son funciones de B en A y de C en A, respectivamente, por el teorema de caracterizacion,
tenemos que dom f 1 = B y dom f 2 = C. Por lo tanto, obtenemos que
dom f = B C,
Por otra parte, tenemos que
img f = img f 1 img f 2 .
(3.53)
Luego, por el teorema de caracterizacion,

de (3.51), tenemos que
img f 1 A
img f 2 A.
(3.54)
Entonces, de (3.53) y de (3.54), por la definicion

de subclase y la idempontencia de la union,
concluimos que
img f = img f 1 img f 2 A,
: 0.310
V ERSI ON
2011 - D IC - 07
65 de 117
Finalmente, falta demostrar F2. Para ello, supongamos que
( x, y) f
( x, z) f .
(3.55)
Vamos a probar que y = z.

en (3.55) y de la definicion
de
De la definicion
de f , igualdad (3.52), de la primera proposicion
union
de clases, tenemos que
( x, y) f 1 ( x, y) f 2 ,
(3.56)
y de la segunda proposicion
en (3.52):
( x, z) f 1 ( x, z) f 2 .
(3.57)
De (3.56), tenemos dos casos.

(a) La proposicion
( x, y) f 1
(3.58)
es verdadera. Entonces, de (3.57) y del hecho de que B y C son clases disjuntas (la hipotesis (3.50)), concluimos que
( x, z) f 1 .
(3.59)
En efecto, en primer lugar, de (3.58) y f 1 B A, tenemos que ( x, y) B A, de donde
x B.
(3.60)
( x, z) 6 f 2
(3.61)
Esto significa que

es verdadera, pues, como f 2 C A, si ( x, z) f 2 , tendramos que ( x, z) C A, de donde
concluiramos que x C, que, junto con (3.60), dara que
x B C,
lo que contradice a la hipotesis
(3.50). Por lo tanto, la proposicion

(3.61) es verdadera, de
donde junto con (3.57) nos da que (3.59) es verdadera, como se dijo.
Finalmente, como f 1 es una funcion,
por la propiedad F2 aplicada a (3.58) y (3.59), concluimos que se concluye que y = z.
(b) Ahora suponemos que
( x, y) f 2 .
De manera similar al caso anterior, se concluye tambien que y = z.
2. Para demostrar que f 1 = f | B y que f 2 = f | C , vamos a utilizar el teorema sobre igualdad de
funciones, teorema (3.4). Para ello, debemos constatar que las hipotesis
de este teorema se cumplan

en cada caso.
En el primer caso, tanto f 1 como f | B son funciones de B en A. Para poder utilizar el teorema (3.4), solo nos falta verificar que para todo x B, se tiene que
f 1 ( x ) = f | B ( x ).
(3.62)
Esta igualdad se obtiene de la definicion

de la funcion
restriccion,
de la proposicion
(3.18) y de la
hipotesis
(3.50).
En efecto, si x B, de la proposicion
(3.18), tenemos que
f | B ( x ) = f ( x ).
(3.63)
y = f ( x );
(3.64)
Sea y tal que
66 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
entonces ( x, y) f . Luego, de la definicion

de f y de la definicion
de union,
tenemos que
( x, y) f 1 ( x, y) f 2 .
(3.65)
Como x B, no es posible que ( x, y) f 2 , pues, de esta proposicion,

tenemos que x C, lo que
no es posible, pues B y C son clases disjuntas. Entonces, de (3.65) se tiene que
( x, y) f 1 ;
es decir, se tiene que
y = f 1 ( x ).
(3.66)
Por lo tanto, de (3.64) y de (3.66), tenemos que f 1 ( x ) = f ( x ) que, junto con (3.63), obtenemos que
f | B ( x ) = f ( x ),
La segunda igualdad, f 2 = f | C , se prueba de manera similar a la primera, as que se deja como
ejercicio.
3. Sea x B; vamos a demostrar que f ( x ) = f 1 ( x ). Como x B, de la definicion
de funcion
restriccion,
tenemos que
f | B ( x ) = f ( x );
(3.67)
pero hemos demostrado que f 1 = f | B , de donde, por el teorema de igualdad de funciones (3.4),
concluimos que
f 1 ( x ) = f | B ( x ).
(3.68)
Por lo tanto, de (3.67) y de (3.68), obtenemos que f ( x ) = f 1 ( x ), que es lo que queramos demostrar.
De modo similar, obtenemos que si x C, entonces f ( x ) = f 2 ( x ).
21.1 La hipotesis
B C = en el teorema 3.7 es esencial; es decir, si esta hipotesis
no
esta presente en el teorema, la conclusion
del mismo no es verdadera necesariamente.
En efecto, consideremos el siguiente ejemplo. Sean B = { a, b}, C = {b, c} y A = {0, 1},
f 1 y f 2 los siguientes grafos:
f 1 = {( a, 0), (b, 1)} y
f 2 = {(b, 0), (c, 1)}.
Entonces, f 1 y f 2 son funciones de B en A y de C en A, respectivamente. Sin embargo, el

grafo f , definido como la union
de f 1 y f 2 , no es una funcion
de B C en A, pues, como
f = f 1 f 2 = {( a, 0), (b, 1), (b, 0), (c, 1)},
se tiene que
[(b, 1) f (b, 0) f ] 1 6= 0;
es decir, la condicion
F2 es falsa, por lo que f no puede ser una funcion.
22 Composicion
de funciones.
T EOREMA 3.8 (Composicion
de funciones). Si f : A B y g : B C, entonces la composicion
de g y f es una funcion
de A en C; es decir, se tiene que g f : A C.
f : A B
: 0.310
V ERSI ON
g : B C.
2011 - D IC - 07
(3.69)
67 de 117
Vamos a utilizar el teorema de caracterizacion

de funciones, teorema 3.3, para demostrar que la composicion
de los grafos g y f es una funcion
de A en C. Es decir, vamos a probar que
1. dom( g f ) = A;
2. img( g f ) C; y
3. F2: si ( x, y) g f y ( x, z) g f , entonces y = z.
1. Por el teorema de caracterizacion
de funciones, de (3.69), tenemos que
img f B
dom g = B,
de donde img f dom g, que, junto con el teorema 2.51, concluimos que dom( g f ) = A,
de funciones, tenemos que
2. Una vez mas, de (3.69), por el teorema de caracterizacion
img g C,
de donde, por el teorema 2.49, obtenemos que img( g f ) C, como se quera demostrar.
3. Supongamos que
( x, y) g f
( x, z) g f ;
(3.70)
vamos a demostrar que y = z.

De la primera proposicion
de (3.70), obtenemos que existe u tal que
( x, u ) f
(u, y) g.
(3.71)
En cambio, de la segunda proposicion,

sabemos que existe v tal que
( x, v) f
(v, z) g.
( x, v) f ,
(3.72)
De (3.71) y de (3.72), tenemos que
( x, u ) f
de donde, puesto que f es una funcion,

por F2, debemos concluir que
u = v.
(3.73)
Ahora, por el teorema 2.38, aplicado a (3.73), concluimos que
(v, z) = (u, z),

que, junto con la segunda proposicion
de (3.72) y el axioma de extension,
implica que
(u, z) g,
de donde, junto con la segunda proposicion
de (3.71), podemos asegurar que la proposicion
(u, y) g (u, z) g,
de donde, por la propiedad F2 y el hecho de que g es una funcion,
concluiimos que y = z, que
es lo que queramos demostrar.
22.1
C OROLARIO 3.3. Si f : A B y g : B C, entonces, para cada x A, se verifica que
( g f )( x ) = g( f ( x )).
68 de 117
: 0.310
V ERSI ON
2011 - D IC - 07

f : A B
g : B C.
(3.74)
Sea x A. Vamos a demostrar que
( g f )( x ) = g( f ( x )).
Por el teorema 3.8, de (3.74), el grafo g f es una funcion
de A en C. Entonces, como x A, por
F1, existe y C tal que
( x, y) g f ;
(3.75)
es decir:
y = ( g f )( x ).
(3.76)
Por otro lado, de (3.75) y de la definicion

de composicion
de un grafo, sabemos que existe z tal
que
( x, z) f
(z, y) g;
(3.77)
z = f (x)
y = g ( z ).
(3.78)
es decir, existe z tal que

De la primera igualdad de (3.78), por la
es una funcion,
tenemos que
propiedad F20
vease el teorema 3.1 y del hecho de que g
g(z) = g( f ( x )),
de donde, junto con la segunda igualdad de (3.77), concluimos que
y = g( f ( x )),
22.2 Sean f : A B, I A e IB , las funciones identidad sobre A y B, respectivamente.

Entonces IB f = f y f I A = f .
Demostracion. Supongamos que f : A B. Vamos a demostrar que IB f = f unicamente;
la otra
igualdad queda como ejercicio.
Para ello, vamos a utilizar el teorema de igualdad de funciones, teorema 3.4. Debemos, entonces,
demostrar que:
1. IB f es una funcion
de A en B; y
2. Para todo x A, se verifica ( IB f )( x ) = f ( x ).
Procedamos.
IB f es
1. Como f es una funcion
de A en B e IB , de B en B, por el teorema 3.8, la composicion
una funcion
de A en B, como se quera demostrar.
2. Sea x A; vamos a probar que ( IB f )( x ) = f ( x ).
Como x A, por el corolario 3.3, tenemos que
( IB f )( x ) = IB ( f ( x )).
(3.79)

de funcion
identidad, la igualdad siguiente es verdadera:
IB ( f ( x )) = f ( x ).
(3.80)
Por lo tanto, de (3.79) y de (3.80), concluimos que
( IB f )( x ) = f ( x ),
: 0.310
V ERSI ON
2011 - D IC - 07
69 de 117
22.3
T EOREMA 3.9. Sean f : A B y g : B C. Entonces:
1. Si f y g son inyectivas, entonces g f es inyectiva.
2. Si f y g son sobreyectivas, entonces g f es sobreyectiva.
3. Si f y g son biyectivas, entonces g f es sobreyectiva.
Demostracion. Supongamos que f : A B y g : B C; entonces, por el teorema 3.8, la composicion
g f es una funcion
de A en B.
1. Supongamos que f y g son inyectivas; debemos demostrar que g f es una funcion
inyectiva. Para
ello, supongamos que
( g f )( x1 ) = ( g f )( x2 );
(3.81)
vamos a probar que x1 = x2 .
Por el corolario 3.3, tenemos que
( g f )( x1 ) = g( f ( x1 )) y ( g f )( x2 ) = g( f ( x2 )),
que, junto con (3.81), implica
g( f ( x1 )) = g( f ( x2 )).
(3.82)
Como g es inyectiva, de (3.82), obtenemos que

f ( x1 ) = f ( x2 ),
de donde, como f tambien es inyectiva, concluimos que x1 = x2 , como se quera demostrar.
2. Supongamos que f y g son funciones sobreyectivas; probaremos, a continuacion,
que la funcion
g f tambien es sobreyectiva. Como g f es una funcion

de A en C, vamos a demostrar que,
para todo y C, existe x A tal que y = ( g f )( x ); es decir, tal que y = g( f ( x )), gracias al
corolario 3.3.
Sea y C. Como g es una funcion
sobreyectiva de B en C, existe z B tal que
y = g ( z ).
(3.83)
Por otro lado, como z B y f es una funcion

de A en B sobreyectiva, existe x A tal que
z = f ( x ),
de donde, por F20 , tenemos que
g(z) = g( f ( x )),
que, junto con (3.83), concluimos que
y = g( f ( x )),
3. Supongamos que f y g son biyectivas; probaremos que la composicion
g f tambien lo es; es decir,
mostraremos que g f es inyectiva y sobreyectiva.
De las hipotesis,
f y g son inyectivas; entonces, la composicion

tambien lo es, por la primera
parte de este teorema. Tambien, de las hipotesis,
f y g son sobreyectivas; entonces, por la segunda

parte de este teorema, la composicion
tambien lo es.
23 Funciones inversibles.
3.4 (Funcion
D EFINICI ON
inversible). Una funcion
f : A B es inversible si y solo si el
1
grafo inverso f es una funcion
de B en A.
70 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
En el caso de que f sea inversible, entonces la funcion

f 1 : B A se denomina
funcion inversa de f .
23.1 La funcion
identidad es inversible. Sean A una clase e I A la funcion
identidad sobre
A; es decir:
I A = {( x, y) : x A y = x }.
1
Para probar que I A es inversible, debemos demostrar que el grafo inverso de I A , la clase I A
es una funcion
de A en A. Para ello, en primer lugar, vamos a calcular o determinar
1
IA
.
En primer lugar, tenemos que:
1
( x, y) I A
(y, x ) I A
yA x=y
x A y = x
(3.84)
( x, y) I A .
La primera equivalencia se debe a la definicion
de grafo inverso; la segunda, por la definicion
de funcion
identidad; la tercera, que es una implicacion,
se justifica por el axioma
de extension
y la propiedad simetrica de la igualdad; y, finalmente, la equivalencia de la
cuarta lnea se justifica en la definicion
de funcion
identidad.
En resumen, hemos probado que la siguiente implicacion
es verdadera:
1
( x, y) I A
( x, y) I A ;
es decir, hemos demostrado que
1
IA
IA .
(3.85)
Volvamos a la implicacion
(3.84); en realidad, podemos probar que la implicacion
recproca tambien es verdadera:
x A y = x y A x = y.
x A y = x.
(3.86)
Por el axioma de extension

y la propiedad simetrica de la igualdad, obtenemos de (3.86),
que
y A.
(3.87)
Y, por la eliminacion
de la conjuncion
aplicada a (3.86), obtenemos que
y = x,
de donde, una vez mas por la propiedad simetrica de la igualdad, concluimos que
x = y.
(3.88)
Finalmente, por la introduccion

de la conjuncion
aplicada a (3.87) y a (3.88), obtenemos que
y A x = y.
: 0.310
V ERSI ON
2011 - D IC - 07
71 de 117
Esto significa que tenemos que la implicacion
1
( x, y) I A ( x, y) I A
es verdadera; es decir, es verdadera la proposicion
1
IA IA
,
de donde, junto con (3.85), obtenemos que

1
IA
= IA .
(3.89)
1
Ahora bien, como I A es una funcion
de A en A, tambien lo es I A
; por lo tanto, la funcion
I A es inversible, y su inversa es ella misma, como lo declara la igualdad (3.89).
23.2 La funcion
constante no siempre es inversible. Sean A y B clases, b B un elemento
fijo y Kb la funcion
constante; es decir:
Kb = {( x, b) : x A}.
Para determinar si Kb es inversible, averiguemos
a que es igual el grafo inverso Kb1 .

En primer lugar, tenemos que:
( x, y) Kb1 (y, x ) Kb
y A x = b;
es decir, es verdadera la siguiente equivalencia:
( x, y) Kb1 x = b y A.
(3.90)

de clases, existe la clase G, definida de la siguiente manera:
G = {(b, y) : y A}.
Entonces, por la definicion
de G, es verdadera la siguiente implicacion:
( x, y) G x = b y A,
que, junto con (3.90), implica que la siguiente equivalencia es verdadera:
( x, y) Kb1 ( x, y) G,
de igualdad de clases, podemos concluir que
Kb1 = G;
es decir, podemos afirmar que
Kb1 = {(b, x ) : x A}.
(3.91)
Una vez calculado Kb1 , determinemos si es o no una funcion

de B en A.
Si A y B fueran conjuntos unitarios, por ejemplo, si A = { a} y B = {b}, entonces
72 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
tendramos que
Kb1 = {(b, a)};
y, en este caso, Kb1 s sera una funcion,

y Kb sera una funcion
inversible.
Sin embargo, si B no fuera unitario, independientemente de A, Kb1 no sera una funcion
de B en A. En efecto, supongamos que, ademas de b, el conjunto B tuviera por elemento a

c tal que c 6= b. Entonces, Kb1 no sera una funcion
por no cumplir con la propiedad F1,
pues, para c B, no existira ningun
elemento y A tal que
(c, y) Kb1 ,
ya que todos los elementos de Kb1 son pares ordenados cuya primera componente es siempre el conjunto b.
Si B fuera unitario, pero A no, el grafo Kb1 tampoco sera una funcion,
pues, si existieran
a A y d A tales que a 6= d, por la definicion
de Kb1 , tendramos que
[(b, a) Kb1 (b, d) Kb1 ] a 6= d;

es decir, el grafo Kb1 no cumplira la propiedad F2.
En resumen:
1. Si A y B son conjuntos unitarios, el grafo Kb1 es una funcion
de B en A, y, por lo
tanto, la funcion
Kb es inversible.
2. Si B no es unitario, Kb1 no satisface la propiedad F1, por lo tanto, la funcion
Kb no es
inversible.
3. Si A no es unitario y B s, el grafo Kb1 no satisface la propiedad F2, de modo que, la
funcion
Kb no es inversible.
23.3 Caracterizacion
de la funcion
inversa
de la inversa). Sea f : A B una funcion
inversible.
Entonces, para todo x A, es verdadera la siguiente equivalencia:
y = f ( x ) x = f 1 ( y ) .
Demostracion. Supongamos que f : A B es una funcion
inversible. Sean x A. Entonces:
y = f ( x ) ( x, y) f
(y, x ) f 1
x = f 1 ( y ).
La primera equivalencia es verdadera por la definicion
de la notacion
funcional; la segunda equivalencia, por la definicion
de grafo inverso de un grafo; y la tercera, por la definicion
de notacion
funcional aplicada a f 1 , que es una funcion

de B en A, pues f es inversible.
24 Condiciones necesarias y suficientes para que una funcion

sea inversible.
T EOREMA 3.11. Sea f : A B. Entonces, f es inversible si y solo si f es biyectiva.
Demostracion. Sea f : A B una funcion.
: 0.310
V ERSI ON
2011 - D IC - 07
73 de 117
1. Supongamos que f es biyectiva; es decir, es inyectiva y sobreyectiva. Vamos a demostrar que f es

inversible; es decir, vamos a probar que el grafo f 1 es una funcion
de B en A.
Para ello, vamos a utilizar el teorema de caracterizacion
de funciones. Debemos, entonces,
probar que:
(a) la proposicion
F2 es verdadera para el grafo f 1 ;
(b) el dominio de f 1 es igual a la clase B; y
(c) la imagen de f 1 es subclase de A.
La segunda y tercera condicion
se deducen facilmente de las propiedades de los grafos inversos. En efecto, por el teorema (2.48), tenemos que
dom f 1 = img f
img f 1 = dom f .
Como f es una funcion

de A en B, tenemos que dom f = A; y como f es sobreyectiva, entonces
img f = B. Por lo tanto, concluimos que
dom f 1 = B
img f 1 = A,

Solo falta, entonces, probar que f 1 satisface la propiedad F2. Para ello, supongamos que
( x, y) f 1
( x, z) f 1 ;
(3.92)
vamos a demostrar que y = z.

Por la definicion
de grafo inverso, de (3.92), obtenemos que
(y, x ) f
(z, x ) f ,
de donde, puesto que f es inyectiva, podemos asegurar que y = z, como se quera demostrar.
2. Supongamos ahora que f es inversible. Vamos a demostrar que f es biyectiva; es decir, que es
inyectiva y sobreyectiva.
Probemos, en primer lugar, que f es inyectiva. Para ello, supongamos que x1 A y x2 A
tales que
f ( x1 ) = f ( x2 );
(3.93)
vamos a demostrar que x1 = x2 .
de A en B y x1 A, por F1, existe y B tal que
y = f ( x1 ),
(3.94)
y = f ( x2 ).
(3.95)
que, junto con (3.93), implica que

Entonces, de (3.94) y de (3.95), tenemos que
( x1 , y ) f
( x2 , y ) f ,

de grafo inverso, obtenemos que
(y, x1 ) f 1
(y, x2 ) f 1 .
(3.96)
Ahora bien, como f es inversible, tenemos que f 1 es una funcion;

entonces se satisface la
propiedad F2 para f 1 ; entonces, de (3.96), concluimos que x1 = x2 , lo que se prueba que f es una
funcion
inyectiva.
Finalmente, probemos que f es una funcion
sobreyectiva. Para ello, probemos que img f = B.
Como f es inversible, entonces f 1 es una funcion
de B en A, de donde
img f = dom( f 1 ) = B,
74 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
ya que f 1 es una funcion

de B en A.
C OROLARIO 3.4. Sea f : A B. Si f es inversible, entonces f 1 es biyectiva.

Demostracion. Supongamos que f : A B es una funcion
inversible. Vamos a demostrar que f 1
es biyectiva. Para ello, por el teorema 3.11, es suficiente con probar que f 1 es inversible.
Dado que
( f 1 ) 1 = f
y como f es una funcion
de A en B, entonces el grafo inverso de f 1 es una funcion
de A en B. Por lo
tanto, por la definicion,
se tiene que f 1 es inversible, de donde, se concluye que f 1 es biyectiva.
T EOREMA 3.12. Sea f : A B. Entonces f es inversible si y solo si existe una funcion
g : B A tal que g f = I A y f g = IB . Si existe la funcion

g, entonces g = f 1 .
Demostracion. Supongamos que f : A B.
1. Supongamos que la funcion
f es inversible. Debemos probar que existe una funcion
g : B A
que satisfaga las siguientes dos igualdades:
g f = IA
f g = IB .
Vamos a demostrar que la funcion

g que satisface estas dos igualdades es f 1 , que es funcion
de B en A, ya que f es una funcion

inversible. De manera que, vamos a probar que se verifican las
siguientes igualdades:
f 1 f = I A y f f 1 = IB .
Demostrar unicamente
la primera igualdad; la segunda sigue un patron

similar, y queda de
ejercicio.
Vamos a utilizar el teorema 3.4; para ello, demostraremos que f 1 f : A A y, para todo
x A, se verifica la igualdad
( f 1 f )( x ) = I A ( x ).
(3.97)
La primera proposicion
es verdadera, pues, por el teorema de la funcion
compuesta, teorema 3.8, como f : A B y f 1 : B A, entonces f 1 f : A A.
Para mostrar la proposicion
(3.97), supongamos que x A. Entonces, por el corolario de
caracterizacion
de la funcion
compuesta, corolario 3.3, tenemos que
( f 1 f )( x ) = f 1 ( f ( x )).
(3.98)
Por otro lado, como x A y f : A B, por la propiedad F1, aseguramos la existencia de

y B tal que
y = f ( x ),
(3.99)
de donde, por la propiedad F20 , tenemos que
f 1 (y) = f 1 ( f ( x )).
(3.100)
Finalmente, de (3.99) y el teorema de caracterizacion

de la funcion
inversa, teorema (3.10), obtenemos que
x = f 1 ( y ),
que, junto con (3.100), nos permite concluir que
f 1 ( f ( x )) = x,
de donde, como I A ( x ) = x, colegimos que
f 1 ( f ( x )) = I A ( x );
: 0.310
V ERSI ON
2011 - D IC - 07
75 de 117
y de esta igualdad, junto con (3.98), obtenemos la igualdad (3.97), como se quera demostrar.
2. Supongamos que existe una funcion
g : B A tal que se verifican las siguientes igualdades:
g f = IA
f g = IB .
(3.101)
Vamos a demostrar que f es inversible y que f 1 = g. Para ello, vamos a demostrar que f es una
funcion
biyectiva.
(a) En primer lugar, demostremos que f es inyectiva. Para ello, sean x1 A y x2 A tales que
f ( x1 ) = f ( x2 );
(3.102)
probaremos que x1 = x2 .
Por F2 aplicada a g y a (3.102), obtenemos que
g( f ( x1 )) = g( f ( x2 )).
(3.103)
Por otro lado, por el corolario de caracterizacion

de la funcion
compuesta, corolario 3.3,
tenemos
g( f ( x1 )) = ( g f )( x1 ) y g( f ( x2 )) = ( g f )( x2 ),
de donde, junto con (3.103), podemos concluir que
( g f )( x1 ) = ( g f )( x2 ).
(3.104)
Ahora bien, de las hipotesis
(3.101) y por el teorema de caracterizacion

de la igualdad de
funciones, colegimos que
( g f )( x1 ) = I A ( x1 ) = x1
( g f )( x2 ) = I A ( x2 ) = x2 ,
de donde, junto con (3.104), obtenemos que x1 = x2 , como se quera demostrar.

(b) Demostremos que f es sobreyectiva. Para ello, supongamos que y B; vamos a mostrar que
existe x A tal que y = f ( x ).
Como g es una funcion
de B en A, de y B, por la propiedad F1, podemos afirmar que
existe x A tal que
x = g ( y ),
de donde, por la propiedad F2 aplicada a f , concluimos que
f ( x ) = f ( g(y)).
(3.105)
Pero, por la segunda igualdad de (3.101) y la caracterizacion

de la funcion
compuesta, tenemos que
f ( g(y)) = ( f g)(y) = IB (y) = y,
que junto con (3.105), concluimos que y = f ( x ), como se quera demostrar.
24.1 Sean f : A B y g : B C. Demuestre que f es inyectiva si g f es inyectiva, y

que g es sobreyectiva si g f lo es.
Demostracion. En primer lugar, supongamos que la funcion
compuesta g f es inyectiva. Vamos a
demostrar que f es inyectiva. Para ello, supongamos que x1 A y x2 A tales que
f ( x1 ) = f ( x2 ).
(3.106)
Demostraremos que x1 = x2 .
De (3.106) y F2 , obtenemos que
g( f ( x1 )) = g( f ( x2 )).
76 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
Por el teorema de caracterizacion

de la funcion
compuesta, de la ultima
igualdad, podemos asegurar

que
( g f )( x1 ) = ( g f )( x2 ),
de donde, concluimos que x1 = x2 , ya que g f es una funcion
inyectiva.
Ahora demostremos que g es sobreyectiva. Para ello, sea y C; debemos encontrar x B tal que
y = g ( x ).
Como g f es una funcion
de A en C, que es sobreyectiva, de y C, podemos asegurar que existe
z A tal que
y = ( g f )(z),
de donde, por la caracterizacion
de la funcion
compuesta, obtenemos que
y = g( f (z)).
(3.107)
Por otro lado, como f es una funcion

de A en B y z A, por F1, sabemos que existe x B tal que
x = f (z), de donde, por F2 , obtenemos que
g( x ) = g( f (z)),
que, junto con (3.107), nos permite concluir que y = g( x ), como se quera demostrar.
24.2 Sean f : A B y g : B A tales que es verdadera la siguiente equivalencia:

y = f ( x ) x = g ( y ).
Demuestre que f es inversible y que g = f 1 .
Demostracion. Supongamos que f : A B y g : B A tales que
y = f ( x ) x = g ( y ).
(3.108)
Para probar que f es inversible, vamos a utilizar el teorema 3.12. De manera mas precisa, vamos a
demostrar que la funcion
g de la hipotesis
satisface las condiciones del teorema mencionado; es decir,

vamos a demostrar que la funcion
g, que es una funcion
de B en A, satisface las igualdades:
g f = IA
f g = IB .
Una vez hecho esto, podremos asegurar que f es inversible y que g = f 1 , como se quiere.
Para demostrar que la primera igualdad es verdadera, dado que g f es una funcion
de A en A,
por el teorema 3.4, nos bastara con probar que
( g f )( x ) = I A ( x )
para todo x A.
Sea x A. Como f es una funcion
de A en B, por F1, existe y B tal que
y = f ( x ),
(3.109)
de donde, junto con la definicion

de equivalencia logica
y la hipotesis
(3.108), concluimos que

x = g ( y ).
(3.110)
Por otro lado, de (3.109), por F2 , obtenemos que g(y) = g( f ( x )), que, junto con: la igualdad (3.110), la caracterizacion
de la funcion
compuesta y la definicion
de funcion
identidad, nos
permite afirmar que
( g f )( x ) = g( f ( x ))
: 0.310
V ERSI ON
2011 - D IC - 07
77 de 117
= g(y)
= x = I A ( x );
es decir:
( g f )( x ) = I A ( x ),
Ahora demostremos la igualdad f g = IB . Para ello, sea y B. Como g es una funcion
de B en
A, por F1, existe x A tal que
x = g ( y ).
Entonces, de esta igualdad, de F2 y de 3.108, obtenemos, respectivamente, las igualdades
f ( x ) = f ( g(y))
y = f ( x ),
de las cuales se obtiene que

f ( g(y)) = y,
que es equivalente a
( f g)(y) = IB (y),
24.3 Sean g : B C y h : B C tales que se verifica la igualdad

g f = h f
para toda funcion
f : A B. Demuestre que g = h.
Demostracion. Supongamos que f y g son funciones de B en C y que verifican la igualdad
g f = h f.
(3.111)
para toda funcion

f de A en B, donde A es una clase cualquiera. Debemos demostrar que g = h. Para
ello, vamos a utilizar el teorema 3.4.
Sea, entonces, x B; probaremos que
h ( x ) = g ( x ).
Sea K x la funcion
constante de A en B definida de la siguiente manera:
K x : A B
z 7 x;
es decir:
K x (z) = x
(3.112)
para todo z A.
Como K x es una funcion
de A en B, en particular, debe satisfacer la igualdad (3.111); por lo tanto,
se verifica tambien que
g Kx = h Kx.
(3.113)
Entonces, por el teorema de igualdad de funciones, teorema 3.4, como las funciones g K x y h K x
son funciones de A en C, si z A, de (3.113), se obtiene que
( g K x )(z) = (h K x )(z).
(3.114)
Pero, por el corolario de caracterizacion

de la composicion
de funciones, la definicion
de K x y la
78 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
propiedad F2 , tenemos que
( g K x )(z) = g(K x (z)) = g( x ) y (h K x )(z) = h(K x (z)) = h( x ),

que, junto con (3.114), nos permite concluir que g( x ) = h( x ), como se quera demostrar.
25 Imagen directa bajo una funcion.
Sean A y B clases, y f : A B. Sea C A. Por

de clases, existe la clase denominada imagen directa de C bajo f ,
representada por f (C ) y definida por
f (C ) = {y : y B ( x )[ x A y = f ( x )]}.
(3.115)
En otras palabras, la imagen directa de C bajo f es la clase de las imagenes de todos los
elementos de C.
De la definicion
de f (C ), se obtiene que la siguiente equivalencia es verdadera:
u f (C ) u B ( x )[ x C u = f ( x )].
(3.116)
Si x C, entonces x A, pues C A; por lo tanto, f ( x ) B. Si y = f ( x ), entonces, por

el axioma de extension,
y B. En otras palabras, tenemos que
y B y = f ( x ),
de donde, por la equivalencia (3.116), concluimos que y f (C ), que, junto con la igualdad
y = f ( x ) y el axioma de extension,
obtenemos que f ( x ) f (C ) si x C. En otras palabras,
la definicion
de la clase f (C ) tambien puede ser escrita de la siguiente manera:
f ( C ) = { f ( x ) : x C }.
(3.117)
25.1 Cautela con la notacion

f (w). Supongamos f : A B. Que representa f (w)? La
respuesta a esta pregunta depende de lo que w representa. Por ejemplo, si w A , entonces,
por la propiedad F1, f (w) es el unico
elemento de la clase B tal que (w, f (w)) f . En

cambio, si w A, f (w) es la subclase de B cuyos elementos son las imagenes de todos los
elementos de w.
Parte de lo indicado, puede resumirse de la siguiente manera:
(
elemento de B si w A;
f (w) es
(3.118)
subclase de B si w A.
25.2 Ejemplo. Supongamos que f : A B; si a A, entonces { a} A. Calculemos
f ({ a}. En primer lugar, tenemos que
u f ({ a}) u B y existe x { a} tal que u = f ( x )
u B y existe x tal que x = a y u = f ( x )

u B y u = f ( a)
u { f ( a)}.
de imagen directa; la segunda a la definicion
de conjunto unitario; la implicacion,

en la tercera lnea, a la propiedad F2 ; y, finalmente,
la ultima
equivalencia, a la definicion
de conjunto unitario una vez mas. En resumen, es
: 0.310
V ERSI ON
2011 - D IC - 07
79 de 117
verdadera la siguiente implicacion:
u f ({ a}) u { f ( a)},
que, por la definicion
de igualdad de clases, significa que
f ({ a} { f ( a)}.
Ahora probemos la inclusion
recproca:
{ f ( a)} f ({ a}).
Para ello, sea u { f ( a)}; debemos demostrar que u f ({ a}; es decir, debemos demostrar
que u B y que existe x { a} tal que u = f ( x ).
De la definicion
de conjunto unitario y de u { f ( a)}, tenemos que
u = f ( a ).
(3.119)

de A en B y a A, entonces f ( a) B; luego, por el axioma de
extension
y (3.119), u B. En resumen, hemos demostrad que:
u B [ a { a} u = f ( a)].
(3.120)
Entonces, por la generalizacion

existencial aplicada al conjunto a en la proposicion
(3.120),
obtenemos que
u B y existe x { a} tal que u = f ( x ),
(3.121)
que es lo que queramos demostrar2 .
En resumen, hemos demostrado que
f ({ a}) = { f ( a)}.
Prestese mucha atencion
a la diferencia entre f ( a) y f ({ a})!
25.3 Representacion
grafica. En los siguientes dibujos, se ilustran algunas imagenes directas, las mismas que ayudaran a comprender algunas de las propiedades basicas de este
concepto.
2 A partir de la proposicion
(3.120), podemos tambien obtener la proposicion
(3.121) por un camino mas largo,
sin recurrir a la generalizacion
existencial, de la siguiente manera.
Sea x = a; entonces, de la definicion
de conjunto unitario, obtenemos que
x { a}.
Por otro lado, por la propiedad
F2 ,
(3.122)
tenemos que f ( x ) = f ( a), que, junto con (3.119), nos permite afirmar que
u = f ( x ).
(3.123)
Entonces, de (3.120), (3.122) y (3.123), nos conduce a (3.121).
80 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
f
A
a
b
c
d
e
f
B
u
v
w
x
A
C
f (C)
a
b
c
d
e
u
v
w
x
f (C)
f (C)
25.4 Propiedades basicas de la imagen directa.

T EOREMA 3.13. Sean A, B clases, C A, D D y f : A B. Entonces:
1. f (C ) B.
6. Si C = D, entonces f (C ) = f ( D ).
2. Si x C, entonces f ( x ) f (C ).
7. f (dom f ) = img f .
3. f (C ) img f .
8. f (C D ) = f (C ) f ( D ).
4. f () = .
9. f (C D ) f (C ) f ( D ).
10. f (C D ) 6= f (C ) f ( D ).
5. f ( A) = img f .
Demostracion. Supongamos que A, B son clases, f : A B, C A y D A.

1. Sea y f (C ); vamos a demostrar que y B. De la definicion
de f (C ), tenemos que y B para
el cual existe x A tal que y = f ( x ); por la eliminacion
de la conjuncion,
y B, como se quera
demostrar.
2. Supongamos que x C. Debemos demostrar que f ( x ) C; es decir, hay que mostrar que f ( x ) B
y que existe u C tal que f ( x ) = f (u ).
Como x C y C A, entonces x A; entonces, por la propiedad F1, existe y B tal que
y = f ( x ). En otras palabras, tenemos que:
y B y existe x C tal que y = f ( x );
es decir, y f (C ), de donde, junto con y = f ( x ) y el axioma de extension,
concluimos que f ( x )
f (C ), como se quera demostrar.
3. Supongamos que y f (C ); vamos a demostrar que y img f . Para ello, vamos a probar que
existe x tal que ( x, y) f .
De la definicion
de imagen directa y de y f (C ), colegimos que y B y que existe x C tal
que y = f ( x ); es decir, existe x tal que ( x, y) f , como se quera demostrar.
4. Para probar que f () = , razonemos por reduccion
al absurdo; es decir, supongamos que
f () 6= . Entonces, existe y tal que
y f ( ).
Por lo tanto, de la definicion
de imagen directa, concluimos que y B y que existe x tal que
x y y = f ( x ),
lo cual es imposible, pues u 6 para todo conjunto u.
5. En primer lugar, demostremos que
f ( A) img f .
Sea u f ( A); entones, existe x A tal que u = f ( x ); por lo tanto, ( x, u ) f , de donde, por la
definicion
de imagen de un grafo, u img f .
: 0.310
V ERSI ON
2011 - D IC - 07
81 de 117
En segundo lugar, probemos que

img f f ( A).
Si u img f , de la definicion
de imagen, existe x tal que ( x, u ) f , de donde, obtenemos que
x A y u B, ya que f A B, y u = f ( x ); es decir, tenemos que
u B y existe x A tal que u = f ( x );
dicho de otro modo, u f ( A).
6. Supongamos que C = D. Vamos a probar que f (C ) = f ( D ):
y f (C ) y B y existe x C tal que y = f ( x )
y B y existe x D tal que y = f ( x )

y f ( D ).
de imagen directa; la segunda, a la hipotesis
C = D;
y la tercera, tambien a la definicion
de imagen directa, pero aplicada a la clase D.
En resumen, se ha demostrado que
y f ( C ) y f ( D ),
de donde, se concluye que f (C ) = f ( D ).
El recproco de esta propiedad no es verdadero necesariamente; es decir, que
f (C ) = f ( D )
no se concluye, necesariamente, que C = D. Un contraejemplo se muestra en la funcion
representada en el dibujo de la derecha en la subseccion
25.3.
En efecto, si:
A = { a, b, c, d, e},
B = {u, v, w, x }
f = {( a, u ), (b, v), (d, u ), (d, x ), (e, x )}.
Entonces f : A B.
Por otro lado, si
C = { a, b }
D = {b, c},
entonces
f (C ) = {u, v} = f ( D )
C 6= D.
7. Que f (dom f ) = img f se deduce de modo inmediato de aplicar el numeral anterior de este teorema a dom f = A, y luego la quinta propiedad de este teorema, junto con la propiedad transitiva
de la igualdad de clases.
8. Para demostrar la igualdad
f ( C D ) = f ( C ) f ( D ),
vamos a utilizar la siguiente equivalencia logica
que satisface el cuantificador existencial:
( x )[ P ( x ) Q( x )] ( x )[ P ( x )] ( x ) Q( x ).
(3.124)
En este caso, se puede obtener una demostracion

mas breve si utilizamos las definiciones formales
de igualdad de clases y de imagen directa. En efecto, tenemos que:
y f (C D ) y B ( x )[( x C D ) y = f ( x )]
y B ( x )[( x C x D ) y = f ( x )]
y B ( x )[( x C y = f ( x )) ( x D y = f ( x ))]
y B [( x )( x C y = f ( x )) ( x )( x D y = f ( x ))]
[ y B ( x )( x C y = f ( x ))] [ y B ( x )( x D y = f ( x ))]
82 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
y f (C ) y f ( D )
y f ( C ) f ( D ).
(a) La primera equivalencia se debe a la definicion
de imagen directa aplicada a C D.
(b) La segunda, a la definicion
de union
de clases.
(c) La tercera se obtiene por aplicacion
de la propiedad distributiva de la conjuncion
respecto
de la disyuncion.
(d) La cuarta equivalencia es el resultado de la aplicacion

de la equivalencia (3.124).
(e) La quinta se debe a la aplicacion
de la distributiva de la conjuncion
respecto de la disyuncion.
(f) La sexta, aplicacion

de la definicion
de imagen directa.
(g) La septima, y ultima,
es el resultado de la definicion
de union
de clases.
En resumen, se ha demostrado la veracidad de la equivalencia siguiente:
y f ( C D ) y f ( C ) f ( D ),
lo que implica que f (C D ) = f (C ) f ( D ).
9. Vamos a demostrar que
f ( C D ) f ( C ) f ( D ).
y f ( C D ).
(3.125)
Vamos a demostrar que y f (C ) y que y f ( D ).

Si C D = , entonces f (C D ) = f (); y, como f () = , entonces f (C D ) = , de
modo que, para este caso particular, se verifica que
f ( C D ) = f ( C ) f ( D ),
pues la clase vaca es subclase de cualquier clase.
de imagen directa,
Ahora supongamos que C D = . De la hipotesis
(3.125) y de la definicion
sabemos que y B y que existe x C D tal que y = f ( x ). Entonces, de la definicion
de
interseccion,
existe x tal que x C y x D que satisface la igualdad y = f ( x ). Es decir, es cierto
que
y B y existe x C tal que y = f ( x ) y y B y existe x D tal que y = f ( x );
es decir:
y f (C )
y f ( D ),

10. La inclusion
f (C ) f ( D ) f (C D )
no es verdadera necesariamente.
En efecto, el mismo ejemplo utilizado para demostrar la sexta propiedad enunciada en este
teorema, es un contraejemplo, pues
C D = { b },
f (C D ) = {v}
f (C ) f ( D ) = {u, v}.
26 Imagen inversa bajo una funcion.
Sean A y B clases, y f : A B. Sea D B. Por

de clases, existe la clase denominada imagen inversa de D bajo f ,
representada por f 1 ( D ) y definida por
f 1 ( D ) = { x : x A (y)[y D y = f ( x )]}.
(3.126)
En otras palabras, la imagen inversa de D bajo f es la clase de las preimagenes de todos los
elementos de D.
: 0.310
V ERSI ON
2011 - D IC - 07
83 de 117
De la definicion
de f 1 ( D ), se obtiene que la siguiente equivalencia es verdadera:
u f 1 ( D ) u A (y)[y D y = f (u)].
(3.127)
Si x f 1 ( D ), entonces existe y D tal que y = f ( x ); entonces, por el axioma de

extension,
f ( x ) D. Por lo tanto, la definicion
de la clase f 1 ( D ) tambien puede ser escrita
de la siguiente manera:
f 1 ( D ) = { x : x A f ( x ) D }.
(3.128)
26.1 Precaucion
con la notacion
f 1 (w). Supongamos que f : A B. A que es igual
1
f (w)? No depende unicamente
de lo que sea w, sino tambien de f . En efecto, si w B,

entonces f 1 (w) sera la preimagen de w unicamente
si f fuera una funcion

inversible;
pues, de no serlo, el grafo inverso de f , la clase f 1 , no sera una funcion,
y, por lo tanto, los
smbolos f 1 (w) careceran de significado. Luego, si f es una funcion
inversible y w B,
f 1 (w) es un elemento de A tal que su imagen es igual a w.
Por otro lado, w podra ser un subconjunto de B. En ese caso, f 1 (w) representara la
imagen inversa de w bajo f ; es decir, una subclase de A que contendra las preimagenes de
todos los elementos de w.
En resumen:
(
elemento de A si w B y f es inversible;
f 1 (w) es
(3.129)
subclase de A si w B.
26.2 Ejemplo. Sean f : A B y u B. Averiguemos
a que es igual f 1 ({u}). En primer

lugar, tenemos que
x f 1 ({b}) x A f ( x ) {b}
x A f ( x ) = b;
es decir, se verifica la siguiente equivalencia:
x f 1 ({b}) x A f ( x ) = b.
(3.130)
En los siguientes dibujos, se ilustra la posibilidad de que no exista ningun

u que satisfaga esta equivalencia. Con su ayuda, cubriremos todos los casos posibles.
f
a
b
c
d
e
f
B
A
b
u
v
w
s
t
f 1 ({ u })
(a)
84 de 117
A
a
b
c
d
e
b
u
v
w
s
t
(b)
: 0.310
V ERSI ON
2011 - D IC - 07
f 1 ({ u })
a
b
c
d
e
f
B
A
b
A
f 1 ({ u })
u
v
w
s
t
a
b
c
d
e
B
u
v
w
s
t
r
b
(c)
(d)
En primer lugar, hay dos posibilidades para u: que no sea un elemento de la imagen de
f y que s lo sea. En el primer caso, como sucede en la ilustracion
(a), la imagen inversa de
{u} bajo f es igual a la clase vaca.
u 6 img f .
(3.131)
y
f 1 (u) 6= .
Existe, entonces, z f 1 (u). Luego, por la definicion

de imagen inversa, colegimos
z A u = f ( z ).
Por lo tanto, (z, u) f , de donde, por la definicion
de imagen de un grafo, tenemos que
u img f , lo que contradice a la proposicion
(3.131). En resumen:
si u 6 img f , entonces f 1 ({u)} = .
Ahora consideremos la segunda posibilidad para u:
u img f .
(3.132)
Entonces, existe x tal que ( x, u) f ; es decir, tal que u = f ( x ). Ademas, como f A B,

entonces x A. Por lo tanto, por la definicion
de imagen inversa, x f 1 ({u}); es decir,
1
f ({u)} 6= . Como se ilustra en las figuras (b) y (c), el conjunto f 1 ({u}) podra ser o
no un conjunto unitario.
Ahora bien, si, ademas, f fuera inyectiva, como se ilustra en la figura (d), x es unico.
En efecto, si existiera z A tal que u = f (z), entonces f ( x ) = f (z) que, junto con la
inyectividad de f , implicara que z = x. En este caso, f 1 ({u}) = { x }.
En resumen, tenemos que
la clase
f 1 ({u}) es distinta de la clase
un conjunto unitario
si u 6 img f ;
si u img f ;
si u img f y f es inyectiva.
26.3 Propiedades basicas de la imagen inversa.

T EOREMA 3.14. Sean A, B clases, C B y D B y f : A B. Entonces:
1. f 1 (C ) A.
4. f 1 (img f ) = A.
2. x A f ( x ) D x f 1 ( D ).
5. f 1 () = .
3. f 1 ( B) = A.
6. C = D f 1 (C ) = f 1 ( D ).
: 0.310
V ERSI ON
2011 - D IC - 07
85 de 117
7. f 1 (C D ) = f 1 (C ) f 1 ( D ).
8. f 1 (C D ) = f 1 (C ) f 1 ( D ).
26.4 Otras propiedades de las imagenes directas e inversas.

T EOREMA 3.15. Sean A, B clases, C A y D B, y f : A B. Entonces:
1. C f 1 ( f (C )).
2. f ( f 1 ( D )) D.
3. Si f es inyectiva, entonces f 1 ( f (C )) = C.
4. Si f es sobreyectiva, entonces f ( f 1 ( D )) = D.
Demostracion. Supongamos que f : A B, y C A, D B.
1. Supongamos que x C; vamos a demostrar que x f 1 ( f (C )). Para ello, vamos a demostrar que
x A y que f ( x ) f (C ).
En primer lugar, como x C y C A, entonces x A. Por otro lado, como x C, entonces,
por el teorema 3.13, f ( x ) C, con lo que completamos lo que se quera demostrar.
2. Supongamos que
y f ( f 1 ( D ));
(3.133)
debemos demostrar que y D.

Por la definicion
de imagen directa, de (3.133), concluimos que y B y que existe x tal que
x f 1 ( D )
y = f ( x ).
(3.134)
de imagen inversa, obteneAhora bien, de la primera proposicion

de (3.134), por la definicion
mos que f ( x ) D, que, junto con la segunda proposicion
de (3.134) y el axioma de extension,
nos
permite concluir que y D, como se quera demostrar.
3. En general, la igualdad
f 1 ( f (C )) = C
(3.135)
no es verdadera necesariamente, como lo ilustra el siguiente ejemplo:
A = { a, b, c, d},
B = {u, v, w, x, y},
C = {b, c}
f = {( a, u ), (b, u ), (c, v), (d, w)}.

f 1 ( f (C )) = { a, b, c}.
f (C ) = {u, v},
Sin embargo, probemos que cuando f es una funcion

inyectiva, la igualdad (3.135) siempre es
verdadera.
x f 1 ( f (C ));
(3.136)
vamos a demostrar que x C.
De la definicion
de imagen inversa y de (3.136), tenemos que
f ( x ) f ( C ).
(3.137)
De esta proposicion,
por la definicion
de imagen directa, tenemos que existe u tal que
uC
86 de 117
f ( x ) = f ( u ).
: 0.310
V ERSI ON
(3.138)
2011 - D IC - 07
Entonces, puesto que f es inyectiva, de la segunda proposicion

en (3.138), obtenemos que x = u
que, junto con la primera proposicion
en (3.138) y el axioma de extension,
nos permite concluir
que x C, como se quera demostrar.
4. La igualdad
f ( f 1 ( D )) = D
(3.139)
no es verdadera necesariamente. Por ejemplo, si

A = { a, b, c, d},
B = {u, v, w, x, y},
D = {v, w, y}
f = {( a, u ), (b, v), (c, w), (d, x )}.

f 1 ( D ) = {b, c},
f ( f 1 ( D )) = {v, w}.
Sin embargo, cuando f es sobreyectiva, la igualdad (3.139) s es verdadera, como lo demostraremos a continuacion.
Para ello, supongamos que y D; probemos que y f ( f 1 ( D )); es decir, demostremos que
yB
y existe x f 1 ( D ) tal que y = f ( x ).
En otras palabras, por la definicion

de imagen inversa, lo que debemos demostrar es
yB
existe x A tal que f ( x ) D y y = f ( x ).
Como D D y y D, obtenemos que y B, y de esto, ya que f es sobreyectiva y una funcion
de A en B, sabemos que existe x A tal que y = f ( x ). Como y D, entonces, por el axioma de

extension,
se concluye que f ( x ) D, con lo que hemos completado la demostracion.
26.5 Ejercicio. Sean A y B dos conjuntos y f : A B. Demuestre que las clases

f = {( x, y) : x A, y B y y = f ( x )}
f = {( x, y) : x B, y A y y = f 1 ( x )}
son funciones de P ( A) en P ( B) y de P ( B) en P ( A), respectivamente.

26.6 Ejercicio. Sea f : A B. Demuestre que
f (c D ) = f (C) f ( D )
para toda clase C A y toda clase D A si y solo si f es inyectiva.
: 0.310
V ERSI ON
2011 - D IC - 07
87 de 117
Captulo 4
Union,
interseccion
y producto
generalizado
1 Familia de clases indexada. Sean G un grafo e I una clase. Sea i I. Por el axioma de
construccion
de clases, podemos asegurar la existencia de la clase
Ai = { x : (i, x ) G }.
(4.1)
Se dice que el grafo G es una familia de clases indexada por la clase I; a la clase I se la denomina
clase de ndices de la familia G, a cada elemento de I, se le denomina ndice, y a las clases Ai ,
clases de la familia indexada. En lugar de G suele utilizarse la notacion
{ Ai }i I .
1.1 Ejemplo. Sean I = { a, b, c} y
G = {( a, u), (b, u), (b, v), (b, w), (b, z), (c, v), (c, w), (c, y)}.
Entonces G es una familia de clases indexadas por I, y las clases de la familia son:
A a = {u}, Ab = {u, v, w, z}, Ac = {v, w, y}.
2 Union
de una familia de clases indexada. Dada una familia de clases indexada { Ai }i I ,
por el axioma de construccion
de clases, sabemos que existe la clase
{ x : ( j)[ j I x A j ]}.
A
[ esta clase se la denomina union de las clases de la familia { Ai }i I y se la representa por
Ai ; en otras palabras, se tiene que
i I
Ai = { x : ( j)[ j I x A j ]}.
(4.2)
i I
Se tiene, entonces, la siguiente equivalencia:

u
Ai existe j I tal que u A j .
i I
88
(4.3)
2.1 Ejemplo. Consideremos la familia indexada { Ai }i I definida por

I = { a, b, c}
A a = {u}, Ab = {u, v, w, z}, Ac = {v, w, y}.
Entonces
[
Ai = {u, v, w, z, y}.
i I
2.2
T EOREMA 4.1. Sean { Ai }i I una familia de clases indexada y B una clase. Si A j B para
[
todo j I, entonces
Ai B.
i I
Demostracion. Supongamos que para todo j I, se tiene que

A j B.
(4.4)

[
Ai B.
i I

x
Ai ;
(4.5)
i I
demostraremos que
x B.
Por un lado, de (4.5) y la definicion
de union
generalizada, tenemos que existe i0 I tal que
x A i0 .
(4.6)
Por otro, como i0 I, la proposicion

(4.4) es verdadera para i0 ; es decir, se tiene que
Ai0 B,
de donde, junto con (4.6), por le teorema de caracterizacion
de subclases, concluimos que
x B,
2.3 Union
de una clase. Sea A una clase. Por el axioma de construccion
de clases, existe
la clase de todos los conjuntos x que son elementos de algun
elemento de A ; a esta clase se
S
la denomina union de la clase A o union de los elementos de A , y se la representa por A . En
otras palabras:
[
A = { x : ( A)[ A A x A]}.
(4.7)
Se tiene, entonces, que
u
En lugar de la notacion
A existe A A tal que u A.
(4.8)
A , tambien suele utilizarse la siguiente:

[
A.
A A
: 0.310
V ERSI ON
2011 - D IC - 07
89 de 117
2.4 Problema. A que es igual
3 Interseccion
de una familia de clases indexada. Dada una familia de clases indexada
{ Ai }i I , por el axioma de construccion
de clases, sabemos que existe la clase
{ x : ( j)[ j I x A j ]}.
A esta
\ clase se la denomina interseccion de las clases de la familia { Ai }i I y se la representa
Ai ; dicho de otro modo, se tiene que
por
i I
Ai = { x : ( j)[ j I x A j ]}.
(4.9)
i I
Se tiene, entonces, la siguiente equivalencia:

u
Ai para todo j I, u A j .
(4.10)
i I
3.1 Ejemplo. Para la familia indexada { Ai }i I definida por

I = { a, b, c}
A a = {u}, Ab = {u, v, w, z}, Ac = {u, v, w, y}.
Entonces
\
A i = { u }.
i I
3.2
T EOREMA 4.2. Sean { Ai }i I una familia de clases indexada y B una clase. Si B A j para
\
todo j I, entonces B
Ai .
i I
Demostracion. Supongamos que para todo j I, se tiene que

B Aj.
(4.11)

B
Ai .
i I

x B;
(4.12)
debemos probar que

x
Ai ;
i I
es decir, debemos demostrar que, para todo k I, se tiene que

x Ak .
Supongamos, entonces, que k I. Entonces, la proposicion
(4.11) es verdadera para k:
B Ak ,
de donde, junto con (4.12), concluimos que x Ak , como se quera.
90 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
3.3 Interseccion
de una clase. Sea A una clase. Por el axioma de construccion
de clases,
existe la clase de todos los conjuntos x que son elementos de todos los elementos de A ; a
esta clase se la denomina interseccion de la clase A o interseccion de los elementos de A , y se la
T
representa por A . En otras palabras:
\
Se tiene, entonces, que
u
En lugar de la notacion
A = { x : ( A)[ A A x A]}.
(4.13)
A para todo A A , u A.
(4.14)
A , tambien suele utilizarse la siguiente:

\
A.
A A
3.4 Problema. A que es igual
3.5 Propiedades de la union

e interseccion
generalizadas.
T EOREMA 4.3. Sean { Ai }i I y { Bj } j J dos familias de clases indexadas. Entonces:
!
[
1. Ley de deMorgan generalizada para la union:
Ai
i I
2. Ley de deMorgan generalizada para la interseccion:
Ai
i I
3. Distributiva generalizada para la union:
Ai
i I
4. Distributiva generalizada para la interseccion:
Ai .
i I
i I
Ai
j J
i I
Bj =
j J
Ai .
( A i B j ).
( i,j ) I J
Bj =
( A i B j ).
( i,j ) I J
5. Si {Ci }i I es una familia de clases indexada con el mismo conjunto de ndices I tal
que para todo i I, se verifica Ai Ci . Entonces
[
i I
Ai
Ci
i I
i I
Ai
Ci .
i I
3.6 Sean { Ai }i I y { Bj } j J dos familias de clases indexadas. Suponga que, para todo i I,
existe j J tal que Bj Ai . Demuestre que
\
j J
: 0.310
V ERSI ON
Bj
Ai .
i I
2011 - D IC - 07
91 de 117
Demostracion. Supongamos que para todo i I, existe ji J tal que

B ji A i .
Bj
j J
Ai .
i I
Bj ;
(4.15)
j J
vamos a probar que x i I Ai . Sea i I; debemos probar que x Ai .

Como i I, sabemos que existe ji J tal que
T
B ji A i .
(4.16)
Como ji J, de (4.15) y la definicion

de interseccion
de una familia indexada, tenemos que x B ji ,
lo que, junto con (4.16), nos permite concluir que x Ai , que es lo que se quera demostrar.
3.7 Si A B, entonces A B y B A.
A B.
(4.17)
Probemos, en primer lugar, que A B. Para ello, supongamos que

x A;
(4.18)
debemos demostrar que x B; es decir, debemos demostrar que existe B tal que
BB
x B.
Ahora bien, de (4.17) y de (4.18), obtenemos que

AB
x A,
de donde, por la introduccion

del existencia aplicado a A, concluimos que existe B tal que
BB
x B,
3.8 Si A , entonces A = .
A.
(4.19)
A = .
Supongamos lo contrario; es decir, supongamos que
A 6= .
Entonces, existe x tal que
x A .
Por lo tanto, por la definicion
de interseccion
generalizada, la proposicion
xA
92 de 117
: 0.310
V ERSI ON
(4.20)
2011 - D IC - 07
es verdadera para todo A A . Luego, por (4.19), la proposicion

(4.20) es verdadera para la clase
vaca; es decir, se tiene que
x ,
lo que es imposible. Por lo tanto, se tiene que
A = ,
como se quera probar.
3.9 Si B es un conjunto, entonces
P ( B) = .
Demostracion. Sea B un conjunto. Supongamos que
P (B ) 6= .
Entonces existe x tal que
x P ( B ) .
Luego, por la definicion
de interseccion
generalizada, la proposicion
xy
(4.21)
es verdadera para todo y P ( B ).

Dado que B, se tiene que P (B ); luego, en particular la proposicion
(4.21) es verdadera
para ; es decir, se tiene que
x ,
lo que es imposible.
3.10 Si B es un conjunto, entonces
P (B ) = B.
Demostracion.
1. Demostracion
de P (B ) B. Supongamos que
x P (B ) ;
(4.22)
debemos demostrar que

x B.
de union
de una clase, existe un conjunto y P (B ) tal que
x y.
(4.23)
Ahora bien, como y P (B ), se tiene que

y B,
de las subclases, implica que
x B,
como se quera.
2. Demostracion
de B P (B ). Supongamos que
: 0.310
V ERSI ON
x B;
(4.24)
2011 - D IC - 07
93 de 117
debemos demostrar que

x P (B ) ;
es decir, debemos demostrar que existe y P (B ) tal que
x y.
Ahora bien, como B P (B ), por (4.24), el y buscado1 es B.
4 El axioma de la union.
Provisionalmente, se postulo el axioma 5 (vease la pagina 45):

la union
de dos conjuntos es un conjunto. Esta proposicion
puede ser demostrada si se
postula un axioma mas general que abarque tambien a la union
de familias indexadas. De
modo que, ahora postulamos un axioma tal, y demostraremos que el axioma de uniones
provisional se deriva del nuevo.
A XIOMA 8 (De la union).
Si A es un conjunto, entonces A es un conjunto.

T EOREMA 4.4. El axioma de la union
implica el axioma de las uniones.
Demostracion. Supongamos la vigencia del axioma de la union,
y que A y B son conjuntos. Vamos a
probar que la union
A B es un conjunto.
Por el axioma del par desordenado, axioma 3 en la pagina 34, podemos concluir que la clase
{ A, B } es un conjunto. Entonces, por el axioma de la union,
donde A es el par desordenado { A, B },
podemos afirmar que
[
{ A, B }
es un conjunto. A continuacion,
demostremos que este conjunto es igual a A B, con lo cual concluiramos la demostracion.
S
En primer lugar, supongamos que x { A, B }; entonces, de la definicion
de la union
de una
clase, existe u { A, B } tal que x u. Luego, de la definicion
de par desordenado, obtenemos que
u = A o u = B. Como x u, por la definicion
de igualdad de clases, tendramos que x A o x B;
es decir, x A B. En resumen, hemos demostrado que
[
{ A, B } A B.
(4.25)
En segundo lugar, supongamos que x A B. Vamos a demostrar que existe z { A, B } tal que
x z.
De la hipotesis,
x A o x B; como A { A, B } y B { A, B }, en cualquier caso, x z con

S
z { A, B } (en el primer caso, z = A; en el segundo, z = B). Por lo tanto, x { A, B }. Hemos
probado, entonces, que
[
A B { A, B }.
(4.26)
De (4.25) y de (4.26) concluimos que
como se quera probar.
{ A, B } = A B,
1 El sentido de la expresion
el y buscado es . . . esta dado por el uso de la introduccion
del cuantificador
existencial. En efecto, como la proposicion
B P (B ) x B
es verdadera, entonces, por la introduccion
del cuantificador universal, tambien es verdadera la proposicion
(y)[y P (B ) x y]
94 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
4.1 El dominio y la imagen de un grafo.

T EOREMA 4.5. Sea G un grafo. Si G es un conjunto, entonces dom G e img G son conjuntos.
Demostracion. Para demostrar que el dominio y la imagen de G son conjuntos, vamos a probar que
estas dos clases son subclases de un conjunto, respectivamente. De hecho, son subclases del mismo
conjunto. entonces, por el axioma de los subconjuntos, axioma 4 en la pagina 38, concluiremos que el
dominio y la imagen son conjuntos.
dom G ( G ) y
img G ( G ).
Recordemos que, al ser el grafo G un conjunto, por el axioma de la union,

G tambien sera un conjunto, y lo sera tambien ( G ). Probemos, entonces, la primera inclusion;
la segunda, queda como
ejercicio.
Supongamos que
x dom G;
(4.27)
vamos a demostrar que x ( G ). Para ello, vamos a probar que existe u tal que
xu
u G.
De la definicion
de union
de una clase, lo que tenemos que demostrar es que existen u y v tales que
x u,
uv
v G.
Ahora bien, de (4.27) y de la definicion

de dominio, existe y tal que
( x, y) G.
(4.28)
Entonces, el candidato ideal a v es ( x, y). Veamos cual es el candidato a u. Para ello, recordemos la
definicion
de par ordenado:
( x, y) = {{ x }, { x, y}}.
(4.29)
Como
{ x } {{ x }, { x, y}},
de igualdad de clases, obtenemos que:
junto con (4.29) y la definicion
{ x } ( x, y).
(4.30)
Por lo tanto, el candidato ideal a u es { x }, pues, ademas, x { x }. En resumen, de (4.29) y de (4.30),

tenemos que
x { x }, { x } ( x, y) y ( x, y) G.
(4.31)
Ahora, si se aplica la introduccion
del existencial a (4.31) a { x }, podemos asegurar que existe u
tal que
x u, u ( x, y) y ( x, y) G,
que, junto con la introduccion
del existencial aplicada a ( x, y), implica que existe v tal que
x u,
uv
v G,
5 Producto de una familia de conjuntos indexada. Supongamos que la familia { Ai }i I

es tal que I es un conjunto y, para todo i I, Ai es un conjunto. Mas adelante, probaremos
: 0.310
V ERSI ON
2011 - D IC - 07
95 de 117
que la union
de la familia de conjuntos indexada tambien es un conjunto; es decir, si
A=
Ai ,
i I
entonces A es un conjunto.
Esto significa que, si f : I A, entonces f es un conjunto, lo que se deduce del axioma
de subconjuntos (vease la pagina 38) y de f I A. Existe, entonces, por el axioma de
construccion
de clases, la clase
{ f : f : I A ( j)[ j J f ( j) A j ]}.
4.1 (Producto de una familia de conjuntos). Sean I un conjunto y { Ai }i I una
D EFINICI ON
familia de clases indexada tal que, para todo i I, Ai es un conjunto. La clase
{ f : f : I
Ai ( j)[ j J f ( j) A j ]}.
i I
es denominada producto del familia de conjuntos Ai , y se la representa por Ai . Por lo tanto:

i I
Ai = { f
: f : I
i I
Ai ( j)[ j J f ( j) A j ]}.
i I
De la definicion
de producto de una familia, se tiene que
u
Ai
u : I
i I
Ai ( j)[ j I u( j) A j ].
(4.32)
i I
5.1 Ejemplo. Sean

I = { p, q, r }
A p = { a, b}, Aq = { a, d, e}, Ar = {c}.
Vamos a determinar todos los elementos del conjunto i I Ai . Para ello, debemos especificar todas las funciones f : I A, donde
A=
Ai = { a, b, c, d, e},
i I
tales que
f ( j) A j
para todo j I.
Puesto que I tiene tres elementos, cada funcion
f buscada tendra tres elementos. A
partir de la siguiente tabla, podremos especificar cada una de las funciones buscadas.
I
p
q
r
a
a
c
a
d
c
a
e
c
b
a
c
b
d
c
b
e
c
Ai = { f 1 ,
f2 , f3 , f4 , f5 , f6 }
i I
96 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
donde
f 1 = {( p, a), (q, a), (r, c)},
f 2 = {( p, a), (q, d), (r, c)},
f 3 = {( p, a), (q, e), (r, c)},
f 4 = {( p, b), (q, a), (r, c)},
f 5 = {( p, b), (q, d), (r, c)},
f 6 = {( p, b), (q, e), (r, c)}.
Como puede observarse facilmente, para todas las funciones f k , se verifica que f k ( j)
A j si j I. Por ejemplo:
f2 ( p) = a A p ,
f 2 ( q) = d A q ,
f 2 ( r ) = c Ar .
5.2 Ejemplo. Recordemos que 0 = {}, 1 = {0} y 2 = {0, 1}. Definamos

I = {1, 2},
A1 = { a, b}, A2 = {b, c, d}.
Mediante un procedimiento similar al utilizado en el ejemplo anterior, concluimos que
A i = { g1 ,
g2 , g3 , g4 , g5 , g6 }
i I
donde
g1 = {(1, a), (2, a)},
g2 = {(1, a), (2, d)},
g3 = {(1, a), (2, e)},
g4 = {(1, b), (2, a)},
g5 = {(1, b), (2, d)},
g6 = {(1, b), (2, e)}.
Es facil demostrar que la clase

= {( g1, ( a, a)), ( g2, ( a, d)), ( g3, ( a, e)), ( g4, (b, a)), ( g5, (b, d)), ( g6, (b, e))}
(4.33)
es una funcion
de i I Ai en A1 A2 . Mas aun,
es facil probar que es una funcion
biyectiva. Por esta razon,
se suele identificar el conjunto i I Ai con el conjunto A1 A2 .
La demostracion
de que es biyectiva no requiere del uso de las definiciones formales
de funcion
inyectiva y funcion
sobreyectiva, sino, mas bien, el constatar, a traves de los seis
elementos de , que la funcion
es biyectiva.
Por ejemplo, para la inyectividad, solo hay que asegurarse de que dos elementos distintos tienen imagenes distintas; y, como se puede observar en (4.33), las seis segundas
componentes de los seis elementos de son diferentes entre s; luego, sera imposible que
dos elementos del dominio tuvieran imagenes iguales.
Para la sobreyectividad, constatamos que todos los elementos de A1 A2 son la imagen
de algun
elemento de i I Ai al observar, en (4.33), que la segunda componente de los seis
elementos de son diferentes, y que son los seis elementos de A1 A2 .
5.3 Notacion.
Supongamos que a i I Ai . Entonces
a : I
Ai
i I
tal que, para todo j I, se tiene que

a( j) A j .
Escribiremos a j en lugar de a( j), y, en lugar de a, pondremos ( ai )i I . Por lo tanto:
a = ( ai )i I .
: 0.310
V ERSI ON
2011 - D IC - 07
97 de 117
A cada a j A j llamaremos la jcoordenada de a.

Para cada j I, la clase
p j = {( a, a j ) : a
Ai }
i I
es una funcion
de i I Ai en Ai ; es decir:
pj :
Ai
A j
i I
7 a j .
6 La exponencial. Si A y B son conjuntos, entonces toda funcion

de B en A es tambien
un conjunto. Entonces, el axioma de construccion
de clases nos asegura la existencia de la
clase
{ f : f : B A}.
A esta clase se la representa por A B . Entonces, tenemos que
A B = { f : f : B A},
(4.34)
y que la siguiente equivalencia es verdadera:

u A B u : B A.
(4.35)
6.1 Ejemplo. Sean A = {0, 1, 2} y B = { a, b}.

1. Vamos a determinar cuales son los elementos de la clase A B . En primer lugar, si f
A B , entonces f : B A. Luego, como B tiene dos elementos, cada f tendra tres
elementos. De la siguiente tabla, podemos colegir todas las funciones de B en A:
B
a
b
0
0
0 0
1 2
1 1
0 1
1 2
2 0
2
1
2
2

A B = { f 1 , f 2 , f 3 , f 4 , f 5 , f 6 , f 7 , f 8 , f 9 },
donde
f 1 = {( a, 0), (b, 0)},
f 2 = {( a, 0), (b, 1)},
f 3 = {( a, 0), (b, 2)},
f 4 = {( a, 1), (b, 0)},
f 5 = {( a, 1), (b, 1)},
f 6 = {( a, 1), (b, 2)},
f 7 = {( a, 2), (b, 0)},
f 8 = {( a, 2), (b, 1)},
f 9 = {( a, 2), (b, 2)}.
2. Con un procedimiento similar, se obtiene que

B A = { f 1 , f 2 , f 3 , f 4 , f 5 , f 6 , f 7 , f 8 },
98 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
donde
f 1 = {(0, a), (1, a), (2, a)},
f 2 = {(0, a), (1, a), (2, b)},
f 3 = {(0, a), (1, b), (2, a)},
f 4 = {(0, a), (1, b), (2, b)},
f 1 = {(0, b), (1, a), (2, a)},
f 2 = {(0, b), (1, a), (2, b)},
f 3 = {(0, b), (1, b), (2, a)},
f 4 = {(0, b), (1, b), (2, b)}.
3. Tenemos tambien que

2 A = { f 1 , f 2 , f 3 , f 4 , f 5 , f 6 , f 7 , f 8 },
donde
f 1 = {(0, 0), (1, 0), (2, 0)},
f 2 = {(0, 0), (1, 0), (2, 1)},
f 3 = {(0, 0), (1, 1), (2, 0)},
f 4 = {(0, 0), (1, 1), (2, 1)},
f 1 = {(0, 1), (1, 0), (2, 0)},
f 2 = {(0, 1), (1, 0), (2, 1)},
f 3 = {(0, 1), (1, 1), (2, 0)},
f 4 = {(0, 1), (1, 1), (2, 1)}.
4. Finalmente:
P ( A) = {, {0}, {1}, {2}, {0, 1}, {0, 2}, {1, 2}, A}.
Compare este conjunto con 2 A .
T EOREMA 4.6. Si A es un conjunto, entonces existe una correspondencia uno a uno entre
2 A y P ( A ).
Demostracion. Vease [?, p. 69].
: 0.310
V ERSI ON
2011 - D IC - 07
99 de 117
Captulo 5
naturales
1
Conjuntos sucesores.
5.1 (El sucesor de un conjunto). Sea A un conjunto. El sucesor de A, notado

D EFINICI ON
por A+ , es la union
de A con el unitario de A; es decir:
A + = A { A }.
Si A = { a}, entonces
A+ = { a} {{ a}} = A+ = { a, { a}}.
Si B = { a, b}, entonces
B+ = { a, b, { a, b}}.
5.2 (Conjunto sucesor). Un conjunto A es un conjunto sucesor si y solo si:

D EFINICI ON
1. A; y
2. si x A, entonces x + A.
Con los axiomas hasta ahora propuestos, no podemos asegurar la existencia de ningun
conjunto; en particular, de ningun

conjunto sucesor. Mediante axioma, se garantiza la existencia de al menos un conjunto sucesor. Como una consecuencia se obtiene que la clase
vaca es un conjunto, de manera que podemos eliminar el axioma del vaco 6 (vease la
pagina 45).
A XIOMA 9 (Axioma de infinitud). Existe un conjunto sucesor.
T EOREMA 5.1 (Del conjunto vaco). La clase vaca es un conjunto.
Demostracion. Sea S un conjunto sucesor (existe al menos uno por el axioma 9). Entonces, por la
definicion
de conjunto sucesor, S; es decir, la clase pertenece a un conjunto; esto hace de la
clase vaca un conjunto.
100

de clases, existe la clase
S = { x : x es un conjunto sucesor.}
Entonces, por el axioma de infinitud, la clase S es distinta de la clase vaca.
T EOREMA 5.2. La clase S es un conjunto sucesor.
Demostracion. Vamos a demostrar que
1. S ; y
2. x S x + S .
Para probar la primera proposicion,
debemos demostrar que S para todo S S . Sea, entonces, S S ; luego, S es un conjunto sucesor, por lo que S.
Probemos que la segunda proposicion
es verdadera. Para ello, supongamos que x S . Debemos demostrar que x + S ; es decir, debemos demostrar que x + S para todo S S .
Supongamos, entonces, que S S . Luego, x S, de donde, por ser S un conjunto sucesor,
x + S, que es lo que queramos demostrar.
La clase S es, en realidad, un conjunto. En efecto, sea un S un conjunto sucesor cualquiera (existe al menos uno por el axioma de infinitud). Entonces
S S,
pues, si x S , entonces, por la definicion
de interseccion
generalizada, x S. Luego,
como S es un conjunto, por el axioma 4 (vease la pagina 4), la clase S es un conjunto. De
paso, hemos demostrado que
S T
para todo conjunto sucesor T. Por esta razon,
se dice que S es el conjunto sucesor mas
pequeno.
En resumen:
T EOREMA 5.3 (El conjunto sucesor mas pequeno).
La clase de todos los conjuntos sucesores S es un conjunto y esta incluida en todo conjunto sucesor; es decir, si T es un conjunto
sucesor, necesariamente se tiene que
S T.
naturales.
5.3 (El conjunto de los numeros

D EFINICI ON
naturales). El conjunto sucesor mas pequeno
la interseccion
de todos los conjuntos sucesores se denomina el conjunto de los numeros
naturales y se lo representa por . Cada elemento de es denominado numero
natural.
En otras palabras, un numero
natural es un elemento del conjunto de los numeros
naturales, que es el conjunto sucesor mas pequeno;

es decir, es la interseccion
de todos los
conjuntos sucesores, de los cuales sabemos que hay al menos uno.
Como es un conjunto sucesor, entonces ; por lo tanto, + ; es decir:
{} = {} .
En otras palabras, el conjunto vaco es un numero
natural, lo mismo que el unitario del

conjunto vaco. Por lo tanto, tambien es un numero
natural el conjunto
{} {{}} = {, {}}.
: 0.310
V ERSI ON
2011 - D IC - 07
101 de 117
Si nombramos con 0 al conjunto vaco, 1 = 0+ , 2 = 1+ , 3 = 2+ , tenemos que

0 = ,
1 = {0 },
2 = {0, 1},
3 = {0, 1, 2}.
T EOREMA 5.4. Para todo n , se verifican las dos proposiciones siguientes:

n n+
n n+ .
Demostracion.
1. Puesto que n {n }, entonces n n {n }; luego n n + .
2. Por el teorema 2.18 (vease la pagina 2.18), tenemos que n n {n }, de donde n n + .
T EOREMA 5.5. Para cada n , se verifica que n+ 6= 0.

Demostracion. Por el teorema 5.4, tenemos que
n n+ ;
por lo tanto:
de donde
n + 6= ,
n + 6= 0,
ya que 0 = .
T EOREMA 5.6 (Induccion

Matematica). Sea X . Supongamos las siguientes proposiciones son verdaderas para X:
1. 0 X.
2. Si n X, entonces n+ X.
Entonces X = .
Demostracion. Puesto que X , lo unico
que nos falta demostrar es que

X.
Pero esta proposicion
se deduce del teorema 5.3, pues, de las dos hipotesis,
podemos asegurar que X

es un conjunto sucesor y = S .
A la primera condicion
del teorema de Induccion
Matematica se la conoce con el nombre
de base de la induccion; a la segunda condicion,
con el nombre de paso inductivo. A antecedente del paso inductivo (x X), se la conoce como hipotesis inductiva, mientras que al
consecuente (x + X), como tesis inductiva.
T EOREMA 5.7. Sean m y n . Si m n+ , entonces
mn
m = n.
102 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
5.4 (Conjunto transitivo). Un conjunto A es transitivo si, para cada x A, se

D EFINICI ON
verifica
x A.
T EOREMA 5.8. Para todo n , n es transitivo.
Demostracion. La proposicion
que debemos demostrar que es verdadera es la siguiente:
(n )[ n Tr (n )],
(5.1)
donde
Tr (n ) x n x n;
es decir, Tr (n ) quiere decir que n es transitivo.
Ahora bien, que la proposicion
(5.1) sea verdadera equivale a la siguiente proposicion:
= X,
(5.2)
donde
X = {n : n Tr (n )}.
Por lo tanto, para demostrar que la proposicion
(5.1) es verdadera, es suficiente con demostrar que la
proposicion
(5.2) es verdadera. Y para ello, es suficiente demostrar unicamente
que
X,
(5.3)
pues la otra inclusion

es verdadera de la definicion
de la clase X.
Finalmente, para probar que la inclusion
(5.3) es verdadera, vamos a utilizar el teorema de Induccion
Matematica; es decir, vamos a demostrar que el conjunto X es un conjunto sucesor.
1. Demostracion
de: 0 X. Para ello, hay que probar que 0 es un conjunto transitivo; es decir, hay
que demostrar que Tr (0) es verdadera:
x 0 x 0.
Pero esta proposicion
es verdadera, ya que su antecedente es falso, pues 0 = .
2. Demostracion
de: n X n + X. Supongamos que
n X;
(5.4)
es decir, supongamos que n es transitivo. Debemos demostrar que n + X; es decir, debemos

demostrar que n + es transitivo.
m n+ .
(5.5)
Vamos a probar que
m n+ .
De (5.5) y el teorema 5.7, tenemos que

mn
m = n.
(a) Si m n, como n es transitivo por (5.4), tenemos que

m n,
que junto con n n + (vease el teorema 5.4) y la propiedad transitiva de las subclases, implica
que m m+ , como se quera probar.
(b) Si m = n, una vez mas, como n n + , por el teorema de la caracterizacion
de la igualdad de
clases, concluimos que m n + , como se quera.
: 0.310
V ERSI ON
2011 - D IC - 07
103 de 117
T EOREMA 5.9. Para todo m y todo n , si m+ = n+ , entonces m = n.

m+ = n + .
(5.6)
m n+ .
(5.7)
n m+ .
(5.8)
Vamos a demostrar que m = n.

Como m m+ , de (5.6), obtenemos que
De manera analoga, obtenemos que
Ahora, por el teorema 5.7 aplicado tanto a (5.7) y (5.8), tenemos que
[ m n m = n ] [ n m n = m ].
Si m = n y n = m, el teorema estara ya demostrado. Supongamos el otro caso: m n y n m. Como
m y n son transitivos, entonces
m n y n m,
que, por la propiedad antisimetrica de las subclases, nos permite concluir que m = n.
El teorema de recursion
finita
T EOREMA 5.10 (Recursion

finita). Sean A un conjunto, c A y f : A A. Entonces
existe una unica
funcion
: A tal que
1. (0) = c; y
2. (n+ ) = f ((n)) para todo n .
Demostracion. Ver [?, p.129]
La suma en . Para cada m , apliquemos el teorema de recursion

finita con:
1. A = ;
2. c = m; y
3.
f :
.
x 7 x +
Entonces existe una unica
funcion
m : que satisface las siguientes propiedades:
1. m (0) = m; y
2. m (n+ ) = (m (n))+ para todo n .
En lugar de escribir m (n) vamos a escribir m + n. Por lo tanto, las dos condiciones que
son satisfechas por m se expresan de la siguiente manera, consideradas como la definicion
de suma.
5.5 (Suma en ). Para cada m y cada n :
D EFINICI ON
1. m + 0 = m; y
2. m + n+ = (m + n)+ .
104 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
T EOREMA 5.11. Sean n y k tales que n = k. Entonces, para todo n , se tiene

que
m + n = m + k.
Demostracion. Sean n y k . Supongamos que
n = k.
(5.9)
Vamos a demostrar que m + n = m + k para todo k .

Sea m . Como m es una funcion,
entonces, por la propiedad F20 aplicada a m y a (5.9), se
tiene que
m ( n ) = m ( k ),
igualdad que abrevia a la siguiente:
m + n = m + k,
T EOREMA 5.12. Para todo n , se verifica n+ = 1 + n, donde 1 = 0+ .

Demostracion. Vamos a utilizar el metodo de induccion
matematica sobre n. Para ello, definamos el
conjunto
X = { n : n n + = 1 + n }.
Entonces X = . En efecto:
1. Base de la induccion. Debemos demostrar que 0 X; es decir, probaremos que
0+ = 1 + 0.
En primer lugar, tenemos que
0+ = 1.
(5.10)
En segundo lugar, tenemos que

1 + 0 = 1 (0) = 1,
0+
que, junto con (5.10), implica que

= 1 + 0.
2. Paso inductivo. Supongamos que n X; es decir, supongamos que
n + = 1 + n.
(5.11)
Vamos a demostrar que n + X; es decir, que
(n + )+ = 1 + n + .
Puesto que f : definida por f ( x ) = x + , por la propiedad F20 aplicada a (5.11),
tenemos que
( n + ) + = (1 + n ) + .
(5.12)
Pero:
(1 + n )+ = (1 (n ))+
= 1 ( n + )
= 1 + n+ ;
es decir:
que junto con (5.12) da
: 0.310
V ERSI ON
(1 + n ) + = 1 + n + ,
(n + )+ = 1 + n + ,
2011 - D IC - 07
105 de 117
como se quera.
T EOREMA 5.13. Para todo n , se verifica 0 + n = n.

Demostracion. Sea
X = { n : n 0 + n = n }.
Vamos a demostrar que X = probando que X es un conjunto sucesor.
1. Base de la induccion. Vamos a demostrar que 0 X; es decir, que
0 + 0 = 0.
Esta proposicion
es verdadera pues
0 + 0 = 0 (0) = 0.
2. Paso inductivo. Supongamos que n X; es decir, supongamos que
0 + n = n.
(5.13)
Vamos a probar que n + X; es decir, que

0 + n+ = n+ .
Esta igualdad es verdadera pues:
0 + n + = (0 + n ) +
= n+ .
La primera igualdad se deduce de la segunda proposicion
en la definicion
de suma; la segunda
igualdad se obtiene al aplicar la propiedad F20 a la funcion
sucesor y a (5.13).
106 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
Captulo 6
Relaciones de equivalencia
1 Relacion
en una clase. Sea A una clase. La clase G es una relacion en A si y solo si
G A A.
2
Algunos tipos de relaciones.
6.1. Sean A una clase y G una relacion

D EFINICI ON
en A.
1. G es reflexiva si y solo si para todo x A, se tiene
( x, x ) G.
2. G es simetrica si y solo si de ( x, y) G se deduce (y, x ) G.
3. G es transitiva si y solo si de ( x, y) G y (y, z) G, se deduce ( x, z) G.
4. G es anti-simetrica si y solo si de ( x, y) G y (y, x ) G se deduce x = y.
3 Relacion
de equivalencia. Una relacion
G en una clase A es de equivalencia si y solo si
es reflexiva, simetrica y transitiva.
3.1 Ejemplo. Vamos a admitir conocido el conjunto de los numeros
enteros Z y el siguiente resultado:

T EOREMA 6.1 (Teorema de la division).
Si a Z y b Z con b > 0, existen q Z y r Z,

unicos,
tales que
a = qb + f
con 0 r < b.
Tambien recuerdese que si x Z y y Z, se dice que x divide a y, y se escribe x | y, si y
solo si existe k Z tal que y = kx. Por ejemplo, 3 | 15 pues 15 = 5 3.
Definamos el conjunto G de la siguiente manera:
G = {( x, y) Z Z : 5 | ( x y)}
Por ejemplo, (2, 7) G, pues 5 | (7 2), ya que 7 2 = 5; en cambio, (3, 5) 6 G.
107
Puesto que
5 | ( x y) (q)[q Z x y = 5q]
(q)[q Z x = 5q + y],
se tiene que
G = {( x, y) Z Z : existe q Z tal que x = 5q + y}.
Probemos que G es una relacion
de equivalencia en Z. Para ello, debemos mostrar que G
es reflexiva, simetrica y transitiva.
Demostracion.
1. G es reflexiva. Sea x Z; hay que demostrar que ( x, x ) G; es decir, hay que demostrar que
5 | ( x x ).
Ahora bien, puesto que 0 = 5 0, tenemos que 5 | 0; es decir, 5 | ( x x ).
2. G es simetrica. Supongamos que ( x, y) G; probemos que (y, x ) G; es decir, demostremos que
5 | ( x y ).
De la hipotesis,
tenemos que 5 | (y x ); es decir, existe k Z tal que

y x = 5k;
por lo tanto, x y = 5( k) = 5m, donde m = k Z; es decir, 5 | ( x y), que es lo que se quera
demostrar.
3. G es transitiva. Supongamos que ( x, y) G y (y, z) G; probemos que ( x, z) G; es decir,
demostremos que 5 | (z x ).
De las hipotesis,
5 divide a y x y a z y; es decir, existen k1 Z y k2 Z tales que

y x = 5k1
z y = 5k2 .
De estas dos igualdades obtenemos que
(y x ) + (z y) = z x = 5k1 + 5k2 = 5(k1 + k2 ) = 5k

con k = k1 + k2 Z; es decir, 5 divide a z x, que es lo que se quera demostrar.
3.2 Ejemplo. Sean ( E, +, , R ) un espacio vectorial real, F un subespacio vectorial de E y

G = {( x, y) E E : y x F }.
Probemos que G es una relacion
de equivalencia en E.
Demostracion.
1. G es reflexiva. Sea x E; vamos a probar que ( x, x ) G; es decir, vamos a probar que x x F.
Como x x = 0 y 0 F al ser un subespacio vectorial de E, tiene al vector 0 como un
elemento, por el axioma de extension,
tenemos que x x F.
2. G es simetrica. Supongamos que ( x, y) G; probemos que (y, x ) G; es decir, demostremos que
x y F.
De la hipotesis,
tenemos que y x F. Ahora bien, como 1 R y F es un subespacio

vectorial (la multiplicacion
por un escalar es cerrada), tenemos que
(1)(y x ) F;
y, como x y = (1)(y x ), por el axioma de extension,
concluimos que x y F.
108 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
3. G es transitiva. Supongamos que ( x, y) G y (y, z) G; vamos a demostrar que ( x, z) G; es

decir, vamos a probar que (z x ) F.
De las hipotesis,
tenemos que
(y x ) F y (z y) F.
Como F es un subespacio vectorial, la suma es cerrada; entonces, gracias al axioma de extension,
tenemos que
z x = (z y) + (y x ) F,
3.3 Ejemplo. El conjunto

G = {((m1 , m2 ), (n1 , n2 )) ( ) ( ) : m1 + n2 = m2 + n1 }
es una relacion
de equivalencia en .
Demostracion.
1. G es reflexiva. Sea (m1 , m2 ) ; probemos que
((m1 , m2 ), (m1 , m2 )) G;
es decir, deberemos demostrar que
m1 + m2 = m2 + m1 ,
lo cual es verdadero ya que la suma en es conmutativa.
2. G es simetrica. Supongamos que ((m1 , m2 ), (n1 , n2 )) G; probemos que ((n1 , n2 ), (m1 , m2 )) G;
es decir, probemos que
n 1 + m2 = n 2 + m1 .
(6.1)
De la hipotesis,
tenemos que
m1 + n 2 = m2 + n 1 ;
por la propiedad simetrica de la igualdad de conjuntos, de esta ultima
igualdad, tenemos que

m2 + n 1 = m1 + n 2 .
(6.2)
Por la propiedad conmutativa de la suma de , tenemos que

n 1 + m2 = m2 + n 1 ;
entonces, de (6.2) y por la transitiva de la igualdad de conjuntos, tenemos que
n 1 + m2 = m1 + n 2 .
(6.3)
Una vez mas, por la propiedad conmutativa de la suma en , tenemos que

m1 + n 2 = n 2 + m1 ,
luego, de (6.3) y por la transitiva, concluimos que
n 1 + m2 = n 2 + m1 ,
que es la igualdad (6.1), que es la queramos probar.
3. G es transitiva. Para realizar esta demostracion,
se requieren los siguientes teoremas a mas de las
propiedades ya demostradas sobre y la suma:
(a) Aditiva a la derecha: m = n m + p = n + p para todo p .
: 0.310
V ERSI ON
2011 - D IC - 07
109 de 117
(b) Cancelativa a la derecha: m + p = n + p m = n para todo p .

Supongamos que ((m1 , m2 ), (n1 , n2 )) G y ((n1 , n2 ), ( p1 , p2 )) G; probemos que
((m1 , m2 ), ( p1 , p2 )) G;
es decir, demostremos que
m 1 + p2 = m 2 + p1 .
(6.4)
En efecto:
1.
m1 + n 2 = m2 + n 1 ,
((m1 , m2 ), (n1 , n2 )) G.
2.
( m 1 + n 2 ) + p2 = ( m 2 + n 1 ) + p2 ,
Aditiva a la derecha a 1.
3.
p2 + ( m 1 + n 2 ) = ( m 1 + n 2 ) + p2 ,
Conmutativa de la suma.
4.
p2 + ( m 1 + n 2 ) = ( m 2 + n 1 ) + p2 ,
Transitiva de la igualdad de clases a 3 y 2.
5.
( p2 + m 1 ) + n 2 = p2 + ( m 1 + n 2 ),
Asociativa de la suma.
6.
( p2 + m 1 ) + n 2 = ( m 2 + n 1 ) + p2 ,
Transitiva de la igualdad a 5 y 4.
7.
m 1 + p2 = p2 + m 1 ,
8.
( m 1 + p2 ) + n 2 = ( p2 + m 1 ) + n 2 ,
9.
( m 1 + p2 ) + n 2 = ( m 2 + n 1 ) + p2 ,
10. n1 + p2 = n2 + p1 ,
((n1 , n2 ), ( p1 , p2 )) G.
11. n2 + p1 = n1 + p2 ,
Simetrica de la igualdad a 10.
12. (n2 + p1 ) + m2 = (n1 + p2 ) + p2 ,
13. (n2 + p1 ) + m2 = n2 + ( p1 + m2 ),
14. n2 + ( p1 + m2 ) = (n2 + p1 ) + m2 ,
Simetra de la igualdad.
15. n2 + ( p1 + m2 ) = (n1 + p2 ) + p2 ,
16. m2 + p1 = p1 + m2 ,
17. n2 + (m2 + p1 ) = n2 + ( p1 + m2 ),
Aditiva a la izquierda a 16.
18. n2 + (m2 + p1 ) = (n1 + p2 ) + p2 ,
19. (m2 + p1 ) + n2 = n2 + (m2 + p1 ),
20. (m2 + p1 ) + n2 = (n1 + p2 ) + p2 ,
21. (n1 + p2 ) + p2 = (m2 + p1 ) + n2 ,
Simetra de la igualdad.
22. (m2 + n1 ) + p2 = m2 + (n1 + p2 ),
23. m2 + (n1 + p2 ) = (n1 + p2 ) + m2 ,
24. (m2 + n1 ) + p2 = (n1 + p2 ) + m2 ,
25. (m2 + n1 ) + p2 = (m2 + p1 ) + n2 ,
26. (m1 + p2 ) + n2 = (m2 + p1 ) + n2 ,
27. m1 + p2 = m2 + p1 ,
Cancelativa a la derecha a 26.
3.4 Ejercicio. Sea

G = {( A, B) U U : ( f )[ f : A B f es biyectiva]}.
110 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
Es G una relacion
de equivalencia en U ?
3.5 Ejercicio. Sea conjunto G. Una funcion
: G G G se denomina operacion interna
sobre G. En lugar de escribir ( a, b), se acostumbra escribir ab; es decir:
ab = ( a, b).
La pareja ( G, ) es un grupo si y solo si:
1. G1: es asociativa. Para todo a G, b G y c G, se verifica
( ab)c = a(bc).
2. G2: elemento neutro. Existe un unico
elemento e G tal que

e a = a = ae.
El elemento e es denominado elemento neutro de o elemento identidad.
3. G3: Inverso de un elemento. Para cada a G, existe un elemento b G tal que
b a = e = ab.
Es poco frecuente utilizar algun
smbolo especfico (como por ejemplo, ) para representar la operacion
interna que satisface los axioma de grupo; es comun,
mas bien, la notacion
de producto; es decir, en lugar de escribir ab, se escribe ab. As, las tres propiedades
que definen grupo se suelen escribir de la siguiente manera:
1. Asociativa: ( ab)c = a(bc).
2. Neutro: existe un unico
e G tal que ea = a = ae.

3. Inverso de un elemento: para todo a G, existe b G tal que ba = e = ab.
3.6 Unicidad del elemento inverso. Dado a G, el elemento b tal que
ba = e = ab
(6.5)
es unico.
En efecto, si c G cumpliera, por ejemplo, la igualdad

ac = e,
entonces c = b, pues
c = ec = (ba)c = b( ac) = be = b.
Una prueba similar muestra la igualdad de c y b si se cumpliera la igualdad ca = e.
En resumen, dado a G, solo hay un elemento en b G que satisface las igualdades
producto) con a1 , y se lo
dadas en (6.5). A este elemento se lo representa (en notacion
nombra como el inverso de a. Con esta notacion,
el axioma G3 se expresa como sigue:
a1 a = e = aa1 .
: 0.310
V ERSI ON
2011 - D IC - 07
111 de 117
3.7 Un par de propiedades de Grupo. Sea G un grupo. Entonces, para a G y b G se

cumplen las siguientes igualdades:
1. ( a1 )1 = a.
2. ( ab)1 = b1 a1 .
Demostracion.
1. Sea b = ( a1 )1 ; entonces, por definicion
de ( a1 )1 , se tiene que
ba1 = e = a1 b.
de a1 , se tiene que
aa1 = e.
Entonces, por la unicidad de b, se tiene que b = a; es decir:
b = ( a1 )1 = a.
2. Vamos a probar que (b 1 a1 )( ab ) = e, de donde, por la unicidad de ( ab )1 , se concluye que
( ab )1 = b 1 a1 .
(b 1 a1 )( ab ) = b 1 ( a1 ( ab )) = b 1 (( a1 a)b )
= b 1 (eb ) = b 1 b = e.
3.8 Subgrupo de un grupo. Sea G un grupo. Un subgrupo de H es cualquier conjunto no

vaco de G que satisface dos propiedades:
1. Si a H y b H, entonces ab H.
2. Si a H, entonces a1 H.
Se deduce inmediatamente que e H. En efecto, como H 6= , existe a H. Entonces,
por el segundo axioma de subgrupo, se tiene que a1 H, y por el primer axioma, se tiene
que aa1 = e H.
3.9 Ejercicio. Sean G un grupo y H un subgrupo de G. Se define la clase
R H = {( x, y) G G : x 1 y H }.
Entonces R H es una relacion
de equivalencia.
4 Clases de equivalencia. Dados un conjunto A y una relacion
de equivalencia G en A,
se dice que dos elementos de A, por ejemplo x y y son equivalentes modulo G si y solo si
( x, y) G.
6.2 (Clase de equivalencia). Sea A un conjunto y G una relacion
D EFINICI ON
de equivalencia en A. Sea x A. El conjunto
Gx = {y : y A ( x, y) G }
se denomina clase de equivalencia de x modulo G.
En otras palabras, los elementos de la clase de equivalencia de x A modulo
G son
todos los elementos de A que son equivalentes modulo
G a x.
112 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
4.1 Ejemplo. Sea G la relacion

de equivalencia definida en el ejemplo 3.1:
G = {( x, y) Z Z : 5 | (y x )}.
Averiguemos
a que es igual G0 . De las siguientes equivalencias logicas:
u G0 u Z (u, 0) G
u Z 5 | (0 u)
u Z 5 | u
u Z (q)[q Z u = 5q]
u Z (q)[q Z u = 5(q)]
u Z ( p)[ p Z u = 5p],
concluimos que G0 es el conjunto de todos los numeros
enteros divisibles por 5. Por ejemplo, los numeros
enteros 0, 5, 20, 10 pertenecen a G0 ; en cambio, no pertenece a este

conjuntos los numeros
1, 4, 33.
Ahora veamos quien es G3 . Para ello, procedamos de manera similar a la realizada
para G0 :
u G3 u Z (u, 3) G
u Z 5 | (3 u)
u Z (q)[q Z 3 u = 5q]
u Z (q)[q Z u = 3 + 5(q)]
u Z (q)[q Z u = (5 3) + (5(q) 5)]
u Z (q)[q Z u = 2 + 5(q 1)]
u Z ( p)[ p Z u = 2 + 5p].
Entonces, G3 es el conjunto de todos los numeros
enteros cuyo resto al ser divididos por

5 es igual a 2.
No es difcil verificar tambien que G2 es el conjunto de los enteros que al dividir por 5
el resto es 2; es decir, G2 = G3 .
4.2 Ejemplo. Sea G la relacion
de equivalencia definida en el ejemplo 3.2:
G = {( x, y) E E : y x F },
donde E es un espacio vectorial real y F un subespacio vectorial de E.
Calculemos G0 (en este caso, 0 es el vector cero de E). Para ello, procedamos de la siguiente manera:
u G0 u E (u, 0) G
u E (0, u) G
u E u0 F
u E u F.
Entonces:
G0 = {u : u E u F } = F;
: 0.310
V ERSI ON
2011 - D IC - 07
113 de 117
es decir, G0 es el subespacio F.
Sea x E. Vamos a caracterizar el conjunto Gx , la clase de equivalencia de x. Procedamos como sigue:
u Gx u E (u, x ) G
u E ( x, u) G
u E u x F.
Entonces:
G x = { u E : u x F }.
Sea ahora u Gx ; entonces u x F. Definamos v = u x; luego, por las propiedades
de espacio vectorial, tenemos que u = x + v. Por otro lado, como u x F, por el axioma
de extension
y la definicion
de v, tenemos que v F. En resumen:
u Gx u = x + v v F.
(6.6)
Recprocamente: sea u E tal u = x + v con v F; probemos que u Gx . Para ello,

debemos probar que u x F, lo que se obtiene facilmente, pues, de u = x + v, por las
propiedades de los espacios vectoriales, deducimos que u x = v; y, como v F, por el
axioma de extension,
concluimos que u x F. En resumen:
u = x + v v F u Gx .
(6.7)
Podemos, entonces, concluir de (6.6) y de (6.7) que

Gx = {u : u E (v)[v F u = x + v]}.
En otras palabras, los elementos de Gx pueden ser escritos como la suma de x con un
elemento de F: x + v con v F. Por esta razon,
se acostumbra a escribir x + F en lugar de
Gx ; es decir:
x + F = Gx .
El lector debe comprender que el smbolo de suma en esta igualdad no representa la suma
en el espacio vectorial E; es solo una abreviacion
por la forma que tienen los elementos de
Gx .
Con la notacion
introducida, resulta que 0 + F = F, pues, por un lado 0 + F = G0 , y por
otro, G0 = F, como se demostro anteriormente.
En que relacion
estan G( x ) y Gx ?
5 Particion
de un conjunto. Sea A un conjunto. Una particion A es una familia indexada
{ Ai }i I tal que Ai A para todo i I y que satisface las siguientes propiedades:
P1. Para todo i I y todo j I, Ai A j = o Ai = A j .
P2. A =
i I
Ai .
De la definicion
de disyuncion,
la propiedad P1 puede ser expresada de la siguiente
manera:
x Ai A j Ai = A j .
114 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
Puesto que Ai A para todo i I, tenemos que

[
Ai A;
i I
por lo tanto, para probar P2, basta con probar que

A
Ai .
i I
Para ello, si x A, hay que probar que existe i0 I tal que x Ai0 .
En resumen, las condiciones P1 y P2 son equivalentes a las siguientes:
P1. x Ai A j Ai = A j .
P2. Si x A, entonces existe i0 I tal que x Ai0 .
5.1 Ejemplo. Sea f : Z P (Z ) la funcion
definida por
f (i ) = { x : x Z (q)[q Z x = i + 5q]}
para todo i Z. Entonces f es una familia indexada de conjuntos de Z con Z el conjunto
de ndices. Si nombramos Bi = f (i ) , entonces f se representa por
{ Bi } i Z ,
donde
Bi = { x : x Z (q)[q Z x = i + 5q]}.
Vamos a probar que la familia indexada { Bi }iZ es una particion
de Z. Para ello, debemos demostrar que
1. Bi Z para todo i Z.
2. Bi 6= para todo i Z.
3. P1. Si x Bi Bj , entonces Bi = Bj .
4. P2. Si x Z, existe i0 Z tal que x Bi0 .
Demostracion.
1. Sea i Z; supongamos que x Bi . De la definicion
de Bi , x Z. Entonces, Bi Z.
2. Sea i Z. Mostremos que existe un x Z tal que x Bi .
Puesto que i = i + 5(0) e i Z, entonces i Bi ; por lo tanto, Bi 6= .
3. P1. Supongamos que existe x Bi B j . Debemos probar:
(a) Bi B j ; y
(b) B j Bi .
(a) Sea u Bi ; debemos probar que u B j ; es decir, debemos demostrar que existe q Z tal que
u = j + 5q.
(6.8)
De u Bi , sabemos que existe q1 Z tal que

u = i + 5q1 .
: 0.310
V ERSI ON
2011 - D IC - 07
(6.9)
115 de 117
Sabemos tambien x Bi y x B j ; entonces, existen p1 Z y p2 Z tales que

x = i + 5p1
x = j + 5p2 ,
de donde
i + 5p1 = j + 5p2 ;
es decir, i y j satisfacen la igualdad
i = j + 5p,
donde p = p1 + p2 Z.
De esta ultima
igualdad y de (6.9), obtenemos que

u = ( j + 5p) + 5q1 = j + 5q
con q = p + q1 Z, que es lo que se quera demostrar.
(b) La demostracion
de B j Bi es similar a la que se acaba de hacer, por lo que se la deja como
ejercicio para el lector.
4. P2. Sea x Z. Debemos demostrar que existe i0 Z tal que x Bi0 . Es decir, debemos demostrar
que existen i0 Z y q Z tales que
x = i0 + 5q.
La existencia de i0 y q no es mas que una consecuencia de la aplicacion
del teorema de la
division
6.1 con a = x y b = 5.
5.2 Ejemplo. Sea { Br }r Rbb la familia de conjuntos de R R definida por

Br = {( x, y) : y = x + r }
para cada r R. Probemos que esta familia es una particion.
Para ello, demostremos que:

1. Br R R para todo r R.
2. Br 6= para todo r R.
3. P1: si ( x, y) Br Bs , entonces Br = Bs .
4. P2: si ( x, y) R R, existe r0 R tal que x Br0 .
Demostracion.
1. Es inmediato de la definicion.
2. Sea r R; entonces (0, r ) Br , pues r = 0 + r.

3. P1: supongamos que ( x, y) Br Bs ; entonces y = x + r y y = x + s, de donde
x + r = x + s, lo que implica que r = s. Por lo tanto, Br = Bs .
4. P2: sea ( x, y) R R; sea r0 = y x. Entonces y = x + r0 , de donde ( x, y) Br0 con
r0 R.
5.3 Sean f : A B una funcion
sobreyectiva, y { Bi }i I una particion
de B. Demuestre
que la familia { f 1 ( Bi )}i I es una particion
de A.
Vamos a demostrar que:
1. f 1 ( Bi ) A para todo i I.
2. f 1 ( Bi ) 6= para todo i I.
116 de 117
: 0.310
V ERSI ON
2011 - D IC - 07
3. P1: si x f 1 ( Bi ) f 1 ( Bj ), entonces f 1 ( Bi ) = f 1 ( Bj ).
4. P2: si x A, existe i0 I tal que x f 1 ( Bi0 ).
Demostracion.
1. Sea i I; como Bi B, pues { Bi }i I es una particion
de B, entonces f 1 ( Bi ) A, ya que f es
una funcion
de A en B.
2. Sea i I; como { Bi }i I es una particion
de B, Bi 6= ; por lo tanto, existe y Bi . Luego, como
f es sobreyectiva, existe x A tal que y = f ( x ); y, por el axioma de extension,
tenemos que
f ( x ) Bi , de donde x f 1 ( Bi ); es decir, f 1 ( Bi ) 6= .
3. P1: supongamos que x f 1 ( Bi ) f 1 ( B j ). Entonces f ( x ) Bi B j ; luego, como { Bi }i I es
una particion
de B, Bi = B j , de donde, f 1 ( Bi ) = f 1 ( B j ), como se quera demostrar.
4. P2: supongamos que x A; entonces f ( x ) B; luego, como { Bi }i I es una particion
de B,
existe i0 I tal que f ( x ) Bi0 , de donde, por la definicion
de imagen inversa, concluimos que
x f 1 ( Bi0 ), como se quera demostrar.
: 0.310
V ERSI ON
2011 - D IC - 07
117 de 117

Libro Mate PDF

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Libro Mate PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

Fundamentos de la Matematica

El conjunto de los numeros

cuyo antecedente es la conjuncion

Razonamiento valido. El razonamiento

es valido si y solo si la proposicion

es valido. En efecto, debemos demostrar que la proposicion

es una tautologa. Para ello, realicemos la tabla de verdad de esta proposicion:

Como se puede observar, la proposicion

no es valido, pues la proposicion

Independientemente del valor que pueda tomar P, la conjuncion

puede ser deducida de otras proposiciones.

P debe ser falsa; es decir, que la proposicion

entonces debemos rechazar esa contradiccion,

de donde se dedujo la contradiccion.

Para esos valores de verdad de P y de Q, por la definicion

Por lo tanto, no aceptamos que la implicacion

al absurdo esta vez.

Por otro lado, de la definicion

lo que es una contradiccion,

M ODUS P ONENS [MP]

M ODUS T OLLENS [MT]

La siguiente tabla contiene equivalencias logicas

que pueden ser expresadas como un

En otras palabras, el esquema (1.7) indica que Q se deduce de P y que P se deduce de Q.

Para esta tabla, las abreviaciones son: DE para definicion,

respectivamente; en la conmutativas, C para conjuncion

en la que aparezca una proposicion,

sustituida por otra proposicion

obtenida tras la sustitucion

P( x ) es verdadera para todo x

P( x ) es verdadera para algun

( x ) P( x ) (y) P(y) y ( x ) P( x ) (y) P(y).

Propiedades basicas de los cuantificadores.

x (al menos uno) para el cual la proposicion

Sea P un predicado de una variable. Se tiene las siguientes equivalencias logicas:

Los cuantificadores tambien satisfacen la siguiente propiedad de intercambio.

1. ( x )(y) P( x, y) (y)( x ) P( x, y).

2. ( x )(y) P( x, y) (y)( x ) P( x, y).

T EOREMA 1.3. Sean P( x ) un predicado de una variable y Q un predicado que no depende

9 Reglas de inferencia para predicados. Se utiliza I para Introduccion,

Es necesario aclarar el papel de a en cada una de las reglas.

Nociones no definidas. Hay dos: clase y pertenencia.

del alfabeto espanol

la clase A pertenece a la clase B;

2.1 (Conjunto). Una clase A es un conjunto si hay una clase B de la cual A es

del alfabeto espanol

las letras mayusculas

podran representar tanto clases propias como

Igualdad de clases. Es una relacion

2.2 (Igualdad). Sean A y B dos clases. Se escribe A = B para abreviar la

Se escribe A 6= B para abreviar ( A = B).

es verdadera; y para ello, de la definicion

sabemos que A = B es verdadera; entonces, es verdadera la proposicion

de donde, junto con (2.4) y la definicion

es verdadera. Debemos demostrar que A = C es una proposicion

es verdadera. Y por la aplicacion

T EOREMA 2.4 (Caracterizacion

es verdadera. Debemos demostrar que la proposicion

2.3 (Subclase). Sean A y B dos clases. Se escribe A B para abreviar la

2.4 (Subclase estricta). Sean A y B dos clases. Se escribe A B para abreviar

es verdadera. Vamos a probar que la proposicion

son verdaderas. Por lo tanto, por la introduccion

T EOREMA 2.6. Para toda clase A y toda clase B, la proposicion