Documente Academic
Documente Profesional
Documente Cultură
f g
Q
Q
Q
Q
Q
Q
fa;b g f a; c g b; c
f g
Q
Q Q
Q
Q Q
Q
Q
Q Q
Q Q
f ga b
f g f g c
Q
Q
Q
Q
Q
Q
;
Vicente Yriarte
Universidad Simón Bolívar
Elementos de Teoría Axiomática de
Conjuntos
Vicente Yriarte
Universidad Simón Bolívar
Caracas, Octubre de 2001
¾Por qué tan duro?dijo un día el carbón del fogón al diamante; ¾no somos parientes cerca-
nos? ¾Por qué tan blandos? ½Oh hermanos míos!, yo os lo pregunto: ¾no sois mis hermanos?
¾Por qué tan blandos, tan condescendientes? ¾Por qué hay tanta abnegación en vuestro cora-
zón? ¾Por qué hay tan poco destino en vuestra mirada? y si no queréis ser destinos inexorables,
¾cómo podríais vencer algún día conmigo? Y si vuestra dureza no quiere levantar chispas, cortar
y tajar, ¾cómo podríais algún día crear conmigo? Pues los creadores son duros. Y debe ser
para vosotros una dicha imprimir la huella de vuestra mano en los siglos como en la cera blanda,
una dicha escribir sobre la voluntad de los milenarios como en bronce; más duro que el bronce,
más noble que el bronce. El más duro es el más noble. ½Oh hermanos míos!, yo suspendo sobre
vuestras cabezas esta nueva tabla: ½SED DUROS!
Así habló Zaratustra. Federico Nietzsche.
Relaciones Binarias
Notación Descripción Página
xRy x esta relacionado con y mediante R 26
<x ; y> 2 R el par <x ; y> pertenece a R 26
DR dominio de la relación R 26
RR recorrido de la relación R 26
FR campo de la relación R 27
R(B ) imagen de B mediante R 28
R 1 (B ) preimagen de B mediante R 28
R jB restricción de R a B 29
Rjizq (B ) restricción del dominio R a B 29
Rjder (B ) restricción del dominio R a B 29
ajb a divide a b 42
IdA relación identidad de A 30
RS producto de relaciones 29
Rn potencia de relaciones 76
RS composición de relaciones 75
t(R) = R+ clausura transitiva de R 77
r (R) clausura reexiva de R 79
s( R ) clausura simétrica de R 79
tr(R) = R clausura reexotransitiva de R 80
R [x ] clase de equivalencia de x mediante R 88
R relación de equivalencia asociada a la partición 89
R partición asociada a la relación de equivalencia R 89
[x] abrevia a R[x] cuando R queda clara 95
A=R conjunto cociente 89
vii
(A) conjunto de las particiones del conjunto A 88
Rb conversa de R 28
D = hV; Ai digrafo con vértices V y aristas A 27
1 2 1 es más o igual na que 2 90
E (A) conjunto de las relaciones de equivalencias de A 87
Funciones
Notación Descripción Página
f (x) imagen de x mediante f 106
f g f compuesta con g 107
f :A!B función total de A en B 106
f : A,!B función total inyectiva de A en B 108
f : A! !B función total sobreyectiva de A en B 108
f : A,!!B función total biyectiva de A en B 108
BA conjunto de las funciones totales de A en B 106
f 1 inversa de la función f 112
f (B ) imagen del conjunto B mediante f 106
f 1 (B ) preimagen del conjunto B mediante f 108
viii
Números
Notación Descripción Página
IN conjunto de los números naturales 58
IN naturales mayores que cero (IN f0g) 59
Z conjunto de los números enteros 92
Z+ enteros positivos 92
Z enteros negativos 92
Z enteros no nulos (sin el cero) 92
Q números racionales 97
IR números reales 43
C números complejos 57
Zn conjunto de las clases residuales módulo n 96
[n] f1; 2; 3; : : : ; ng naturales positivos menores e iguales que n 117
(a; b) intervalo abierto de números reales 130
[a; b] intervalo cerrado de números reales 130
Z [x ] polinomios con coecientes en Z 138
Ordenes Parciales
Notación Descripción Página
hA; Ri conjunto parcialmente ordenado 42
min (A) mínimo del conjunto A 44
max (A) máximo del conjunto A 44
Mins (A) minimales del conjunto A 44
Maxs (A) maximales del conjunto A 44
cotinf (A) cotas inferiores o minorantes del conjunto A 44
cotsup(A) cotas superiores o mayorantes del conjunto A 45
inf (A) ínmo del conjunto A 45
sup (A) supremo del conjunto A 45
O (A) conjunto de los ordenes parciales de A 43
L(A) conjunto de los ordenes lineales de A 43
l
s(a)
x y
H (R)
segmento de a
x es predecesor inmediato de y
diagrama de Hasse de la relación R
44
43
43
xy <x ; y> pertenece a la relación 62
x<y x es menor que y o <x ; y> pertenece a la relación < 62
xy pertenece a la relación 62
x>y x es mayor que y o <x ; y> pertenece a la relación > 62
Índice General
1 Teoría de Conjuntos 1
1.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Principios y Axiomas Básicos . . . . . . . . . . . . . . . . . . . . 2
1.3 Relaciones entre Conjuntos . . . . . . . . . . . . . . . . . . . . . 6
1.4 Operaciones sobre Conjuntos . . . . . . . . . . . . . . . . . . . . 8
1.5 Familias de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . 11
1.6 Conjunto Potencia . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.7 Axioma de Fundamentación . . . . . . . . . . . . . . . . . . . . . 15
1.8 Grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.9 Ejercicios Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.10 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2 Relaciones Binarias 23
2.1 Par Ordenado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Producto Cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3 Relaciones Binarias . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.4 Producto de Relaciones . . . . . . . . . . . . . . . . . . . . . . . 29
2.4.1 Generalización . . . . . . . . . . . . . . . . . . . . . . . . 32
2.5 Grafos y Digrafos . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.6 Ejemplos de Relaciones . . . . . . . . . . . . . . . . . . . . . . . 34
2.7 Ejercicios Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.8 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3 Relaciones de Orden 41
3.1 Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.2 Conjuntos Parcialmente Ordenados . . . . . . . . . . . . . . . . . 43
3.3 Reticulados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.4 Ejercicios Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4 Números Naturales 57
4.1 La Denición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.2 Orden en los Naturales . . . . . . . . . . . . . . . . . . . . . . . . 62
4.3 Aritmética . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
ix
x ÍNDICE GENERAL
4.4 Ejercicios Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
5 Clausuras de Relaciones 75
5.1 Composición y Potencia de Relaciones . . . . . . . . . . . . . . . 75
5.2 Clausuras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
5.3 Matriz Asociada . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.4 Ejercicios Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . 83
5.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
6 Relaciones de Equivalencia 87
6.1 Relaciones de Equivalencia . . . . . . . . . . . . . . . . . . . . . . 87
6.2 Números Enteros . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
6.2.1 La Construcción . . . . . . . . . . . . . . . . . . . . . . . 91
6.2.2 Aritmética del Número Entero . . . . . . . . . . . . . . . 92
6.2.3 Orden en los Enteros . . . . . . . . . . . . . . . . . . . . . 94
6.2.4 Comentarios sobre el Orden . . . . . . . . . . . . . . . . . 95
6.3 Congruencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
6.3.1 Aritmética de Zn . . . . . . . . . . . . . . . . . . . . . . . 96
6.4 Construcción de los Racionales . . . . . . . . . . . . . . . . . . . 97
6.5 Ejercicios Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . 99
6.6 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
7 Funciones 105
7.1 La Denición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
7.2 Tipos de Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . 107
7.3 Funciones Inversas . . . . . . . . . . . . . . . . . . . . . . . . . . 111
7.4 Ejercicios Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . 115
7.5 ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
8 Cardinalidad 121
8.1 Conjuntos Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
8.2 Conjuntos Contables . . . . . . . . . . . . . . . . . . . . . . . . . 126
8.2.1 Axioma de Elección . . . . . . . . . . . . . . . . . . . . . 128
8.2.2 Caracterización de Conjuntos Contables . . . . . . . . . . 128
8.3 Conjuntos no Contables . . . . . . . . . . . . . . . . . . . . . . . 130
8.4 Ejercicios Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . 134
8.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
A Comentarios de Lógica 139
B Respuestas o Sugerencias 143
Las dos corrientes. Si consideramos el espejo en sí
no hallamos más que los objetos que reeja. Si queremos
apoderarnos de esos objetos tornamos a ver el espejo y no
Teoría de Conjuntos
1.1 Introducción
La teoría de conjuntos fue estudiada formalmente por primera vez por el
matemático alemán Georg Cantor (1845-1918). La teoría de conjuntos tal como
Cantor la formuló por primera vez genera contradicciones. Por esta razón se
hicieron otras teorías de conjuntos más sosticadas con el n de eliminar dichas
contradicciones. Sin embargo, por su sencillez la mayoría de los matemáticos
preeren un enfoque casi igual al de Cantor conocido como Teoría Ingenua1 de
Conjuntos. La razón por la cual en la teoría ingenua (o intuitiva) de conjuntos
se generan contradicciones es que en ella cualquier colección de objeto se puede
considerar como un conjunto. Esto trae como consecuencia que uno se pase de
ingenuo y admita como conjuntos colecciones no intuitivas como el conjunto de
todos los conjuntos que no se contienen a si mismos y el conjunto de todos los
conjuntos o conjunto universal.
El tratamiento ingenuo de la teoría de conjuntos (Naive Set Theory) asume
que la denición de conjunto como una colección de objetos es sucientemente
claro. Mientras que en un tratamiento axiomático se establecen reglas que
limitan la noción intuitiva de conjuntos. Adoptaremos un esquema axiomático
parecido al usado por Ernst Zermelo en 1908. Pero debido a que en nuestro
esquema axiomático usaremos un axioma denido por primera vez por Fraenkel
diremos que el esquema que usamos es el esquema de Zermelo-Fraenkel. Nota:
Cantor no enunció ningún axioma, sin embargo, el análisis de sus demostraciones
sugiere que casi todos los teorema que él demostró pueden derivarse de tres
axiomas, a saber: el axioma de extensión, el axioma de abstracción y el axioma
de elección.
1
2 CAPÍTULO 1. TEORÍA DE CONJUNTOS
1.2 Principios y Axiomas Básicos
Contrario a lo que hace la teoría de conjuntos ingenua, que asume que cualquier
colección de objetos es un conjunto, en una teoría axiomática de conjuntos se
dan las reglas de formación de las colecciones que se van a admitir o que se van
a considerar como conjuntos.
Una denición usual de conjunto es la siguiente: Un conjunto es cualquier
colección de objetos que se puede tratar como una entidad. Aceptaremos que
un conjunto es una colección de objetos pero no toda colección de objetos la
aceptaremos como conjunto. Si un objeto x está en un conjunto A se dice que
x es un elemento del conjunto A o que pertenece al conjunto y se denota por
x 2 A. De lo contrario se denota por x 62 A.
Nótese: que no hemos dado una especicación formal de lo que es un con-
junto ni hemos dado reglas para decidir si un elemento pertenece o no a un
conjunto dado.
Como consecuencia de no tener deniciones de estos conceptos, no tenemos
un procedimiento para probar formalmente si algo es un conjunto o si un ob-
jeto es un elemento de un conjunto dado. Por lo tanto, debemos conar en el
entendimiento común del signicado de los términos.
Los principios básicos de la teoría de conjuntos son la noción de conjuntos
y la noción de pertenencia. A estos se agrega el conjunto de axiomas que
estableceremos a continuación.
Lo primero que aceptaremos sin demostración es que la colección de objetos
que no tiene ningún objeto es un conjunto.
El conjunto Vacío
Denición 1.1 (Conjunto Vacío) Un conjunto que no tiene elementos se de-
nomina conjunto vacío. Se representará por el símbolo ;
Podríamos preguntarnos ¾ qué sentido tiene tener un conjunto que no tiene ele-
mentos? El conjunto vacío es sólo una convención y las matemáticas podrían
vivir sin él. Pero, es una convención conveniente porque ahorra mucho tiempo
al establecer y probar teoremas. Sin esta convención, por ejemplo, tendríamos
que probar que dos conjuntos A y B tienen elementos en común antes de usar la
notación A \ B . Además, nos garantiza que cuando hablemos de conjuntos no
estemos hablando de entes no existentes, por lo menos tenemos uno: el conjunto
vacío, aunque no tenga elementos.
1.2. PRINCIPIOS Y AXIOMAS BÁSICOS 3
Axioma de Extensión
El segundo paso será proporcionarnos una regla que nos permita decidir si dos
conjuntos son iguales.
Axioma 1.2 (Axioma de Extensión) Si dos conjuntos A y B tienen los mis-
mos elementos, entonces son iguales. En otras palabras: Si todo elemento de A
es un elemento de B y todo elemento de B es un elemento de A, entonces A y
B son iguales.
Dicho axioma se puede expresar en notación lógica de cualquiera de las siguientes
dos maneras.
a) 8x(x 2 A , x 2 B ) =) A = B
b) (8x(x 2 A ) x 2 B )) ^ (8x(x 2 B ) x 2 A)) =) A = B
Paradojas
Un axioma relacionado con el Axioma de Separación es el Axioma de Abstrac-
ción el cual permite denir conjuntos en base a una propiedad. Este axioma no
forma parte de nuestra axiomática porque el mismo lleva a una contradicción.
El axioma de abstracción se enuncia como sigue: 9y8x(x 2 y , P (x)). Si dicha
proposición se aceptara como axioma se tendría sustituyendo P (x) por x 62 x
que 9y8x(x 2 y , x 62 x), e instanciando en c la variable y y luego la x se
tendría la fórmula contradictoria c 2 c , c 62 c. Esta antinomia fue descubierta
simultáneamente por Zermelo y por Russell pero publicada primero por Russell
en 1901. Generalmente relacionamos la paradoja del conjunto de los conjuntos
que no se contienen a ellos mismos con el enunciado que arma la existencia
de un barbero que afeita a todos y solamente a aquellos que no se afeitan ellos
mismos. Sea b ese barbero; el enunciado que le atribuye la propiedad previa-
mente citada se escribe como sigue: 8x(bRx , :xRx). La contradicción se
obtiene instanciando x en b. Como la hipótesis de la existencia de tal barbe-
ro conduce a una contradicción, uno concluye simplemente que tal barbero no
existe. Esta es simplemente una prueba por absurdo. En el caso de la paradoja
de Russell, la situación es diferente. No podemos prescindir del axioma de abs-
tracción totalmente. Lo que hizo Zermelo fue restringirlo y formar el axioma de
Separación.
Axioma de Unión
El axioma de apareamiento nos permite construir conjuntos con a lo sumo dos
elementos: parejas o singletones. El siguiente axioma nos permite construir
conjuntos con tantos elementos como queramos.
Axioma 1.7 (Axioma de Unión) Si x es un conjunto, existe un conjunto
cuyos elementos son los elementos de los elementos de x. Se denota por [x
Nótese que si ninguno de los elementos de x es un conjunto [x es el conjunto
vacío. Además, como el conjunto vacío no tiene elementos, se tiene que [; = ;.
Si deseamos formar un conjunto con los tres elementos a; b; c podemos usar el
axioma de unión con el par ffag; fb; cgg, esto es, [ffag; fb; cgg = fa; b; cg donde
la notación fa; b; cg signica el conjunto cuyos elementos son a; b; c. Mientras
que si queremos formar el conjunto cuyos elementos son los conjuntos a; b; c; d,
usamos el axioma de unión con, por ejemplo, el par no ordenado ffa; bg; fc; dgg.
Ejercicio 1.1 Explique, cómo puede formar conjuntos con cinco o más elemen-
tos
Ejemplo 1.2 Nótese que el conjunto f ;; f;g; f;; f;gg g es el resultado de
[f f;g; ff;g; f;; f;ggg g
Notación:
Cuando queramos hacer referencia a un conjunto listando sus elementos escri-
biremos los elementos del conjunto entre llaves como, por ejemplo: fa; b; cg o
fa; b; c; ; gg. Cuando se denota un conjunto de esta forma se dice que el
conjunto está denido por extensión. Cuando se dene usando el axioma de
separación se representa por fx : x 2 A ^ P (x)g y se dice que el conjunto está
denido por separación. Nota: A tiene que ser un conjunto.
A A A
A[B A\B A B
Teorema 1.15 A (A \ B ) = A B
Prueba: Por doble contención. () Sea x 2 A (A \ B ), por denición de
diferencia x 2 A y x 62 A \ B ; como x 2 A si x perteneciese a B se tendría
que x 2 A \ B lo cual contradiría la hipótesis x 62 A \ B , luego x 62 B y por
consiguiente x 2 A B .
() Sea x 2 A B , por denición de diferencia x 2 A ^ x 62 B , luego x 62 A \ B
y por consiguiente x 2 A (A \ B ). 2
Las siguientes propiedades de conjuntos se conocen con los nombres de idem-
potencia de la unión y de la intersección respectivamente.
Teorema 1.16 a) A [ A = A b) A \ A = A
Las siguientes dos propiedades del conjunto vacío hacen que al mismo se le
denomine elemento neutro de la unión y elemento absorbente de la intersección.
Teorema 1.17 a) A [ ; = A b) A \ ; = ;
A continuación se plantean una serie de teoremas básicos sobre la mani-
pulación de las operaciones básicas de conjuntos. Los mismos se dejan como
ejercicio, con las siguientes recomendaciones: 1) el estudiante debe probarlos
todos, si es necesario más de una vez. 2) Las igualdades conjuntísticas debe
probarlas por doble contención, a menos que uno de los conjuntos sea el con-
junto vacío, en cuyo caso, puede ser más fácil probar que el otro conjunto de la
igualdad no tiene elementos. 3) En las implicaciones debe probar el consecuente
usando, cuando lo necesite, el antecedente.
Teorema 1.18 a) A A [ B b) A \ B A
Teorema 1.19 a) A B A b) A ; = A
Teorema 1.20
a) Si A B , entonces A [ B = B
b) Si A B , entonces A \ B = A
Teorema 1.21
a) Si A B y C D; entonces (A [ C ) (B [ D)
3 Alerta: Se está usando un teorema de lógica que se llama El Tercero Excluido y que
establece que p p
_ :
1.5. FAMILIAS DE CONJUNTOS 11
b) Si A B y C D; entonces (A \ C ) (B \ D)
Teorema 1.22 Dados los conjuntos A, B , C y D de un universo de discurso
U se tiene que
a) A [ (B A) = A [ B
b) A (B [ C ) = (A B ) \ (A C )
c) A (B \ C ) = (A B ) [ (A C )
Complemento Absoluto
En ciertas ocasiones todos los conjuntos que nos interesa considerar para resolver
un determinado problema son subconjuntos de un conjunto más grande, que
llamaremos el universo del discurso. A dicho conjunto se le puede representar
por la letra U . Alerta: No debe olvidarse que no existe un conjunto universal.
Las armaciones de la presente sección se reeren a algún universo del discurso.
Denición 1.9 Sea A un subconjunto del universo del discurso U , se dene el
complemento de A como el conjunto de los elementos de U que no están en
A. Se denota por A
A = U A = fx : x 62 Ag
Teorema 1.23 Si A es cualquier subconjunto del universo U , entonces
a) A [ A = U
b) A \ A = ;
Teorema 1.24 El complemento de un conjunto es único.
Teorema 1.25 Para todo subconjunto A del universo U se tiene que A = A.
Esto es, el complemento del complemento de A es A.
Teorema 1.26 (Leyes de De Morgan) Dados dos conjuntos arbitrarios del
universo U se tiene que
a) A [ B = A \ B
b) A \ B = A [ B
Teorema 1.31 A 2 B =) A [B
Prueba: Sea x 2 A, queremos probar que x 2 [B . Por denición de [B se
tiene que x 2 [B , (9C )(x 2 C ^ C 2 B ). Por lo tanto queremos probar que
(9C )(x 2 C ^ C 2 B ). Como por hipótesis (x 2 A ^ A 2 B ), tenemos que, en
efecto, existe C tal que (x 2 C ^ C 2 B ) y por consiguiente x 2 [B ; concluimos
que A [B , si A 2 B . 2
Teorema 1.32 A B =) [A [B
Teorema 1.33 (8A)(A 2 B ) A C ) =) [B C
Teorema 1.34 (8A)(A 2 B ) A \ C = ;) =) ([B ) \ C = ;
1.5. FAMILIAS DE CONJUNTOS 13
Denición 1.12 Dado un conjunto A la intersección de A es el conjunto cuyos
elementos son los elementos que están en todos los elementos de A
\A = fx : (8B )(B 2 A ) x 2 B )g
Teorema 1.35 (Denición Alternativa)
x 2 \A () (8B )(B 2 A ) x 2 B ) ^ (9B )(B 2 A)
Ejemplo 1.7 Si A = ffag; fa; bgg, entonces \A = fag
Si A = ff;; ag; ffag; f;g; ;gg, entonces \A = f;g
Teorema 1.36 \; = ;
Prueba: Como el conjunto vacío es único, basta probar que (6 9x)(x 2 \;). Por
reducción al absurdo, si x 2 \;, se tiene que (8B )(B 2 ; ) x 2 B ) ^ (9B )(B 2
;) pero esto es falso pues (8B )(B 62 ;). Luego se tiene que (8x)(x 62 \;) y por
consiguiente \; = ; 2
Teorema 1.37 \f;g = ;
Prueba: Basta probar que (8x)(x 62 \f;g). x 2 \f;g implica que (8B )(B 2
f;g ) x 2 B ) ^ (9B )(b 2 f;g); pero esto es falso pues ; 2 f;g 6) x 2 ;. Por lo
tanto, (6 9x)(x 2 \f;g) 2
Teorema 1.38 \fAg = A
Teorema 1.39 \fA; B g = A \ B
Teorema 1.40 A 2 B =) \B A
Teorema 1.41 A 2 B ^ A C =) \B C
Teorema 1.42 A B ^ (9C )(C 2 A) =) \B \A
Teorema 1.43 (9C )(C 2 A) ^ (9D)(D 2 B ) =) \(A [ B ) = (\A) \ (\B )
Prueba: Por doble contención. () Sea x 2 \(A [ B ), por denición de \ se
tiene que (8M )(M 2 A [ B ) x 2 M ) ^ (9M )(M 2 A [ B ), esto es, x pertenece
a todos los elementos de A [ B y A [ B no es vacío. En consecuencia x pertenece
a todos los elementos de A y a todos los elementos de B . Además, como por
hipótesis, tanto A como B son no vacíos se tiene que x 2 \A y x 2 \B . Luego,
x 2 (\A) \ (\B ).
() Sea x 2 (\A) \ (\B ), por denición de \ se tiene que x 2 \A ^ x 2 \B .
Por lo tanto, x pertenece a cada uno de los elementos de A y x pertenece a cada
uno de los elementos de B y además, A y B son no vacíos. Concluimos que
x pertenece a cada uno de los elementos de A [ B y A [ B es no vacío, y en
consecuencia x 2 \(A [ B ). 2
Teorema 1.44 A 2 B ^ A \ C = ; =) (\B ) \ C = ;
Teorema 1.45 \A [A
14 CAPÍTULO 1. TEORÍA DE CONJUNTOS
1.6 Conjunto Potencia
Axioma 1.46 (Conjunto Potencia) Dado un conjunto A existe un conjunto
cuyos elementos son los subconjuntos del conjunto A
(9B )(8C )(C 2 B , C A)
Denición 1.13 (Conjunto Potencia o de Partes) Dado un conjunto A,
se dene el conjunto potencia de A, P (A), como el conjunto cuyos elementos
son los subconjuntos de A
P (A) = fB : B Ag
Teorema 1.47 (Denición Alternativa) B 2 P (A) () B A
Teorema 1.48 ; 2 P (A)
Teorema 1.49 A 2 P (A)
Teorema 1.50 P (;) = f;g
Prueba: DC. Si x 2 f;g, se tiene que x = ; y como ; ; tenemos que
x 2 P (;). Luego, f;g P (;). Además, si x 2 P (;) se tiene que x ; y por
teorema el único subconjunto del conjunto vacío es el conjunto vacío. Por lo
tanto, P (;) f;g
2
1.8 Grafos
Denición 1.14 (Grafo) Dado un conjunto V , un grafo sobre V es un par
ordenado4 hV; P i donde P es un conjunto de parejas de V .
Cada grafo sobre un conjunto A se puede representar por un gráco que contenga
todos los elementos de A y una línea entre los elementos x y z si el par fx; zg per-
tenece al grafo. Por ejemplo, si A = fa; b; c; dg los grafos ffa; bg; fa; dg; fc; dgg
ffa; bg; fd; cg; fb; dg; fa; cgg, ffa; bg; fa; dg; fa; cgg y ffa; dg; fb; cgg se represen-
tan como se muestra en la gura siguiente.
a b a b a b a b
d c d c d c d c
A B A B A B
(v1) (v2) (v3)
C C C
A B A B A B
(v4) (v5) (v6)
4. Demuestre que
(i ) A A \ B =) A B
(ii ) A [ B B =) A B
5. Si se dene la diferencia simétrica de dos conjuntos A y B como
A4B = (A B ) [ (B A)
demuestre que
(i ) A4B = (A [ B ) (A \ B )
(ii ) A4C = B 4C =) A = B
20 CAPÍTULO 1. TEORÍA DE CONJUNTOS
(iii ) A \ (B 4C ) = (A \ B )4(A \ C )
(iv ) A = B =) A4B = ;
6. Demuestre que
(i ) A [ B = (A B ) [ B ^ (A B ) \ B = ;
(ii ) A (B [ C ) = (A B ) \ (A C )
(iii ) A B () C B C A
7. Demuestre que
(i ) A B ^ B C =) A C
(ii ) A C ^ B C =) A [ B C
(iii ) A \ B C ^ D E =) (A \ B ) [ D C [ E
8. Demuestre que A B =) A [ (B A) = B
9. Demuestre que
(i ) A B =) B 6 A
(ii ) A 6 A
(iii ) A ; =) A = ;
10. Demuestre que A B = B A, donde X es el complemento de X con
respecto al universo del discurso.
11. Demuestre que
(i ) A [ ; = A
(ii ) A A [ B
(iii ) A \ B A
(iv ) A C ^ B C =) A [ B C
12. Demuestre que (A [ B ) \ C = (A \ C ) [ (B \ C )
13. Demuestre que
(i ) (A B ) \ B = ;
(ii ) A (B [ C ) = (A B ) \ (A C )
14. Una partición5 de un conjunto A es una familia de subconjunto de A
disjuntos dos a dos cuya unión es A. Halle el conjunto de las particiones
del conjunto A = fa; b; c; dg.
15. Demuestre que
5 Se estudiaran con detalle más adelante
1.10. EJERCICIOS 21
(i ) A B =) [A [B
(ii ) A 2 B =) \B A
16. Demuestre que
A B ^ (9C )(C 2 A) =) \B \A
17. Demuestre que
A B ^ (9D)(D 2 A [ C ) =) \(B [ C ) \(A [ C )
18. Escriba los conjuntos potencias de A = fa; b; c; dg y de B = f1; 2; 3; 4; 5g.
¾Cuántos elementos tienen? ¾Qué puede conjeturar?
19. Demuestre que
(i ) P (A \ B ) = P (A) \ P (B )
(ii ) [P (A) = A
20. Dar ejemplos que prueben la falsedad de las siguientes proposiciones
(i ) P (A [ B ) P (A) [ P (B )
(ii ) P (A) P (B ) = P (A B )
21. Use el axioma de fundamentación para probar que:
:(A 2 B ^ B 2 C ^ C 2 A)
s s s s s s
a b a b a b
G1 G2 G3
22 CAPÍTULO 1. TEORÍA DE CONJUNTOS
Represente todos los grafos de A = fa; b; cg.
23. ¾Será cierto que [P2 (A) = A para todo A? ¾Y [P3 (A) = A? De no ser
cierto enuncie una proposición condicional que si lo sea.
24. Demuestre que A B ) P (A) P (B )
No es bastante todavía .No basta demostrar una cosa;
hay que persuadir a los hombres o elevarlos hasta ella.
Por eso el iniciado tiene que aprender a decir su sabiduría,
y a veces a expresarla de modo que suene a locura.
Aurora. Federico Nietzsche.
Capítulo 2
Relaciones Binarias
En este capítulo se presenta una clase especial de conjuntos que llamaremos
relaciones binarias y que son la base de casi todas las estructuras matemáticas;
para mostrar su importancia bastaría decir que las funciones, que estudiaremos
más adelante, son una clase particular de relaciones. Pero, sin embargo, hay
más: los conjuntos ordenados se construyen con un tipo especial de relaciones
que denominaremos relaciones de orden y los conjuntos numéricos tales como
los números enteros, los números racionales y los números reales se construyen
en base a otro tipo de relaciones que llamaremos relaciones de equivalencia.
Digrafos, reticulados, álgebras de boole son todas estructuras que tienen su
base en las relaciones. El álgebra se basa en las operaciones binarias que son
un tipo de funciones que a su vez son un tipo de relaciones. En este capítulo
deniremos y estudiaremos las propiedades básicas de los pares ordenados y de
las relaciones que se denen como un conjunto de pares ordenados.
\
Teorema 2.18 A \ B = Ab \ Bb.
Teorema 2.19 A B = Ab Bb .
Teorema 2.20 Si R es una relación, entonces Rb = R.
A continuación se presentan otras deniciones importantes para la manipulación
de relaciones.
Denición 2.11 (Imagen de un Conjunto) Dada una relación binaria R
(de A en B ) y un conjunto S , se dene la imagen de S mediante R como
el conjunto de las segundas coordenadas de elementos de R que tienen como
primera coordenada un elemento de S .
Img(S ; R) = fb : (9a 2 S )(<a ; b> 2 R)g :
Tal vez es preferible usar la notación R(S ) en lugar de Img(S ; R).
Obsérvese que la imagen de un conjunto no es necesariamente una relación; lo
es sólo si todas las segundas coordenadas de elementos de R cuyas primeras
coordenadas están en S son pares ordenados. De manera análoga se dene la
preimagen de un conjunto.
Denición 2.12 (Preimagen de un Conjunto) Dada una relación binaria
R (de A en B ) y un conjunto S se dene la preimagen de S mediante R
como el conjunto de las primeras coordenadas de elementos de R que tienen
como segunda coordenada un elemento de S .
Pim(S ; R) = fa : (9b 2 S )(<a ; b> 2 R)g :
En ocasiones es preferible usar la notación R 1(S ) en lugar de Pim(S ; R).
2.4. PRODUCTO DE RELACIONES 29
Denición 2.13 (Restricciones) Para denotar al subconjunto de R cuyas
primeras coordenadas están en el conjunto C se usará la siguiente notación
Rjizq (C ). Esto es
Rjizq (C ) = f<a ; b> 2 R : a 2 C g
Y para denotar al subconjunto de R cuyas segundas coordenadas están en el
conjunto C se usará la siguiente notación Rjder (C ). Esto es
Rjder (C ) = f<a ; b> 2 R : b 2 C g
Nota: La restricción izquierda, que es la que aparece con mayor frecuencia, se
suele denotar por RjC , esto es, RjC = Rjizq (C ).
Nótese que estos conjuntos son relaciones.
[
sin embargo, se tiene el siguiente resultado.
Teorema 2.29 A B = Bb Ab.
[
Ejercicio 2.4 Muestre un ejemplo que ponga en evidencia que la expresión
A B = Ab Bb no es cierta para todo par de conjuntos A y B .
Denición 2.15 (Relación Identidad de A) Dado un conjunto A se dene
la relación Identidad de A como
IdA 2 = f<x ; x > : x 2 Ag
Hay una serie de propiedades interesantes que pueden o no satisfacer en
conjunto los elementos de una relación. Estas propiedades permiten clasicar a
las relaciones en base a dichas propiedades: Las presentaremos en la próxima
sección.
Tipos de relaciones
Reexividad
Una relación R se llama reexiva en A si para todo elemento a de A, el par
<a ; a> pertenece a la relación, esto es:
R es reexiva en A () 8a 2 A <a ; a> 2 R
Irreexividad
Una relación R se llama irreexiva en A si para todo elemento a de A, el par
<a ; a> no pertenece a la relación.
R es irreexiva en A () 8a 2 A <a ; a > 62 R
2 Cuando quede claro usaremos I en lugar de IdA .
2.4. PRODUCTO DE RELACIONES 31
Simetría
Una relación R se llama simétrica en A si para todo par de elementos a; b de
A, se tiene que si el par <a ; b> pertenece a la relación, entonces también el par
<b ; a > pertenece a la relación, esto es:
Asimetría
Una relación R se llama asimétrica en A si para todo par de elementos a; b de
A, se tiene que si el par <a ; b> pertenece a la relación, entonces el par <b ; a >
no pertenece a la relación, esto es:
Antisimetría
Una relación R se llama antisimétrica en A si para todo a; b 2 A, si el par
<a ; b> y el par <b ; a > pertenecen a la relación, entonces a = b.
R es antisimétrica en A () (8a; b 2 A)(aRb ^ bRa ) a = b)
Transitividad
Una relación R se llama transitiva en A si para toda terna a; b; c 2 A se tiene
que si <a ; b> 2 R y <b ; c> 2 R, entonces <a ; c> 2 R, esto es:
R es transitiva en A () (8a; b; c 2 A)(aRb ^ bRc ) aRc)
Conectividad
Se dice que la relación R es conexa en A si todo par de elementos x; y distintos
de A están relacionados mediante R, esto es
R es conexa en A , (8x)(8y)(x; y 2 A ^ x 6= y ) xRy _ yRx)
Conectividad Fuerte
Se dice que la relación R es fuertemente conexa en A si todo par de elementos
x; y de A están relacionados mediante R, esto es
R es fuertemente conexa en A , (8x)(8y)(x; y 2 A ) xRy _ yRx)
32 CAPÍTULO 2. RELACIONES BINARIAS
2.4.1 Generalización
Para nalizar este capítulo presentaremos una generalización del concepto de
par ordenado. En la sección 2.1 se denió el par <a ; b> como el conjunto
ffag; fa; bgg y demostramos que dos pares son iguales si y sólo si tienen las
mismas coordenadas. Una denición similar de terna no nos permitiría de-
mostrar un teorema análogo. Aclaratoria: si se deniese < a; b; c > como
ffag; fa; bg; fa; b; cgg se tendría que, por ejemplo, que < 1; 1; 2 >=< 1; 2; 2 > y
sin embargo, sus segundas coordenadas no son iguales (Chequearlo). Daremos
una denición de terna ordenada basada en la denición de par.
Denición 2.16 (Terna Ordenada) Dados tres elementos cualquiera a; b; c
se dene la terna ordenada < a; b; c > como el par ordenado << a; b >; c >.
También deniremos a continuación el concepto de n tupla o n ada como lo
denominan algunos autores.
Denición 2.17 (k tupla) Dados k+1 elementos cualesquiera a1 ; a2 ; : : : ; ak ; ak+1
se dene la (k + 1) tupla < a1 ; a2 ; : : : ; ak ; ak+1 > como el par ordenado <<
a1 ; : : : ; ak >; ak+1 >.
Una consecuencia casi inmediata de esta denición es el siguiente teorema, que
se deja como ejercicio.
Teorema 2.30 Dos k tuplas < a1 ; : : : ; ak > y < b1 ; : : : ; bk > son iguales si y
sólo si a1 = b1 ; : : : ; ak = bk .
Para generalizar la denición de producto cartesiano se da a continuación la
siguiente denición
Denición 2.18 Dados los conjuntos A1 ; A2 ; : : : ; Ak , no necesariamente dis-
tintos, se dene su producto cartesiano como el conjunto cuyos elementos son
las k tuplas < a1 ; : : : ; ak > tales que a1 2 A1 ; : : : ; ak 2 Ak. Simbólicamente
ki=1Ai = A1 A2 Ak = f< a1 ; : : : ; ak >: ai 2 Aig
En caso de que todos los Ai sean iguales a un conjunto A se representa por An
Daremos a continuación la denición de matriz.
Denición 2.19 (Matriz) Una matriz de m n es una m tupla en la que
cada una de sus coordenadas es una n tupla.
Un ejemplo de una matriz de 2 3 es la siguiente 2 tupla:
<< a11 ; a12 ; a13 >; < a21 ; a22 ; a23 >>
observe que cada una de sus coordenadas es una 3 tupla. Por comodidad se
expresan las dos 3 tuplas en una la distinta:
<< a11 ; a12 ; a13 >;
< a21 ; a22 ; a23 >>
2.5. GRAFOS Y DIGRAFOS 33
y por conveniencia se usa la siguiente notación:
a a12 a13
11
a21 a22 a23
donde se omiten los separadores y se sustituyen los corchetes angulares por un
par de paréntesis.
a cada aij se le denomina entrada de la matriz y a la matriz se le representa
por [aij ].
La denición que usualmente se da de matriz dice que una matriz es un
arreglo de números en las y columnas. En nuestra denición, al igual que
todos los objetos que hemos denido, una matriz es un conjunto y sus entradas
son más generales pues son a su vez conjuntos que, en particular, pueden ser
números.
Cuando todas las entradas de una matriz M de m n pertenecen a un cierto
conjunto A, se dice que M es una matriz con entradas en A y al conjunto de
tales matrices se representa por Mmn [A]. Si una matriz es de n n se dice que
es una matriz cuadrada y al conjunto de las matrices de n n sobre el conjunto
A se le denota por Mn [A].
\
Ejercicio Resuelto 2.4 Demuestre que A \ B = Ab \ Bb.
\ \
Respuesta: Por doble contención. () Sea x 2 A \ B, entonces como
A \ B es una relación se tiene que x = <y ; z > con <z ; y> 2 A \ B . Lue-
go, <z ; y> 2 A ^ <z ; y> 2 B y por consiguiente <y ; z > 2 Ab ^ <y ; z > 2 Bb y
por lo tanto <y ; z > 2 Ab \ Bb . () Sea x 2 Ab \ Bb , entonces x 2 Ab ^ x 2 bb y
por consiguiente es un par, esto es, existen y; z tales que x = <y ; z > y además
2.7. EJERCICIOS RESUELTOS 37
\
<z ; y> 2 A ^ <z ; y> 2 B . Esto implica que <z ; y> 2 A \ B y por consiguiente
<y ; z > 2 A \ B .
\
(ii ) DA DB D(A B )
7. Demuestre que A \ B = Ab \ Bb
8. Demostrar las siguientes proposiciones
(i ) (A B ) C = A (B C )
(ii ) A (B \ C ) (A B ) \ (A C )
(iii ) A B ^ C D =) A C B D
9. Demuestre que (A B ) (A B ) A B
10. Demostrar las siguientes proposiciones
(i ) Rj(A B) = (RjA ) (RjB )
(ii ) R(A) = ; () DR \ A = ;
2.8. EJERCICIOS 39
11. Demuestre que para toda relación R si A; B D(R) y A B , entonces
RjA RjB .
12. Dada la relación R denida mediante el siguiente digrafo
a b c
d e f
\
y los conjuntos B = fa; b; c; eg, C = fa; b; c; e; f g halle:
(a) Las relaciones R, R2 , R3 y R2 R, sus matrices de adyacencias y
sus digrafos asociados.
(b) Los conjuntos R(B ) ,R(C ), R 1(B ) y R 1 (C ).
(c) Y las relaciones RjB , RjC y (R2 R)jB , sus digrafos y sus matrices
de adyacencias.
13. Dada la siguiente matriz de adyacencias de la relación R denida sobre el
conjunto A = fa; b; c; d; eg:
00 1 0 1 01
BB 1 0 0 0 0 CC
B@ 1 0 0 0 1 CA
0 1 1 1 0
0 0 1 1 1
(a) Dibuje el digrafo asociado a R y halle R.
(b) Determine Rc2 , Rb R2 y R3
(c) Si A = fa; d; eg y B = fb; c; eg determine R(A) , R 1 (B ), RjA ,
Rjder (B ), R2 (B ) y R2 jder (B ).
14. Se denen las relaciones R, S y T sobre el conjunto A = f1; 2; 3; 4; 5; 6g
de la siguiente manera:
R = f<1 ; 1 >; <1 ; 2 >; <2 ; 3 >; <3 ; 4 >; <4 ; 6 >; <6 ; 3 >; <4 ; 2 >; <5 ; 3 >; <6 ; 1 >g;
A S y a T las denimos respectivamente con el digrafo y la matriz de ad-
yacencias siguientes:
1 2 3 00 1 0 0 01
BB 1 0 0 1 0C
4 5 6 B@ 10 0 0 1CC
01 1 0 0A
0 1 0 0 1
40 CAPÍTULO 2. RELACIONES BINARIAS
\
Si B = f1; 2; 4; 5g y C = f1; 3; 5; 6g determine:
(a) La relaciones R, R2 , R3 y T 2 S , sus matrices de adyacencias y sus
digrafos asociados.
(b) Los conjuntos R(B ) ,R(C ), R 1 (B ) y R 1 (C ).
(c) Y las relaciones RjB , RjC y (R2 R)jB , sus digrafos y sus matrices
\
de adyacencias.
\ \
(d) (R [ S )jC , (R \ T )(B ), (S T ) R
(e) S R, (S [ T ) R S
15. Sean R y S relaciones sobre A. Determine cuáles de las siguientes propo-
siciones son verdaderas o falsas. Dar un contraejemplo para las falsas.
(a) Si R es reexiva, entonces Rb es reexiva.
(b) Si R es antisimétrica, entonces Rb es antisimétrica.
(c) Si R es transitiva, entonces Rb es transitiva.
(d) Si R y S son transitivas, entonces R [ S es transitiva.
(e) Si R y S son transitivas, entonces R \ S es transitiva.
(f) Si R y S son antisimétricas, entonces RS es antisimétrica.
(g) Si R y S son simétricas, entonces R [ S es simétrica.
(h) Si R y S son antisimétricas, entonces R [ S es antisimétrica.
(i) Si R y S son transitivas, entonces RS es transitiva.
(j) Si R y S son transitivas, entonces RS es transitiva.
Lo que alguien es comienza a delatarse cuando su talento
declina,cuando deja de mostrar lo que él es capaz de ha-
cer. El talento es también un adorno; y un adorno es también
un escondrijo.
Más allá del bien y del mal. Federico Nietzsche.
Capítulo 3
Relaciones de Orden
Una relación de orden sobre un conjunto A es una relación sobre el conjunto
que proporciona un medio de comparar los elementos del conjunto, aún cuando
la misma no permita comparar cada par de elementos del conjunto. Considera-
remos varios tipos de relaciones de orden. Empezaremos por presentar la noción
de cuasi orden, seguiremos con el concepto de orden estricto, nos centraremos
en el concepto de orden parcial y nalizaremos presentando los conceptos de
orden total, buen orden, conjunto bien ordenado y conjunto bien fundado. Para
nalizar el capítulo estudiaremos brevemente dos tipos de órdenes parciales: los
reticulados y las álgebras de boole.
3.1 Generalidades
Denición 3.1 (Cuasi Orden) Un cuasi orden sobre A es una relación R
sobre A que es reexiva y transitiva.
Ejemplos: Si A = fa; b; cg, algunos cuasi ordenes sobre A son:
A A,
R = f<a ; a>; <b ; b >; <c ; c >; <a ; b>; <b ; a >; <b ; c >; <a ; c>g y
IA = f<a ; a>; <b ; b >; <c ; c >g.
Nótese que en un cuasi orden no existe realmente un orden entre los elemen-
tos del conjunto A; en ninguno de estos casos podemos armar que a sea en
algún sentido menor que b.
Denición 3.2 (Orden parcial estricto) Un orden estricto sobre A es una
relación R sobre A que es irreexiva y transitiva.
Nótese que si R es un orden estricto, entonces R es antisimétrica porque el
antecedente de la condición de antisimetría (xRy ^ yRx) es siempre falso de-
bido a que si fuera cierto por transitividad se tendría que xRx lo cual viola la
irreexividad de R.
41
42 CAPÍTULO 3. RELACIONES DE ORDEN
Son ejemplos de órdenes parciales estrictos:
(a) La relación < en cualquier subconjunto de los números reales.
(b) La relación subconjunto propio en cualquier familia de conjuntos.
(c) Cualquier relación de precedencia de tareas sobre cualquier conjunto de
tareas
Denición 3.4 Dado un orden parcial hA; i se dice que dos elementos x; y 2
A son comparable si x y _ y x, en caso contrario se dice que no son
comparables. En otras palabras x; y son comparables si <x ; y> 2 R _ <y ; x > 2
R y no son comparables si <x ; y> 62 R ^ <y ; x > 62 R.
Denición 3.5 (Orden Total) Un orden total es un orden parcial hA; i
en el que todo par de elementos es comparable. También se le denomina orden
lineal u orden simple.
3.2. CONJUNTOS PARCIALMENTE ORDENADOS 43
Dado un conjunto A, al conjunto de todos los ordenes lineales que se pueden
construir sobre A se le denota por L(A) y al conjunto de todos los ordenes
parciales por O(A).
Ejemplos de órdenes totales son hIN ; i, hIR ; i y las palabras de tamaño n
de un alfabeto nito con el orden lexicográco.
Teorema 3.2 Si R es una ordenación total de A, entonces Rb es una ordenación
total de A.
3.3 Reticulados
Denición 3.22 (Reticulado) Un reticulado es un conjunto parcialmente or-
denado en el cual todo par (no ordenado) de elementos tiene supremo e ínmo
Denición 3.23 (Reticulado) Un conjunto parcialmente ordenado hA; Ri se
denomina reticulado si para todo a; b 2 A se tiene que sup (fa; bg) y inf (fa; bg)
existen.
3.3. RETICULADOS 47
En la siguiente gura se muestra la forma de algunos diagramas de Hasse para
algunos conjuntos parcialmente ordenados. Nótese, por ejemplo, que si el con-
junto base del orden fuese A = fa; b; c; d; eg, en todos los ejemplos con cinco
elementos habría varias formas de nombrar los vértices dando cada una de ellas
un orden parcial distinto, sin embargo, estructuralmente iguales. Digamos que
son equivalentes.
s s s s s s
P
PP s
@ @ @ P Ps
@ @ @ s
s s @s s @s @s s s
@ @ @
@ @ @ P
s
PP
s
a
( )
@s
b
( )
@s
c
( )
s @s
d
( )
s
( )e P Ps
s s s s s s
@ Z @ @ @
@ Z @ @ @
s Zs
s @s Z s s @s @s s @s
@ Z @ @ @
@ Z
s
@ @ @
Z
s @s Z @s s @s s @s
@
s Zs @ @ @
@ Z @ @ @
f
( )
@s
g
( ) Z
Z
s
( )h s
(i)
@s
(j )
@s @s
JJr
@ 3 2
r2 @r 2 JJ
3 r
@ J
@ J
r1 @r 1 J
r1
a
( ) b
( ) c
( )
ar ar
@ @
@ @
@ e
r @
e @
@r b @
@r b
d r r
@
@
@
d r
Q
Q
@ Q
Q
@r Qr
c c
a
( ) b
( )
a;b; c
f g
Q
Q
Q
Q
Q
Q
fa;b g f a; c g b; c
f g
Q
Q
Q
Q
Q Q
Q
Q
Q Q
Q Q
f ga b
f g f g c
Q
Q
Q
Q
Q
Q
;
!
!!
0
!! A@Q
Q
Q
10 8 12AA@@ Q
Q
S A @ Q
S
5 S 4 6 9 7 11
S S
S 2 3
S
S
1
52 CAPÍTULO 3. RELACIONES DE ORDEN
3. B = f2; 3; 4; 6g: sup (B ) = 12, inf (B ) = 1, cotsup(B) = f12; 0g, Maxs(B) =
f4; 6g.
4. C = f8; 11; 0g: max (C ) = 0, min (C ) =6 9, sup (C ) = 0, 2 (C ) = 1.
5. D = f4; 7g: R(D) = f4; 8; 12; 0; 7g, R 1 (D) = f1; 2; 4; 7g,
RjD = f<4 ; 4 >; <4 ; 8 >; <4 ; 12 >; <4 ; 0 >; <7 ; 7 >; <7 ; 0 >g.
3.5. EJERCICIOS 53
3.5 Ejercicios
1. Una persona debe realizar 8 tareas bajo las siguientes restricciones: No
puede realizar la tarea d si antes no ha realizado las tareas b y e. Debe
realizar la tarea f después de la e y antes de la c. No debe realizar la
tarea a antes de la d ni la f antes de la g. La tarea h es la primera que
debe realizar.
(a) Muestre que cualquier relación de precedencia de tareas es un orden
estricto para cualquier conjunto de tareas
(b) Construya el diagrama de Hasse para la relación de precedencia de
tareas dada
(c) Muestre todas las formas de realizar las tareas sin violar las reglas
dadas
2. Dado un conjunto parcialmente ordenado U = hA; i y un par de elemen-
tos x; y 2 A demuestre que x y () inf (fx; yg) = x
3. Dé ejemplo de los siguientes conjuntos
(a) Un orden parcial que no tenga elementos maximales
(b) Un conjunto no vacío totalmente ordenado en el cual no todo sub-
conjunto tenga mínimo
(c) Un conjunto parcialmente ordenado hA; i tal que A sea nito y no
vacío, no sea un orden lineal y no todo subconjunto tenga mínimo
(d) Un orden parcial que tenga un único elemento maximal pero no tenga
máximo
4. Dado un conjunto no vacío A denotaremos por O(A) al conjunto de los
órdenes parciales del conjunto A. El par hO(A); i es un conjunto par-
cialmente ordenado
(a) Pruebe que los órdenes lineales son los elementos maximales
(b) Diga quién es el mínimo del cpo
(c) ¾Cuáles son los sucesores inmediatos del mínimo?
5. Si denotamos por Q+ al conjunto de los números racionales positivos y
por a la relación de orden usualmente denida en dicho conjunto, se
tiene que el par hQ+; i es un conjunto parcialmente ordenado. Muestre
que Q+ con esta relación no es un conjunto bien ordenado. ¾Es hQ + ; i
bien fundado?
6. Determine R si se sabe que es una relación de orden sobre A = fa; b; c; d; e; f g
y H (R) = f<a ; b>; <b ; c >; <f ; a>; <f ; e>; <a ; d >; <e ; d >g
Repita el ejercicio si R es un orden estricto
54 CAPÍTULO 3. RELACIONES DE ORDEN
7. Decimos que x divide a y y escribimos, xjy si y sólo si existe z 2 Z tal
que y = z x. Sea A = fx 2 IN : xj60g. Considere el CPO hA; ji.
(a) Pruebe que hC; ji es un CPO para todo C IN .
(b) Dibuje el diagrama de Hasse de hA; j i
(c) Dado B = f2; 4; 10; 12; 20g halle Maxs(B); Mins(B), max (B ), min (B ),
cotsup(B), cotinf(B), sup (B ), inf (B )
(d) Dado B = f4; 10; 20g halle sup (B ), inf (B ), cotsup(B)
(e) Dado B = f4; 10; 20g hallar R 1 (B ), R(B ), RjB .
(f) Demuestre que hC; i es un ordenamiento topológico de hC; ji para
todo C IN . es el orden usual de los naturales.
8. Demuestre que si hA; Ri es un buen orden, entonces R es asimétrica.
9. Demuestre que si R es conexa en A y todo subconjunto no vacío de A
tiene mínimo, entonces R bien ordena a A.
10. Se dice que un cpo hB; R0 i es un subcpo de hA; Ri si y sólo si para todo
x; y 2 B se tiene que xR0y si y sólo si xRy. Demuestre que para todo
B A existe un único subcpo hB; R0 i. Muestre además que un subcpo
puede ser distributivo aun cuando el cpo original no lo sea. Demuestre
que que si hA; Ri es distributivo, entonces todos sus subcpo también lo
son. Muestre que un cpo no complementado puede tener algún subcpo
que sea complementado.
11. Demuestre que hP (A); i es un reticulado distributivo y unívocamente
complementado, esto es, demuestre que es un álgebra de Boole.
12. Dé ejemplos de ordenes bien fundados.
13. Demuestre que un conjunto parcialmente ordenado R es un orden total
sobre A si y sólo si R [ Rb = A A.
14. Dado el orden parcial hA; i con A = fa1; a2 ; : : : ; an g, se dene la relación
binaria v sobre A A como sigue <x ; y> v <u ; v > , x u ^ y v
(a) Demuestre que hA A; vi es un orden parcial
(b) Si fM1 ; M2 ; : : : ; Mk g y fm1 ; m2 ; : : : ; ms g son respectivamente los ma-
ximales y los minimales de hA; i, ¾cuáles son los maximales y los
minimales de hA A; vi?
(c) ¾Qué condiciones son necesarias para que hA A; vi tenga máximo
y cuál es?
15. Dado un conjunto parcialmente ordenado hA; i se dene la relación v
sobre A A como
(x1; y1 ) v (x2; y2 ) () (x1 < x2 ) _ (x1 = x2 ^ y1 y2 )
Pruebe o dé un contraejemplo de las siguientes proposiciones:
3.5. EJERCICIOS 55
(i ) hA A; vi es un orden parcial
(ii ) Si es un orden lineal sobre A, entonces v es un orden lineal
sobre A A
(iii ) Si es un buen orden sobre A, entonces v es un buen orden
sobre A A
16. Probar que si hA; Ri es un conjunto parcialmente ordenado y B A,
entonces:
(i ) Si existe mínimo de B , es único
(ii ) Si B tiene máximo, entonces tiene un único elemento maximal
(iii ) si B tiene máximo, entonces tiene supremo
17. Hallar el diagrama de Hasse de cada uno de los reticulados de a lo sumo
cinco elementos.
56 CAPÍTULO 3. RELACIONES DE ORDEN
El sabio como astrónomo.Mientras continúes sintiendo las
estrellas como un porencimadeti sigue faltándote la mi-
rada del hombre de conocimiento.
Más allá del bien y del mal. Federico Nietzsche.
Capítulo 4
Números Naturales
En este capítulo se denirá al conjunto de los números naturales, como un
conjunto de conjuntos, esto es, cada número natural será denido como un
conjunto. Esto les producirá, al principio, una leve sensación de incomodidad;
pero será una molestia pasajera, porque la estructura que heredan los naturales
de la denición que presentaremos la usaremos para deducir sus propiedades
básicas y luego la olvidaremos en favor de la simplicidad de la exposición de los
temas siguientes. Estudiaremos en este capítulo el orden de los naturales y las
operaciones básicas sobre los naturales, a saber, la adición, la multiplicación, la
potenciación y la resta.
Es importante resaltar que los números naturales junto con otros temas de
la teoría de conjunto son la base de toda la matemática porque permiten denir
a los números enteros, racionales, reales y complejos.
4.1 La Denición
Empecemos por denir la noción de sucesor, para luego, a partir de la misma,
denir recursivamente al conjunto de los números naturales.
Denición 4.1 (Sucesor de un Conjunto) Dado un conjunto A se dene el
sucesor del conjunto A como el conjunto cuyos elementos son el conjunto A y
los elementos del conjunto A. Si lo denotamos por suc (A) tenemos que
suc (A) = A [ fAg :
Por ejemplo: si A = fa; bg se tiene que suc (A) = fA; a; bg = ffa; bg; a; bg.
Observe que suc (A) tiene un elemento más que A. Observe además que
suc (suc (A)) = fsuc (A); fa; bg; a; bg
tiene un elemento más que suc (A). Nótese además que A pertenece y es subcon-
junto de suc (A). Además, A es subconjunto propio de suc (A) pues A 2 suc (A)
y A 62 A.
57
58 CAPÍTULO 4. NÚMEROS NATURALES
Si partimos del conjunto vacío ; y le hallamos su sucesor se obtiene que
suc (;) = ; [ f;g = f;g. Si a su vez a este conjunto le tomamos el sucesor se
tiene que
suc (suc (;)) = suc (f;g) = f;; f;gg
Repitiendo este proceso se tiene la siguiente lista de conjuntos.
;; f;g; f;; f;gg; f;; f;g; f;; f;ggg;
f;; f;g; f;; f;gg; f;; f;g; f;; f;gggg : : :
Nótese que cada conjunto contiene a todos los que están a su izquierda en
la lista y que cada conjunto está contenido en cada uno de los que están a su
derecha en la lista. También puede observarse que las contenciones son estrictas.
De igual forma cada conjunto pertenece a todos los que están a su derecha y
los que están a su izquierda pertenecen a él. Puede verse también que todos los
conjuntos listados son diferentes.
La representación de los elementos de la lista se hace cada vez más compli-
cada. Por esta razón denotaremos a los elementos de la lista anterior con los
símbolos 0; 1; 2; 3; 4; 5; : : : . Podemos por lo tanto armar que 0 2 1 y que 0 1,
1 2 2 y 1 2, y que 0 6= 1.
Si bien cada uno de los elementos de esta lista es un conjuntoesto lo
garantiza los axiomas de apareamiento y de unión; no tenemos garantía de
que esta lista en sí sea un conjunto. En este punto debemos introducir un nuevo
axioma que llamaremos el axioma de innitud. Por simplicidad lo deniremos
de la siguiente manera, pero debe quedar claro que otros autores lo denen de
manera diferente.
Axioma 4.1 (Axioma de Innitud) Existe un conjunto que contiene al con-
junto vacío y al sucesor de cada uno de sus elementos.
A este conjunto que este axioma garantiza que existe y del cual vimos como
construir sus elementos a partir del conjunto vacío es al que denominaremos
conjunto de números naturales. Además el axioma de extensión garantiza la
unicidad de dicho conjunto. Hemos logrado una denición informal de números
naturales. Daremos a continuación la denición formal, que se basa obviamente
en el axioma de innitud y el axioma de extensión.
Denición 4.2 (Números Naturales)
Denimos al conjunto de números naturales que denotaremos por IN por medio
de las siguientes tres cláusulas:
1. El conjunto vacío es un número natural (; = 0)
2. Si n es un natural, entonces suc (n) es también un natural
3. Si S es un conjunto de naturales tal que
02S
n 2 S ) suc (n) 2 S
entonces S es el conjunto de los números naturales.
4.1. LA DEFINICIÓN 59
Otra notación muy extendida para representar al conjunto de los números natu-
rales es !, también suele usarse la N en negrillas en lugar de la IN de pizarrón
que usaremos en este texto. Para referirnos al conjunto de números naturales
sin incluir al cero usaremos la notación IN . En general, en este libro, si a un
símbolo que representa un conjunto numérico se le pone un asterisco se quiere
denotar al conjunto en cuestión sin el cero.
Alerta: En lo que falta de este capítulo cuando se hable de m; n; p nos
estaremos reriendo a números naturales arbitrarios y en algunos teoremas debe
entenderse que la proposición enunciada se aplica a todo número natural.
Teorema 4.2 El natural 0 no es el sucesor de ningún número natural, esto es,
no existe n 2 IN tal que suc (n) = 0. O dicho de otra forma:
8n 2 IN (suc (n) 6= 0).
Prueba: Supongamos que si, esto es, existe n 2 IN tal que suc (n) = 0. Por la
denición de sucesor se tiene que suc (n) = n [ fng, esto indica que n 2 suc (n)
pero n 62 ;, por lo tanto no pueden ser iguales. 2
Hipótesis: 8m 2 IN (m 2 n ) n 6 m)
Tesis: 8m 2 IN (m 2 suc (n) ) suc (n) 6 m)
m 2 suc (n) = n [ fng; se tiene que m = n o m 2 n. Si m = n entonces
suc (m) = suc (n) y suc (n) 6 n = m, pues n 2 suc (n) y n 62 n. Si m 2 n por
hipótesis n 6 m, y con mayor razón suc (n) 6 m pues n suc (n).
(Si suc (n) m se tiene que n suc (n) m, contradicción). En ambos casos
se obtuvo que suc (n) 6 m, luego se concluye que
m 2 suc (n) ) suc (n) 6 m
y que S = IN . Esto es, el enunciado se cumple para todo natural n. 2
62 CAPÍTULO 4. NÚMEROS NATURALES
4.2 Orden en los Naturales
La relación ordena a la números naturales linealmente, esto es, hIN ; i es
un conjunto parcialmente ordenado. Como existe la costumbre de comparar
a los números naturales con las relaciones ; ; <; > y no con las relaciones
; ; ; , se denen las siguientes relaciones.
Denición 4.3 (Menor o igual) Dados dos números naturales n y m, se dice
que n es menor o igual que m y se escribe n m, si y sólo si n m.
Denición 4.4 (Mayor o igual) Dados dos números naturales n y m, se dice
que n es mayor o igual que m y se escribe n m, si y sólo si n m.
Análogamente se denen las relaciones de orden estricto como
Denición 4.5 (Menor) Dados dos números naturales n y m, se dice que n
es menor que (o estrictamente menor que) m y se escribe n < m, si y sólo si
n m.
Denición 4.6 (Mayor) Dados dos números naturales n y m, se dice que n
es mayor que m y se escribe n > m, si y sólo si n m.
Una consecuencia inmediata de esta denición es que hIN ; i es un conjunto
parcialmente ordenado; ello se expresa en el siguiente teorema.
Teorema 4.15 Dados los números naturales n; m; p, se tiene que se cumplen
las siguientes propiedades
Reexividad : n n
Antisimetría : (n m ^ m n) ) n = m
Transitividad : (n m ^ m p) ) n p
Para ver que hIN ; i es un orden lineal falta probar que todo par de números
naturales es comparable.
Teorema 4.16 Si m y n son naturales, se tiene que m n _ n m.
Teorema 4.17 (Tricotomía) Dado un par de números naturales se cumple
sólo una de las siguientes armaciones n < m, n > m o n = m (exclusivo el o).
Denición 4.7 (Mínimo de un Conjunto) Dado un subconjunto S de nú-
meros naturales decimos que S tiene mínimo si existe en S un elemento m tal
que para todo x 2 S se tiene que m x, de lo contrario diremos que S no tiene
mínimo.
Denición 4.8 (Máximo de un Conjunto) Dado un subconjunto S de nú-
meros naturales decimos que S tiene máximo si existe en S un elemento m tal
que para todo x 2 S se tiene que x m, de lo contrario diremos que S no tiene
máximo.
4.3. ARITMÉTICA 63
Principio de Buena Ordenación
El principio de buena ordenación de los números naturales establece que
todo subconjunto no vacío de números naturales tiene un elemento mínimo, esto
es, que en todo conjunto de naturales existe un elemento que es menor o igual
que todos los restantes elementos del conjunto.
Teorema 4.18 (Principio de Buena Ordenación) Todo subconjunto no va-
cío de números naturales tiene mínimo
Ejercicio 4.1 Demuestre este principio. Sug.: Dado un subconjunto no vacío S
de IN defínase un Sk como el conjunto de los elementos de S menores o iguales que k, y
demuestre por inducción que si Sk es un conjunto cuyo máximo es k, entonces dicho conjunto
tiene mínimo.
Alerta: Este principio es muy útil para probar otros teoremas. En particular
puede usarse para probar el siguiente principio de inducción que es a su vez útil
para hacer pruebas por inducción.
Principio de Inducción Generalizada
Teorema 4.19 (Segundo Principio de Inducción) Si P (n) es una propo-
sición que pueden o no satisfacer los números naturales y para cualquier m 0
la hipótesis de que P (k) es verdadera para todo 0 k < m implica que P (m) es
verdadera, entonces P (n) es cierta para todo número natural.
Ejercicio 4.2 Demuestre el teorema anterior.
4.3 Aritmética
El principio de inducción de los números naturales, además de permitirnos pro-
bar proposiciones sobre los números naturales, nos permite denir funciones de
IN en un conjunto arbitrario A. A dichas funciones se les denomina funciones
recursivas o inductivas. Las misma se denen especicando la imagen del cero y
la imagen de cada uno de los restantes números naturales en término de valores
de la función para números previamente denidos.
Estas deniciones se justican por medio del siguiente teorema que presen-
tamos en dos versiones:
Teorema 4.20 (Principio de las Deniciones Recursivas)
Dado un conjunto A y una fórmula que dene f (0) como un elemento único
de A y para todo i > 0 dene f (i) como un elemento de A en término de los
valores de f para los naturales menores que i, entonces esta fórmula determina
una única función f : IN ! A
Teorema 4.21 (Principio de las Deniciones Recursivas)
Dado un conjunto A y un elemento a de A, si es una función que asigna, a
64 CAPÍTULO 4. NÚMEROS NATURALES
cada función f de una sección de números naturales en A, un elemento de A,
entonces existe una única función h : IN ! A tal que
h(1) = a0
h(n) = (hjf1; 2; : : : ; n 1g) n > 1
Denición 4.9 (Adición) Se dene la adición de números naturales recursi-
vamente como sigue
n + m = n; si m = 0;
suc (n + x); si m = suc (x).
Denición 4.10 (Multiplicación) Se dene la multiplicación de números na-
turales recursivamente como sigue
0;
n m = n + (n x); sisi m = 0;
m = suc (x).
Teorema 4.22 Para todo número natural n, se tiene que suc (n) = n + 1
Prueba: Sea n un número natural cualquiera; se tiene que:
n + 1 = n + suc (0) def. de 1
= suc (n + 0) def. de suma
= suc (n) n = m ) suc (n) = suc (m)
2
Teorema 4.28 La suma de números naturales es asociativa, esto es, para toda
terna m; n; p de números naturales, se tiene que (m + n) + p = m + (n + p).
66 CAPÍTULO 4. NÚMEROS NATURALES
Prueba: 8m; n; p 2 IN (m + (n + p) = (m + n) + p). Por inducción sobre m
Sea S = fm 2 IN : 8n; p 2 IN (m + (n + p) = (m + n) + p)g.
Paso base: 0 2 S pues para todo m 2 IN (0 + (n + p) = (0 + n) + p) debido a
que n + p 2 IN y 0 + k = k para todo k 2 IN
Paso inductivo: Hipótesis: 8n; p 2 IN (m + (n + p) = (n + m) + p).
Tesis: 8n; p 2 IN (suc (m) + (n + p) = (suc (m) + m) + p)
suc (m) + (n + p) = m + suc (n + p) Lema
= suc (m + (n + p)) def. de suma
= suc ((m + n) + p) hip. ind.
= (m + n) + suc (p) def. suma
= suc (m + n) + p Lema
= (m + suc (n)) + p def. de suma
= (suc (m) + n) + p Lema
2
2
4.3. ARITMÉTICA 67
Teorema 4.31 La multiplicación de números naturales es conmutativa, esto
es, para todo par n; m de números naturales, se tiene que n m = m n.
Prueba: Es una consecuencia inmediata del lema anterior. 2
Ejercicio Resuelto 4.3 Para todo par de números naturales n; m se tiene que
si n + m = 0, entonces n = 0 ^ m = 0.
Respuesta: Como n n + m, si n + m = 0 se tiene que n 0. Por lo tanto
n = 0, pues el conjunto vacío es el único subconjunto del conjunto vacío. Por
idéntico razonamiento, m = 0.
Ejercicio Resuelto 4.6 Para todo par de números naturales n; m se tiene que
si n m = 1, entonces n = 1 ^ m = 1.
Respuesta: n 6= 0 ^ m 6= 0 porque si alguno de los dos es cero la hipótesis es
falsa, ya que 0 n = n 0 = 0 y 0 6= 1. Como n 6= 0 ) m n m y por hipótesis
n m = 1, se tiene que m 1 ^ m 6= 0 entonces m = 1 (¾Porqué...?). De igual
modo se concluye que n = 1.
Ejercicio Resuelto 4.7 Para todo par de números naturales n; m se tiene que
si n m = 0, entonces n = 0 _ m = 0.
Respuesta: Tengo dos casos n = 0 y n 6= 0. Si n = 0 se cumple la primera
cláusula del _. Si n 6= 0, se tiene por ejercicio anterior que m n m, y como
n m = 0, se tiene que m 0, por lo tanto m = 0, lo cual hace que cumpla se
la segunda clausula del _. Por consiguiente, se obtiene lo deseado.
Capítulo 5
Clausuras de Relaciones
El objetivo de este capítulo es estudiar las clausuras de las relaciones binarias.
Empezaremos recordando la denición de producto de relaciones y deniendo
recursivamente la potencia de una relación. Luego estudiaremos los distintos
tipos de clausuras y nalmente se recuerdan las deniciones de digrafo asociado
a una relación y matriz de una relación con el n de usarlas para determinar las
clausuras y estudiar propiedades de las relaciones.
(i ) determinar R2 ; R3 ; R4 ; R5 ; R6
(ii ) que puede concluir de Ri para i 5
Respuesta:
(i ) R2 = f<a ; f >; <a ; e >; <c ; a >; <d ; a>; <e ; b>; <e ; d >g
R3 = f<a ; a>; <c ; b >; <c ; d >; <d ; b>; <d ; d >; <e ; e >; <e ; f >g
R4 = f<a ; b>; <a ; d >; <c ; e >; <c ; f >; <d ; e >; <d ; f >; <e ; a >g
R5 = f<a ; f >; <a ; e >; <c ; a >; <d ; a>; <e ; b>; <e ; d >g
Se recomienda vericarlo grácamente con el digrafo asociado a R.
Veremos luego que también se pueden usar las matrices de la relación
para obtener el resultado.
(ii ) Se repiten..., puede ver cuál es el patrón, si lo hay?
5.2 Clausuras
Puesto que las relaciones sobre A son sub-conjuntos de A A se tiene que están
ordenadas parcialmente por inclusión, y en algunos casos tiene sentido hablar
del mínimo de un conjunto de relaciones sobre A. En esta sección estaremos in-
teresados en hallar el mínimo, si existe, del conjunto de las relaciones transitivas,
reexivas o simétricas que contienen a una cierta relación R.
Clausura Transitiva
Dada una relación R sobre A, existen relaciones transitivas que contienen a
R, en particular, A A es transitiva y contiene a R. Estamos interesados en
extender a R a una relación transitiva agregando el menor número posible de
pares. A continuación formalizamos esta idea mediante la siguiente denición.
Denición 5.1 (Clausura Transitiva) Dada una relación R de A en A, se
dene la clausura transitiva de R como la menor relación transitiva de A en A
que contiene a R. La denotaremos por t(R) o R+ .
Nótese que si R es transitiva, entonces t(R) = R. Para facilitar las demostracio-
nes es conveniente expresar este concepto formalmente mediante sus propiedades
denitorios. Esto es, precisaremos lo que signica: la menor relación transitiva
de A en A que contiene a R.
Denición 5.2 (Denición Equivalente) Si R es una relación de A en A
se dene la clausura transitiva de R, t(R) como la relación de A en A que
satisface las siguientes propiedades
78 CAPÍTULO 5. CLAUSURAS DE RELACIONES
(i ) t(R) es transitiva,
(ii ) R t(R),
(iii ) Si R0 es transitiva & R R0 entonces t(R) R0
Teorema 5.3 La clausura transitiva, si existe, es única.
Prueba: Si S y S 0 fuesen clausuras transitivas diferentes de R, se tendría,
en base a la denición de clausura que S y S 0 son transitivas y que R S y
R S 0 . Luego como S 0 es transitiva y R S 0 , se tiene que S S 0, porque
S es clausura transitiva. De igual forma como S es transitiva, R S y S 0 es
clausura transitiva de R se tiene que S 0 S . Luego por el teorema de doble
contención S = S 0. 2
Los siguientes teoremas conrman la existencia de la clausura transitiva de
una relación R. El primero arma que es la intersección de todas las relaciones
transitivas que contienen a R, con lo cual da una prueba de su existencia, pero
no un mecanismo para su construcción. El segundo arma que es la unión
contable de todas las potencias de R. De nuevo esto no proporciona un método
para la construcción de la misma a menos que a partir de cierto momento la
unión deje de crecer lo que ocurre cuando A es nito. El tercero de los teoremas
que presentamos considera un caso particular de este caso.
Teorema 5.4 Si T (R) es el conjunto de las relaciones transitivas que contienen
a R, entonces la clausura transitiva de R es \S2T (R) S .
Teorema 5.5 Si R es una relación binaria sobre A entonces su clausura tran-
sitiva es
[
1
Ri = R [ R2 [ R3 [ : : :
i=1
Prueba: Recordemos que
<x ; y> 2 [1 i k
i=1 R , (9k 2 IN )(<x ; y> 2 R )
Veamos que [1 i
i=1 R 1es transitiva. Sean <x ; y> ^ <y ; z > 2 [1 i
i=1 R , queremos
i 1
ver que <x ; z > 2 [i=1R . Como <x ; y> 2 [i=1R , se tiene que 9Rj tal que
i
<x ; y> 2 Rj , y como <y ; z > 2 [1 i
i=1 R ,j se ltiene jque 9Rl tal que <y ; z > 2 Rl .
Por lo tanto, <x ; z > 2 R R , y como R R = R se tiene que <x ; z > 2 Rj+l
j l + l
y por consiguiente <x ; z > 2 [1 i
i=1 R .
Veamos que [i=1R contiene a R. Si <x ; y> 2 R, entonces <x ; y> 2 [1
1 i i
i=1 R ,
1
pues <x ; y> 2 R = R.
Falta probar que si R0 es transitiva y R R0 , entonces [1 Ri R0 . Sea
<x ; y> 2 [1 R i . Esto implica que, 9Rj tal que <x ; y > 2 Rji.=1
i=1
Armación: (8j 2 IN )(R R0 ^ R transitiva ) Rj R0 )
Es claro que si esta armación es cierta, <x ; y> 2 Rj R0 y por consiguiente
[1 i 0
i=1 R R , QED.
5.2. CLAUSURAS 79
Probemos la armación por inducción sobre j .
Sea S = fj 2 IN : R R0 ^ R0 transitiva ) Rj R0 g
Paso base: 1 2 S , pues R R0 ^ R0 transitiva ) R1 R0 , R = R1
Paso Inductivo: Hipótesis: R R0 ^ R0 transitiva ) Rj R0
Tesis: R R0 ^ R0 transitiva ) Rj+1 R0
Si <x ; y> 2 Rj+1 , como por denición, Rj+1 = Rj R, se tiene existe z tal que
<x ; z > 2 Rj y <z ; y> 2 R, luego, debido a que por hipótesis inductiva, R R0
y Rj R0 , se tiene que <x ; z > 2 R0 ^ <z ; y> 2 R0 , y por lo tanto, gracias a
la transitividad de R0 tenemos que <x ; y> 2 R0 , lo cual implica que Rj+1 R0 2
Basados en los dos teoremas anteriores podemos armar que toda relación tiene
una clausura transitiva única que denotaremos por t(R) o por R+
Si el conjunto base de la relación tiene n elementos las potencias Ri del teo-
rema anterior se empiezan a repetir a partir de n y en consecuencia no aportan
nada a la unión. Esto trae como consecuencia el siguiente teorema que se deja
como ejercicio.
Teorema 5.6 Si R es una relación binaria sobre un conjunto de n elementos,
entonces n[1
t( R ) = R i
i=1
Clausura Reexiva, r(R)
Si R es una relación de A en A la clausura reexiva de R es la menor relación
reexiva que contiene a R. Esto es, la clausura reexiva de R, r(R), se dene
por las siguientes propiedades:
(i ) Es reexiva
(ii ) Contiene a R
(iii ) Si alguna relación reexiva contiene a R también contiene a r(R).
Si R es reexiva coincide con su clausura reexiva. La clausura reexiva de R se
obtiene a partir de R añadiéndole los arcos reexivos, esto es añadiéndole todos
los pares de la forma <a ; a> que ya no están en R. Luego r(R) = R [f<a ; a> 2
A Ag.
Clausura Simétrica
Si R es una relación de A en A la clausura simétrica de R es la menor relación
simétrica que contiene a R. La misma puede obtenerse a partir de R añadiéndole
los arcos de simetría.
Como el resultado de clausurar a R ya sea simétrica, reexiva o transitiva-
mente es a su vez una relación de A en A. Se puede aplicar clausura a una
clausura. Por ejemplo, rt(R) es la clausura reexiva de la clausura transitiva
80 CAPÍTULO 5. CLAUSURAS DE RELACIONES
de R, o la clausura transito-reexiva de R. Mientras que tr(R) es la clausura
reexotransitiva de R. Obsérvese que tt(R) = t(R), porque t(R) es transitiva.
Reexione sobre las demás, qué puede concluir sobre combinaciones de tres, i.e.,
tst, trs, sts ? La clausura reexo-transitiva es de particular interés en compu-
tación. Se representa por tr(R) ó R .
Ejercicio 5.2 Demuestre que si R es una relación binaria, entonces R R =
R+ , donde R+ = [1 i 1 i
i=1 R y R = [i=0 R son las clausuras transitiva y reexo-
transitiva respectivamente.
Ejercicio 5.3 Demuestre que las clausuras reexo-transitiva y transito-reexiva
son iguales, esto es, que
rt(R) = tr(R):
Teorema 5.7 Si R es una relación binaria sobre A entonces
(i ) r(R) = R [ IdA
(ii ) s(R) = R [ R 1
Prueba:
(i ) R [ IdA es reexiva pues (8a 2 A <a ; a > 2 IdA ) por lo tanto
(8a 2 A <a ; a > 2 R [ IdA )
R R [ IdA (def. de unión)
Si R0 es reexiva y contiene a R veamos que también contiene a
R [ IdA .
Sea x 2 R [ I . Por denición de unión, x 2 R _ x 2 I . Si x 2 R
entonces x 2 R0 pues R R0 . Mientras que si x 2 I entonces x =
<a ; a > para algún a 2 A, y por lo tanto como R0 es reexiva x 2 R0 .
Luego, en cualquier caso x 2 R0 . Por consiguiente, R [ I R0 .
Se concluye que, R [ I es la clausura reexiva de R.
(ii ) R R [ R 1 (def. de unión)
8 <x ; y> 2 R [ R 1 e tiene que <x ; y> 2 R ó <x ; y> 2 R 1 (def. de
unión). Si <x ; y> 2 R entonces <y ; x > 2 R 1 (def. de R 1 ) y por
lo tanto <y ; x > 2 R [ R 1 . Si <x ; y> 2 R 1 entonces <y ; x > 2 R
(def. de R 1) y por lo tanto <y ; x > 2 R [ R 1. En cualquiera de
los casos, si <x ; y> 2 R [ R 1 se tiene que <y ; x > 2 R [ R 1 , por
lo tanto R [ R 1 es simétrica.
Sea <x ; y> 2 R [ R 1 . Por def. de unión <x ; y> 2 R ó <x ; y> 2
R 1 . Si <x ; y> 2 R entonces <x ; y> 2 R0 pues R R0 . Si
<x ; y> 2 R 1 entonces <y ; x > 2 R y por lo tanto <y ; x > 2 R0 ,
y por consiguiente <x ; y> 2 R0 pues R0 es simétrica. Luego si R0 es
simétrica y R R0 entonces R [ R 1 R0
2
5.3. MATRIZ ASOCIADA 81
5.3 Matriz Asociada
Dada una relación R de A en B , si A tiene m elementos y B tiene n elementos,
puesto que R es un subconjunto de A B , la misma puede representarse por una
matriz MR de m n, en la que un 1 en la posición mij de la matriz indica que
el par <ai ; bj > pertenece a la relación y un 0 en la misma indica lo contrario.
Denición 5.3 Dada una relación R de A en B , si A = fa1; a2 ; ; am g y
B = fb1 ; b2 ; ; bn g denotaremos por MR = [mij ] a la matriz de m n tal que:
ai ; bj > 2 R
mij = 10;; sisi <
<ai ; bj > 62 R.
Observe que si R = ;, entonces todas las entradas de la matriz son nulas y
que si, por el contrario, R = A B , todas las entradas son 1. El número de
unos en la matriz cuenta el número de elementos de R. Alerta: Hay un orden
en la escritura de los elementos de los conjuntos A y B una enumeración.
Si se cambia, obviamente cambia la matriz.
Por ejemplo, la matriz asociada a la relación R = f< 1; 1 >; < 2; 2 >; <
3; 3 >; < 5; 5 >; < 1; 3 >; < 3; 1 >; < 3; 4 >; < 5; 1 >; < 2; 4 >; < 4; 5 >g sobre
el conjunto [5] es 01 0 1 0 01
BB 0 1 0 1 0 CC
B@ 1 0 1 1 0 CA
0 0 0 0 1
1 0 0 0 1
¾Será la relación anterior reexiva, simétrica, transitiva? ¾Cómo se ve esto en
la matriz?
Ejercicio 5.4 Halle la matriz de la relación R de A en B denida por: R =
f<a ; 1 >; <b ; 1 >; <b ; 3 >; <b ; 4 >; <c ; 1 >; <c ; 3 >g donde A = fa; b; cg y B =
f1; 2; 3; 4g.
La matriz de la relación (o asociada a la relación) es una estructura algebraica
muy útil para representar las relaciones en un computador. (Puede concebirse
como una estructura de datos, o una implementación del tipo relación.) También
es útil para deducir propiedades de las relaciones y es de particular importancia
para la representación de digrafos. Para muchos algoritmos sobre grafos es la
estructura de representación de datos obligada.
Con el n de tener una herramienta que permita deducir información sobre
las relaciones a partir de sus matrices asociadas presentamos a continuación
algunas operaciones sobre estas matices.
Unión: A _ B = C , signica que cij = aij + bij ,
Intersección: A ^ B = C , signica que cij = aij bij ,
82 CAPÍTULO 5. CLAUSURAS DE RELACIONES
P
Producto: AB = C , (A de mn y B de np) signica que cij = nk+0 aik bkj
Traspuesta: At = C , signica que cij = aji
Orden: A B si y sólo si para todo i; j , ai;j bij (0 1)
Identidad: In es la matriz identidad de n n
Las tablas de las operaciones + y se dan a continuación.
+ 0 1 0 1
0 0 1 0 0 0
1 1 1 1 0 1
El siguiente teorema provee una herramienta para decidir si una relación
es reexiva, simétrica antisimétrica y transitiva en base a su matriz asociada.
Se invita al lector a escribir un programa, que use este teorema para hallar
determinar si una relación es reexiva, simétrica, antisimétrica o transitiva.
Teorema 5.8 Si R es una relación sobre A, A tiene n elementos y M es la
matriz asociada a R, entonces
1. R es reexiva si y sólo si In M
2. R es simétrica si y sólo si M = M t
3. R es antisimétrica si y sólo si M ^ M t In
4. R es transitiva si y sólo si M 2 M
También se puede usar la matriz asociada a una relación para hallar sus
clausuras reexiva, simétrica y transitiva. Ello se formaliza en el siguiente teo-
rema.
Teorema 5.9 Si R es una relación sobre A, A tiene n elementos y MR es la
matriz asociada a R, entonces las matrices asociadas a las clausuras se hallan
como sigue:
1. Reexiva: Mr(R) = In _ MR
2. Simétrica: Ms(R) = MR _ MRt
W
3. Transitiva: Mt(R) = in=11 MRi
5.4. EJERCICIOS RESUELTOS 83
5.4 Ejercicios Resueltos
Ejercicio Resuelto 5.1 Demuestre que si S y T son relaciones, entonces si
S T , se tiene que S n T n .
Respuesta: Lo probaremos por inducción sobre n. Si n = 1 se tiene que
S T ) S 1 T 1 pues S 1 = S y T 1 = T . Supongamos que la proposi-
ción se cumple para n, esto es, que S T ) S n T n y probaremos que
S T ) S n+1 T n+1 . Sea x 2 S n+1 , por denición de potencia, se tiene que
x 2 S n S y por denición de relación x es un par digamos x = <a ; c> y por
denición de producto de relaciones existe b tal que <a ; b> 2 S n ^ <b ; c> 2 S .
Luego, como por hipótesis tenemos que S T , en base a la hipótesis inductiva
podemos concluir que <a ; b> 2 T n y como S T tenemos que <b ; c> 2 T y
por consiguiente <a ; c> 2 T n T = T n+1 .
Capítulo 6
Relaciones de Equivalencia
En este capítulo se tratarán las relaciones de equivalencia, que son unos de
los pilares fundamentales de las matemáticas. Su primera aparición en este
tratado ocurre en la noción de igualdad entre conjuntos dada por el axioma de
extensión. La relación de igualdad entre conjuntos resulta ser reexiva simétrica
y transitiva, propiedades que serán la base de la denición por analogía de otras
relaciones entre otras estructuras conjuntísticas. Las relaciones de equivalencia
son la herramienta conceptual necesaria para denir todos los otros conjuntos
numéricos a partir de los números naturales. Se dará la denición de particiones
y se mostrará una estrecha relación entre las relaciones de equivalencia y las
particiones de un conjunto y como a partir de las primeras se generan nuevos
conjuntos. A partir de los números naturales deniremos en este capítulo al
conjunto de los números enteros a partir de los cuales se denen los números
racionales, y a partir de estos últimos se denen los números reales usando en
cada caso el concepto de relaciones de equivalencia.
123 AA
Q
Q
Q
Q
Q Q
Q Q
Q Q
1j23 2j13 3j12 1 3 3
Q
Q
Q
Q
Q Q
Q Q
Q Q
a: 1|2|3 b: IdA
6.2.1 La Construcción
La Relación de Equivalencia
Sobre el conjunto de los pares de números naturales, IN IN se dene la siguiente
relación
<a ; b> < c; d >() a + d = b + c
Teorema 6.9 La relación es una relación de equivalencia.
Prueba: Es reexiva porque para todo par <a ; b> 2 IN IN se tiene que
<a ; b> <a ; b> porque a + b = b + a. Es simétrica porque para todo
par de elementos <a ; b> ^ <c ; d > de IN IN tales que <a ; b> <c ; d > se
tiene, por denición de que a + d = b + c, y como la suma de natura-
les es conmutativa y la igualdad es simétrica, tenemos que c + b = d + a
que implica que <c ; d > <a ; b>. Y es transitiva porque para toda terna
<a ; b>; <c ; d >; <e ; f > 2 IN IN si <a ; b> <c ; d > y <c ; d > <e ; f >, se
tiene que <a ; b> <e ; f > ya que si <a ; b> <c ; d >, entonces a + d = b + c y
si <c ; d > <e ; f > se tiene que c + f = d + e; si sumamos estas dos igualdades
se obtiene (a + d) + (c + f ) = (b + c) + (d + e) de donde asociando conmutan-
do y cancelando se tiene que a + f = b + e lo que implica que <a ; b> <e ; f >. 2
Como es una relación de equivalencia sobre IN IN dicho conjunto se parte
en clases; a continuación describiremos dichas clases.
6.3 Congruencias
Dado un entero positivo n 2 se dene sobre Z la siguiente relación
a n b () (9z 2 Z )(a = b + nz)
() (9z 2 Z )(a b = nz)
6.3.1 Aritmética de Zn
Se dene sobre Zn las operaciones de adición y multiplicación como sigue:
[r] + [s] = [r + s]
[r] [s] = [r s]
y demuestre que
Adición
(a) Está bien denida
(b) Es asociativa
(c) Es Conmutativa
(d) Tiene Neutro
(e) Todo elemento tiene opuesto
Multiplicación
(a) Está bien denida
(b) Es asociativa
(c) Es Conmutativa
(d) Tiene Neutro
(e) Todo elemento no nulo tiene inverso multiplicativo
Se cumple la propiedad distributiva (8a; b; c 2 Q)(a(b + c) = ab + ac).
ab = 0 ) a = 0 _ b = 0
98 CAPÍTULO 6. RELACIONES DE EQUIVALENCIA
Se cumplen las leyes cancelativas: ab = ac ^ a 6= 0 ) b = c
4. Orden en Q: Se dene en Q la relación como sigue
<a ; b> <c ; d > , a d b c
Demuestre que
Es un orden total
Se cumple la tricotomía
no es un buen orden para Q, ¾... y para Q+ ?
¾Qué pasa si usamos Z Z en lugar de Z Z + ?
6.5. EJERCICIOS RESUELTOS 99
6.5 Ejercicios Resueltos
Ejercicio Resuelto 6.1 Demuestre que si S y T son relaciones de equivalencia
sobre el conjunto A tales que S T , entonces para todo x 2 A se tiene que
S [x] T [x].
Respuesta: Si a 2 S [x] se tiene que aSx, esto es, <a ; x > 2 S , pero como
por hipótesis S T , se tiene que aTx y por consiguiente que a 2 T [x]. Luego,
S T ) S [x] T [x].
Funciones
El concepto de función es un concepto con el que todos estamos de una forma
u otra familiarizados. Una función f de un conjunto A en un conjunto B es
una regla que asigna a cada elemento de A un único elemento de B . En cálculo,
a menudo, una función se da por una fórmula sencilla tal como f (x) = 2x2 1,
o por una fórmula no tan sencilla como
X
1 xn
f (x) = n!
n=0
Además, con frecuencia, ni siquiera se mencionan los conjuntos A y B explícita-
mente, asumiendo tácitamente que A es el conjunto de todos los números reales
para los cuales tiene sentido la regla y B es el conjunto de todos los números
reales. Para muchos propósitos la denición de una función por medio de una
fórmula sin especicar los conjuntos A y B es satisfactoria y no vale la pena
complicarla, sin embargo cuando uno se adentra algo más en las matemáticas
surge la necesidad de precisar más el concepto de función.
7.1 La Denición
Denición 7.1 (Función) Dados dos conjuntos A y B una función de A en
B es una relación binaria de A en B (un subconjunto de A B ) que cumple
con:
(a) (8a 2 A)(9b 2 B )(<a ; b> 2 f )
(b) (8a 2 A)(8b; b0 2 B )(<a ; b> 2 f ^ < a; b0 >2 f ) b = b0 )
Para denir una función es necesario indicar los conjuntos A y B que se de-
nominan como en las relaciones binarias dominio y codominio respectivamente,
denir la regla de asignación o mostrar los pares de la función y vericar que
se satisfacen (a) y (b), esto es, vericar que f asigna a cada elemento de A
exactamente un elemento de B . Cuando se ha vericado todo esto decimos que
la función f en cuestión está bien denida.
105
106 CAPÍTULO 7. FUNCIONES
Para indicar que f es una función de A en B se escribe f : A ! B . Puesto
que por (b) todo elemento a 2 A puede tener sólo una imagen mediante f ,
dicha imagen se denota por f (a) = b y se lee b es la imagen de a mediante f .
Nótese que el hecho de que se use la notación f (x) = no signica que dicha
expresión sea forzosamente una función. Usualmente las funciones se denotan
por las letras f; g; h y el conjunto de las funciones de A en B se denota por B A ,
esto es B A = ff jf : A ! B g.
Ejemplos
f : IR ! IR , con f (x) = 2x es una función porque para 8 x 2 IR (2x 2 IR )
y dados x; y 2 IR si x = y entonces 2x = 2y y por lo tanto f (x) = f (y).
f (x) = x1 no es una función de IR en IR porque f (0) = 01 no pertenece a
IR . No obstante, es una función de IR a IR .
f(x; x2) : x 2 IR g es una función de IR en IR que denotamos por f (x) = x2
ó y = x2, mientras que f(x2; x) : x 2 IR g no es una función de IR en IR
porque se viola la condición (b) (considerar, por ejemplo, (1; 1) y (1; 1)).
Denición 7.2 (Imagen de un Conjunto) Sea f una función de A en B y
sea A0 un subconjunto de A se dene la imagen de A0 mediante f como
el conjunto de los elementos de B que son imágenes de algún elemento de A0.
Simbólicamente,
f (A0) = fy 2 B : 9x 2 A0(f (x) = y)g
Obsérvese que f (A0) B y que por lo tanto, si f : A ! B la denición de
imagen induce de manera natural una nueva función F : P (A) ! P (B ) que
asigna a cada elemento de P (A) un elemento de P (B ).
Igualdad de Funciones
Dos relaciones binarias son iguales si tienen iguales dominios y codominios y
como conjuntos son iguales. Debido a que las funciones son relaciones esta
misma denición se aplica a las funciones. Dos funciones f y g son iguales ssi
sus dominios y codominios son iguales y para todo elemento a de sus dominios
f (a) = g(a).
Composición de Funciones
Como las funciones son un tipo particular de relaciones la denición de compo-
sición de relaciones se aplica directamente a las funciones. Si g es una función
de A en B y f es una función de B en C entonces f g es por denición de
relaciones una relación de A en C .
El siguiente teorema asegura que la composición de dos funciones es a su vez
una función.
7.2. TIPOS DE FUNCIONES 107
Teorema 7.1 Dadas las funciones g : A ! B y f : B ! C , se tiene que la
composición f g es una función de A en C y que para toda x 2 A, se cumple
que f g(x) = f (g(x)).
Prueba:
(a) Sea a 2 A, como g : A ! B existe b 2 B tal que <a ; b> 2 g y como
b 2 B ^ f : B ! C 9c 2 C tal que <b ; c> 2 f . Luego, por denición de
composición se tiene que <a ; c> 2 f g.
(b) Supongamos que <a ; c>; <a ; c 0> 2 f g. Por denición de composición de
relaciones 9b; b0 2 B tales que <a ; b>; <a ; b 0> 2 g y <b ; c>; <b 0 ; c 0> 2 f . Como
g es función se tiene que b = b0 y por lo tanto como <b ; c>; <b ; c 0> 2 f y f es
función se tiene que c = c0.
Luego por (a) y (b) f g es una función. Además, si <a ; c> 2 f g entonces 9b 2
B tal que <a ; b> 2 g ^ <b ; c> 2 f , esto es, 9b 2 B tal que g(a) = b ^ f (b) = c,
pero como f g es una función <a ; c> 2 f g se puede expresar como:
f g(a) = c = f (b) = f (g(a))
2
Como la composición de relaciones es asociativa y las funciones son relaciones
la composición de funciones es asociativa. Si se quiere probar esto sin usar el
hecho de que la composición de relaciones es asociativa basta ver que 8x en el
dominio de (f g) h se tiene que
(f g) h(x) = (f g)(h(x)) = f (g(h(x)))
mientras que 8x en el dominio de f (g h) se tiene que
f (g h)(x) = f (g h(x)) = f (g(h(x)))
Luego, en efecto, (f g) h = f (g h)
La composición de funciones no es conmutativa. De hecho f g y g f no
tienen por que tener el mismo dominio y/o codominio, por ejemplo si f : B ! A
y g : A ! B se tiene que f g : A ! A mientras que g f : B ! B . Aún
coincidiendo los dominios se pueden conseguir fácilmente ejemplos que ponen
en evidencia la no conmutatividad de la composición de funciones. Considere,
por ejemplo, f : IR ! IR ; f (x) = x3 y g : IR ! IR g(x) = 2x. Se tiene que
f g(x) = f (g(x)) = [g(x)]3 = (2x)3 = 8x3 mientras que g f (x) = g(f (x)) =
2f (x) = 2x3, y claramente son funciones distintas.
Si f : A ! A entonces se puede componer f consigo misma para producir
otra función de A en A.
Funciones Parciales
Otro tipo interesante de relaciones son las funciones parciales. Una función
parcial de A en B es una relación de A en B que asigna a algunos de los
elementos de A un único elemento de B . Su diferencia con las funciones es
que no forzosamente asigna a cada elemento de A un elemento de B . Nótese
que si consideramos el subconjunto A0 A al cual la función parcial le asigna
elementos de B la restricción de la función parcial a dicho conjunto es una
función en el amplio sentido de la palabra. Es esta la razón por la cual la
denominamos función parcial.
Las funciones parciales aparecen de manera natural cuando pretendemos
denir ciertas funciones sobre un conjunto A con el inconveniente de que para
ciertos valores del dominio no tiene sentido denir a dicha función. En dicho
caso, podríamos averiguar para que valores la función en cuestión no está de-
nida y establecer explícitamente cual es el conjunto A que tiene sentido para la
denición. Sin embargo, este procedimiento podría ser tedioso y no aportarnos
ningún benecio, salvo el de que la función sea realmente una función. En estos
casos es más conveniente aceptar que la función que estamos manipulando es
una función parcial.
Denición 7.15 (Función parcial) Dados dos conjuntos A y B una función
parcial de A en B es una relación binaria de A en B (un subconjunto de A B )
114 CAPÍTULO 7. FUNCIONES
que cumple con:
(8a 2 A)(8b; b0 2 B )(<a ; b> 2 f ^ <a ; b 0> 2 f ) b = b0)
Note que si f es una función de A a B entonces f es una función parcial de
A en B , pero no lo contrario. Algunos autores para evitar confusión denominan
a las funciones: funciones totales. Nosotros, usaremos el calicativo parcial
cuando queramos hacer referencia a una función parcial.
Ejemplos
f (x) = x1 es una función parcial f : IR ! IR pues no está denida para x = 0
La operación de tomarpraíz cuadrada de un número real es una función parcial
de IR en IR pues x no está denida para x < 0
7.4. EJERCICIOS RESUELTOS 115
7.4 Ejercicios Resueltos
Ejercicio Resuelto 7.1 Demuestre que la función f : IN IN ! IN denida
por f (<x ; y>) = 2x (2y +1) es biyectiva. (Nota: Esta prueba requiere del teorema
fundamental de la aritmética)
Respuesta: Inyectividad: Sean <u ; v > y <s ; t> dos elementos de IN IN
tales que f (<u ; v >) = f (<s ; t>). Por denición de f se tiene que 2u (2v + 1) =
2s(2t + 1). Como 2u (2v + 1) es un número natural se tiene que su descom-
posición en primos es única. Además como 2v + 1 es impar en dicha descom-
posición la potencia de 2 es justamente u. Aplicando el mismo razonamien-
to a 2s(2t + 1) se concluye que 2u = 2s de donde concluimos que u = s
y por consiguiente 2v + 1 = 2t + 1 lo que implica que v = t y en conse-
cuencia <u ; v > = <s ; t>. Sobreyectividad: Sea n 2 IN por el teorema fun-
damental de la aritmética se tiene que n tiene una única descomposición en
primos digamos que ella es n = 2p1 1 pkk con 0 y i 1. Claramen-
1 k
te, el par < ; p1 2pk 1 > pertenece a IN IN pues p1 1 pkk es impar y
1 k 1 k
f (< ; p1 2pk 1 >) = 2(2( p1 2pk 1 ) + 1) = n
Ejercicio Resuelto 7.3 Halle una biyección entre el conjunto de los polino-
mios de grado menor o igual que n con coecientes en el conjunto F y el con-
junto de las n tuplas de elementos de F .
Respuesta: Representemos por Fn [x] al conjunto de los polinomios de grado
menor o igual que n con coecientes en el conjunto F y por F n+1 al conjun-
to de las n + 1-tuplas con coordenadas en F . Se dene f (a0 + a1 x + a2 x2 +
+ an xn ) =< a0 ; a1 ; : : : ; an >. Esta función es inyectiva y sobreyectiva.
Inyectiva: Sean P (x) y Q(x) dos polinomios de Fn[x] tales que f (P (x)) =
116 CAPÍTULO 7. FUNCIONES
f (Q(x)). Entonces se tiene que P (x) = a0 + a1 x + a2 x2 + + an xn y
Q(x) = b0 + b1 x + b2 x2 + + bnxn con ai ; bi 2 F para todo i y que <
a0 ; a1 ; a2 ; ; an >=< b0; b1 ; b2 ; ; bn > lo cual implica que ai = bi para toda
i y por consiguiente P (x) = Q(x). Sobreyectiva: Sea < a0 ; a1 ; a2 ; ; an >2
F n+1, entonces el polinomio a0 + a1 x + a2 x2 + + an xn pertenece aFn [x] y
f (a0 + a1 x + a2 x2 + + an xn ) =< a0 ; a1 ; a2 ; ; an > :
7.5. EJERCICIOS 117
7.5 ejercicios
1. Dé un ejemplo de una función compuesta g f que sea inyectiva pero que
g no lo sea.
2. Dé un ejemplo de dos funciones f; g tales que g f sea sobreyectiva pero
que f no lo sea.
3. Si f : A ! B es inyectiva, explique como construir una función sobreyec-
tiva g : B ! A.
4. Sean A1; A2 ; B1 ; B2 conjuntos no vacíos tales que A1 \ A2 = ; y B1 \ B2 =
;, demuestre que si f1 : A1 ! B1 y f2 : A2 ! B2 son biyectivas, entonces
f (x); si x 2 A ;
f (x) = f1 (x); si x 2 A1
2 2
es biyectiva.
5. Dé ejemplos de funciones biyectivas entre los conjuntos indicados
f1 : IR ! IR + .
f2 : IR + ! IR .
f3 : (0; 1) ! IR .
f4 : (0; 1) ! (a; b).
f5 : (a; b) ! (c; d).
f6 : f n1 : n 2 IN g ! f 12 ; 13 ; 14 ; g.
f7 : f1; 12 ; 31 ; 14 ; ; 0g ! f 21 ; 13 ; 14 ; g.
f8 : [0; 1] ! (0; 1).
f9 : IR ! IR f0g.
6. Halle una biyección entre A B y B A.
7. Muestre una función biyectiva entre el conjunto de los polinomios de grado
n con coecientes enteros, Zn [x], y el conjunto Z n+1 .
8. Halle una biyección entre el conjunto de partes de un conjunto de n ele-
mentos y el conjunto de las n tuplas de ceros y unos f0; 1gn. Observe
además que cada n tupla de ceros y unos se puede pensar como una
función de [n] en f0; 1g, con [n] = f1; 2; 3; : : : ; ng. Muestre la biyección.
9. Una sucesión es una función cuyo dominio es el conjunto de los números
naturales IN . Por simplicidad suele representarse a sus imágenes por fn
en lugar de f (n).
La sucesión de Fibonacci que es una función f : IN ! IN se dene por
( 0; si n = 0;
fn = 1 ; si n = 1.
fn 1 + fn 2 ; si n 2
Muestre si es inyectiva o sobreyectiva.
118 CAPÍTULO 7. FUNCIONES
10. Dadas f : A ! B y g : B ! C , si C 0 C muestre que (g f ) 1(C 0) =
f 1(g 1 (C 0))
11. Dada f : A ! B , A0 A y B0 B
(a) Muestre que f 1 (f (A0)) A0 y que la igualdad se cumple si f es
inyectiva
(b) Muestre que f (f 1(B0)) B0 y que la igualdad se cumple si f es
sobreyectiva.
12. Dada f : A ! B y B1 ; B2 B , muestre que f 1 preserva inclusión, unión,
intersección y diferencia de conjuntos:
(a) B1 B2 ) f 1 (B1) f 1 (B2)
(b) f 1(B1 [ B2 ) = f 1 (B1) [ f 1 (B2)
(c) f 1(B1 \ B2 ) = f 1 (B1) \ f 1(B2 )
(d) f 1(B1 B2 ) = f 1 (B1) f 1 (B2)
13. Tendrá la función f : IN ! IN , dada por la regla n 7! n2 , inversa por la
derecha?. Mostrar dos inversas por la izquierda de f .
14. (a) Si f es una función constante f : A ! B y g : B ! C entonces
g f : A ! C es constante.
(b) Si g : A ! B y la función f : B ! C es constante, entonces
f g : A ! C es constante.
15. Dados m; n 2 IN y X 6= ;, si X ! representa al conjunto de tuplas innitas,
esto es, X ! = f(x1; x2 ; x3 ; : : :) : xi 2 X g halle una función:
(a) inyectiva fa : X m ! X n si m n.
(b) biyectiva fb : X m X n ! X m+n .
(c) inyectiva fc : X n ! X ! .
(d) biyectiva fd : X ! X ! ! X ! .
(e) biyectiva fe : X n X ! ! X ! .
(f) inyectiva ff : X A ! X B si A B
16. Dados A; B dos conjuntos no vacíos, muestre una biyección de A B en
B A.
17. (a) Si n > 1 halle una biyección entre A1 A2 An y (A1 A2
An 1) An.
(b) Si J es un conjunto de índices tal que J = K [ L y K; L Q son disjun-
tos
Q y no vacíos,
Q muestre que existe una biyección entre 2J A y
( 2K A) ( 2L A)
7.5. EJERCICIOS 119
18. Muestre una biyección entre el conjunto de partes P (A) del conjunto A y
el conjunto de las funciones de A en f0; 1g, f0; 1gA. ( : P (A) ! f0; 1gA )
s s s s s s s
s s s s s s s s
f
s s s s s s s s s
s s s s s s s s s s
Capítulo 8
Cardinalidad
En este capítulo estudiaremos la noción de cardinalidad de un conjunto.
Dicha noción es una de las brillantes ideas del matemático alemán Georg Can-
tor, quien retomó la idea de la ya conocida correspondencia biunívoca que
apareció, en los albores de la civilización cuando el hombre aprendió a contar
sus rebaños amontonando tantas piedras como ovejas contaba. Cantor propu-
so que dos conjuntos tienen igual cantidad de elementos, igual cardinalidad,
si y sólo si existe una correspondencia biyectiva entre ellos. Una de las cosas
más sorprendentes es que en algunos casos el tamaño de un conjunto puede ser
numéricamente igual al de una de sus partes.
Empezaremos deniendo qué es un conjunto nito, estudiaremos varios teo-
remas y corolarios sobre conjuntos nitos, luego deniremos conjuntos innitos,
mostraremos ejemplos de conjuntos innitos, para luego denir qué es un con-
junto contable. Mostraremos algunas propiedades de los conjuntos contables o
numerables y nalizaremos presentando ejemplos de conjuntos no numerables.
No estudiaremos aquí el concepto de número cardinal, ni las propiedades de los
mismos.
Teorema 8.2 Sea Aun conjunto tal que existe una función biyectiva f : A !
[n] para algún n 2 IN . Si B A entonces no existe biyección g : B ! [n], pero
6 ; entonces existe biyección h : B ! [m] para algún m (0 < m < n).
si B =
Prueba: Si B = ; la proposición es cierta porque no existe biyección entre
un conjunto no vacío y el conjunto vacío. Si B =6 ; lo haremos por inducción
sobre n. Sea P (n) la proposición que arma que el teorema es cierto para n y
sea S = fn 2 IN : P (n)g.
1 2 S pues como el único subconjunto propio de un conjunto con un solo ele-
mento es el conjunto vacío y no existe biyección entre un conjunto no vacío y el
conjunto vacío se tiene que
(f : A ! [1] ^ B A) )6 9g : B ! [1]
Supongamos P (n) y probemos P (n + 1), esto es, que
f : A ! [n + 1] biy ^ B A )6 9g : B ! [n + 1]
Pero si B 6= ;
9h : B ! [m] biy para algún m < n + 1
Sea a0 2 B (existe pues B = 6 ;), consideremos A fa0 g. Por lema anterior
f : A ! [n + 1] biy ^ B A ) 9g : A fa0 g ! [n] biy además como
B fa0 g A fa0 g se tiene por HI que 6 9g1 : B fa0 g ! [n] biy . Por lo
tanto, por el lema se tiene que 6 9f1 : B ! [n + 1] biy . Falta ver que si B =
6 ;
entonces 9m 2 IN tal que 9g : B ! [m] biy Por casos, si B fa0 g = ; entonces
B tiene un solo elemento que es a0 y es claro que existe una biyección de B a
[1]. Si B fa0g 6= ; por hipótesis inductiva existe una biyección de B fa0 g
en [p] con p < n
2
Apéndice B
Respuestas o Sugerencias
Capítulo 1
1. Resp.:
(a) x 2 A1 y x 6 A1 (b) x 62 A2 y x 6 A2
(c) x 62 A3 y x 6 A3 (d) x 62 A4 y x A4
(e) x 2 A5 y x A5 (f ) x 2 A6 y x 6 A6
Nota: Si x fuese vacío, x Ai para toda i.
2.
A A A
N C N C N C
(i) (ii) (iii)
A
N C
(iii)
3. Resp.:
v1 : A (B C )
v2 : A [ B [ C [(A \ B ) [ (A \ C ) [ (B \ C )]
v3 : A [ (B \ C )
v4 : A[C B
v5 : A[C A\B
v6 : (A \ B ) [ (A \ C ) [ (B \ C ) A \ B \ C
4. Sug.: Usar la denición de sub-conjunto. Tomar x 2 A y probar que x 2 B .
143
144 APÉNDICE B. RESPUESTAS O SUGERENCIAS
6. Sug.: Doble contención. Tal vez conviene usar tercero excluido.
7. Sug.: (i) Para probar la inclusión propia tomar x 2 C tal que x 62 B y
probar que x 62 A.
10. Sug.: Recuerde que si nos restringimos a un universo de discurso, todo
elemento x pertenece a A o pertenece al complemento de A.
14. (A) = f ffag; fbg; fcg; fdgg; ffag; fbg; fc; dgg; ffag; fb; cg; fdgg;
ffag; fb; dg; fcgg; ffa; cg; fbg; fdgg; ffa; bg; fdg; fcgg; ffa; dg; fbg; fcgg;
ffa; bg; fc; dgg; ffa; cg; fb; dgg; ffa; dg; fb; cgg; ffag; fb; c; dgg;
ffbg; fa; c; dgg; ffcg; fa; b; dgg; ffdg; fa; b; cgg; ffa; b; c; dgg g.
En forma más compacta se puede expresar como:
ajbjcjd, abjcjd, acjbjd, adjbjc, bcjajd, bdjajc, cdjajb, abjcd, acjbd, adjbc, ajbcd,
bjacd, cjabd, djabc, abcd
18. P (A) = f;; fag; fbg; fcg; fdg; fa; bg; fa; cg; fa; dg; fb; cg; fb; dg; fc; dg;
fa; b; cg; fa; b; dg; fa; c; dg; fb; c; dg; fa; b; c; dgg.
P (B ) = f;; fag; fbg; fcg; fdg; feg; fa; bg; fa; cg; fa; dg; fa; eg; fb; cg;
fb; dg; fb; eg; fc; dg; fc; eg; fd; eg; fa; b; cg; fa; b; dg; fa; b; eg; fa; c; dg;
fa; c; eg; fa; d; eg; fb; c; dg; fb; c; eg; fb; d; eg; fc; d; eg; fa; b; c; dg; fa; b; c; eg;
fa; b; d; eg; fa; c; d; eg; fb; c; ; d; eg; fa; b; c; d; eg g. Tienen 16 = 24 y 32 = 25
elementos respectivamente. Revisando los casos más pequeños se conje-
tura que: El número de subconjuntos de un conjunto con n elementos
es 2n .
20. Resp.: (i) Si A = fag y B = fbg, se tiene que A [ B 2 P (A [ B ) pero
A [ B 62 P (A) [ P (B ).
(i) ; 2 P (A B ) pero ; 62 P (A) P (B )
21. Sug.: Probar que si existen A; B; C tales que A 2 B ^ B 2 C ^ C 2 A, no
se cumpliría el axioma de fundamentación. Usar el conjunto fA; B; C g.
23. Resp.: No, si por ejemplo, tomamos A = fag, se tiene que P2 (A) = ; y
claramente A 6= ;.
Capítulo 2
1. Sug.: Doble contención y las deniciones de producto cartesiano,unión e
intersección.
2. Sug.: Demuestrelo por reducción al absurdo. Suponga que A A A y
que A 6= ;. Esto implica que A [ ([A) 6= ; y podemos usar el axioma
de fundamentación. Hay que probar que no existe x 2 A [ ([A) tal
que (8y)(y 2 x ) y 62 A [ ([A)). Proceder por casos. Es crucial usar
la hipótesis A A A para deducir que si x 2 A, entonces x es un
par, por ejemplo, x = <u ; w >, con u; w 2 A y además recordar que
<u ; w > = ffug; fu; wgg.
145
4. Sug.: Usando la hipótesis demostrar que si < x; y > y <y ; x > pertenecen a
R \ S , entonces x = y.
5. Sug.: Elegir R y S simétricas y tales que R S no sea simétrica. Similar en
\ \
los otros dos casos.
7. Sug.: Doble contención: Si x 2 A \ B , entonces como x 2 A \ B es una
relación existen u; w tales que x = <u ; w > ...
8. Sug.: Usar las deniciones y probar las contenciones.
9. Sug.: Tomar x 2 (A B ) (A B ) y probar que x 2 A B usando las
deniciones.
11. Probar que RjA RjB y exhibir x 2 RjA tal que x 62 RjB .
12. R = f<a ; b>; <b ; a >; <b ; b >; <c ; b >; <c ; f >; <d ; a >; <d ; e >;
<e ; e >; <f ; c>g
R2 = f<a ; a>; <a ; b >; <b ; a >; <b ; b >; <c ; a >; <c ; b >; <c ; c>; <d ; b>; <d ; e >;
<e ; e >; <f ; b>; <f ; f >g
Capítulo 3
1. Sug.: (a) Cualquiera sea el conjunto de tarea, dada una tarea a de dicho
conjunto la misma no se puede realizar antes de si misma porque se realizan
secuenciales. Es fácil ver la transitividad y la antisimetría.
(c) Usar el procedimiento para construir los ordenamientos topológicos.
2. Resp.: ()) inf (fx; yg) = max fu 2 A : u x ^ u yg usando la hipótesis
sale que x está en este conjunto y además que es mayor que todos los que
están, por lo tanto es su máximo.
3. Resp.: (a) hIN ; i, (b) hZ ; i, (c) A = f1; 2g, R = IdA [ f<1 ; 2 >g, (d)
hIN [ fa g; i.
4. Sug.: (a) Pruebe que todo orden lineal tiene, además de los arcos de reexi-
vidad, n(n2 1) pares para garantizar la transitividad. Pruebe además que
una relación con más de n(n2+1) pares no puede ser antisimétrica y por lo
tanto no puede ser un orden parcial.
(b) Una relación para ser un orden parcial debe ser reexiva, la identidad,
IdA , es además simetrica y transitiva, por lo tanto es la menor relación
de orden parcial cualquiera sea A.
(c) Los las relaciones de la forma: IdA [ <a ; b> con a; b 2 A y tal que
a 6= b.
5. Sug.: Todo lo que tiene que hacer es mostrar un sub-conjunto de Q+ que
no tenga mínimo. Mismo con minimal.
146 APÉNDICE B. RESPUESTAS O SUGERENCIAS
6. Resp.: R = IdA [ H (R) [ f<a ; c>; <f ; b>; <f ; c>; <f ; d >g. Si es estricto
no hay que añadir a la identidad.
7. Resp.: (c) Maxs (B ) = f12; 20g, Mins (B ) = f2g, min (B ) = 2, max (B ) no
existe. cotsup(B ) = f60g, cotinf (B ) = f1; 2g, sup (B ) = 60, inf (B ) = 2.
(d) sup (B ) = 20, inf (B ) = 2, cotsup (B ) = f20; 60g,
(e) R 1(B ) = f1; 2; 4; 5; 10; 20g, R 1 (B ) = f4; 12; 20; 60; 10; 30g, RjB =
IdB [f<4 ; 12 >; <4 ; 20 >; <4 ; 60 >; <10 ; 20 >; <10 ; 30 >; <10 ; 60 >; <20 ; 60 >g
9. Sug.: Como todo par de elementos distintos son comparables y todo sub-
conjunto no vacío tiene mínimo, falta probar todo elemento es comparable
consigo mismoreexividad, la transitividad y la antisimetría. Convie-
ne hacerlo en dicho orden y usar la hipótesis de la existencia de mínimo
en cada caso con el conjunto adecuado.
10. Sug.: (b) es subcpo de (a) y (b) es distributivo mientras que (a) no lo es.
El cpo (c) de la gura no es complementadoni siquiera tiene mínimo,
sin embargo, al quitarle un elemento al conjunto resulta el (d) que sí es
complementado.
P
s
PP P
s
PP s s
s
P Ps
s
P Ps @ @
@ @
s s @s s @s
@ @
P
s
PP s
P
s
PP s @ @
a
( ) P P
s
b
( ) P Ps s @s s @s
@ @ @
c
( )
@ @ (d)
@
@s @s @s
Capítulo 4
1. Sug.: (i) y (ii) son consecuencia inmediata de la denición de sucesor y (ii)
implica (iii).
2. Sug.: Probar ambos casos por inducción sobre n.
3. Sug.: Usar inducción.
4. Sug.: Demuestre que si m 6 n, entonces n 6 m.
5. Sug.: Hacer inducción sobre p. Tal vez conviene probar que suc (m)
suc (n) ) m n
6. Sug.: Por inducción.
7. Sug.: Dado un conjunto no vacío S de IN , de nase Sk como el conjunto
de los elementos de S menores o iguales que k, y demuestre por inducción
que si Sk es un conjunto de naturales cuyo máximo es k, entonces dicho
conjunto tiene mínimo.
147
8. Sug.: Dena a S como el conjunto de los n 2 IN para los cuales no se
cumple P (n). Asuma que S no es vacío y aplique el principio de Buena
Ordenación para llegar a una contradicción.
9. Sug.: Aplique el principio de buena ordenación al conjunto adecuado.
10. Sug.: Por inducción.
12. Sug.: Pruebe (a) por inducción y úsela para probar la parte (b).
Capítulo 5
1. Sug.: Usar inducción.
2. Sug.: Use inducción y el ejercicio anterior.
5. Sug.: Use el teorema que arma que r(R) = R [ IdA .
6. Sug.: (a) Tal vez necesite probar que Rn (R [ S )n. (b) Tomar R =
f<a ; b>g, S = f<b ; c>g, Sale que R [ S = f<a ; b>; <b ; c>g y que t(R [
S ) = f<a ; b>; <b ; c>; <a ; c >g mientras que como t(R) = f<a ; b>g = R
y t(S ) = f<b ; c>g = S se tiene que t(R [ S )
notsubseteqt(R) [ t(S ).
7. Sug.: Use inducción y la deniciones de producto y potencia de relaciones.
8. Sug.: Probarlo por inducción.
9. Sug.: Use el teorema que arma que t(R) = [1 k
k=1 R e inducción. Quizá es
más fácil si usa el teorema 5.4
11. Las matrices de adyacencia son:
01 1 0 01 01 1 0 01 01 0 0 01
MR = B
1 @ 00 00 01 00 CA MR = B@ 01 01 10 11 CA MR = B@ 00 11 11 01 CA
2 3
1 0 0 1 0 1 1 1 1 0 0 1
a) R1 no es reexiva ni simétrica y es antisimétrica, b) R2 es reexiva,
simétrica y no es antisimétrica, y c) R3 es reexiva, no es simétrica ni
antisimétrica.
Las matrices de adyacencias de las clausuras transitivas son:
01 1 1 01 01 1 1 11 01 0 0 01
Mt(R ) = B
1@ 00 00 01 00 CA Mt(R ) = B@ 11 11 11 11 CA MT (R ) = B@ 11 11 11 11 CA
2 3
1 1 1 1 1 1 1 1 1 0 0 1
De aquí se obtienen fácilmente las clausuras transitivas.
148 APÉNDICE B. RESPUESTAS O SUGERENCIAS
13. Sug.: Use el ejercicio 7 y el principio del Palomar. Su enunciado aparece
en la página 125 del capítulo 8. En nuestro caso puede interpretarse así:
Si tenemos una lista de n + 1 elementos de un conjunto que tiene sólo n
elementos, en la lista hay algún elemento repetido
Capítulo 6
1. Sug.: Demostrar por doble contención, utilizando la denición de clase de
equivalencia y de intersección de conjuntos.
2. Sug.: Usar la denición de clases, de unión y la proposición: A A [ B .
3. Sug.: Probar por inducción. Se usa sólo la transitividad.
4. Resp.: (a) Las posibles relaciones de equivalencia son:
R1 = IdA ,
R2 = IdA [ f<a ; b>; <b ; a >g,
R3 = IdA [ f<a ; c>; <c ; a >g,
R3 = IdA [ f<b ; c>; <c ; b >g,
R5 = A A.
5. Resp.: (a) Si, (b) No, falla la transitividad, (c) No, es irreexiva, ¾por qué?,
(d) No es simétrica ni transitiva, considere, por ejemplo, A = f1; 2; 3g,
R = IdA [f<1 ; 2 >; <2 ; 1 >g y S = IdA [f<2 ; 3 >; <3 ; 2 >g. Se tiene que
R S = IdA [f<1 ; 2 >; <2 ; 1 > <2 ; 3 >; <3 ; 2 > <1 ; 3 >g no es ni simétrica
ni transitiva.
6. Resp.: (a) Sí lo es. (b) [X no es necesariamente una relación de equivalen-
cia.
7. Resp.: Para probar que R S S R tomar <x ; z > 2 R S y usar simetría
antes que nada.
9. Resp.: (b) [1] = fx 2 Z + : mcd (x; 9) = 1g = f1; 2; 4; 5; 7; 8; : : : g = Z + 3Z +
[3] = fx 2 Z + : mcd(x; 9) = 3g = f3; 6; 12; 15; 21; 24; : : :g = 3Z + 9Z +
[9] = fx 2 Z + : mcd(x; 9) = 9g = f1; 2; 4; 5; 7; 8; : : : g = 9Z +
10. Resp.: (a) R = IdA [ f<1 ; 3 > <3 ; 1 >; <2 ; 4 >; <4 ; 2 >g
(b) R = ff1; 2g; f3; 5g; f4gg
15. Resp.: (ii) Tiene k clases, una por cada uno de los posibles resto de dividir
entre k.
(iii) Si k = 3 las clases son: [0] = fn 2 IN : (9x 2 IN )(n = kx)g,
[1] = fn 2 IN : (9x 2 IN )(n = kx + 1)g y [2] = fn 2 IN : (9x 2 IN )(n =
kx + 2)g.
149
18. Sug.: Use la denición de relación asociada a una partición y la denición
de renamiento.
20. Resp.: (a) Ambas implicaciones son falsas: (6)) porque si tomamos, por
ejemplo, A = f1; 2; 3g, R1 = IdA [f<1 ; 2 >g y R2 = IdA [f<2 ; 1 >g se tie-
ne que R1 ni R2 son de equivalencia pero F = fR1 ; R2 g si es de equivalen-
cia. Y (6() porque si tomamos A = f1; 2; 3g, R1 = IdA [f<1 ; 2 >; <2 ; 1 >g
y R2 = IdA [ f<2 ; 3 >; <3 ; 2 >g se tiene que R1 y R2 son de equivalencia
pero F = fR1; R2 g no es de equivalencia.
(b) Si toda R 2 F es de equivalencia, se tiene que \F es de equivalencia,
pero no lo contrario.
Capítulo 7
1. Resp.: f : f1; 2g ! fa; b; cg denida por f = f<1 ; a>; <2 ; c>g y g :
fa; b; cg ! fa; bg denida por g = f<a ; a>; <b ; a >; <c ; b>g. Se tiene que
f g = f<1 ; a>; <2 ; b>g es inyectiva, pero g no lo es.
2. Sug.: El ejemplo del ejercicio anterior.
3. Resp.: Considere A = ; y A 6= ;; en el primer caso la función deseada es
la función vacía y en el segundo tome a0 2 A jo y considere la siguiente
función a trozos.
f 1 (fyg); si y 2 f (A)
g (y ) = a ; si y 62 f (A).
0
Capítulo 8
1. Sug.: (a) Use el teorema 8.7. (b) Use inducción sobre n.
2. Sug.: (b) Use el teorema 8.7. (c) Pruébelo por inducción.
3. Sug.: Halle una biyección de P (A) con An adecuado.
4. Sug.: Construya una biyección con un conjunto adecuado que sepa que es
nito.
5. Sug.: Por absurdo.
7. Sug.: Use el axioma de elección.
9. Sug.: Por absurdo usando el teorema 8.7.
10. Sug.: Clasique las palabras según su longitud y use algún teorema de los
estudiados.
151
11. Sug.: Clasique los polinomios según su grado.
13. Sug.: No, pero explique por qué no.
16. Sug.: Muestre una biyección con los enteros positivos.
21. Sug.: (a) Recuerde que todo polinomio de grado n tiene a lo sumo n raíces.
Asocie a cada polinomio el conjunto de sus raíces. (b) Use la denición
de números transcendentes y algún resultado previo. El razonamiento es
por absurdo.
26. Sug.: Use el teorema 8.12.
27. Sug.: Clasique los polinomios según su grado y demuestre que el conjunto
de los polinomios de grado jo es contable exhibiendo una biyección con
un conjunto adecuado.