Fund A Mentos

ESCUELA POLITCNICA NACIONAL
FACULTAD DE CIENCIAS
INGENIERA MATEMTICA
Nombre: Ajila Loayza Carlos Alberto
Profesor: Dr. Luis Horna
Asignatura: Fundamentos de la Matemtica

Deber N 01
Ejercicios 1.1
1. Demostrar el siguiente teorema:
Para toda proposicin , y , las siguientes son verdaderas:
)
)
) ) )
) ) )
) ) ) )
) ) ) )
)
)
Previo a la demostracin, la misma se basar en el siguiente resultado:

) )
1 1
1
1
1
1 0
0
1
0
0 1
1
0
0
0 0
1
1
1

Es sabido que
) ) es , por ende en esta tabla se nota que los valores de
verdad de la equivalencia son 1 cuando y tienen los mismos valores de verdad y 0 en caso
contrario.
Demostracin de i) y i):

1 1
1
1
1
1 0
1
1
0
0 1
1
1
0
0 0
0
0
0

1
0
0
0

1
1
1
1

1
1
1
1
Demostracin de ii):

1 1 1
1
1 1 0
1
1 0 1
1
1 0 0
1
0 1 1
1
0 1 0
1
0 0 1
0
0 0 0
0

1
1
1
0
1
1
1
0
) ) ) )
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
0
0
1
Demostracin de ii):

1 1 1
1
1 1 0
1
1 0 1
0
1 0 0
0
0 1 1
0
0 1 0
0
0 0 1
0
0 0 0
0

1
0
0
0
1
0
0
0
) ) ) )
1
1
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
)
) )
) ) )
)
) )
) ) )
Demostracin de iii):
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
0
1
1
1
0
1
1
0
0
0
0
0
0
Demostracin de iii):
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
0
0
0
1
0
0
0
1
1
1
1
1
1
0
0
Demostracin de iv) y iv):
1
1
1
1
1
0
1
0
1
1
1
0
0
0
0
0
1
1
1
1
1
0
0
0
1
1
1
0
0
0
0
0
1
1
1
1
1
0
0
0
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

1
1
1
1
1
0
0
0
1
1
2. Demostrar que las siguientes proposiciones son verdaderas para toda y (Leyes de
De Morgan).
a) )
b) )
Demostracin:
1
1
0
0
1
0
1
0
0
0
0
0
1
0
1
0
0
0
1
1
0
1
0
1
1
1
1
0
1
0
0
0

0
0
0
1

0
1
1
1
)
0
0
0
1
)
0
1
1
1
Prop. a) Prop. b)
1
1
1
1
1
1
1
1
3. Demostrar que las siguientes proposiciones son verdaderas para cada proposicin P.
a)
b)
Demostracin:

1 0
1
1
1
0 1
0
1
1
4. Demostrar que las siguientes proposiciones son verdaderas para toda y .

a) ) )
b) ) )
c) ) )
d) [ )]
e) [ ) ]
Demostracin de a):

1
1
0
0

1
0
1
0

0
0
0
1
1
0
1
1
Demostracin de b):

1 1
1 0
0 1
0 0
Demostracin de c):

1 1
1 0
0 1
0 0

0
1
0
1
Demostracin de d):

1
1
0
0
Demostracin de e):

1
0
1
1

0
1
0
0
1
1
1
1

1
0
1
1

1
0
1
0

1 1
1 0
0 1
0 0
) )
1
1
0
1
1
1
1
1

1
0
1
1
) )
1
1
1
1
) ) )
0
1
1
1
0
1
0
1
1
0
1
1
) [
1
0
0
0

1
0
1
1

0
1
0
1
1
1
1
0
)]
1
1
1
1
) [ ) ]
0
1
0
1
1
1
0
1
5. Demostrar que las siguientes proposiciones son verdaderas para todo , y .

a) [ ) )] )
b) [ ) )] [ ) ]
c) [ ) )] [ )]
Demostracin de a):

1 1 1
1
1
1 1 0
1
0
1 0 1
0
1
1 0 0
0
1
1
1
0 1 1
1
0
0 1 0
1
1
0 0 1
0 0 0
1
1

1
0
1
0
1
1
1
1
) ) [ )
1
0
0
0
1
0
1
1
)] )
1
1
1
1
1
1
1
1
) )
)
[ ) )] [ ) ]
) )
)
[ ) )] [ )]
Demostracin de b):
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0
0
1
1
1
1
1
1
0
1
1
1
0
1
Demostracin de c):
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0
0
1
1
1
1
1
0
1
0
1
1
1
1
1
1
1
1
1
0
1
0
1
0
0
0
1
0
0
0
1
1
0
0
1
1
0
1
1
0
0
0
1
1
1
1
1
1
0
0
1
1
0
1
1
0
0
0
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
6. Demostrar que, para todas las proposiciones , y , si es verdad, entonces las

siguientes son verdaderas:
a)
b)
c) ) )
Demostracin de a):

1
1
1
1
0
0
0
0

1
1
0
0
1
1
0
0

1
0
1
0
1
0
1
0

1
1
0
0
1
1
1
1
0
0
1
0

1
1
1
0

1
1
1
1
Demostracin de b):

1
1
1
1
0
0
0
0

1
1
0
0
1
1
0
0

1
0
1
0
1
0
1
0

1
1
0
0
1
0
1
0
0
0
1
0

1
0
0
0

1
1
1
1
Demostracin de c):

1 1
1 1
1 0
1 0
0 1
0 1
0 0
0 0

1
0
1
0
1
0
1
0

1
0
0
1
1
0
0
1

1
0
1
1

1
0
1
1
) )
1
1
1
1
7. Demostrar que para todas las proposiciones , , y , si y , entonces:

a)
b)
Demostracin de a):

) )

Demostracin de b):

) )

1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
1
0
0
0
0
1
1
1
1
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
1
1
1
1
1
0
1
1
1
0
1
1
1
0
1
1
1
0
1
1
1
0
1
1
1
0
1
1
1
0
1
1
1
0
1
1
1
0
1
1
0
0
0
0
1
0
1
1
1
0
1
1
1
0
1
1
0
0
0
0
1
0
1
1
1
0
1
1
1
1
1
1
0
0
1
0
0
1
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
1
1
0
1
1
0
0
0
0
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
Determine una expresin matemtica mediante la cual se pueda calcular el valor de verdad de
la implicacin.

1 1
1 0
0 1
0 0

1
0
1
1
Por el resultado del ejercicio 1.1-4-b, se tiene que

) )
Y se sabe que el valor de verdad de la disyuncin est asociado al mximo de los valores de verdad de
las proposiciones enlazadas con este operador, por lo tanto, sea ), el valor de verdad de una
proposicin , se tiene que:
) = max), )
Por la negacin se sabe que:
) = 1 )
De donde:
) = max1 ), )
Finalmente, la expresin buscada es:
) = max1 ), )

FUNDAMENTOS DE LA MATEMTICA
Carrera: Ingeniera Matemtica

Deber N 02
Ejercicios 1.2
1. Suponga que " y # $; demostrar que

a) #) " $)
Demostracin de a)
" '' ( ( "
# $ '' ( # ( $
( ( # ( "( $
( #) ( " $)
#) " $)
Demostracin de b)
" '' ( ( "
# $ '' ( # ( $
( ( # ( "( $
( #) ( " $)
#) " $)
2. Suponga que = " y # = $, demostrar que

a) # = " $
Demostracin de a)
= " '' " "
# = $ '' # $ $ #
" # $ #) " $)
" $ # " $) #)
#) " $) " $) #)
# ="$
Demostracin de b)
= " '' " "
# = $ '' # $ $ #
" # $ #) " $)
" $ # " $) #)
#) " $) " $) #)
# ="$
3. Demostrar que si " entonces "

Demostracin:
" '' ( ( "
( ") ( )
("(
( " (
"
b) #) " $)
Definicin de subclase
Resultado del ejercicio 7 de los ejercicios 1.1
Definicin de Unin de clases
Resultado del ejercicio 7 de los ejercicios 1.1
Definicin de Interseccin de clases
b)
# = "$
Teorema 1.11-iv
Teorema 1.11-iv
Resultado del ejercicio anterior
Definicin de y
Teorema 1.11-iv
Teorema 1.11-iv
Teorema 1.11-iv
Definicin de y
Teorema 1.11-iv
Teorema del contra recproco
Negacin de la pertenencia
Definicin de complemento de una clase
4. Demostrar que si
= ", entonces
= "
Demostracin:
= " '' ( ( " ( " (
( ") ( ) ( ) ( ")
( " ( ( ( "
( " ( ( ( "
( ( " ( " (
+
= "
5. Demostrar que si
= " y " #, entonces
Demostracin:
= " '' ( ( " ( " (
" # '' ( " ( #
( ("
( (#
#
6. Demostrar que si
Demostracin:
" '' " "
" # '' " # " #
"" # #
" ( " t.q. (
" # ( # t.q. ( "
( # t.q. ( #
# #
#
" y " #, entonces
Definicin de igualdad de clases

Teorema del contra recproco
Definicin de complemento de una clase
Conmutatividad de la conjuncin

Simplificacin conjuntiva
Teorema 1.6
Definicin de subclase propia

Teorema 1.11-v
Conjuntos no iguales
Conjuntos no iguales
Por inferencia
Definicin de conjuncin
7. Demostrar el Teorema 1.11, partes (iv) y (v).

Teorema: Para todas las clases , " y #, se tiene:
iv.
"y" ="
v.
"y"# #
Demostracin de (iv)
" '' ( ( "
" '' ( " (
( ( "( " (
="
Demostracin de (v)
" '' ( ( "
" # '' ( " ( #
( ( "( " ( #
( (#
#
Teorema 1.6
8. Sea = 2(|( (4; use el argumento de Russell para demostrar que no es un elemento.
Demostracin:
Segn la teora de conjuntos de Cantor, se puede representar a de la siguiente manera:
(, ( ( (
Como es un conjunto, se puede sustituir ( por , de donde:

Lo cual es un absurdo, y segn la paradoja de Russell, indicara que no es un elemento.
9. Nos permite el axioma A2 formar la Clase de todas las clases? Explique.

Axioma A2: Sea () que designa una afirmacin acerca de ( que puede ser enteramente expresada
en trminos de los smbolos , , , , , , signos de agrupacin, y variables (, 6, 7, , ",
Entonces existe una clase # que consiste de todos los elementos ( que satisfacen ().
No, no lo permite. El axioma permite formar las clases de los elementos ( que satisfacen (), no
permite formar la clase de todas las clases ( que satisfacen (), caso contrario se estara dando paso
libre a las paradojas lgicas como es el caso de la Paradoja de Russell.
10. Explicar por qu la paradoja de Russell y la paradoja de Berry no pueden producirse por la
utilizacin de axioma A2.
Paradoja de Russell:
El axioma A2 permite la construccin de una clase a partir de elementos ( que satisfacen cierta
propiedad (). Para el caso de la paradoja de Russell se tiene que ( es a la vez conjunto (debido a la
teora de conjuntos de Cantor) y por ende ( es a la vez una clase. Ello impide la construccin de una
clase por el axioma A2. De este modo, la paradoja de Russell no puede producirse utilizando el
axioma A2.
Paradoja de Berry:
Para que la clase () en el Axioma A2, sta debe ser descrita completamente en trminos de
operadores lgicos, signos de agrupacin, variables, etc. Y la propiedad que deben satisfacer los
elementos de la clase (conjunto en este caso) de la paradoja de Russell, es que los nmeros naturales
deben ser descritos en menos de 20 palabras del idioma ingls. Por lo tanto, esta no es una propiedad
() a la que hace referencia el Axioma A2, con lo cual se comprueba que la paradoja de Barry no
puede ser producida utilizando el Axioma A2.

FUNDAMENTOS DE MATEMTICA

Deber No 03
Ejercicios 1.3
1. Demostrar el Teorema 1.21(ii).
Teorema: Si y " son clases, entonces " " =
Demostracin:
)
" significa ( ( "
Definicin de subclase (hiptesis)
( " ( ( "
Definicin de interseccin
(
Teorema 1.5(ii)
"
( ( (
Teorema 1.8(iv)
( ( "
Hiptesis
( "
"
" =
)
" = : ( ( ") ( " ( )
( " ( ( "
( ( "
Teorema 1.5(ii)
("
Teorema 1.5(ii)
"
2. Demostrar el Teorema 1.24(ii)

Teorema: ")+ = + "
Demostracin:
( ")+ ( "
( "
( ( ")
( ( "
( ( "
( "
+
+
") "
( " ( ( "
( ( "
( ( ")
( "
( "
( ")+
+
" ")+
")+ = + "
Definicin de complemento
Negacin de pertenencia
Ejercicio 1.1.2.b
Definicin de unin
Definicin de unin
Ejercicio 1.1.2.b
3. Demostrar el Teorema 1.25 partes (ii), (iii), (iv), (vi) y (viii).

Teorema: Para toda clase , " y #, las siguientes leyes son verdaderas:
(ii) " = " ,
(iii) = ,
(iv) = ,
"
(vi)
#) = ") #,
(viii) " #) = ") #)
Demostracin:
ii)
( " ( ( "
iii)
iv)
vi)
viii)
( "(
Conmutatividad de la conjuncin
("
" ="
( (
Definicin de Unin
(
Teorema 1.8(iv)
=
( (
Definicin de Interseccin
(
Teorema 1.8(iv)
=
" #) ( ( " #
( ( " ( #)
( ( ") ( #
Asociatividad de la conjuncin
( "( #
( ") #
" #) = ") #
" #) ( ( " #
Definicin de unin
( ( " ( #)
( ( ") ( ( #) Distributividad de los operadores
( "( #
Definicin de unin
( ") #)
" #) = ") #)
4. Demostrar el Teorema 1.26 partes (ii), (iv), (v), (vi), (vii) y (viii).
Teorema: Para toda clase
(vi) + = :,
(vii) + = :,
(ii) = ,
(iv) : = ,
(v) :+ = ,
(viii) + =
Demostracin:
ii)
Por el Teorema 1.17(i) se tiene , luego, por el Teorema 1.21(ii) se concluye que
= .
iv)
Por el teorema 1.17(ii) se tiene :, luego por el Teorema 1.21(ii) se concluye : =
.
v)
( : ( :
( :
( = ()
Condicin que satisface ( en :
((
Negacin de la igualdad
(
Condicin que satisface ( en
:+
:
Obvio
:+ =
:+ )+ = :
vi)
Teorema 1.23
+ = :
Resultado anterior
vii)
+:
Por definicin de :
( : ( (
Complemento
+
Definicin de unin
(
: +
+=:
viii)
+=:
Resultado anterior
+ ) = :
Complementos
+
+
+
) =
1.26(v), Ley de Morgan
+
=
Teorema 1.23
5. Use el lgebra de clases para demostrar lo siguiente:

a) ") # = #) " #),
b) ") # = #) " #).
Demostracin:
a) ") # = # ")
= # ) # ")
= #) " #)
b) ") # = # ")
= # ) # ")
= #) " #)
6. Use el lgebra de clases para demostrar lo siguiente:

a) Si # = , entonces " #) = "
b) Si " = , entonces " =
c) Si " = y " = #, entonces = # "
Demostracin:
a) " #) = ") #)
= ")
= "
b) " = "
= ")
= ") ")
= " ")
= :
=
c) # " = # "
= ") "
= ") " ")
= "+ )
= "+
= "
=
7. Utilizando el lgebra de clases, demostrar lo siguiente:

a) " #) = ") #
b) ") # = #) " #)
c) " #) = ") #)
d) " #) = ") #)
Demostracin:
a) " #) = " # + )
= ") #
= ") #
b) ") # = ") #
= #) " #)
= #) " #)
c) " #) = " #)
= " #)
= ) " #)
= "+ ) # + )
= ") #)
d) " #) = " #)
= " #)
= "+ ) # + )
= ") #)
Conmutatividad de la unin
Distributividad
Conmutatividad de la unin
Conmutatividad de la interseccin
Distributividad
Conmutatividad de la interseccin
Distributividad
Hiptesis
Teorema 1.26(i)
Definicin de diferencia
Teorema 1.26(i)
Hiptesis
Ley distributiva
Teorema 1.26(vii)
Teorema 1.26 (iv)
Hiptesis
Ley distributiva
Teorema 1.26(viii)
Teorema 1.26(i)
Hiptesis en inciso b
Ley asociativa
Ley distributiva
Ley de Morgan
Ley de idempotencia
Ley conmutativa y asociativa
Ley de Morgan
Ley distributiva
8. Se define la operacin + en las clases como sigue: Si y " son clases, entonces
+ " = ") " ).
Demuestre lo siguiente:
a) + " = " + ,
b) + " + #) = + ") + #,
c) " + #) = ") + #), d) + = ,
e) + =
Demostracin:
a) + " = ") " )
Definicin de +
= " ) ")
Ley conmutativa
="+
Definicin de +
b) + " + #) = + [" #) # ")]
Definicin de +
["

["
)
=
#) # ")])
#) # ")]
Definicin de +
= [" #) # ")]) [" #) # ")] )
= " # + )+ # "+ )+ ) " #) # + ")
Teoremas 1.25-1.26(vii)
= "+ #) # + ")) " #) # + ")
Complemento
+)
+)
+
+)

=
" #) # ")
"
+ #) + # + ) ")
Ley distributiva
= [ "+ ) " + ) # + ] [ ") ") #]
Ley conmutativa y otros teo.
= [ + ") #] [ ") + ")] #)
Ley distributiva, def +
Leyes de Morgan
= [ + ") #] [ "+ ) + ")]+ #)
[
[
=
+ ") #]
+ ") #]
Definicin de +
= + ") + #
Definicin de +
c) " + #) = [" #) # ")]
Definicin de +
= [" # + ) # "+ )]
= [ " # + )] [ # ")]
Ley distributiva
= [ ") # + + ))] [ #) "+ + ))] Ley Asociativa
= [ ") #)+ # + )] [ #) ")+ "+ )] Ley distributiva
= [ ") #)+ ] [ #) ")+ ]
Teoremas varios
= [ ") #)] [ #) ")]
= ") + #)
Definicin de +
d) + = ) )
Definicin de +
= ) )
=
Teorema 1.26(viii)
=
Ley de idempotencia
e) + = ) )
Definicin de +
= + ) + )
= :)
Teorema 1.26(ii)(vii)
=
Teorema 1.26(iv)
=
Teorema 1.26(i)
9. Demostrar lo siguiente:
a) " = = y " =
b) " = ssi "
c) + " = ssi = "
Demostracin:
a) " = ")+ =
+ "+ = :
( : ( + "+ )
( : ( + ( "+ )
( ( "
=" =
b) )
" = "+ ) =
+" =:
+" =
"
)
Complemento
Ley de Morgan, Teorema 1.26(vi)
Definicin de Complemento
Pues ( :
Complemento
Ley de Morgan, Teorema 1.26(vi)
Teorema 1.26(vii)
Ejercicio 1.2.1(a)
" ( ( "
( "( "
( " "+ )
(
"
"
"+ =
c) )
+ " = ") " )
= ") ")
=
"+ = + " =
= " + = "
="
)
= " +" = + =
Hiptesis
Teorema 1.26(viii)
Evidente
Definicin de +
Hiptesis
Parte (a)
Teorema 1.26(viii)
Complemento, Teorema 1.8(iv)
Ejercicio 1.3.8(a)

a) # = " # ssi + " #
b) #) + " #) = + ") #
Demostracin:
a)
+ " # ") " ) #
Definicin de +
") # y " ) #
") " # " y " ) #
" "# y " #
Ley distributiva y complemento
#y"#
# ="#
b) #) + " #) = [ #) " #)] [" #) #)] Definicin de +
= [ #) " #)] [" #) #)]
Ley de Morgan

#
"
#
=
" #) " #)
#) #)
Ley distributiva
= " #) " #)
Teorema 1.26
Ley distributiva
= [ "+ ) " + )] #
= + ") #
Definicin de + y
11. Utilizar el lgebra de clases para demostrar que si
Demostracin:
" = "
= ")
= ") " ")
= " ")
= " ")
= " " )
= " #
="#
" y # = " , entonces
Teorema 1.21 (ii)

Teorema 1.26
Teorema 1.26
Ley distributiva
Ley de Morgan
Hiptesis
= "#


Deber N 04
Ejercicios 1.4
1. Sea = 2=, >, ?, @4, " = 21,2,34, # = 2(, 6, 74. Encontrar ", " , # " ),
") #, #) " #), ") " #).
" = 2=, 1), =, 2), =, 3), >, 1), >, 2), >, 3), ?, 1), ?, 2), ?, 3), @, 1), @, 2), @, 3)4
" = 21, =), 1, >), 1, ?), 1, @), 2, =), 2, >), 2, ?), 2, @), 3, =), 3, >), 3, ?), 3, @)4
(, 1, =), (, 1, >), (, 1, ?), (, 1, @), (, 2, =), (, 2, >),
G
J
E (, 2, ?), (, 2, @), (, 3, =), (, 3, >), (, 3, ?), (, 3, @), E
E
E
6, 1, =), 6, 1, >), 6, 1, ?), 6, 1, @), 6, 2, =), 6, 2, >),
# " ) =
F6, 2, ?), 6, 2, @), 6, 3, =), 6, 3, >), 6, 3, ?), 6, 3, @),I
E 7, 1, =), 7, 1, >), 7, 1, ?), 7, 1, @), 7, 2, =), 7, 2, >), E
E
E
D 7, 2, ?), 7, 2, @), 7, 3, =), 7, 3, >), 7, 3, ?), 7, 3, @) H
=, (), =, 6), =, 7), >, (), >, 6), >, 7), ?, (),
") # = K?, 6), ?, 7), @, (), @, 6), @, 7), 1, (), 1, 6),L
1, 7), 2, (), 2, 6), 2, 7), 3, (), 3, 6), 3, 7)
=, (), =, 6), =, 7), >, (), >, 6), >, 7), ?, (),
#) " #) = K?, 6), ?, 7), @, (), @, 6), @, 7), 1, (), 1, 6),L
1, 7), 2, (), 2, 6), 2, 7), 3, (), 3, 6), 3, 7)
=, 1), =, 2), =, 3), =, (), =, 6), =, 7), >, 1),
G
J
>, 2), >, 3), >, (), >, 6), >, 7), ?, 1), ?, 2), E
E
E
E
?, 3), ?, (), ?, 6), ?, 7), @, 1), @, 2), @, 3),
") " #) =
F @, (), @, 6), @, 7), 1,1), 1,2), 1,3), 1, (), I
E
E 1, 6), 1, 7), 2,1), 2,2), 2,3), 2, (), 2, 6), E
E
D 2, 7), 3,1), 3,2), 3,3), 3, (), 3, 6), 3, 7) H
2. Demostrar el teorema 1.32(ii).

Teorema: Para todas las clases , " y #: " #) = ") #).
Demostracin:
Sea (, 6) " #) ( 6 " #
Definicin de producto cartesiano
( 6 " 6 #)
Definicin de unin
( 6 ") ( 6 #) Ley distributiva
(, 6) " (, 6) # Definicin de producto cartesiano
(, 6) ") #)
Definicin de unin
3. Demostrar que " $) = ") $).

Demostracin:
Sea (, 6) " $) ( 6 " $)
Def. de producto cartesiano y
( 6 " 6 $ + )
( 6 " ( 6 $ + Teorema 1.8(iv)
(, 6) " (, 6) $) Def. producto cartesiano y compl.
(, 6) " (, 6) $) Definicin de complemento
(, 6) ") $)
(, 6) ") $)
4. Demostrar que ") # $) = $) # ").

Demostracin:
Sea (, 6) ") # $)
(, 6) ") # $) (, 6) ") (, 6) # $)
( 6 ") ( # 6 $)
( 6 $) ( # 6 ")
(, 6) $) (, 6) # ")
(, 6) $) # ")
5. Si , " y # son clases, demostrar lo siguiente:

a) ) " #) = ") #)
b) ") # #) = [ #) "] [ " #)]
c) ) " #) = [ ") ] [ #)]
Demostracin:
a) ) " #) = ") #)
b) Sea (, 6) ") # #)
(, 6) ") # #) (, 6) ") (, 6) # #)
( 6 ") ( # 6 #)
( 6 " ( #) ( 6 " 6 #)
( 6 " ( #) ( 6 " 6 #)
( # 6 ") ( 6 " #)
(, 6) #) " (, 6) " #)
(, 6) #) " (, 6) " #)
(, 6) [ #) "] [ " #)]
c) Sea (, 6) ) " #)
(, 6) ) " #) (, 6) ) (, 6) " #)
( 6 ) ( " 6 #)
( 6 ( ") ( 6 6 #)
( 6 ( ") ( 6 6 #)
( " 6 ) ( 6 #)
(, 6) ") (, 6) #)
(, 6) ") (, 6) #)
(, 6) [ ") ] [ #)]
Def. interseccin
Def. producto cartesiano
Ley aso. y conm.
Def. interseccin
Teorema 1.32(iii)
Def. diferencia
Ley distributiva
Def. complemento
Def. interseccin
Def. diferencia
Def. unin
Def. diferencia
Ley distributiva
Def. complemento
Def. interseccin
Def. diferencia
Def. unin
6. Demuestre que y " son disjuntos, si para alguna clase no vaca #, # y " # son
disjuntos.
Demostracin:
Hiptesis: #) " #) = , #
Sea (, 6) #) " #)
(, 6) #) " #) (, 6) #) (, 6) " #)
Def. interseccin
( 6 #( "6 #
( "6 #
Def. interseccin
(, 6) ") #
(, 6)
Hiptesis

Pero 6 #, puesto que # , entonces (
"), por lo tanto y " son disjuntos.
7. Si y # son clases no vacas, probar que " y # $ si y slo si # " $.

Demostracin:
Sean ( y 6 #
( ( ") 6 # 6 $)
Hiptesis
( ( ") 6 # 6 $)
Ejercicio 1.1.4(b)
( ( ") 6 # 6 $)
Def. complemento
[( ( ") 6 #] [( ( ") 6 $]
Ley distributiva
( 6 #) ( " 6 #) ( 6 $) ( " 6 $)
(, 6) # (, 6) " $
(, 6) # (, 6) " $
# "$
Def. producto cartesiano y teoremas

Ejercicio 1.1.4(b)
8. Sean , ", # y $ clases no vacas. Demuestre que " = # $ si y slo si = # y " = $

Demostracin:
" = # $ [(, 6) " (, 6) # $]
Def. igualdad de clases
[(
6 " ( # 6 $]
( ( #) 6 " 6 $)
=#" =$
Def. igualdad de clases
9. Si , " y # son clases cualesquiera, demostrar
a) " y # son disjuntos
Demostracin:
a) Evidentemente ") + #)
") + #) = ) " #)
= " #)
Sea (, 6) " #) ( 6 " #
( (, 6)
") + #)
+
") #) =
b) Evidentemente " ) # )
" ) # ) = " #) )
= " #)
Sea (, 6) " #) ( " # 6
6 (, 6)
" ) # )
" ) # ) =
b) "
y # son disjuntos
Teorema 1.32(iii)
Teorema 1.26(viii)
Clase vaca
Def. subclase
Teorema 1.32(iii)
Teorema 1.26(viii)
Clase vaca
Def. subclase
10. Demostrar que " = si y slo si = o " = .

Demostracin:
)
Es evidente que y que "
" = "
Def. clases iguales
[(, 6) " (, 6) ]
[( 6 " ( 6 ]
[( + 6 "+ ( 6 )]
Ejercicio 1.1.4(b)
( + 6 "+ ( ) ( + 6 "+ 6 ) Ley distributiva
[(, 6) ") ( ] [(, 6) ") 6 ] Ejercicio 1.1.4(b)
"

"
"
=" =
)
=" =
(, 6) " ( 6
Hiptesis
( 6
(, 6)
"
Evidentemente ", entonces " = .
11. Demostrar cada uno de los siguientes:
a) Si = = 2>4, entonces > =
b) ( = 6 si y slo si 2(4 = 264

c) ( = si y slo si 2(4 =
d) 2=, >4 = 2=4 si y slo si = = >
Demostracin:
a) Suponiendo que > =, entonces, como > no es elemento, por el axioma 2, 2>4 no podra ser
formado, y por lo tanto = 2>4, lo cual contradice la hiptesis original, y segn el ejercicio 1.1.4(a),
queda demostrado el enunciado.
b) ) Se tiene que ( = 6, y partiendo del hecho, de que tanto ( como 6 son elementos, el axioma 2
nos garantiza la existencia de 2(4 y de 264. Siendo 2(4 = 2N|N = (4 = 2N|N = 64 = 264.
) Se tiene que 2(4 = 264, entonces 2(4 264 y 264 2(4. Como 2(4 = 2N|N = (4 y 264 = 2N|N = 64
por la hiptesis, se tiene que N = ( N = 6, por lo tanto ( = 6.
c) ) Suponiendo que 2(4 =, ello implica que 2(4 = = por el teorema 1.21(i), entonces existe
algn elemento de 2(4 que no sea elemento de =. Ello implica que ( = lo cual contradice la
hiptesis original, y por lo tanto se demuestra en el primer sentido.
) Si ( =, entonces, al ser ( un elemento, el axioma 2 permite construir la clase 2(4, y se tiene que
2(4 = = 2(4, por lo tanto, por el teorema 1.21(ii) se concluye que 2(4 =.
d) ) 2=, >4 = 2=4, por definicin se tiene 2=, >4 = 2(|( = = ( = >4 = 2=4 = 2(|( = =4, de donde
( = = ( = >) ( = = es la condicin que debera ser satisfecha. Por absorcin, se tiene que la
condicin a cumplir el conjunto es ( = =, por lo tanto, ( = = = >.
) Como = = >, al aplicar esto en la condicin que define al primer conjunto, se tiene: 2=, >4 =
2(|( = = ( = =4 y esto es 2=4, con lo cual queda demostrado.
12. Se da la siguiente definicin alternativa de pares ordenados:

(, 6) = P2(, 4, Q6, 24RS. Usando esta definicin, demostrar que
=, >) = ?, @) = = ? y > = @.
Demostracin:
=, >) = ?, @) P2=, 4, Q>, 24RS = P2?, 4, Q@, 24RS
Definicin de par ordenado
Primer caso: 2=, 4 = 2?, 4 Q>, 24R = Q@, 24R

Por teorema 1.27
Una posibilidad es = = ? = > = @ 24 = 24, con lo que queda demostrado.
Una segunda posibilidad es que = = = ? y > = 24 = @, con lo que nuevamente queda demostrado.
Segundo caso: 2=, 4 = Q@, 24R 2?, 4 = Q>, 24R
Por Teorema 1.27
La primera posibilidad es = = @ = 24 ? = > = 24, por lo tanto no se produce, con lo que
queda demostrado.
Finalmente = = 24 @ = ? = 24 > = con lo que = = ? y > = @, con lo tambin se
demuestra el Teorema.


Deber N 05
Ejercicios 1.5
1. Sea T = 2>, >), >, ?), ?, ?), ?, @)4 y U = 2>, =), ?, >), @, ?)4.
Hallar T VW, U VW, T U, U T, T U)VW , T U)VW, U VW T.
VW
T = 2>, >), ?, >), ?, ?), @, ?)4
U VW = 2=, >), >, ?), ?, @)4
T U = 2>, =), >, >), ?, >), ?, ?)4
U T = 2?, >), ?, ?), @, ?), @, @)4
T U)VW = 2=, >), >, >), >, ?), ?, ?)4
T U)VW = 2>, >), ?, >), ?, ?), @, ?), =, >), >, ?), ?, @)4
U VW T = 2=, >), =, ?), >, >), >, @)4
2. Demostrar el Teorema 1.37 partes (ii) y (iv).

Teorema: Si T y U son grafos, entonces
(ii) ran T = dom T VW
(iv) ranT U) ran T
Demostracin:
(ii) Sea 6 ran T (, (, 6) T
Definicin de rango
(, 6, () T VW
Definicin de grafo inverso
6 dom T VW
Definicin de dominio
(iv) Sea 6 ranT U) (, (, 6) T U
Definicin de rango
(, 7, (, 7) U 7, 6) T
Definicin de compuesta
7, 7, 6) T
Teorema 1.5(ii)
6 ran T
Definicin de rango
3. Demostrar el Teorema 1.38
Teorema: Sean T y U grafos. Si ran U dom T entonces dom T U = dom U.
Demostracin:
dom T U dom U
Teorema 1.37(iii)
Sea ( dom U 7, (, 7) U
7, ( dom U 7 ran U
Def. dominio y rango
7, ( dom U 7 dom T
Hiptesis
7, 6, (, 7) U 7, 6) T
6, (, 6) T U
( dom T U
Por lo tanto dom T U = dom U.
4. Si T, U y ] son grafos, demostrar cada uno de los siguientes.

a) U ]) T = U T) ] T)
b) T U)VW = T VW U VW
c) T U ]) T U) T ])
d) T U) T ]) T U ])
Demostracin:
a) (, 6) U ]) T 7, (, 7) T 7, 6) U ]
7, (, 7) T [7, 6) U 7, 6) ]]
Definicin de unin
7, [(, 7) T 7, 6) U] [(, 7) T 7, 6) ]]
Ley distributiva
(, 6) U T (, 6) (, 6) ] T
(, 6) U T) ] T)
Definicin de unin
b) (, 6) T U)VW 6, () T U
Definicin de inversa
6, () T U
6, () T 6, () U
(, 6) T VW (, 6) U VW )
VW
VW
(, 6) T U )
(, 6) T VW U VW
c) (, 6) T U ]) 7, (, 7) U ] 7, 6) T
7, (, 7) U (, 7) ] 7, 6) T
7, (, 7) U 7, 6) T (, 7) ] 7, 6) T Teorema 1.8(iv)
(, 6) T U (, 6) T ]
(, 6) T U) T ])
d) (, 6) T U) T ]) (, 6) T U) T ])
(, 6) T U) (, 6) T ])
(, 6) T U) (, 6) T ])
7, (, 7) U 7, 6) T [(, 7) ] 7, 6) T] Definicin de compuesta
7, [(, 7) U 7, 6) T (, 7) ]] [(, 7) U 7, 6) T 7, 6) T] Distributiva
7, (, 7) U 7, 6) T (, 7) ] Definicin de complemento
7, (, 7) U ] 7, 6) T
(, 6) T U ])
(, 6) T U ])
5. Si T y U son grafos, demostrar lo siguiente

b) T U)VW = T VW U VW
a) T U)VW = T VW U VW
Demostracin:
a) (, 6) T U)VW 6, () T U
6, () T 6, () U
VW
VW
(, 6) T (, 6) U
(, 6) T VW U VW
b) (, 6) T U)VW 6, () T U
6, () T 6, () U
Definicin de unin
(, 6) T VW (, 6) U VW
(, 6) T VW U VW
Definicin de unin
6. Si T, U, ] y ^ son grafos, demostrar
a) Si T U y ] ^, entonces T ] U ^
b) T U si y slo si T VW U VW
Demostracin:
a) (, 6) T ] 7, (, 7) ] 7, 6) T
7, (, 7) ^ 7, 6) U
(, 6) U ^
b) )
(, 6) T VW 6, () T
6, () U
(, 6) U VW
)
(, 6) T 6, () T VW
6, () U VW
(, 6) U
7. Si , " y # son clases, demostrar lo siguiente

a) ")VW = "
b) Si " , entonces ") ") = "
c) Si y " son disjuntos, entonces ") ") =
d) Si " , entonces " #) ") = #
Demostracin:
Hiptesis
Hiptesis
Hiptesis
a) (, 6) ")VW 6, () "
6 ( "
( "6
Ley conmutativa
(, 6) "
b) (, 6) ") ") 7, (, 7) " 7, 6) " Definicin de compuesta
7, ( 7 " 7 6 "
7, ( 6 " 7 "
( 6 "
Hiptesis
(, 6) "
c) (, 6) ") ") 7, (, 7) " 7, 6) "
7, ( 7 " 7 6 "
7, ( 6 " 7 "
7, ( 6 " 7
Hiptesis
7, ( 6 "
Clase vaca
(, 6)
Evidentemente ") "), entonces ") ") = .
d) (, 6) " #) ") 7, (, 7) " 7, 6) " # Definicin de compuesta
7, ( 7 " 7 " 6 #
7, ( 7 " 6 #
Teorema 1.8(iv)
( 6 #
Hiptesis
(, 6) #
8. Sean T y U grafos, demostrar lo siguiente

a) Si T ", entonces T VW "
b) Si T " y U " #, entonces U T
Demostracin:
a) (, 6) T VW 6, () T
6, () "
6 ( "
(, 6) " )
b) (, 6) U T 7, (, 7) T 7, 6) U
7, (, 7) " 7, 6) " #
7, ( 7 " 7 " 6 #
(, 6) #
#
Hiptesis
Hiptesis
9. Sean T y U grafos, demostrar lo siguiente

a) domT U) = dom T) dom U)
b) ranT U) = ran T) ran U)
c) dom T) dom U) domT U)
d) ran T) ran U) ranT U)
Demostracin:
a) ( domT U) 6, (, 6) T U
6, (, 6) T (, 6) U
Definicin de unin
( dom T ( dom U
( dom T) dom U)
Definicin de unin
b) 6 ranT U) (, (, 6) T U
Definicin de rango
(, (, 6) T (, 6) U
Definicin de unin
6 ran T 6 ran U
Definicin de rango
6 ran T) ran U)
Definicin de unin
c) ( dom T) dom U) ( dom T) dom U)
( dom T) ( dom U)
6, (, 6) T (, 6) U
6, (, 6) T (, 6) U
6, (, 6) T U
( domT U)
( domT U)
d) 6 ran T) ran U) 6 ran T) ran U)

6 ran T) 6 ran U)
(, (, 6) T (, 6) U
(, (, 6) T (, 6) U
(, (, 6) T U
6 ranT U)
6 ranT U)
Definicin de rango
Definicin de rango
10. Sea T un grafo, y sea " una subclase del dominio de T. Por restriccin de T a " se entiende
al grafo
T[_] = 2(, 6)|(, 6) T ( "4
Demuestre cada uno de los siguientes.
a) T[_] = T " ran T)
b) T[_`] = T[_] T[`]
c) T[_`] = T[_] T[`]
d) T U)[_] = T U[_]
Demostracin:
a) (, 6) T " ran T) (, 6) T (, 6) " ran T Definicin de interseccin
(, 6) T ( " 6 ran T Definicin de producto cartesiano
(, 6) T ( "
Definicin de rango
(, 6) T[_]
Definicin de restriccin
b) (, 6) T[_`] (, 6) T ( " #
(, 6) T [( " ( #]
Definicin de unin
[(, 6) T ( "] [(, 6) T ( #] Ley distributiva
(, 6) T[_] (, 6) T[`]
(, 6) T[_] T[`]
Definicin de unin
c) (, 6) T[_`] (, 6) T ( " #
(, 6) T [( " ( #]
[(, 6) T ( "] [(, 6) T ( #] Teorema 1.8(iv)
(, 6) T[_] (, 6) T[`]
(, 6) T[_] T[`]
d) (, 6) T U)[_] (, 6) T U ( "
7, (, 7) U 7, 6) T ( "
7, (, 7) U[_] 7, 6) T
(, 7) T U[_]
11. Sea T un grafo y " una subclase del dominio de T. Se utiliza el smbolo T") para designar
la clase
T") = 26|( ", (, 6) T4
Demostrar lo siguiente:
a) T") = ran T[_]
b) T" #) = T") T#)
c) T" #) = T") T#)
c) Si " # entonces T") T#)
Demostracin:
a) 6 ran T[_] (, (, 6) T[_]
Definicin de rango
(, (, 6) T ( "
( ", (, 6) T
Restriccin de (
6 T")
Definicin de T")
b) 6 T" #) ( " #, (, 6) T
Definicin de T")
(, (, 6) T ( " #
Restriccin de (
(, (, 6) T ( " ( #)
Definicin de unin
(, [(, 6) T ( "] [(, 6) T ( #] Ley distributiva
6 T") T#)
Definicin de T")
c) 6 T" #) ( " #, (, 6) T
Definicin de T")
(, (, 6) T ( " #
Restriccin de (
(, (, 6) T ( " ( #)
(, [(, 6) T ( "] [(, 6) T (
6 T") T#)
c) 6 T") (, (, 6) T ( "
(, (, 6) T ( #
6 T#)
Definicin de unin
#] Teorema 1.8(iv)
Definicin de T")
Definicin de T")
Hiptesis
Definicin de T")


Deber N 06
Ejercicio 1.6
Teorema: Si " a , para todo b, entonces " ad
Demostracin:
( " b, ( a
(e
a.
ad
Hiptesis

Teorema: Ley generalizada de Morgan. Sea 2 a 4ad una familia indexada de clases, entonces
fe
ad
Demostracin:
( fe
ad
ag
ag
=h
ad
(e
(h
ad
i b, (
i b, (
ad
j
Propiedad de la negacin
Definicin de unin
3. Demostrar el Teorema 1.42 (ii)

Teorema: Ley distributiva generalizada. Sean 2 a 4ad y Q"j Rjk familias indexadas de clases.
fe
ag
ad
le "j m =
Demostracin:
( fe
ad
ag
jk
e
a,j)dk
le "j m ( fe
jk
ad
"j
ag (
le "j m
b, i ], (
, i) b ], (
, i) b ], (
e
a,j)dk
jk
( "j
a ( "j
a "j
"j

Teorema: Sea 2Ta 4ad una familia indexada de grafos, entonces
ran fh Ta g = hran Ta )
ad
Demostracin:
ad
Definicin de unin
Def. de producto cartesiano
Definicin de unin
6 ran fh Ta g 6, (, 6) h Ta
ad
Definicin de rango
ad
6, i b, (, 6) Tj
i b, 6 ran Tj
Definicin de unin
Definicin de rango
6 h ran Ta
Definicin de unin
ad
5. Sean 2 a 4ad y 2"a 4ad dos familias de clases con el mismo ndice de la clase b. Suponiendo
que b, a "a , demostrar que
a) h
ad
Demostracin:
a) ( h
ad
b) ( e
ad
h "a
b) e
ad
i b, (
ad
e "a
ad
Definicin de unin
i b, ( "j
Hiptesis
b, (
( h "a
ad
Definicin de unin
b, ( "a
Hiptesis
( e "a
ad
6. Sean 2 a 4ad y Q"j Rjk familias indexadas de clases. Demostrar lo siguiente

a) e
ad
a) (, 6) e
Demostracin:
ad
b) (, 6) h
ad
e "j =
jk
e
a,j)dk
e "j ( e
jk
ad
b) h
6 e "j
ad
h "j =
jk
b, i ], ( a 6 "j
, i) b ], (, 6) a "j
(, 6)
h "j ( h
jk
"j
ad
e
a,j)dk
a
"j
6 h "j
jk
o b, p ], ( q 6 "r
o, p) b ], (, 6) q "r
(, 6)
h
a,j)dk
"j
jk
h
a,j)dk
"j

7. Sean 2 a 4ad y Q"j Rjk familias indexadas de clases. Suponer que b, i ], "j
Demostrar que
Demostracin:
( e "j i ], ( "j
jk
e "j e
jk
ad
a.
b, (
(e
ad
Hiptesis
8. Sean 2 a 4ad y Q"j Rjk familias indexadas de clases. Demostrar que

a) h
ad
b) e
ad
h "j = h se
jk
ad
jk
jk
ad
jk
e "j = e sh
Demostracin:
a) ( h
ad
h "j ( h
jk
ad
(h
ad
a
a
lh "j m
Ley de Morgan
Ley distributiva
jk
jk
ad
jk
ad
jk
ad
(e
ad
a
a
le "j m
jk
h "j
Ley de Morgan
Ley distributiva
jk
jk
( e sh
ad
"j t
"j t
( e sh
ad
e "j
ad
e "j ( e
jk
( h se
a
"j t
( h se
b) ( e
"j t
jk
"j t
"j t
9. Se dice que una familia indexada de clases 2"a 4ad es una envoltura de si ad "a .
Suponga que 2"a 4ad y Q#j Rjk son dos envolturas distintas de . Demostrar que la familia
Q"a #j Ra,j)dk es una envoltura de .
Demostracin:
(
( h "a ( h #j
ad
jk
o b, p ], ( "q ( #r
o, p) b ], ( "q ( #r
o, p) b ], ( "q #r
(
h "a #j
a,j)dk
Por lo tanto Q"a #j Ra,j)dk es una envoltura de .
Definicin de envoltura
Definicin de unin
Definicin de unin
10. Sea = = 2v, , w4, > = 2w, (4, ? = 2w, 64, x = 2=, >4, ' = 2>, ?4 y y = 2x, '4. Encontrar las
clases y), y), y), y).
y = 2x, '4 = Q2=, >4, 2>, ?4R = PQ2v, , w4, 2w, (4R, Q2w, (4, 2w, 64RS
y = Q2v, , w4, 2w, (4, 2w, 64R

y) = 2v, , w, (, 64
y = Q2w, (4R
y) = 2w, (4
y) = 2w, (4
y) = 2w4
11. Demostrar que z ) = z) ).

Demostracin:
( z) ) ( z) ( )
#, ( # # z) ( # # )
#, ( # # z) ( # # )
#, ( # # z # )
#, ( # # z
( z )
P. D. ( z ) ( z) )
( z) ) ( [ z )]
( z )
#, ( # # z )
#, ( # # z )
( z )
( z ) ( z) )
Definicin de z
Definicin de disyuncin
Distributividad
Definicin de unin
Definicin de z
Ley de Morgan
Definicin de z
Definicin interseccin
Ejercicio 1.1.4(b)
12. Demostrar cada uno de los siguientes enunciados.

a) Si , entonces y .
b) z si y slo si z .
c) Si z, entonces z = .
Demostracin:
a) Por lo hiptesis que tiene ( ( . Como se parte de un existente, se puede
escribir: , ( , por lo tanto ( , con lo cual se demuestra que .
Tomando ( , esto significa que , ( , lo cual est garantizado por la hiptesis,
pero es una clase nica, por lo tanto ( , con lo cual se demuestra que .
b) ) Sea ( z, P. D. ( z ( .
( z #, ( # # z
Definicin de z
#, ( # #
Hiptesis
(
Definicin de z
) P. D. ( z (
# #, ( # #
#, ( # # z
#z
Ejercicio 1.1.4(b)
c) z Evidentemente.
Por definicin de z se tiene que ( z , ( z. Como la afirmacin es vlida
para todo conjunto z, por la hiptesis debe ser vlida para el vaco, por ende se tendra que
( , lo cual supone que cualquier es vaco. Finalmente z = .


Deber N 07
Ejercicios 1.7
1. Si y " son conjuntos, demuestre que " y + " son conjuntos.

Demostracin:
" = "
"
Teorema 1.20(ii)
Como es conjunto, por el Axioma A4, " es un conjunto.
+ " = ") " ). Debido al resultado anterior, " y " son conjuntos, pues y "
tambin lo son. Entonces, por el Axioma A5, ") " ) es un conjunto, por ende + " es
conjunto.
2. Si es una clase propia y ", demostrar que " es un clase propia. Concluir que la unin
de dos clases propias es una clase propia.
Demostracin:
es clase propia, por lo tanto no es conjunto, eso significa que #, #. Tomando ( , se tiene
#, ( #, pero como ", se tiene #, ( " " #, por lo tanto " no es un conjunto.
Finalmente, " es un clase propia.
Por el teorema 1.20(i), ", por lo tanto, si es una clase propia, gracias al resultado anterior,
" tambin es clase propia.
3. Demostrar que la Clase de Russell y que la clase universo son clases propias.
Demostracin:
La clase de Russell est formada por las clases que no son elementos de s mismas, esto implica, que
no pueden ser elementos, y por lo tanto, no pueden ser conjuntos, por lo que la clase de Russell es una
clase propia.
Obviamente, la clase universo no es elemento, ya que eso contradice su definicin, por lo tanto, es una
clase de Russell, y es una clase propia.
4. Sea 2 a 4ad una familia indexada de conjuntos. Demostrar que ad a es un conjunto.
Demostracin:
( ad a b, ( a
b, ad a ) a
Por el Axioma A4 se concluye que ad a es un conjunto.
5. Sea T un grafo. Demostrar que si T es un conjunto, entonces dom T y ran T son conjuntos.
Demostracin:
( dom T 6, (, 6) T
2(4,
2(,
6, Q
64R T
6, 2(, 64 T
Definicin de z
6, ( T) 6 T)
Definicin de z
( T)
Teorema 1.5(ii)
Entonces dom T T)
Por el axioma A5, dado que T es un conjunto, entonces T tambin es un conjunto, y nuevamente
por el axioma A5, T) es un conjunto. Por el axioma A4, se concluye que dom T es un conjunto.
6 ran T (, (, 6) T
Definicin de rango
(, Q2(4, 2(, 64R T
(, 2(, 64 T
Definicin de z
(, ( T) 6 T)
Definicin de z
6 T)
Teorema 1.5(ii)

Entonces ran T
T)
Por el axioma A5, dado que T es un conjunto, entonces T tambin es un conjunto, y nuevamente
por el axioma A5, T) es un conjunto. Por el axioma A4, se concluye que ran T es un conjunto.
6. Sean T y U grafos, Demostrar que si T y U son conjuntos, entonces T VW y T U tambin son

conjuntos.
Demostracin:
Como T es un conjunto, entonces por el resultado anterior ran T es tambin un conjunto. Luego, por
el teorema 1.37(ii), ran T = dom T VW , por lo tanto dom T VW es tambin un conjunto. Anlogamente
ran T VW es conjunto. T VW = dom T VW ran T VW . Finalmente por el teorema 1.53, T VW es un
conjunto.
Por el teorema 1.37 (iii), se sabe que dom T U dom U, pero como U es conjunto, dom U tambin
es conjunto, entonces el axioma A4 garantiza que dom T U es un conjunto. Anlogamente, ran T
U es un conjunto. Debido a este hecho, y T U es un conjunto.
7. Sea x = 2=, >4, ' = 2>, ?4, y = 2', x4. Encontrar los conjuntos ~x), ~[~x)] y ~ y).
~x) = Q, 2=4, 2>4, 2=, >4R
, Q2=4R, Q2>4R, Q2=, >4R, 24, Q2=4, 2>4R, Q2=4, 2=, >4R, Q2>4, 2=, >4R,
~[~x)] =
Q2=4, 2>4, 2=, >4R, Q2=4, 2=, >4, R, Q2>4, 2=, >4, R, Q2=4, 2>4, 2=, >4, R
y = 2=, >, ?4
~ y) = Q, 2=4, 2>4, 2?4, 2=, >4, 2=, ?4, 2>, ?4, 2=, >, ?4R
8. Sean y " conjuntos, Demuestre lo siguiente:

a) " si y slo si ~ ) ~")
b) = " si y slo si ~ ) = ~")
c) ~ ) ~") = ~ ")
d) ~ ) ~") = ~ ")
e) " = si y slo si ~ ) ~") = 24
Demostracin:
a) )
2(4 ~ ) (
("
2(4 ~")
)
( 2(4 ~ )
2(4 ~")
("
b) = " " "
~ ) ~") ~") ~ )
~ ) = ~")
2(4
c)
~ ) ~") 2(4 ~ ) 2(4 ~")
( ( "
( "
2(4 ~ ")
2(4
)
d)
~ ~") 2(4 ~ ) 2(4 ~")
( ( "
( "
2(4 ~ ")
e) )
~ ) ~") = ~ ")
= ~)
Definicin de conjunto potencia

Hiptesis
Hiptesis
Teorema 1.11(iv)
Resultado anterior
Teorema 1.11
Definicin de unin
Definicin de unin
Resultado anterior
Hiptesis
= 24
)
"
Teorema 1.17(i)
" ~ ") 24
Resultado anterior
Pero por hiptesis ~ ") = 24, por lo tanto ~ ") 24 y finalmente " de lo que
se concluye que " = .
9. Si y son conjuntos, demostrar lo siguiente.

a) ~) =
b) Si ~ ) ~), entonces
Demostracin:
a) ( ~) ", ( " " ~)
", ( " "
(
b) ~ ) ~) ~ )

10. Exhibir los conjuntos ~~) y ~~~).

~) = 24
~~) = Q, 24R
~~~) = P, 24, Q24R, Q, 24RS
Definicin de


Deber N 08
Ejercicios 2.2
1. Demostrar que las funciones introducidas entre 2.10 y 2.14 califican como funciones bajo la
definicin 2.1.
Demostracin:
2.10. Funcin identidad: b : dada por b () = (, ( .
F1. ( , 6 " t.q. (, 6) b
Siendo 6 = ( y = " se satisface puesto que:
( , ( t.q. (, () b es verdadera.
F2. Si (, 6W ) b y (, 6 ) b , entonces 6W = 6 .
Se tiene que b () = ( = 6W = 6 , por lo tanto se cumple F2.
2.11. Funcin constante: ^ : ", > ", dada por ^ () = >, ( .
F1. ( , 6 " t.q. (, 6) ^
Siendo 6 = > se satisface puesto que:
( (, >) ^ .
F2. Si (, 6W ) ^ y (, 6 ) ^ , entonces 6W = 6 .
Para todo ( en se tiene que 6W = 6 = >. Por lo que se satisface F2.
2.12. Funcin inclusin: _ : " , " , dada por _ () = (, ( ".
F1. ( ", 6 t.q. (, 6) _
Siendo 6 = ( se satisface puesto que:
( ", ( t.q. (, () _ es verdadera.
F2. Si (, 6W ) _ y (, 6 ) _ , entonces 6W = 6 .
Se tiene que _ () = ( = 6W = 6 , por lo tanto se cumple F2.
2.13. Funcin caracterstica: Sea $ = 20,14, y " . Es la funcin #_ : $ dada por
0 si ( ",
#_ = P
(
1 si ( ",
F1. ( , 6 $ t.q. (, 6) #_
Siendo 6 = 0 o 6 = 1 se satisface puesto que:
( (, 0) #_ o (, 1) #_ es verdadera.
F2. Si (, 6W ) #_ y (, 6 ) #_ , entonces 6W = 6 .
Si ( ", se tiene 6W = 6 = 0, y en caso contrario, se tiene 6W = 6 = 1 por lo tanto se satisface F2.
2.14. Restriccin de una funcin: Sea : " una funcin y # , es la funcin [`] : # " dada
por [`] () = (), ( #.
Dado que : " es funcin y siendo # subclase de , se cumplen F1 y F2 para [`] : # ".
2. Demostrar que si : " es un funcin inyectiva y # , entonces [`] : # " es una
funcin inyectiva.
Demostracin:
Por el ejercicio anterior [`] : # " es funcin, por lo tanto se debe demostrar que es inyectiva.
P. D. si (W , 6) [`] y ( , 6) [`] entonces (W = ( .
(W , ( # (W , ( puesto que # , entonces como es inyectiva, entonces (W , 6) y
( , 6) , y se tiene que (W = ( . Por lo tanto [`] : # " es inyectiva puesto que : " es
inyectiva y # .
3. Sea una clase y sea = Q(, (, ()|( R. Mostrar que es una funcin biyectiva de
en b .
Demostracin:
P. D. : b es una funcin biyectiva.
Primeramente se demostrar que se trata en efecto de una funcin.
Se sabe por 2.10 que b : es la funcin identidad dada por b = 2(, ()|( 4
i.
P. D. Si (, 6W ) y (, 6 ) entonces 6W = 6 .
(, 6W ) significa () = 6W = (, () por definicin. Anlogamente 6 = (, () por lo
tanto 6W = 6 . Se satisface F2.
ii.
Como : b , entonces dom = .
iii.
6 ran (, () ran (, () b por definicin de funcin identidad.
Por teorema 2.3, se concluye que : b es una funcin.
Adems por (iii) se concluye que : b es sobreyectiva ya que ran = b .
P. D. : b es una funcin inyectiva.
P. D. Si (W , 6) y ( , 6) entonces (W = ( .
Sea 6 = () = (, (), entonces (W ) = (, () y ( ) = (, () de donde por definicin ( = (W =
( . Por lo tanto es una funcin inyectiva.
4. Sean : " y : " funciones. Demostrar que si entonces = .
Demostracin:
Sea (, 6) ( dom 6 ran
Puesto que es funcin
( 6 "
Teorema 2.3
( dom 6 "
Puesto que es funcin
6 ", ( dom 6 ran
Puesto que
(, 6)
Entonces y como por hiptesis, entonces = .
5. Sean :
sigue:
" y : # $ funciones. El producto de y es la funcin definida como
)(, 6) = (), 6) para cada (, 6) #

Demuestre que es una funcin de # en " $. Demostrar que si y son
inyectivas entonces es inyectiva, y que si y son sobreyectivas entonces es
sobreyectiva. Demostrar que ran ) = ran ) ran ).
Demostracin:
o Sean (, w) y 6, 7) , significa que w = () y 7 = 6).
i.
Sea (W , 6W ) = ( , 6 ) P. D. )(W , 6W ) = )( , 6 )
(W , 6W ) = ( , 6 ) (W = ( 6W = 6 Por teorema 1.30
)(W , 6W ) = (W ), 6W )
Por definicin
= ( ), 6 )
Puesto que y son funciones
= )( , 6 )
Por definicin
Se satisface F2
(, 6) dom ) ( dom 6 dom
ii.
Por definicin
( 6 #
(, 6) #
Entonces dom ) = #
w, 7) ran ) (), 6) ran )
iii.
() ran 6) ran
Definicin
() " 6) $
(), 6) " $
w, 7) " $
Entonces ran ) " $
Por el teorema 2.3 se concluye que : # " $ es funcin.
o Sean y funciones inyectivas P. D. ) es inyectiva.
P. D. Si )(W , 6W ) = )( , 6 ) entonces (W , 6W ) = ( , 6 )
)(W , 6W ) = (W ), 6W )
)( , 6 ) = ( ), 6 )
Como )(W , 6W ) = )( , 6 ) entonces (W ), 6W ) = ( ), 6 )
Por teorema 1.30 se tiene (W ) = ( ) y 6W ) = 6 ), y como y son inyectivas se establece
que (W = ( y que 6W = 6 , entonces nuevamente por el teorema 1.30 se concluye (W , 6W ) = ( , 6 )
Por lo tanto ) es inyectiva.
o Sean y funciones sobreyectivas P. D. ) es sobreyectiva.
P. D. w, 7) " $, (, 6) # t.q. w, 7) = )(, 6)
w, 7) " $ w " 7 $
w ran 7 ran
Puesto que y son sobreyectivas
( , 6 #, w = () 7 = 6)
Definicin de funcin sobreyectiva
w,
(, 6) #,
7) = (), 6)
Def. producto cartesiano, teo. 1.30
(, 6) #, w, 7) = )(, 6)
Definicin de producto de y
Concluyendo, si y son sobreyectivas, entonces ) es sobreyectiva.
De los dos ltimos incisos se puede concluir que si y son biyectivas, su producto tambin es
biyectivo.
o P. D. ran ) = ran ) ran )
w, 7) ran ) (, 6), (, 6), w, 7)
Definicin de rango
(, 6), )(, 6) = w, 7)
(, 6), (), () = w, 7)
Definicin de producto de y
(, 6), w = () 7 = 6)
Teorema 1.30
w ran 7 ran
Pues y son funciones
(, 6) ran ) ran )
6. Si : " # es una funcin, demuestre que = [_] [`].

Demostracin:
(, 6) ( dom 6 ran
Definicin de funcin
( " # 6 ran
Teorema 2.3
( " ( #) 6 ran
Definicin de unin
( " 6 ran ) ( # 6 ran )
Distributividad
Definicin de restriccin de
(, 6) [_] (, 6) [`]
(, 6) [_] [`]
Definicin de unin
7. Sean W : " y : # $ funciones biyectivas, donde # = y " $ = . Sea

= W ; demostrar que : # " $ es una funcin biyectiva.
Demostracin:
P. D. Si (W ) = ( ) entonces (W = ( .
Como # = y " $ = entonces = W = .
Basados en el resultado del ejercicio anterior: W = [] y = [`].
i.
() = W () W (W ) = W ( ) (W = ( puesto que W es inyectiva.
ii.
() = () (W ) = ( ) (W = ( puesto que es inyectiva.
Entonces es inyectiva.
ran = ranW ) = ran W ran = " $ puesto que W y son sobreyectivas.
Entonces es biyectiva.
8. Sean : "
y : #
funciones, y suponer que [_`] = [_`]. Si = ,
demostrar que : " # es una funcin, = [_] y = [`] .
Demostracin:
i.
P. D. Si (W = ( entonces (W ) = ( ). Se analizarn tres casos:
a) (W = ( " #. Aqu = y como es funcin se tiene: (W ) = ( ). Entonces
(W ) = ( ).
b) (W = ( # ". Se tiene = , de modo que (W ) = ( ). Finalmente (W ) =
( ).
c) (W = ( " #. Se tiene que = [_`] = [_`], por lo tanto [_`] (W ) = [_`] ( )

y finalmente (W ) = ( ).
De aqu se concluye que satisface F2.
ii.
dom = dom ) = dom ) dom ) = " #
iii.
ran = ran ) = ran ) ran ) =
ran
Por el teorema 2.3 se concluye que : " # es funcin.
Se puede definir de la siguiente manera:
() si ( "
() =
, y como [_`] = [_`], la funcin est perfectamente definida.
() si ( #
De aqu se concluye que = [_] y = [`] .
9. Sea : " una funcin; demostrar que est en correspondencia uno a uno con .
Demostracin:
Se debe demostrar que existe una funcin biyectiva : .
Sea ( = 6, 7) , 6 , 7 ", definimos : como la funcin dada por () = 6, 7) = 6.
Puesto que es funcin se tiene que 6, 7W ) y 6, 7 ) implican 7W = 7 .
P. D. (W ) = ( ) implica (W = ( .
Sean (W = 6W , 7W ) y ( = 6 , 7 ), entonces con (W ) = ( ), se tiene 6W = 6 , lo cual implica
que 7W = 7 puesto que satisface F2 al ser funcin. Entonces se tiene que 6W , 7W ) = 6 , 7 ) de
donde (W = ( .
Entonces se concluye que es inyectiva.
Luego, como () = 6, 6 dom y 6 ran , se concluye que ran = , por lo tanto es
sobreyectiva. Se concluye que : es una funcin biyectiva.
Finalmente, existe una funcin biyectiva que relaciona con por lo que est en correspondencia
uno a uno con .
10. Si T es un grafo funcional, mostrar que toda subclase de T es un grafo funcional.
Demostracin:
T es un grafo funcional ssi (, 6W ) T (, 6 ) T 6W = 6 .
Sea U T, P. D. (, 6W ) U (, 6 ) U 6W = 6 .
(, 6W ) U (, 6 ) U (, 6W ) T (, 6 ) T
6W = 6
Pues T es grafo funcional
Entonces toda subclase de T es un grafo funcional.
11. Sea T un grafo. Demostrar que T es un grafo funcional si y slo si para grafos arbitrarios U y
], U ]) T = U T) ] T).
Demostracin:
)
Sea T un grafo funcional: (, 7W ) T (, 7 ) T 7W = 7
(, 6) U ]) T 7, (, 7) T 7, 6) U ]
Definicin de composicin
7, (, 7) T 7, 6) U 7, 6) ]
7, (, 7) T 7, 6) U (, 7) T 7, 6) ] Teorema 1.8 Hiptesis
(, 6) U T (, 6) ] T
(, 6) U T) ] T)
)
(, 6W ) T (, 6 ) T 7, 6W , 7) U ]) T 6 , 7) U ]) T
7, 6W , 7) U T) ] T) 6 , 7) U T) ] T)
7, 6W , 7) U T) 6W , 7) ] T)6 , 7) U T) 6 , 7) ] T)
7, w, 6W , w) T w, 7) U 6 , w) T w, 7) U
w, 6W , w) T 6 , w) T
6W = 6
12. Sea T un grafo funcional. Demostrar que T es inyectivo si y slo si para grafos arbitrarios ] y
U, T U ]) = T U) T ]).
Demostracin:
T U ]) T U) T ])
Ejercicio 1.5.4(c)
(, 6) T U) T ]) (, 6) T U) (, 6) T ])
7, (, 7) U 7, 6) T 7, () ]
Def. composicin, hiptesis
(, 6) T U ])
Def. composicin


Deber N 09
Ejercicios 2.3
1. Sea : " una funcin. Demuestre que b_ = y b = .

Demostracin:
(, 6) b_ 7, (, 7) 7, 6) b_
(, 6) 6, 6) b_
Definicin de funcin identidad
(, 6)
Teorema 1.5(ii)
(, 6) b 7, (, 7) b 7, 6)
Definicin de funcin identidad
(, () b (, 6)
(, 6)
Teorema 1.5(ii)
2. Suponer que : " y : " # son funciones. Demostrar que si es inyectiva,

entonces es inyectiva; demostrar que si es sobreyectiva, entonces es sobreyectiva.
Concluir que si es biyectiva, entonces es inyectiva y sobreyectiva.
Demostracin:
inyectiva, entonces )(W ) = )( ) (W = (
(W ) = ( ) (W ) = ( ) (W = (
Por lo tanto es inyectiva.
sobreyectiva, entonces 6 #, ( t.q. 6 = )()
6 = () pero () ", entonces 6 #, 7 " t.q. 6 = 7)
Por lo tanto es sobreyectiva.
biyectiva ssi es inyectiva, y es sobreyectiva. Si es inyectiva entonces es inyectiva,
y si es sobreyectiva entonces es sobreyectiva. Por lo tanto si es biyectiva, entonces es
inyectiva y es sobreyectiva.
3. Dar un ejemplo que muestre que el recproco de la ltima afirmacin del ejercicio 2 no se
cumple.
Se necesita ejemplificar una funcin que sea inyectiva y una funcin que sea sobreyectiva de
modo que no sea biyectiva.
En el grfico se puede notar que es inyectiva, y que es sobreyectiva, sin embargo, no es

biyectiva, por lo que el recproco de la ltima afirmacin del ejercicio anterior es falso.
4. Sean : " y : " funciones. Suponer que 6 = () si y slo si ( = 6).

Demuestre que es invertible y que = VW .
Demostracin:
( = 6) = () = )() = b ()
6 = () = 6) = )6) = b_ 6)
Entonces por los teoremas 2.23 y 2.24 se concluye que es invertible y que = VW .
5. Sean : " # y : " # funciones. Suponer que = para toda funcin : ".
Demostrar que = .
Demostracin:
=
Hiptesis
(, 6) (, 6)
7, (, 7) 7, 6) 7, (, 7) 7, 6)
7,
7,
7, 6) 7, 6)
Teorema 1.5(ii)
=
6. Suponer que : " y : " son funciones. Sea # un conjunto con ms de un elemento;
suponer que = para cada funcin : " #. Demostrar que = .
Demostracin:
=
Hiptesis
(, 6) (, 6)
7, (, 7) 7, 6) 7, (, 7) 7, 6)
7, (, 7) 7, (, 7)
Teorema 1.5(ii)
=
7. Sea : " # una funcin. Demostrar que es inyectiva si y solo si para cada par de
funciones : " y : ", = = .
Demostracin:
) Suponiendo que es inyectiva.
(, 6) 7, (, 6) 6, 7)
es inyectiva
7, (, 7)
7, (, 7)
Hiptesis
(,
6,
7,
6)
7)
(, 6)
es inyectiva
) Suponiendo que = =
(W , 6) ( , 6) 7, 7, (W ) 7, ( ) (W , 6) ( , 6)
7, 7, (W ) 7, ( ) (W , 6) ( , 6)
7, 7, (W ) 7, ( ) 7, (W ) 7, ( )
7, 7, (W ) 7, ( )
Hiptesis
(W = (
Definicin de funcin
8. Sea : " una funcin. Demostrar que es sobreyectiva si y slo si, para cada par de
funciones : " # y : " #, = = .
Demostracin:
) Suponiendo que es sobreyectiva.
(, 6) 7, 7, () (, 6)
es sobreyectiva
7,
7, ()
7, 7, ()
Hiptesis
7, 7, () (, 6)
(, 6)
es sobreyectiva
) Suponiendo que = =
: #, = =
Hiptesis
Para que se d la igualdad es necesario que 6 ", ( t.q. 6 = () y as estn igualmente
definidas y , por lo tanto es sobreyectiva.
9. Sean : # y : " funciones. Demostrar que existe una funcin : " # tal que
= si y slo si (, 6 , () = 6) () = 6). Demostrar que es nica.
Demostracin:
) Suponemos que existe tal que = , P. D. (, 6 , () = 6) () = 6)

Sean 7 = () 7 = 6), de este modo () = 6). Ahora se obtiene la imagen bajo de 7.
7) = () 7) = 6) 7) = )() = )6) () = 6)
) Suponemos que (, 6 , () = 6) () = 6). P. D. Existe tal que = .
Puesto que son funciones, debe satisfacer F2, entonces, al existir , se tiene que () =
6) y por lo tanto se satisface () = 6).
Para probar la unicidad, supondremos que existen dos funciones, y luego demostraremos que estas
son iguales.
Sean W y tales que = W y = , entonces se tiene que:
() = 6) () = 6)
Hiptesis
W )() = )6)
Hiptesis
W () = 6)
W () = ()
Hiptesis
W =
10. Sea : # y : " funciones y suponer que es biyectiva. Demostrar que existe
: # " tal que = si y slo si ran ran . Demostrar que es nica.
Demostracin
) Suponemos que existe tal que = . P. D. ran ran .
6 ran 6 ran )
Hiptesis
( #, (, 6)
Definicin de rango
( #, 7 ", (, 7) 7, 6)
7 , 7, 6)
Teorema 1.5(ii)
6 ran
Definicin de rango
) Suponemos ran ran . P. D. existe tal que = .
Por el Teorema 1.37(iv) se garantiza este resultado.
Suponiendo que existen W y tales que = W y = , se tiene:
() = () W () = ()
Hiptesis
Pues es biyectiva
W () = ()
11. Sea : " una funcin, y sea # . Demostrar que [`] = ` , donde ` es la funcin
inclusin de # en .
Demostracin
(, 6) [`] (, 6) ( #
Definicin de funcin restriccin
(, 6) ( # ( #
Teorema 1.8 (iv)
(, 6) (, () `
Definicin de funcin inclusin
(, () ` (, 6)
Conmutatividad
(, 6) `


Deber N 10
Ejercicios 2.4
1. Suponer que : " es una funcin, # y $ ".

a) Demostrar que # #)
b) Demostrar que $) $.
Demostracin
a) ( # 6, (, 6) ( #
Hiptesis
6, 6 #) 6 = ()
Definicin de imagen directa
( #)
Definicin de imagen inversa
b) 6 $) (, ( $) 6 = ()
(, ( () $ 6 = ()
6$
Teorema 1.5(iv)
2. Suponer que : " es una funcin, # y $ ".

a) Si es inyectiva, demostrar que # = #).
b) Si es sobreyectiva, demostrar que $ = $).
Demostracin
a) Por el ejercicio anterior se tiene que # #). Se demostrar que #) # cuando es
inyectiva.
( #) ( () #)
( ( #
es inyectiva
(#
Teorema 1.5(iv)
b) Se tiene por el ejercicio anterior que $) $. Se demostrar que si es sobreyectiva,
entonces $ $)
6 $ (, 6 $ 6 = ()
Pues es sobreyectiva
(, ( $) 6 = ()
6 $)
3. Sea : " una funcin. Demostrar lo siguiente.

a) Suponer # y $ ; si es inyectiva, entonces #) = $) # = $.
b) Suponer # " y $ "; si es sobreyectiva, entonces #) = $) # = $.
Demostracin
a) ( # ( #)
Ejercicio 2(a)
( $)
Hiptesis
($
Ejercicio 2(a)

b) 6 # 6 #)
Ejercicio 2(b)
6 $)
Hiptesis
6$
Ejercicio 2(b)
4. Sea : " una funcin. Demostrar lo siguiente:
a) Si es inyectiva, entonces es biyectiva.
b) Si es sobreyectiva, entonces es biyectiva.
Demostracin
a) Suponiendo #) = $), P. D. # = $
Como #) = #), por el ejercicio 2(a) se tiene que # = $ ya que es inyectiva. Por lo
tanto es inyectiva. Adems #) = # por lo tanto es tambin sobreyectiva. Finalmente
es biyectiva.
b) Nuevamente, por el ejercicio 2(b), es inyectiva, puesto que es sobreyectiva, adems
#) = #, por lo tanto es sobreyectiva, de lo que se concluye que es biyectiva.
5. Suponer que : " es una funcin; sea # .
#)R = #)
a) Demostrar que Q
b) Utilice el resultado de (a) para demostrar que = .
Demostracin
a) 6 Q #)R (, ( #) 6 = ()
(, () #) 6 = ()
6 #)
b) $) = $)
Teorema 1.35(i)
= Q $)R
Notacin 2.18
= $)
Como $ es una subclase arbitraria de se tiene que el resultad es = .
6. Sea : " un funcin. Demostrar:

a) Si es inyectiva, entonces es inyectiva.
b) Si es sobreyectiva, entonces es sobreyectiva.
c) Si es biyectiva, entonces es biyectiva.
Demostracin
a) Si #) = $), por demostrar que # = $
( # 6, 6 #) 6 = ()
Definicin de imagen directa, inyectiva
6, 6 $) 6 = ()
Hiptesis
($
Definicin de imagen directa, inyectiva
b) Como es sobreyectiva, entonces ran = ", por lo tanto 6 ", ( t.q. 6 = (), y esto
corresponde a la definicin de , para todos los elementos de , por lo tanto es sobreyectiva.
c) Por (a) y (b), si es inyectiva y sobreyectiva, es biyectiva, y ello implica que es inyectiva y
sobreyectiva, y por lo tanto es biyectiva.
7. Sea : " una funcin. Demostrar:
a) Si es inyectiva, entonces es sobreyectiva.
b) Si es sobreyectiva, entonces es inyectiva.
c) Si es biyectiva, entonces es biyectiva.
Demostracin
a) ( ") ( () "
(
Hiptesis
b) ") = $) " = $
() " ( ")
( $)
Hiptesis
() $
c) De (a) y (b) se concluye que es biyectiva cuando es inyectiva y sobreyectiva, es decir, es
inyectiva.
8. Sea : " una funcin. Demostrar que # $) = #) $) para cada par de
subclases # y $ si y slo si es inyectiva.
Demostracin
) Sea # $) = #) $), P.D. es inyectiva.
P. D. () = 6) ( = 6
Es sabido que # $) #) $), pero la hiptesis dice adems que #) $) # $)
de donde si () = 6), y ambas son elementos de #) $), lo sern de # $), entonces se
tiene que ( = 6, caso contrario, esto no sera posible.
) Si es inyectiva P. D. # $) = #) $)
6 # $) ( # $, 6 = ()
(, ( # ( $ 6 = ()
6 #) 6 $)
Hiptesis
6 #) $)
9. Suponer que :
" es una funcin, # " y $ ". Demostrar que

# $) = #) $)
Demostracin
# $) = # $)
= #) $)
( $) ( () $
( () $
( $)
( $)
# $) = #) $)
= #) $)
Teorema 2.31(iii)
Resultado anterior
10. Sea : " una funcin. Demostrar lo siguiente:

a) Si # y $ , entonces #) $) # $).
b) #) $) = # $) para todo par se subclases # y $ si y slo si es
inyectiva.
Demostracin
a) 6 #) $) 6 #) $)
6 #) 6 $)
6 #) 6 $)

6 #) $)
6 # $)
Teorema 1.31(iv)
6 # $)
b) ) Suponiendo que es inyectiva. P. D. # $) = #) $)

#) $) # $) es verdadero por el inciso (a)
6 # $) 6 # $)
6 #) $)
Hiptesis
6 #) 6 $)
6 #) 6 $)
6 #) $)
6 #) $)
) Suponiendo que # $) = #) $), sean () = 6), probar que ( = 6..
Tanto () como 6) son elementos de la imagen directa, y como () = 6), entonces se tiene
que ambos provienen de una pre-imagen, ( e 6, pero como se satisface # $) = #) $),
esto implica que ( = 6 de otro modo () = 6) no podra ser posible.


Deber N 11
Ejercicios 2.5 Ejercicio seccin 6
1. Sea = 21,2,34, " = 2=, >4. Encontrar _ , " . 2 y ~ ).

Desarrollo
2=, 1), >, 1)4, 2=, 2), >, 2)4, 2=, 3), >, 3)4, 2=, 1), >, 2)4, 2=, 1), >, 3)4,
_
=
2=, 2), >, 1)4, 2=, 2), >, 3)4, 2=, 3), >, 1)4, 2=, 3), >, 2)4
21, =), 2, =), 3, =)4, 21, >), 2, >), 3, >)4, 21, =), 2, =), 3, >)4, 21, =), 2, >), 3, >)4,
" =
21, >), 2, =), 3, =)4, 21, >), 2, >), 3, =)4, 21, =), 2, >), 3, =)4, 21, >), 2, =), 3, >)4
21,1), 2,1), 3,1)4, 21,0), 2,0), 3,0)4, 21,1), 2,1), 3,0)4, 21,1), 2,0), 3,0)4,
2 =
21,0), 2,1), 3,1)4, 21,0), 2,0), 3,1)4, 21,1), 2,0), 3,1)4, 21,0), 2,1), 3,0)4
~ ) = Q, 214, 224, 234, 21,24, 21,34, 22,34, 21,2,34R
2. Suponer que 2"a 4ad es una familia de subconjuntos de . Demostrar que
"a
ad
Demostracin
ad "a b, : b ad "a es funcin ) "a
b, : b es funcin )
: b es funcin
d
Definicin de producto
Hiptesis
Teorema 1.5(ii)
Definicin de d
3. Suponer que 2 a 4ad y 2"a 4ad son familias de conjuntos con el mismo conjunto de ndices b.
Mostrar que si a "a , b, entonces
ad
"a
ad
Demostracin
ad a b, : b ad a es funcin ) a
b, : b ad "a es funcin ) "a
ad "a
Ejercicio 1.6.5(a), Hiptesis
4. Suponer que 2 a 4ad y 2"a 4ad son familias de conjuntos no vacos con el mismo conjunto de
ndices b. Demostrar que si
ad
"a
ad
entonces a "a , b.
Demostracin
( a , : b ad a funcin ( = ) a
, : b ad a funcin ( = ) a ( = )
ad a ( = )
ad "a ( = )
, : b ad "a funcin ( = ) "a ( = )
( "a
Se estable funcin
Teorema 1.8(iv)
Hiptesis
Teorema 1.5(ii)
5. Suponer que 2 a 4ad y 2"a 4ad son familias de conjuntos con el mismo conjunto de ndices b.
Demostrar que
f
ad
ag
f "a g =
ad
ad
"a )
Demostracin
ad a ) ad "a ) ad a ad "a
b, : b ad a : b ad "a
son funciones ) a ) "a
b, : b ad a ) ad "a ) es
funcin ) a "a
b, : b ad a "a ) es funcin
) a "a
ad a "a )
6. Sean 2 a 4ad y Q"j R
jk
Ley distributiva
familias de conjuntos. Demostrar lo siguiente:
a) ad a ) jk "j = a,j)dk a "j

b) ad a ) jk "j = a,j)dk a "j
Demostracin
a) ad a ) jk "j ad a jk "j
b, i ], : b ad a : ] jk "j
son funciones ) a i) "j Definicin de producto
, i) b ], : b ad a : ] jk "j
son funciones ) a i) "j Def. de producto cartesiano
, i) b ], : b ] ad a ) jk "j
es funcin , i) a "j
, i) b ], : b ] a,j)dk a "j )
es funcin , i) a "j
Teorema 1.42(i)
a,j)dk a "j
b) ad a ) jk "j ad a jk "j
Definicin de unin
b, i ], : b ad a : ] jk "j
son funciones ) a i) "j Definicin de producto
, i) b ], : b ad a : ] jk "j
son funciones ) a i) "j Def. de producto cartesiano
, i) b ], : b ] ad a ) jk "j
es funcin , i) a "j
Definicin de unin
, i) b ], : b ] a,j)dk a "j )
es funcin , i) a "j
Asociatividad de la unin
a,j)dk a "j
7. Sea 2 a 4ad una familia de conjuntos, y para cada b, sea "a un subconjunto de
Demostrar que:
e y "a ) = "a
ad
ad
a.
Demostracin
ad y "a ) b, y "a )
b, ya ) "a
b, ) "a
Definicin de funcin proyeccin
ad "a
Observacin, al trabajar la expresin, se da por entendido que est definida de b en ad "a .
8. Sea 2 a 4ad una familia indexada, y sea
ad
Si " , sea "a = y ") para todo b. Demostrar que

Demostracin
" b, ) y ")
b, ) "a
ad "a
" "a
ad
9. Demostrar que ` "` ")` .

Demostracin
` "` ` "`
: # : # "
dom = # ran ran ")
dom = # ran ~ ) ran ~")
dom = # ran ~ ) ~")
dom = # ran ~ ")
dom = # ran "
: # "
")`
10. Demostrar que ` "` = ")` .
Demostracin
` "` ` "`
dom = # ran ran "
dom = # ran ~ ) ran ~")
dom = # ran ~ ) ~")
dom = # ran ~ ")
dom = # ran "
")`
Definicin de proyeccin
Hiptesis
Definicin de unin
Definicin de _
Definicin de dom y ran
Def. conjunto potencia
Definicin de unin
Propiedad
Def. conjunto potencia
Definicin de dom y ran
Definicin de _
Definicin de _
Propiedad del conjunto potencia
Definicin de _
11. Demostrar que ` "` = ")` .

Demostracin
` "` ` "` )+
`
`
" )
` "`
dom = # ran ran "
Definicin de _
dom = # ran ~ ) ran ~") Definicin de conjunto potencia
dom = # ran ~ ) ran ~") Definicin de complemento
dom = # ran ~ ) ran ~") Propiedad del conjunto potencia
dom = # ran ~ ) ~")
dom = # ran ~ ")
Propiedad del conjunto potencia
dom = # ran "
")`
Definicin de _
")`
12. Demostrar que si y " son conjuntos, entonces
Demostracin
_ : " es funcin
"
_
"
es un conjunto.
Definicin de _
Caracterstica de una funcin
Pero por el Teorema 1.53 Dado que y " son conjuntos, entonces
A3, _ es conjunto, pues es subclase de un conjunto.
" es conjunto, y por el axioma
13. Sea 2 a 4ad una familia indexada; suponer que b es un conjunto, que cada a es un conjunto, y
que 2 a | b4 es un conjunto. Demostrar que ad a es un conjunto.
Demostracin
Por el axioma A5 (axioma de la unin), si b, a es un conjunto, entonces = ad a tambin es
un conjunto. Adems, de esto se tiene que b, a . Por lo tanto, segn el resultado del ejercicio
2, se tiene que ad a d . Entonces segn el ejercicio 12, d es un conjunto, por lo que se tiene que
ad a es subclase de un conjunto. De esto se concluye que ad a es un conjunto.
Ejercicio seccin 6
Mostrar que el Axioma A3 proviene del Axioma A7. As, el Axioma A3 puede ahora ser eliminado.
A3 Si = y > son conjuntos, entonces 2=, >4 es un conjunto.
A7 Si es un conjunto y : " es una funcin sobreyectiva, entonces " es un conjunto.
Se sabe que ", como es un conjunto, y al ser sobreyectiva, " es un conjunto, entonces
tambin es un conjunto, puesto que " sera un conjunto, y es subclase de ", entonces,
cualquier par de ser un conjunto, que es lo que implica el Axioma A3.

Ejercicios 3.2

Deber N 12
1. Cada uno de los siguientes describe una relacin en el conjunto de los enteros. Determinar
si cada uno tiene alguna de las siguientes propiedades: reflexiva, simtrica, antisimtrica,
transitiva, irreflexiva, asimtrica, intransitiva. Determinar si es una relacin de equivalencia,
una relacin de orden, o ninguna de ellas. Demostrar su respuesta en cada caso.
a) T = 2(, 6)|( + 6 < 3 4
b) T = 2(, 6)| ( divide a 64
c) T = 2(, 6)| ( y 6 son coprimos4
d) T = 2(, 6)| ( + 6 es un nmero par4
e) T = 2(, 6)| ( = 6 o ( = 64
f) T = 2(, 6)| ( + 6 es par y ( es mltiplo de 64
g) T = 2(, 6)| 6 = ( + 14
Desarrollo
a)
Reflexiva: P. D. ( , (, () T
(, () T ( + ( < 3 No se cumple. Sea ( = 2, se tiene 2 + 2 = 4 3. Por lo tanto no es una
relacin reflexiva.
Simtrica: P. D. (, 6) T 6, () T
(, 6) T ( + 6 < 3 6 + ( < 3 6, () T Por lo tanto la relacin es simtrica.
Antisimtrica: P. D. (, 6) T 6, () T ( = 6
No se cumple. Sea ( = 0 y 6 = 1, 1 + 0 = 0 < 3, pero 1 0 por lo tanto T no es antisimtrica.
Transitiva: P. D. (, 6) T 6, 7) T (, 7) T
No se cumple. Sean ( = 2, 6 = 0 y 7 = 1. 2,0) T pues 2 + 0 = 2 < 3, 0,2) T pues 0 + 1 =
1 < 3 y 2,1) T pues 2 + 1 = 3 3. Entonces no es transitiva.
Irreflexiva: P. D. ( , (, () T
No se cumple Sea ( = 1, 1 + 1 = 2 < 3 Por lo tanto T no es irreflexiva.
Asimtrica: P. D. (, 6) T 6, () T
No se cumple, sea ( = 0, 6 = 1, se tiene 0 + 1 = 1 < 3 y 1 + 0 = 1 < 3 por lo tanto, (, 6) y 6, ()
son elementos de T. Entonces T no es asimtrica.
Intransitiva: P.D. (, 6) T 6, 7) T (, 7) T
No se cumple. Sean ( = 0, 6 = 1, 7 = 1, se tiene (, 6) T pues 0 + 1 = 1 < 3, 6, 7) T pues
1 1 = 0 < 3 y adems (, 7) T pues 0 1 = 1 < 3. Por lo tanto T no es intransitiva.
No es relacin de equivalencia ni de orden ni de orden estricto puesto que no es transitiva.
b)
No se cumple. Sea ( = 0, 0 no divide a 0. Por lo tanto no es reflexiva.
Simtrica: P. D. (, 6) T 6, () T
No se cumple. Sea ( = 2, 6 = 4 2,4) T pues 2 divide a 4, pero 4 no divide a 2, por lo tanto
4,2) T. T no es simtrica.
No se cumple. Sea ( = 1 y 6 = 1 ( divide a 6 y 6 divide a (, pero 1 1 Por lo tanto no es
antisimtrica.
(, 6) T 6, 7) T x, N , 6 = x( 7 = N6 7 = xN( (, 7) T. T es transitiva.
No se cumple. Sea ( = 1, ( divide a (, por lo tanto no es irreflexiva.
No se cumple, si ( = 6 = 1, 1,1) T. T no es asimtrica
No se cumple, sea ( = 2, 6 = 6 y 7 = 12, 2 divide a 6, 6 divide a 12 y 2 divide a 12. Por lo tanto
(, 6), 6, 7) y (, 7) pertenecen a T. Entonces T no es intransitiva.
La relacin no es de equivalencia ni de orden pues no es reflexiva, y no es de orden estricto, pues no
es intransitiva.
c)
(, () T pues ( es coprimo de s mismo. T s es reflexiva
Simtrica: P. D. (, 6) T 6, () T
(, 6) T ( y 6 son coprimos 6 y ( son coprimos 6, () T. Entonces T es simtrica.
No se cumple, sea ( = 2, 6 = 3, tanto 2,3) y 3,2) pertenecen a T. Entonces T no es antisimtrica.
No se cumple, sea ( = 4, 6 = 3, 7 = 8, 4,3) T, 3,8) T, pero 4,8) T pues no son coprimos.
Entonces T no es transitiva.
No se cumple, pues todo nmero es coprimo de s mismo.
No se cumple, pues T es simtrica.
No se cumple. Sea ( = 2, 6 = 3 7 =5. Se nota que 2,3), 3,5) y 2,5) pertenecen a T.
La relacin no es de equivalencia, de orden, ni de orden estricto, pues no es transitiva.
d)
(, () T, pues ( + ( = 2( es par. Entonces T s es reflexiva.
Simtrica: P. D. (, 6) T 6, () T
(, 6) T ( + 6 es par 6 + ( es par 6, 7) T. Por lo tanto T s es simtrica
No es antisimtrica. Sean ( = 1, 6 = 3, 1 + 3 = 3 + 1 = 4 es par, por tanto 1,3) y 3,1) son
elementos de T, y 1 3
(, 6) T 6, 7) T ( + 6 es par y 6 + 7 es par. Si ( es impar, 6 es impar, y 7 tambin, por lo
tanto ( + 7 es par. Si ( es par, 6 es par y 7 es par, por lo tanto ( + 7 es par. entonces (, 7) T.
Finalmente, T es transitiva.
Falso. La suma de todo entero consigo mismo es par.
Falso, pues la suma es conmutativa, y si ( + 6 es par, 6 + ( tambin lo ser.
Falso, sea ( = 1, 6 = 3 y 7 = 5, 1 + 3 = 4 es par, 3 + 5 = 8 es par, 1 + 5 = 6 es par.
Es una relacin de equivalencia, pues es reflexiva, simtrica y transitiva.
e)
(, () T pues ( = (. Entonces T es reflexiva.
Simtrica: P. D. (, 6) T 6, () T
(, 6) T ( = 6 ( = 6 6 = ( 6 = ( 6, () T. T es simtrica
No se cumple. Sea ( = 1 y 6 = 1, 1, 1) T, pero ( 6.
(, 6) T 6, 7) T ( = 6 ( = 6) 6 = 7 6 = 7) ( = 7 ( = 7 (, 7) T.
Por ende T es transitiva.
No se cumple, pues T es reflexiva.

No se cumple, pues T es simtrica
No se cumple, pues T es transitiva.
T es una relacin de equivalencia, pues es reflexiva, simtrica y transitiva.
f)
(, () T pues ( + ( = 2( es par y ( es mltiplo de s mismo.
Simtrica: P. D. (, 6) T 6, () T
No se cumple. Sea 2,4) T. 4,2) T pues 2 no es mltiplo de 4.
(, 6) T 6, () T ( + 6 = 6 + ( es par, ( mltiplo de 6 y 6 mltiplo de ( ( = 6
(, 6) T 6, 7) T ( + 6 par, 6 + 7 par, ( = o6 y 6 = 7 ( + 7 par y ( = o7 (, 7)
T
No es irreflexiva, puesto que es reflexiva
No es asimtrica, puesto que es antisimtrica
No es intransitiva, puesto que es transitiva.
Es una relacin de orden, pues es reflexiva, antisimtrica y transitiva.
g)
No se cumple, pues ( ( + 1.
Simtrica: P. D. (, 6) T 6, () T
No se cumple, pues si 6 = ( + 1, entonces ( = 6 1.
No se cumple, pues si ( = 6 + 1 y 6 = ( + 1 se tiene 6 = 6 + 2 lo cual es falso.
No se cumple, pues si 6 = ( + 1 y 7 = 6 + 1 entonces 7 = ( + 2.
S se cumple, pues ( ( + 1 entonces (, () T
S se cumple, pues si 6 = ( + 1, ( 6 + 1 por lo tanto 6, () T.
S se cumple, por lo demostrado en transitiva.
Esta relacin no es de equivalencia, de orden ni de orden estricto, pues no es transitiva.
2. Sea T una relacin en ; demostrar lo siguiente:
a) T es irreflexiva si y slo si T b = .
b) T es asimtrica si y slo si T T VW = .
c) T es intransitiva si y slo si T T) T = .
Demostracin
a) ) Sea T irreflexiva, P. D. T b =
Evidentemente T b. Por lo tanto se probar que T b .
(, 6) T b (, 6) T (, 6) b
(, 6) T ( = 6
(, 6) T (, 6) T
(, 6)
) Sea T b = , se probar que T es irreflexiva.
( (, () T
(, () T (, () b
Definicin de identidad
Pues T es irreflexiva
Definicin de vaco
Pues T es relacin en
(, () T b
(, ()
Hiptesis
(,
Entonces
() T. Por lo tanto T es irreflexiva.
b) ) Sea T asimtrica. Se probar que T T VW =
(, 6) T T VW (, 6) T (, 6) T VW
(, 6) T 6, () T
(,
6,
6,
6) T
() T
() T
Pues T es asimtrica
(, 6)
Definicin de vaco
) Sea T T VW = Se probar que T es asimtrica.
(, 6) T 6, () T VW
VW 6,
6,
() T
() T
Pues T T VW =
6, () T
Teorema 1.5(ii)
c) ) Sea T intransitiva, se probar que T T) T =
(, 6) T T) T (, 6) T T (, 6) T
7, (, 7) T 7, 6) T (, 6) T
7, (, 7) T 7, 6) T (, 6) T (, 6) T Hiptesis
(, 6)
Definicin de vaco
) Sea T T) T = . Se probar que T es intransitiva
(, 7) T 7, 6) T (, 6) T
(, 6) T (, 6) T
Hiptesis
(, 6) T
Teorema 1.5(ii)
3. Mostrar que si T es una relacin de equivalencia en , entonces T T = T.
Demostracin
(, 6) T T 7, (, 7) T 7, 6) T
(, 6) T
Hiptesis
4. Sea 2Ta 4ad una familia indexada de relaciones de equivalencia en . Mostrar que ad Ta es
una relacin de equivalencia en .
Demostracin
Reflexiva: ( b, (, () Ta
Hiptesis
(, () ad Ta
Simtrica: (, 6) ad Ta b, (, 6) Ta
b, 6, () Ta
Hiptesis
6, () ad Ta
Transitiva: (, 6) ad Ta 6, 7) ad Ta b,
(, 6) Ta 6, 7) Ta
b, (, 7) Ta
Hiptesis
(, 7) ad Ta
5. Sea 2Ta 4ad una familia indexada de relaciones de orden en . Mostrar que ad Ta es una
relacin de orden en .
Demostracin
Reflexiva: ( i b, (, () Tj
Hiptesis
(, () ad Ta
Definicin de unin
Antisimtrica: (, 6) ad Ta 6, () ad Ta i b,
(, 6) Tj 6, 7) Tj
Definicin de unin
(=6
Hiptesis
Transitiva: (, 6) ad Ta 6, 7) ad Ta i b,
(, 6) Tj 6, 7) Tj
Definicin de unin
i b, (, 7) Tj
Hiptesis
(, 7) ad Ta
Definicin de unin
6. Sea U una relacin reflexiva en . Demostrar que para cualquier relacin T en , T U T

y T T U.
Demostracin
(, 6) T (, 6) T 6, 6) U
Hiptesis
(, 6) U T
(, 6) T (, 6) T (, () U
Hiptesis
(, 6) T U
7. Sean T y U relaciones en ; suponer que T es reflexiva, y que U es reflexiva y transitiva.

Mostrar que T U si y slo si T U = U.
Demostracin
) Sea T U. Se probar que T U = U
(, 6) T U 7, (, 7) U 7, 6) T
7, (, 7) U 7, 6) U
Hiptesis
(, 6) U
Pues U es transitiva
T U U. Por el Ejercicio anterior se tiene que U T U, por lo tanto T U = U
) Sea T U = U. Se probar que T U.
(, 6) T (, 6) T (, () U
Pues U es reflexiva
(, 6) T U
(, 6) U
Pues T U = U
8. Mostrar que la inversa de una relacin de orden en es tambin una relacin de orden en .
Demostracin
T es una relacin de orden:
Reflexiva: ( , (, () T
Antisimtrica: (, 6) T 6, () T ( = 6
Transitiva: (, 6) T 6, 7) T (, 7) T
P. D. T VW es una relacin de orden:
Reflexiva: ( , (, () T VW (, () T
Antisimtrica: 6, () T VW (, 6) T VW (, 6) T 6, () T ( = 6
Transitiva: 7, 6) T VW 6, () T VW (, 6) T 6, 7) T (, 7) T 7, () T VW
Por lo tanto si T es una relacin de orden, T VW tambin es una relacin de orden.
9. Sea T una relacin en . Mostrar que T es una relacin de orden si y slo si T T VW = b y

T T = T.
Demostracin
) Sea T una relacin de orden.
(, 6) T T VW (, 6) T (, 6) T VW
(,
6,
6) T
() T
(=6
Pues T es relacin de orden
(, 6) b
Entonces T T VW = b
(, 6) T T 7, (, 7) T 7, 6) T
(, 6) T
Pues T es relacin de orden
Entonces T T = T
) Sea T T VW = b y T T = T. Se mostrar que T es una relacin de orden.
Reflexiva: ( (, () b
(, () T
Pues T T VW = b
VW
Antisimtrica: (, 6) T 6, () T (, 6) T (, 6) T
(, 6) T T VW
(, 6) b
Pues T T VW = b
(=6
Transitiva: (, 6) T 6, 7) T (, 7) T T
(, 7) T
Pues T T = T
10. Sean T y U relaciones de equivalencia en . Mostrar que T U es una relacin de

equivalencia en si y slo si T U = U T.
Demostracin
) Sea T U una relacin de equivalencia. Por demostrar que T U = U T
(, 6) T U (, 6) T U 6, () T U
Pues T U es R.E.
7, (, 7) U 7, 6) T 6, 7) T 7, () U Definicin de composicin
7, 7, () U 6, 7) T 7, 6) T (, 7) U Pues T y U son R.E.
6, () U T (, 6) T U
Entonces se tiene 6, () T U 6, () U T Por lo tanto T U = U T.
) Sea T U = U T. Por demostrar que T U es una relacin de equivalencia.
Reflexiva: ( (, () T (, () U
Pues T y U son R.E.
(, () T U
Simtrica: (, 6) T U (, 6) U T
Pues T U = U T
7, (, 7) T 7, 6) U
7, 7, () T 6, 7) U
Pues T y U son R.E.
7, 6, 7) U 7, () T
Conmutatividad
6,
() T U
Transitiva: (, 6) T U 6, 7) T U w, (, w) U w, 6) T
6, w) U w, 7) T
w, (, w) U w, 7) T
Teorema 1.5(ii)
(, 7) T U
11. Sean T y U relaciones de equivalencia en . Demostrar que T U es una relacin de

equivalencia en si y slo si T U T U y U T T U.
Demostracin
) Sea T U una relacin de equivalencia. Por demostrar que T U T U y U T T U.
(, 6) T U (, 6) U 6, 6) T
Definicin de composicin, hiptesis
(, 6) U
Teorema 1.5(ii)
(, 6) U (, 6) T
Teorema 1.5(i)
(, 6) U T
Definicin de unin
(, 6) U T (, 6) T 6, 6) U
Definicin de composicin, hiptesis
(, 6) T
Teorema 1.5(ii)
(, 6) T (, 6) U
Teorema 1.5(i)
(, 6) U T
Definicin de unin
) Sea T U T U y U T T U. Por demostrar que T U es una relacin de equivalencia.
Reflexiva: ( (, () T
Pues T es R.E.
(, () T U
Teorema 1.20(i)
Simtrica: (, 6) T U (, 6) T (, 6) U
Definicin de unin
6, () T 6, () U
Pues T y U son R.E.
6, () T U
Definicin de unin
Transitiva:
(, 6) T U 6, 7) T U [(, 6) T (, 6) U]
[6, 7) T 6, 7) U]
Definicin de unin
[(,
6,
(,
(,
6) T
7) T]
7) U T
7) T T
[(, 6) U 6, 7) U]
Distributiva, Def. Comp.
(, 7) T (, 7) T U (, 7) T U (, 7) U
Hiptesis
(, 7) T U
Definicin de unin
12. Sea T una relacin de equivalencia en . Demostrar que si U y ] son relaciones arbitrarias en
, entonces T U y T ] T U ]
Demostracin
(, 6) T (, () T (, 6) T
Pues T es R.E.
(, () ] (, 6) U
Hiptesis
(,
6) U ]


Deber N 13
Ejercicios 3.3
1. Sea el conjunto de los enteros. Para cada entero , sea " = 2 | t.q. = + 54.
Demostrar que 2" 4 es una particin de .
Demostracin
P1 ( " " ( " ( "
y, , ( = + 5y ( = + 5
Definicin de "
y, , + 5y = + 5
Pues ( = (
y, , = + 5 y) = + 5 y)
" = "
P2 ( , , ( = + 5
Propiedades de enteros
, ( "
Definicin de "
2. Sea el conjunto de los nmeros reales. En cada uno de los siguientes, demuestre que
2" 4 es una particin de . Describa geomtricamente los miembros de esta
particin. Hallar la relacin de equivalencia correspondiente a cada particin.
a) " = 2(, 6)| 6 = ( + x4 para cada x
b) " = 2(, 6)| ( + 6 = x4 para cada x
Demostracin
a)
P1 (, 6) " " (, 6) " (, 6) "
6 =(+x6 =(+'
Definicin de "
6( = x6( = '
Propiedades de los reales
x='
" = "
P2 (, 6) x, 6 = ( + x
Propiedades de los reales
x, (, 6) "
Definicin de "
Interpretacin geomtrica:
Los elementos de " son rectas de pendiente 1 que pasan por el punto 0, x).
La relacin de equivalencia vendr dada segn el Teorema 3.11, por:
T = Q(W , 6W ), ( , 6 )| x, (W , 6W ) " ( , 6 ) " R
T = Q(W , 6W ), ( , 6 )| x, 6W = (W + x 6 = ( + xR
T = Q(W , 6W ), ( , 6 )| x, 6W (W = x 6 ( = xR
T = Q(W , 6W ), ( , 6 )| 6W (W = 6 ( R
b)
P1 (, 6) " " (, 6) " (, 6) "
Definicin de "
( + 6 = x ( + 6 = '
x='
" = "
P2 (, 6) x, ( + 6 = x
x, (, 6) "
Interpretacin geomtrica:
El conjunto " es una circunferencia de centro en el origen y radio x.

Por el Teorema 3.11, la relacin de equivalencia vendr dada por:
T = Q(W , 6W ), ( , 6 )| x, (W , 6W ) " ( , 6 ) " R
T = Q(W , 6W ), ( , 6 )| x, (W + 6W = x ( + 6 = xR
T = Q(W , 6W ), ( , 6 )| (W + 6W = ( + 6 R
3. Sea el conjunto de los nmeros reales. Demostrar que cada una de las siguientes es una
relacin de equivalencia en :
a) T = 2[=, >), ?, @)]| = + > = ? + @ 4
b) U = 2[=, >), ?, @)]| > = = ? @4
c) ] = 2[=, >), ?, @)]| = + > = ? + @4
Encontrar la particin correspondiente a cada una de las relaciones de equivalencia y describir
geomtricamente los miembros de la particin.
Demostracin
a)
Reflexiva: =, >) = + > = = + > [=, >), =, >)] T
Simtrica: [=, >), ?, @)] T = + > = ? + @ ? + @ = = + > [?, @), =, >)] T
Transitiva: [=, >), ?, @)] T [?, @), , )] T = + > = ? + @ ? + @ = +
= + > = + [=, >), , )] T
La particin correspondiente a esa relacin de equivalencia es la dada en el inciso (b) del ejercicio
anterior, y por lo tanto tiene la misma interpretacin geomtrica.
b)
Reflexiva: =, >) > = = > = [=, >), =, >)] U
Simtrica: [=, >), ?, @)] U > = = @ ? @ ? = > = [?, @), =, >)] U
Transitiva: [=, >), ?, @)] U [?, @), , )] U > = = @ ? @ ? =
> = = [=, >), , )] U
La particin correspondiente a esa relacin de equivalencia es la dada en el inciso (a) del ejercicio
anterior, y por lo tanto tiene la misma interpretacin geomtrica.
c)
Reflexiva: =, >) = + > = = + > [=, >), =, >)] ]
Simtrica: [=, >), ?, @)] ] = + > = ? + @ ? + @ = = + > [?, @), =, >)] ]
Transitiva: [=, >), ?, @)] ] [?, @), , )] ] = + > = ? + @ ? + @ = +
= + > = + [=, >), , )] ]
Como ] = 2[=, >), ?, @)]| = + > = ? + @4, entonces ],) = 2?, @)| = + > = ? + @4
Lo cual puede reescribirse como ],) = 2?, @)| x, = + > = x ? + @ = x4. Cambiando la
notacin se tiene: ],) = " = 2(, 6)| ( + 6 = x4 Para cada x .
Entonces la particin ser 2" 4 .
Geomtricamente, cada miembro de la particin es una recta de pendiente 1 y que pasa por el punto
0, x).
4. Si U y ] son las relaciones de equivalencia del ejercicio 3, describir la relacin de

equivalencia U ]. Describa las clases de equivalencia mdulo U ].
Desarrollo
U ] = 2[=, >), ?, @)]| > = = ? @ = + > = ? + @4
= 2[=, >), ?, @)]|x, ', > = = x ? @ = x = + > = ' ? + @ = '4
x + '
x+'
= [=, >), ?, @)]|x, ', = = ? =
> =@ =
2
2
= 2[=, >), ?, @)]| = = ? > = @4
= 2[=, >), ?, @)]| =, >) = ?, @)4
U ]),) = 2?, @)| =, >) = ?, @)4
5. Sean U y ] la relaciones de equivalencia del ejercicio 3. Demostrar que U ] = ] U;

concluir que U ] es una relacin de equivalencia y describir las clases de equivalencia
mdulo U ].
Demostracin
[=, >), ?, @)] U ] , ), [=, >), , )] ] [, ), ?, @)] U
Def. composicin
, ), = + > = + = @ ?
x, ', = + > = x @ ? = '
=+> @?
=, >) ?, @)
Entonces U ] = 2[=, >), ?, @)]| =, >) ?, @) 4
Anlogamente ] U = 2[=, >), ?, @)]| =, >) ?, @) 4
Entonces U ] = ] U.
Como se tiene que U ] = ] U, por el ejercicio 3.2.10 se tiene que U ] es una relacin de
equivalencia.
Finalmente U ]),) = .
6. Sea en conjunto de todas las rectas en el plano. Sean T y U las siguientes relaciones en .
T = 2pW , p )| pW p 4,
U = 2pW , p )| pW p 4
Demostrar lo siguiente (argumentar formalmente):
a) T es una relacin de equivalencia en .
b) U T = U y T U = U.
c) T U es una relacin de equivalencia; describir sus clases de equivalencia.
Demostracin
a)
Reflexiva: p p p p, p) T Pues toda recta es paralela a s misma.
Simtrica: pW , p ) T pW p p pW p , pW ) T
Transitiva: pW , p ) T p , p ) T pW p p p pW p pW , p ) T
b)
pW , p ) U T p , pW , p ) T p , p ) U
p , pW p p p
pW p
pW , p ) U
pW , p ) T U p , pW , p ) U p , p ) T
p , pW p p p
pW p
pW , p ) U
c)
Reflexiva: p p p p p p p p T p U p T U
Simtrica: pW , p ) T U pW p pW p p pW p pW p , pW ) T U
Transitiva: pW , p ) T U p , p ) T U pW p pW p ) p p p p )
pW p pW p pW , p ) T U
T U)r = 2p |pW p pW p 4
7. Sea un conjunto arbitrario. Demostrar que b y son relaciones de equivalencia en .
Describir las particiones inducidas, respectivamente, por b y .
Demostracin
a) b :
Reflexiva: ( (, () b
Simtrica: (, () b (, () b
Transitiva: (, () b (, () b (, () b
b = 26| 6 = (4 = 2(4
2(4 es particin de .
b) :
Reflexiva: ( ( ( (, ()
Simtrica: (, 6) ( 6 6 ( 6, ()
Transitiva: (, 6) 6, 7) ( 6 6 7 ( 7
(, 7)
) =
8. Sea 2 a 4ad una particin de

Q
y sea Q"j R
"j Ra,j)dk es una particin de
Demostracin
P1 (, 6) a "j
P2 (, 6)
jk
".
una particin de ". Demostrar que
"r (, 6) a "j (, 6) q "r

( a 6 "j ( q 6 "r
( a q 6 "j "r
a = q "j = "r
a "j = q "r
" ( 6 "
b, i ], ( a 6 "j
, i) b ], (, 6) a "j
q
Def. interseccin
Hiptesis
Ejercicio 1.4.8
Hiptesis
9. Suponer que : " es una funcin sobreyectiva, y 2"a 4ad es una particin de ".
Demostrar que Q "a )Rad es una particin de .
Demostracin
P1 ( "a ) "j ( "a ) ( "j
() "a () "j
() "a "j
"a = "j
Hiptesis
"a ) = "j
Teorema 2.29(ii)
P2 ( () "
b, () "a
Hiptesis
b, ( "a )
10. Suponer que : " es una funcin inyectiva, y que 2

Demostrar que Q a )Rad es una particin de ).
Demostracin
P1 6 a ) j 6 a ) 6 j
(, ( a ( j 6 = ()
(, ( a a 6 = ()
a= a
a ) = j
P2 6 ) ( , 6 = ()
b, ( a , 6 = ()
b, 6 a )
a 4ad
es una particin de .
Hiptesis
Teorema 2.29(i)
Hiptesis
11. Sean T y U relaciones de equivalencia en . Demostrar que ( :

T U) = T U
Demostracin
6 T U) (, 6) T U
Definicin de clase de equivalencia
(, 6) T (, 6) U
6 T 6 U
6 T U
12. Sean T y U relaciones de equivalencia en . Se asume que T U es una relacin de
equivalencia en . Demostrar que ( :
T U) = T U
Demostracin
6 T U) (, 6) T U
(, 6) T (, 6) U
6 T 6 U
6 T U

Definicin de unin
Definicin de unin


Deber N 14
Ejercicios 3.4
1. Sea = 2=, >, ?, @, 4, y seas T y U las siguientes relaciones de equivalencia en :

T = b 2=, >), >, =), >, ?), ?, >), =, ?), ?, =), @, ), , @)4
U = b 2>, ?), ?, >)4
Claramente U es un refinamiento de T. Exhibir los conjuntos /T, /U, T/U,
/U)/T/U).
Desarrollo
/T = Q2=, >, ?42, @4R
/U = 2=4, 2>, ?4Q2, @4R
T/U = 2U , U ), U , U ), U , U ), U , U )4
/U)/T/U) = Q2U , U 4, 2U 4R
2. Sea el conjunto de los nmeros reales, y T la siguiente relacin en :

T = 2[=, >), ?, @)]| = + > = ? + @ 4
Sea : la funcin dada por () = sen ( , cos (). Describir T); Qu son sus
clases de equivalencia?
Desarrollo:
T) = Q(, 6)| (), 6) TR
= Q(, 6)| sen ( , cos (), sen 6 , cos 6) TR
= 2(, 6)| sen ( + cos ( = sen 6 + cos 64
= 2(, 6)| 1 = 14
T) =
T) = ) =
3. Sea : " una funcin, y sea T una relacin de equivalencia en ". Demostrar que T) es
una relacin de equivalencia en .
Demostracin
Reflexiva: ( () "
Pues es funcin
(), () T
Pues T es R.E. en "
(, () T)
Definicin de pre-imagen
(,

Simtrica:
6) T) (), 6) T
6), () T
Pues T es R.E. en "
6, () T)
Transitiva: (, 6) T) 6, 7) T) (), 6) T 6), 7) T

(), 7) T
Pues T es R.E. en "
(,

7) T)
4. Sea : " una funcin y sea T una relacin de equivalencia en ". Demostrar que cada
clase de equivalencia mdulo T) es la imagen inversa de una clase de equivalencia mdulo
T. Ms precisamente, si U = T) y 6 = (), demostrar que U = T .
Demostracin
7 U 7, () U
7, () T)
7), () T
7), 6) T
7) T
7 T

Pues U = T)
Pues 6 = ()
5. Sea T una relacin de equivalencia en y suponer que " . Demostrar que T[_] es una
relacin de equivalencia en ".
Demostracin
Reflexiva: ( " ( " (, () T
Pues T es R. E. en y "
(, () T[_]
Simtrica: (, 6) T[_] ( " 6 " (, 6) T
6 " ( " 6, () T
Pues T es R.E., conmutatividad
6, () T[_]
Transitiva: (, 6) T[_] 6, 7) T[_] ( " 6 " (, 6) T 6 " 7 " 6, 7) T
( " 7 " (, 7) T
Pues T es R.E. Teorema 1.5(ii)
(, 7) T[_]
6. Sea T una relacin de equivalencia en

( ", T[_] = T ".
Demostracin
6 T[_] 6, () T[_]
6 " ( " 6, () T
6 " 6, () T
6 " 6 T
T "
y suponer que " . Demostrar que para cada

Teorema 1.5(ii)
7. Sean T, U y ] relaciones de equivalencia en , y suponer que T U y U ]. Demostrar que

U/T es un refinamiento de ]/T.
Demostracin
Definicin de cociente U/T
T , T U/T (, 6) U
(, 6) ]
Pues U ]
T , T ]/T
Definicin y T ]
Entonces U/T ]/T, por lo tanto U/T es un refinamiento de ]/T.
8. Sean T, U y ] relaciones de equivalencia en , y suponer que T U y U ]. Demostrar lo

siguiente:
a) T U ]
b) Si U ] es una relacin de equivalencia en , entonces U/T) ]/T) = U ])/T.
c) U/T) ]/T) es una relacin de equivalencia en .
Demostracin
a)
(, 6) T (, 6) U (, 6) ]
Pues T U y U ]
(, () ] (, 6) U
Pues ] es R.E. en
(, 6) U ]
b)
T , T U/T) ]/T) 7, T , T ) ]/T) T , T U/T) Definicin de composicin
7, (, 7) ] 7, 6) U
Definicin de cociente
(, 6) U ]
T , T U ])/T
Pues U ] es R.E. en
c)
Reflexiva: T /T T , T ) U/T T , T ) ]/T
Teorema 3.19
T , T ) U/T) ]/T)
Simtrica:
T , T U/T) ]/T) 7, T , T ) ]/T) T , T U/T)
7, T , T ]/T) T , T ) U/T)
T , T U/T) ]/T)
Transitiva:
T , T U/T) ]/T) T , T U/T) ]/T)
w, T , T ) ]/T) T , T U/T) T , T ]/T) T , T ) U/T)
w, T , T ) ]/T) T , T ) U/T)
T , T ) U/T) ]/T)
9. Suponer que T y U son relaciones de equivalencia en , y que T U. Demostrar que

T , T UT si y slo si T y T son subconjuntos de la misma clase de equivalencia
mdulo U.
Demostracin
) Sea T , T UT (, 6) U
( U 6 U
Adems ( T y 6 T , por lo tanto se nota que T U y T U .
) Si T y T son subconjuntos de la misma clase de equivalencia mdulo U, entonces:
T U y T U , por ende (, 6) U. Finalmente, por definicin de cociente T , T UT .
10. Suponer que T es una relacin de equivalencia en , y U una relacin de equivalencia en ".
El producto de T y U se define como la siguiente relacin en ":
T U = 2[(, w), 6, 7)]| (, 6) T w, 7) U4
Demostrar que T U es una relacin de equivalencia en ".
Demostracin
Reflexiva: (, 6) " ( 6 "
Definicin producto cartesiano
(, () T 6, 6) U
Hiptesis
[(, 6), (, 6)] T U
Simtrica: [(, w), 6, 7)] T U (, 6) T w, 7) U Definicin de producto
6, () T 7, w) U Hiptesis
[6, 7), (, w)] T U
Transitiva:
[(, w), 6, 7)] T U [6, 7), N, )] T U
(, 6) T w, 7) U 6, N) T 7, ) U
(, N) T w, ) U
Hiptesis
[(, w), N, )] T U
11. Demostrar que toda relacin de equivalencia en un conjunto es la pre-imagen de una

relacin de equivalencia en .
Demostracin
Sea : la funcin definida por () = (, (). Sea T una relacin de equivalencia en , por
definicin, T T es una relacin de equivalencia en . Entonces:
T = 2(, 6)| (, 6) T4
= 2(, 6)| (, 6) T (, 6) T4
Teorema 1.8(iv)
2(,
[(,
6,
=
6)|
(),
6)] T T4
= Q(, 6)| (), 6) T TR
Definicin de
= T T)
Con lo cual queda demostrado.
12. Sea :
" una funcin y sea T una relacin de equivalencia en ". Demostrar que
T) = VW T
Demostracin
Se supone la invertibilidad de .
(, 6) T) (), 6) T
(, () (), 6) T 6, 6)
(, () (), 6) T 6), 6) VW
(, () (), 6) VW T
(, 6) VW T
Hiptesis
Definicin funcin inversa


Deber N 15
Ejercicios 3.5
1. Sea : " una funcin sobreyectiva, sea T la relacin de equivalencia inducida por , y
sea U una relacin de equivalencia en que es ms gruesa que T. Se define la imagen de
Ucomo sigue:
U) = Q(), 6)| (, 6) UR
Demostrar que U) es una relacin de equivalencia en ".

Demostracin
Reflexiva: 6 " ( , 6 = ()
( , (, () U 6 = ()
Pues U es R.E. en
6, 6) U)
Definicin de imagen

(,
Simtrica: (), 6) U)
6) U
Definicin de imagen
6, () U
Pues U es R.E. en

6), () U)
Definicin de imagen
Transitiva:
(), 6) U) 6), 7) U) (, 6) U 6, 7) U Definicin de imagen
(, 7) U
Pues U es R.E. en
(), 7) U) Definicin de imagen
2. Sea : " una funcin sobreyectiva, y sea T la relacin de equivalencia inducida por .
Sea ] una relacin de equivalencia en " cualquiera. Demostrar que:
a) ]) es ms gruesa que T.
b) U = ]) si y slo si ] = U).
Concluir que existe una correspondencia uno a uno entre las relaciones de equivalencia en " y
las relaciones de equivalencia en que son ms gruesas que T.
Demostracin
a)
(, 6) T () = 6)
Pues T es inducida por
(), 6) ]
Pues ] es R.E. en "
(, 6) ])
Entonces T ]), por lo tanto ]) es ms gruesa que T.

b)
) Sea U = ]). P. D. ] = U)
Definicin de imagen
(), 6) U) (, 6)U
(, 6) ])
Hiptesis
(), 6) ]
) Sea ] = U). P. D. U = ])
(, 6) U (), 6) U)
Definicin de imagen
(), 6) ]
Hiptesis
(, 6) ])
Se observa que para cada U existe un nico ]), y viceversa, para cada ] existe un nico U),
adems como ]) es ms grueso que T se puede concluir que existe una correspondencia uno a uno
entre las relaciones de equivalencia en " y las relaciones de equivalencia en que tienen a T como
refinamiento.
3. Sea : " una funcin, y T la relacin de equivalencia determinada por . Demostrar que
T = VW .
Demostracin
Se supone que es invertible.
(, 6) VW 6 = VW )()
6 = VW ()
6=(
Pues es invertible
6) = ()
Pues es funcin
(, 6) T
Pues T est determinado por
4. Sean : " y : " # funciones, y sea T la relacin de equivalencia determinada por .
Demostrar que T) es la relacin de equivalencia determinada por .
Demostracin
(, 6) T) (), 6) T
() = 6)
Pues T est determinada por

)() =
)6)
Entonces T) es la relacin de equivalencia determinada por .
5. Sean T y U relaciones de equivalencia en un conjunto , y suponer que T U. Sea la
funcin cannica de en T . Demostrar que UT = U).
Demostracin
T , T UT (, 6) U
(), 6) U)
Definicin de imagen
T , T U)
Definicin de funcin cannica
6. Sean T y U relaciones de equivalencia en , y suponer que T U. Sea la funcin cannica

de en T y sea la funcin cannica de en U. Sea = /T. Demostrar que
= .
Demostracin
(, 6) 6 = ()
6 = T )

)T
)
6=
T
Pues = /T
6 = ()
Definicin de cociente T
(, 6)
7. Sean T y U relaciones de equivalencia en y suponer que T U. Si es la funcin cannica

de en T , demostrar que U = UT ).
Demostracin
(, 6) UT ) (), 6) UT
T , T UT
(, 6) U
Definicin de cociente UT
8. Sean T, U y ] relaciones de equivalencia en , y suponer que T U ]. Sean : T ,

: U, y : ] las funciones cannicas asociadas con T, U y ] respectivamente.
Demostrar que T = U T .
Demostracin
U T )T ) = U )T )T )
= U )()
Definicin de T
= U )U )
= ()
Definicin de U
= T )T )
Definicin de T
9. Sean T y U relaciones de equivalencia en , y suponer que T U. Sea la funcin cannica

de en U. Demostrar que T es sobreyectiva.
Demostracin
T es una funcin definida de T en U.
Sea U U () = U
T )T ) = () = U
Definicin de T
Por lo tanto, para todo U U existe un T T tal que T )T ) = U . Por ende T es
sobreyectiva.
10. Sean T y U relaciones de equivalencia arbitrarias en . Demostrar que:

a) T U) T )T UT )
b) T T U)T T U)
Demostracin
a)
Para que la expresin tenga sentido, T U debe ser una relacin de equivalencia en , adems, T
debe ser un refinamiento de T U.
Ahora, se debe buscar una funcin sobreyectiva de en T )T UT ), de modo que pueda
ser la composicin de las funciones ' y x. La funcin N no es necesaria, puesto que se supone la
sobreyectividad de , y esto nos conduce al resultado 3.24.
Sea x una funcin de en T U) dada por x() = T U) y ' de T U) en
T )T UT ) definida por 'T U) ) = [T UT )]) , se tiene:
Sea () = ' x)() = 'x() = 'T U) ) = [T UT )])
Entonces por el Teorema 3.23, como es sobreyectiva, ' es biyectiva, y es la funcin definida de
T en T )T UT ), por lo tanto existe una correspondencia uno a uno entre dichos conjuntos.
Finalmente T U) T )T UT ).
b)
Anlogamente al caso anterior, se tiene:
x: T , dada por x() = T
': T T U)T T U) dada por 'T ) = T T U)
De modo que = ' x. Entonces ' es biyectiva, y por lo tanto existe una relacin uno a uno entre
T y T U)T T U), de donde T T U)T T U).
11. Sea : una funcin, y sea T la relacin de equivalencia determinada por . Demostrar
que = si y slo si
7 T 7) T
para todo 7, ( .
Demostracin
) Sea = . P. D. 7 T () T
Como = , entonces () = (), por lo tanto = b
7 T 7, () T
7) = ()
7) = (
Hiptesis
7), () T
7) T
) Sea 7 T 7) T . P. D. =
Como 7 T 7) T , ello implica que:
(, 7) T (, 7) T 7, () T (, 7) T
7, 7) T
7) = 7)
7) = )7)
Finalmente = .


Deber N 16
Ejercicios 4.1
1. Sea = 2=, >, ?, @4; Si ~ ) est ordenado por lo inclusin, dibujar su diagrama de lneas.
Desarrollo
~ ) = 2, 2=4, 2>4, 2?4, 2@4, 2=, >4, 2=, ?4, 2=, @4, 2>, ?4, 2>, @4, 2?, @4, 2=, >, ?4, 2=, >, @4, 2>, ?, @4,
2=, ?, @4, 2=, >, ?, @4R
2. Sea
la clase parcialmente ordenada definida por el siguiente diagrama.
Listar todas las cadenas de , los segmentos iniciales de y todas las cortaduras de .
Desarrollo
Cadenas de :
#W = 2=, >, @4, # = 2=, ?, @4, # = 2=, ?, 4, # = 2=, >4, # = 2=, ?4, # = 2?, @4, # = 2>, @4,
# = 2?, 4
Segmentos iniciales:
= , = 2=4, = 2=4, = 2=, >, ?4, = 2=, ?4
Cortaduras:
W = 2>, @4, W = 2=, ?, 4, = 2=, >, @4, = 2?, 4
Las cortaduras de son W , W ) y , ).
3. Sea la clase parcialmente ordenada del Ejercicio 2. Dibujar el diagrama de lneas para las
siguientes clases: la clase de todas las cadenas de (ordenada por la inclusin), la clase de
todos los segmentos iniciales de (ordenada por la inclusin), la clase de todas las cortaduras
de (ordenada por la inclusin de la componente izquierda ).
Desarrollo
Clase de todas las cadenas de :
Clase de Todas los segmentos iniciales de :
Cortaduras de :
4. Sean y " clases parcialmente ordenadas, sea # una cadena de , y sea $ una cadena de ".
Si " est ordenada lexicogrficamente, demostrar que # $ es una cadena de ".
Demostracin
Por hiptesis se tiene que
i.
(W , ( #, (W ( (W (
ii.
6W , 6 $, 6W 6 6W 6
Sea
(W , 6W ) # $ ( , 6 ) # $. Por demostrar que (W , 6W ) ( , 6 ) o ( , 6 ) (W , 6W ).
(i) Puede ser reescrita as: (W , ( #, (W > ( (W < ( (W = (
Cuando (W > ( o (W < ( , como " est ordenada lexicogrficamente, se tiene, respectivamente
(W , 6W ) > ( , 6 ) o ( , 6 ) < (W , 6W ).
Cuando (W = ( , se tiene 6W 6 o 6W 6 , de donde respectivamente (W , 6W ) ( , 6 ) o
( , 6 ) (W , 6W ). Por ende se tiene que fuese cual fuese el caso, cualquier par de elementos de
# $ es comparable, por lo tanto, # $ es una cadena de ".
5. Sean y " clases parcialmente ordenadas, y sea " ordenado antilexicogrficamente.

Demostrar que si , ) es una cortadura de ", entonces , ) es una cortadura de
".
Demostracin
i.
Por hiptesis, = , entonces por el ejercicio 1.4.6 se tiene = .
ii.
Sea (W , 6W ) y ( , 6 ) (W , 6W ), entonces 6 6W o 6 = 6W , ( (W , pero como
6W , entonces 6 , entonces ( , 6 )
iii.
Anlogamente al anterior, se tiene (W , 6W ) y ( , 6 ) (W , 6W ), entonces ( , 6 )
Por (i), (ii) y (iii) se tiene que , ) es una cortadura de ".

6. Sea una clase parcialmente ordenada, y sea T una relacin de equivalencia en . Suponer
que la siguiente condicin se cumple: Si (, 7) T y ( 6 7, entonces 6, 7) T. Se
define la relacin U en T por U = QT , T | w T , 7 T t.q. w 7R.
Demostrar que U es una relacin de orden.
Demostracin
Reflexiva:
T T ( T ( = ( ( ( T , T ) U
Antisimtrica:
T , T U T , T U w T , 7 T t.q. w 7 7 w
w T , 7 T t.q. 7 = w
T = T
Transitiva:
T , T U T , T U = T , > T , ? T t.q. = > > ?
= T , ? T t.q. = ?
T , T ) U
Definicin de U
Teorema 3.10
Definicin de U
Definicin de U


Deber N 17
Ejercicios 4.2
1. Demostrar que si : " es una funcin inyectiva creciente, entonces es estrictamente

creciente.
Demostracin
Sean ( y 6 , tal que ( < 6, entonces se tiene:
( <6 ( 6( 6
Definicin de estrictamente menor
() 6) () 6)
Pues es inyectiva y creciente
() < 6)
Definicin de estrictamente menor
2. Sea : " una funcin creciente. Si # es una cadena de , probar que #) es una cadena
de ".
Demostracin
( #6 # ( 66 (
Definicin de cadena
() 6) 6) ()
Pues es creciente
Pero () #) y 6) #) y adems #) ", por lo tanto, por definicin se tiene que #)
es una cadena de ".
3. Sean
y " clases parcialmente ordenadas. Demostrar que si
" est ordenada
lexicogrficamente, entonces la funcin proyeccin yW : " es creciente; si " est
ordenada antilexicogrficamente entonces la funcin proyeccin y : " " es creciente.
Demostracin
Sea " ordenada lexicogrficamente:
(W , 6W ) ( , 6 ) (W < ( (W = ( 6W 6 )
Definicin de orden lexicogrfico
yW (W , 6W ) < yW ( , 6 ) yW (W , 6W ) = yW ( , 6 ) Definicin de funcin proyeccin
yW (W , 6W ) yW ( , 6 )
Por relacin de orden
Sea " ordenada antilexicogrficamente:
(W , 6W ) ( , 6 ) 6W < 6 6W = 6 (W ( )
Definicin de orden antilexicogrfico
y (W , 6W ) < y ( , 6 ) y (W , 6W ) = y ( , 6 ) Definicin de funcin proyeccin
y (W , 6W ) y ( , 6 )
4. Una subclase # una clase parcialmente ordenada se dice es convexa si satisface la siguiente
condicin: Si = #, > # y = ( >, entonces ( #. Sean y " clases parcialmente
ordenadas, sea : " una funcin creciente, y sea # una subclase convexa de ".
Demostrar que #) es una subclase convexa de .
Demostracin
Sean = #) y > #) tales que = ( >, entonces:
= ( > =) () >)
Pues es creciente
() #
Definicin de subclase convexa
( #)
5. Sean
y " clases parcialmente ordenadas, sea : " una funcin creciente, y U la
relacin de equivalencia determinada por . Demostrar que cada clase de equivalencia
mdulo U es una subclase convexa de .
Demostracin
Sean = U y > U tales que = 6 >, entonces:
= 6 > =) 6) >)
=) = 6) = >)
=, 6) U 6, >) U
6 U
6 U
Pues es funcin creciente

Pues U est determinada por
Pues U es R. E.
Pues = U
6. Sean y " clases parcialmente ordenadas, y sea : " una funcin creciente; asumiendo
que ) = ". Demostrar que si , ) es una cortadura de ", entonces ), ) es una
cortadura de .
Demostracin
i.
) ) = )
Teorema 2.31
= ")
Pues , ) es cortadura de "
=
Pues ) = ", ejercicio 2.4.2
) ) = )
Teorema 2.31
= )
=
ii.
( ) 6 ( ( ) 6) ()
() 6) ()
6)
6 )
iii.
( ) 6 ( ( ) 6) ()
() 6) ()
6)

6 )
7. Demostrar que la composicin de dos funciones crecientes es creciente. Use este resultado
para probar el Teorema 4.14(iii).
Demostracin
Sean : " y : " # dos funciones crecientes, por demostrar que : # es creciente.
( 6 () 6)
Pues es creciente
() 6)
Pues es creciente
)() )6)
Teorema 4.14(iii): Si : " y : " # son isomorfismos, entonces : # es un
isomorfismo.
Como y son biyectivas, entonces es biyectiva. Adems como y son crecientes, entonces
es creciente y se tiene ( 6 )() )6).
Para el sentido contrario )() )6) ( 6 pues es biyectiva y creciente.
Finalmente, se tiene que es un isomorfismo.
8. Sean y " clases parcialmente ordenadas, y sea : " un isomorfismo. Demostrar lo

siguiente:
a) Si # es una subclase convexa de , entonces #) es una subclase convexa de ".
b) Si , ) es una cortadura de , entonces ), ) es una cortadura de ".
c) Si [=, >] es un intervalo cerrado de , entonces [=, >]) es un intervalo cerrado de ".
Demostracin
a)
Sean =) #) y >) #), tales que =) () >), entonces:
=) () >) = ( >
Pues es un isomorfismo
(#
Definicin de subclase convexa
() #)
b)
i.
ii.
iii.
) ) = )
= )
="
) ) = )
= )
=
() ) 6) () () ) 6 (
( 6(
6
6) )
() ) 6) () () ) 6 (
( 6 (
6
6) )
c)
( [=, >] = ( >
=) () >)
() [=, >])
Entonces por definicin, [=, >]) es un intervalo cerrado.
Teorema 2.31
Pues , ) es cortadura de
Pues es biyectiva
Pues es inyectiva
Pues es isomorfismo
Pues es isomorfismo
Definicin de intervalo cerrado
Pues es isomorfismo
Por (a)
9. Sean y clases parcialmente ordenadas, y sea : un isomorfismo. Demostrar que

para un ( arbitrario, ) = ); concluir que ).
Demostracin
6) ) 6
6<(
Definicin de segmento inicial
6) < ()
Teorema 4.12
6) )
Definicin de segmento inicial
Como ) = ) , se puede establecer entre ellas la funcin identidad, y como esta es un
isomorfismo, entonces ) y ) por lo tanto ).
10. Sea un conjunto parcialmente ordenado. Para cada = , sea b = 2( | ( =4. Sea
= 2b 4 y sea ordenado por la inclusin. Demostrar que es isomorfo con .
Demostracin
Definimos la funcin : dada por =) = b . Se probar que es un isomorfismo.
=) = >) 2( | ( =4 = 2( | ( >4 = = >, pues ambos conjuntos tienen los mismos
elementos, y deben ser menores a un mismo valor. Por tanto es inyectiva.
b = , entonces se sobreyectiva. De aqu, es biyectiva.
= > b b
Por definicin
=) >)
Pues est ordenado por la inclusin
De aqu se concluye que es un isomorfismo, por tanto es isomorfo con .
11. Sean , " y # clases parcialmente ordenadas mutuamente disjuntas. Si ", demostrar que
#) " #).
Demostracin
Como ", entonces existe un isomorfismo : ". Adems obviamente # #, pues la funcin
identidad b` : # # es un isomorfismo, por el Teorema 4.14(i). Entonces definimos la funcin
: #) " #) de modo que = b` . Ahora probaremos que es un isomorfismo.
Por el ejercicio 2.2.7, dado que y b` son biyectivas, y que , " y # son mutuamente disjuntas,
entonces es biyectiva. Adems, por el Teorema 2.16, si ( () = (), y si ( #
() = b` (), de este modo se garantiza que ( 6 () 6), por lo tanto : #)
" #) es un isomorfismo, y se tiene que #) " #).
12. Sea
un conjunto parcialmente ordenado. Se definen = 27 | 7 (4 y =
27 | 7 (4. Demostrar lo siguiente:
a) Para cada ( , , ) es una cortadura de .
b) La funcin definida por () = , ) es un isomorfismo entre y la clase de todas
las cortaduras de la forma anteriormente descrita.
Demostracin
a)
Definicin de unin
i.
7 7 7
7(7(
Definicin de y
7
7 7 7
7(7(
Definicin de y
7
Definicin de vaco
Por tanto = y =
ii.
7 6 7 7 ( 6 7
Definicin de
6(
6
Definicin de
iii.
7 6 7 7 ( 6 7
Definicin de
6(
6
Definicin de
b)
Sea : ", con " = 2 , )4 , dada por () = , ), ordenando " lexicogrficamente
por la inclusin, se probar que es un isomorfismo.
() = 6) , ) = ,
Definicin de
= =
Teorema 1.30
(=6
Definicin de y
Por tanto es inyectiva.
, ) " ( , de aqu, es sobreyectiva y por tanto es biyectiva.
( 6
Por definicin de

< =


Deber N 18
Ejercicios 4.3
1. Suponer que " ; demostrar que si " tiene un elemento ms grande >, entonces > = sup ".
Demostracin
Como > es el elemento ms grande de ", entonces ( ", ( >, adems > "), de aqu, por
definicin de clase de cotas superiores 6 ") ( ", 6 (, y como > ", entonces > 6,
por tanto > es el elemento ms pequeo de "), y por definicin > = sup ".
2. Suponer que " ; demostrar que ") = ").

Demostracin
" ")
Teorema 4.31 Dual
") ")
Teorema 4.29
Obviamente ") , entonces, por el Teorema 4.29 ") ").

Finalmente ") = ").
3. Suponer que " y # ; demostrar que " #) = ") #).

Demostracin
( " #) 6, 6 " #, ( 6
Definicin de ")
6, 6 " 6 #, ( 6
Definicin de unin
6, 6 ", ( 6 6 #, ( 6
Definicin de cota inferior
( ") ( #)
Definicin de ")
( ") #)
4. Suponer que " ; demostrar que si " tiene un supremo >, entonces ") ") = 2>4.
Demostracin
Se probar que si ( ") "), entonces ( = >.
( ") ") ( ") ( ")
6 "), ( 6 7 ", ( 7
Definicin de ") y ")
( = sup "
Definicin de supremo
(=>
Hiptesis
5. Suponer que # " y que " ; demostrar que sup # sup ".
Demostracin
Como # " y " , entonces # . Por el teorema 4.30 sup # sup ".
6. Sean " y # subclases de una clase parcialmente ordenada . Demostrar que si sup " = sup #
entonces ") = #).
Demostracin
( ") 6 ", ( 6
Definicin de ")
6 ", ( sup " 6
6 #, ( sup # 6
Hiptesis
6 #, ( 6
( #)
Definicin de ")
7. Sean
y " clases parcialmente ordenadas, y sea : " una funcin estrictamente
creciente. Demostrar que si > es el elemento maximal de ", entonces cada elemento de >)
es un elemento maximal de .
Demostracin
Sea = >) =) = >
() ", () < =)
Definicin de elemento maximal
( , ( < =
Pues es estrictamente creciente
Por tanto = es un elemento maximal de .
8. Sean y " clases parcialmente ordenadas y sea : " un funcin creciente. Demostrar
que si = es el elemento ms grande de , entonces =) es el elemento ms grande de ).
Demostracin
( =(
Definicin de elemento maximal
=) ()
Pues es creciente
Pero () ), entonces =) es el elemento ms grande de ).
9. Sean y " clases parcialmente ordenadas y sea : " un funcin creciente; suponer que
# . Demostrar que si ? es una cota superior de #, entonces ?) es una cota superior de
#).
Demostracin
(#?(
Definicin de cota superior
?) ()
Pues es creciente
Entonces ?) es una cota superior de #).
10. Sean y " clases parcialmente ordenadas, y sea : " un isomorfismo. Demostrar lo
siguiente:
a) = es un elemento maximal de si y slo si =) es un elemento maximal de ".
b) = es el elemento ms grande de si y slo si =) es el elemento ms grande de ".
c) Suponer que # ; ( es una cota superior de # si y slo si () es una cota superior de
#).
d) > = sup # si y slo si >) = sup #).
Demostracin
a)
) Suponiendo que () > =), como es un isomorfismo, entonces por el teorema 4.12 se tiene
que ( > = lo cual es una contradiccin, pues = es un elemento maximal de , entonces se concluye
que =) es un elemento maximal de ".
) Suponiendo que ( > =, como es un isomorfismo, entonces por el teorema 4.12 se tiene que
() > =) lo cual es una contradiccin, pues =) es un elemento maximal de ". De aqu se tiene
que = es un elemento maximal de =.
b)
) Suponiendo que existe ( tal que () > =), como es isomorfismo, por 4.12 se tiene que
( > =, pero ( = entonces se tiene que () =) por tanto =) es el elemento ms grande de ".
) Suponiendo que existe () " tal que ( > =, por 4.12 se tiene () > =) lo cual es
evidentemente falso, por tanto se concluye ( =, por tanto = es el elemento ms grande de .
c)
6#6(
Pues ( es cota superior de #
6) ()
Pues es isomorfismo
() es cota superior de #)
Definicin de cota superior
d)
> = sup # 6 #), > 6
6) #) , >) 6) Pues es isomorfismo
>) = sup #)
11. Sea una clase parcialmente ordenada. Demostrar lo siguiente:

a) Si cada subclase de tiene un supremo y un nfimo, entonces tiene al elemento ms
grande y al elemento ms pequeo.
b) Los siguientes dos enunciados son equivalentes: Cada subclase de tiene un supremo;
cada subclase de tiene un nfimo.
Demostracin
a)
= ), adems obviamente , por tanto como toda subclase de tiene un supremo y un
nfimo. Por 4.27, inf es el elemento ms grande de y sup es el elemento ms pequeo de . Con
esto se ha demostrado el enunciado.
b)
) Sea # una subclase arbitraria de que tiene un supremo, sea sup # = =, entonces # est acotada
superiormente, entonces por el teorema 4.34, # est acotada inferiormente y tiene un nfimo.
) Es el dual del resultado demostrado.
12. Sean y " clases parcialmente ordenadas. Demostrar lo siguiente:

a) Suponer que " est ordenada lexicogrficamente: si =, >) es un elemento maximal
de ", entonces = es un elemento maximal de .
b) Suponer que " est ordenada antilexicogrficamente: si =, >) es un elemento
maximal de ", entonces > es un elemento maximal de ".
Demostracin
a)
Sea ?, @) " si ?, @) =, >) entonces ? = por definicin de elemento maximal, pero ?
y = , por tanto = es un elemento maximal de .
b)
Sea ?, @) " si ?, @) =, >) entonces @ > por definicin de elemento maximal, pero @ "
y > ", por tanto > es un elemento maximal de ".


Deber N 19
Ejercicios 4.4
1. Sea una clase con dos operaciones y que satisfacen L1 hasta L4. Demostrar que
( 6 = 6 si y slo si ( 6 = (.
Demostracin
) Sea ( 6 = 6, P. D. ( 6 = (
( = ( 6) (
Por L4
=6(
Hiptesis
=(6
Por L2
) Sea ( 6 = (, P. D. ( 6 = 6
6 = 6 () 6
Por L4
= ( 6) 6
Por L2
=(6
Hiptesis
2. En el Teorema 4.41, demostrar que ( 6 = inf2(, 64.

Demostracin
Se sabe que ( 6 = sup2(, 64.
Si ( = 6 entonces ( 6 = ( 6 = ( = 6 = sup2(, 64 = inf2(, 64.
Si ( < 6, entonces por 4.42 ( 6 = 6, por el resultado del ejercicio anterior, se tiene que ( 6 = (,
y como ( < 6 entonces ( = ( 6 = inf2(, 64.
Anlogamente si 6 < ( se tiene que ( 6 = inf2(, 64.
3. Sea un latice. Demostrar la veracidad de los siguientes enunciados.

a) Si = >, entonces ( , = ( > ( y = ( > (.
b) Si = > y ? @, entonces = ? > @ y = ? > @.
Demostracin
a)
= () > () = = >) ( ()
Por L2 y L3
=>(
Hiptesis, 4.42 y L1
Entonces por 4.42 = ( > (.
= () > () = [= >) =] () > ()
Por L4
= [> =) (] > ()
Hiptesis, 4.42
= [> () =] > ()
Por L2 y L3
=>(
Por L4
Entonces por 4.42 = ( > (.
b)
= ?) > @) = = >) ? @)
Por L2 y L3
=>@
Hiptesis, 4.42
Entonces por 4.42 se tiene que = ? > @.
= ?) > @) = [= >) =] [? @) ?] > @)
Por L4
= [> =) @ ?)] > @)
Hiptesis, 4.42
= [> @) = ?)] > @)
Por L2 y L3
=>@
Por L4
Entonces por 4.42 se tiene = ? > @.
4. Sea
un latice. Si [=, >] y [?, @] son intervalos cerrados de , demostrar que

[=, >] [?, @] = [= ?, > @]
Demostracin
( [=, >] [?, @] ( [=, >] y ( [?, @]
= ( >y? ( @
sup2=, ?4 ( inf2>, @4
=? ( >@
( [= ?, > @]
Acotando (
Notacin
5. Sea un latice; demostrar que cada intervalo cerrado [=, >] de en un sublatice de .
Demostracin
( [=, >] y 6 [=, >] = ( > y = 6 >
= inf2(, 64 sup2(, 64 >
Pues es latice
= (6(6 >
Notacin
= (6 >y= (6 >
Pues es transitiva
( 6 [=, >] y ( 6 [=, >]
Por tanto [=, >] es un sublatice de .
6. Sea un latice; si = , sea b = 2( | ( =4. Demostrar que b es un sublatice de .

Demostracin
( b y 6 b ( = y 6 =
Definicin de b
inf2=, (4 = y sup2(, 64 =
Por ser = una cota
(6 =y(6 =
Notacin
( 6 b y ( 6 b
Definicin de b
7. Por un latice distributivo se entiende una clase con dos operaciones que satisfacen L1 hasta
L4 y L7. Si es un latice distributivo, demostrar que
?( =?6y?( =?6 ( =6
Demostracin
Suponiendo que ( 6:
i.
( >6(6=(
Por 4.42
[( ?) (] 6 = (
Por L4
[? () 6] ( 6) = (
Por L2 y L7
[?
6) 6] ( = (
Hiptesis
? 6) ( = (
Por L1 y L2
? () 6 () = (
Por L7
? 6) 6 = (
Hiptesis y ejercicio 1
6=(
Por L4
Esto es un absurdo, pues se supuso que ( > 6, por tanto se tiene que ( 6
ii.
Anlogamente se tiene que ( < 6 implica ( = 6, lo cual es falso y por tanto ( 6.
Finalmente, como ( 6 y ( 6 se concluye que ( = 6.
8. En un latice arbitrario , demostrar las llamadas desigualdades distributivas

( 6 7) ( 6) ( 7) y ( 6 7) ( 6) ( 7)
Demostracin
( ( 6, ( ( 7 ( ( 6) ( 7)
Por 4.38 y 4.37
6 7 6 ( 6, 6 7 7 ( 7 6 7 ( 6) ( 7)
Por 4.36, 4.37 y 4.38
6
(
(
( 7) 6) 7)
Por 4.39
( ( 6, ( ( 7 ( ( 6) ( 7)
Por 4.36 y 4.39
6 7 6 ( 6, 6 7 7 ( 7 6 7 ( 6) ( 7)
Por 4.36, 4.39 y 4.38
( 6 7) ( 6) ( 7)
Por 4.37
9. Sea
un latice y sean (, 6, 7 . Demostrar que si ( 7, entonces

( 6 7) ( 6) 7
Demostracin
( 6 7) ( 6) ( 7)
Ejercicio 8
( 6) 7
Hiptesis, 4.42
10. Dibujar el diagrama de lneas de un latice y una subclase "

de .
Desarrollo
tal que " no es un sublatice
= 2=, >, ?, @, 4
" = 2>, ?, @, 4
Se observa que para 2>, ?4 no existe supremo en ", por tanto " no es un sublatice.
11. Dibujar el diagrama de lneas de dos latices cuya interseccin no es un latice.

Desarrollo
12. Dibujar el diagrama de lneas de un latice que es un lgebra de Boole.

Desarrollo
13. Sea un conjunto parcialmente ordenado; demostrar que la clase de todas las cortaduras de
(ordenadas por inclusin en la componente izquierda ) es un latice completo.
Demostracin
Sea el conjunto de todas las cortaduras de , y sean , ), + , + ) , por hiptesis se tiene que
, ) + , ) . Ahora supongamos que existe alguna subclase de tal que dicha subclase
no tiene un supremo, y llamemos " a dicha subclase. De este modo, ") no tiene al elemento ms
pequeo o ") = .
Tomemos el primer caso, es decir ") no tiene al elemento ms pequeo. Sean , ) y , ) dos
elementos minimales de "), ello implica que si ++ , ) ", entonces , ) ++ , ) y
, ) ++ , ), pero , ) + , ) y + , ) , ), por tanto y , lo cual es
absurdo, por la definicin de cortadura. Esta contradiccin se produce debido a que se supuso que
no tena supremo. Entonces se concluye que la clase de todas las cortaduras de , ordenadas por la
inclusin de su componente izquierda es un latice completo.
14. Sea un conjunto parcialmente ordenada; demostrar que la clase de todos los subconjuntos
convexos de es un latice completo.
Demostracin
Sea z la clase de todos los subconjuntos convexos de . Si tomamos z arbitrariamente, existe
algn conjunto convexo " tal que contiene a todos los otros conjuntos convexos de , pues as lo
determina la definicin de conjunto convexo, de este modo, " = sup y por tanto z es un latice
completo.
15. Dibujar el diagrama de lneas de un conjunto parcialmente ordenado que es condicionalmente
completo, pero que no es un latice completo.
Desarrollo
Se observa que cada subclase acotada superiormente tiene un supremo, por ejemplo, la subclase 2=, >4
est acotada superiormente, y el supremo es =. En cambio, la clase 2?, 4 no es acotada superiormente,
por tanto el diagrama corresponde a un conjunto condicionalmente completo. Sin embargo no toda
subclase tiene un supremo o nfimo, por tanto, el diagrama no corresponde a un latice completo.


Deber N 20
Ejercicios 4.5
1. Sea un conjunto totalmente ordenado. Demostrar que el conjunto de todas las secciones de
(ordenadas por la inclusin) es totalmente ordenado.
Demostracin
Sea z el conjunto de todas las secciones de , entonces sean " z y # z. Sea ( " y 6 #,
como est totalmente ordenado, entonces ( 6 o 6 < (. Si ( 6 como # es seccin, entonces
( # y por tanto " # lo cual implica que " #. Si 6 < (, entonces como " es seccin, 6 ",
por tanto # ", por tanto # < ". De aqu, dos elementos cualesquiera de z son comparables, por
tanto z es un conjunto totalmente ordenado.
2. Sea una clase totalmente ordenada, sea " una clase parcialmente ordenada, y sea : "
una funcin creciente. Demostrar que es inyectiva si y slo si es estrictamente creciente.
Demostracin
) Sea inyectiva. P. D. es estrictamente creciente.
( < 6 ( 6 () () Si () = 6) entonces ( = 6 lo cual es falso pues ( < 6, por
tanto () < 6). Entonces es estrictamente creciente.
) Sea estrictamente creciente. P. D. es inyectiva.
Sea () = 6), suponiendo que ( 6, sea ( < 6, como es estrictamente creciente, entonces
() < 6) lo cual es falso pues () = 6). Anlogamente la suposicin de que 6 < ( produce
una contradiccin, entonces ( = 6. Por tanto es inyectiva.
3. Sea una clase totalmente ordenada, sea " una clase parcialmente ordenada, y sea : "
una funcin biyectiva. Demostrar que si es creciente, entonces es un isomorfismo.
Demostracin
( 6 () 6)
Pues es creciente (hiptesis)
Sea () 6), suponiendo ( > 6, entonces como es creciente se tiene que () > 6), pero
eso contradice la suposicin inicial, por tanto ( 6, entonces se tiene
( 6 () 6)
Y como es biyectiva, entonces es un isomorfismo.
4. Sea una clase totalmente ordenada y sea 2, 4 una particin de . Demostrar que , ) es
una cortadura de si y slo si ( y 6 , ( 6.
Demostracin
) Suponiendo que , ) es una cortadura de , sean ( y 6 , supongamos que 6 < (, esto
implica que 6 entonces se tiene 6 = , lo cual es falso, por tanto se concluye que ( 6.
) Suponiendo que ( y 6 , ( 6. Se probarn las tres condiciones que definen a una
cortadura:
i.
= y = pues 2, 4 es particin de .
ii.
Sea ( y 7 (, y supongamos que 7 , ello implica que 7 , entonces 7 , de esto
se tiene que ( 7 por hiptesis, ahora 7 ( pues 2, 4 es particin, de donde ( < 7 lo cual
es falso pues se supuso que 7 (, entonces 7 .
iii.
Sea 6 y 7 6, y supongamos que 7 , entonces 7 , de aqu 7 6 por hiptesis,
pero 7 6 pues = , por tanto 7 < 6 lo cual contradice el hecho de que 7 6,
finalmente 7 .
Entonces se concluye que , ) es una cortadura.
5. Sea una clase totalmente ordenada. Demostrar que si " y # son subclases convexas de y
" # , entonces " # es convexo.
Demostracin
Sean = " #, > " # y = ( >. Se tienen los siguientes casos:
i.
= " y > ", si = ( >, entonces ( " pues " es convexo, por tanto ( " #.
ii.
= # y > #, si = ( >, entonces ( # pues # es convexo, por tanto ( " #.
iii.
= " y > #, si = ( >, entonces ( #, ( " o ( " #, si ( #, entonces
( " #, anlogamente en los dems casos.
iv.
= # y > ", la demostracin es similar.
Por tanto " # es convexo.
6. Sea un conjunto totalmente ordenado. Sean " y # subclases convexas de y suponer que
" # . Demostrar que cada cota superior de " # es una cota superior de " o una cota
superior de #. Concluir que
" #) = ") #)
Demostracin
Sea ( " #), suponiendo que ( ") y ( #), ello implica ( ") y ( #), por
tanto ( ") #), de donde por las leyes de Morgan ( ") #) ello implica que
( " #) es decir ( " #) lo cual es falso, por tanto se concluye que ( ") o
( #), en palabras, cualquier cota superior de " # es una cota superior de " o una cota superior
de #. Por definicin de unin se tiene que " #) = ") #).
7. Sea
una clase bien ordenada. Si ( , demostrar que el sucesor inmediato de ( y el
inmediato predecesor de ( (si este existe) son nicos.
Demostracin
Sean 6 y 7 los inmediatos sucesores de (, se probar que 6 = 7. Para ello supongamos que 6 7,
dgase 6 < 7. Por definicin de inmediato sucesor, ( < 6 y no existe un tal que ( < < 6. Pero
6 < 7, por tanto ( < 6 < 7, pero 7 es sucesor inmediato de (, por lo tanto 6 no debera existir, lo cual
es un absurdo. Anlogamente se tiene si se considera 7 < 6, por tanto se concluye que 6 = 7.
Entonces el inmediato sucesor de ( es nico.
Sean 6 y 7 los inmediatos predecesores de (. Suponiendo que 6 7, sea 6 < 7, por definicin, ( es el
inmediato sucesor de 6 y el inmediato sucesor de 7, por tanto ( > 7, pero 7 > 6, por tanto ( > 7 > 6,
lo cual es un absurdo, pues ( es inmediato sucesor de 6. Anlogamente se tiene una contradiccin si
suponemos que 7 < 6, por tanto 6 = 7 y el inmediato predecesor de (, si ste existe es nico.
8. Sea una clase parcialmente ordenada; demostrar que " es una seccin de si y slo si
", ") es una cortadura de .
Demostracin
) Sea " una seccin de . Se probar que se satisfacen las tres condiciones de cortadura:
i.
" ") = " ") = " ") = =
" ") = " ") = " ) " ") = : =
ii.
Sea ( " y 6 (, como " es seccin de , entonces 6 ".
iii.
Sea ( " y 6 (, entonces ( ", suponiendo que 6 ", como ( 6 entonces ( "
pues " es seccin de , ello es una contradiccin, pues ( ". Por tanto 6 " finalmente
6 ".
Por tanto ", ") es una cortadura de .
) Supongamos que ", ") es una cortadura de , sean ( " y 6 (, entonces 6 " pues
", ") es cortadura de , por tanto " es una seccin de .
9. Sea una clase bien ordenada; demostrar lo siguiente:
a) La interseccin de cualquier familia de secciones de es una seccin de .
b) La unin de cualquier familia de secciones de es una seccin de .
Demostracin
Sea el conjunto formado por secciones de .

a)
Sea ( y sea 6 (, entonces " , ( " y 6 (, pero " es seccin de , por tanto
6 ", " , de este modo 6 . Por tanto es una seccin de .
b)
Sea ( y sea 6 (, entonces " , ( " y 6 (, pero " es seccin de , por tanto 6 "
para algn " , entonces 6 . Finalmente es una seccin de .
10. Sea una clase bien ordenada y sean " y # segmentos iniciales de . Demostrar que si
" # entonces " es un segmento inicial de #.
Demostracin
Como # es un segmento inicial, entonces # es una seccin de , adems # ", por tanto # es una
seccin de ", entonces, por el teorema 4.56, o # = " o # es un segmento inicial de ", pero # "
implica # " y # ", por tanto no se satisface # = ", finalmente, # es un segmento inicial de ".
11. Sea una clase totalmente ordenada. Sea " y "; demostrar que " tiene al elemento
ms pequeo si y slo si " tiene al elemento ms pequeo.
Demostracin
) Suponiendo que " tiene al elemento ms pequeo, y sea este (. Como ", entonces ( . Si
( = , entonces = , por tanto " = , pero ) = " ) = , en particular contiene
al elemento que es el ms pequeo. Ahora, si ( < , entonces por definicin, ( y se tiene
que ( " .
) Suponiendo que " contiene al elemento ms pequeo, y sea este (. Si ( " entonces
( ", por tanto se ha demostrado el enunciado.
12. Sea una clase totalmente ordenada. Demostrar que es bien ordenada si y slo si cada
segmento inicial de es bien ordenado.
Demostracin
) Sea
bien ordenada, eso significa que cada subclase de
tiene al elemento ms pequeo.
Entonces sea un segmento inicial de , por el ejercicio anterior se tiene que tiene tambin
al elemento ms pequeo, por tanto toda subclase de tiene a dicho elemento ms pequeo,
entonces toda subclase de un segmento inicial de tiene al elemento ms pequeo y por tanto es bien
ordenado.
) Sea un segmento inicial de bien ordenado, entonces toda subclase de tiene al elemento
ms pequeo, pero por el resultado del ejercicio anterior, entonces tambin tiene al elemento
ms pequeo, y por ende toda subclase de tiene al elemento ms pequeo. Por tanto es bien
ordenado.
13. Sea una clase bien ordenada. Si = , sea = el inmediato sucesor de =, y = el inmediato
predecesor de = (si este existe). Demostrar lo siguiente:
a) = > si y slo si = >
b) = = > si y slo si =+ = >
c) = < > si y slo si = < >
d) = = > si y slo si =++ = >
++
e) = = > si y slo si = = >.
Demostracin
a) ) Sea = >, suponiendo que > < =, se tiene por hiptesis que = < = y > < >, pero a su vez,
= > < > de donde = < >, por tanto se tiene que = < > < = lo cual contradice la definicin de
inmediato sucesor, por tanto = >.
) Sea = >, suponiendo que > < =, como = < = y > < >, entonces se tiene > < = < = >,
pero eso contradice la definicin de inmediato sucesor, por tanto = >.
b) ) Sea = = >, y supongamos que = >, dgase = < >, obviamente > < >, de aqu = < > < >,
no hay como ordenar de otro modo, pues no se cumplira la definicin de inmediato sucesor. Entonces
como = = > se tiene = < = < > lo cual es absurdo, pues = < =, por tanto = >. Anlogamente
> =, por tanto =+ = >.
) Sea =+ = >, y supongamos que = >, sea = < >, como = < = y > < >, se tiene = < > < >,
pero =+ = > por tanto = < > < = lo cual es falso. Por ende = = >.
c) ) Sea = < >, suponiendo que = >, entonces por (a) se tiene que = > lo cual es falso, por
tanto = < >.
) Sea = < >, suponiendo que = >, por (a) se concluye que = > lo cual contradice a = < >,
por tanto = < >.
d) ) Sea = = >, suponiendo que = >, sea = < >, como = es el sucesor inmediato de =, por
(c) se tiene que = < >, pero esto es falso, entonces = < >.
) Es una consecuencia directa del resultado anterior y de (c).
e) ) Sea = = >, y supongamos que = >, sea = < >, entonces por (c) se tiene que =++ ) < >,
pero =++ )+ = = por definicin de predecesor, entonces = < >, pero = = >, esto es una contradiccin,
por tanto =++ = >.
) Sea =++ = >, y suponiendo que = >, dgase = < >, por (d) se tiene que =++ < > + ), pero
> + )++ = > por definicin de predecesor, entonces = < >, lo cual contradice la hiptesis, entonces
= = >.
14. Sea una clase bien ordenada; si = , designamos por = el sucesor inmediato de =. Un
elemento se llamar un elemento lmite de si no es el elemento ms pequeo de y
no tiene un predecesor inmediato. Demostrar lo siguiente:
a) es un elemento lmite de ssi = < = < .
b) es un elemento lmite de ssi = sup2( | ( < 4.
Demostracin
a)
) Sea un elemento lmite de . Sea = < , obviamente = < =, adems, no tiene predecesor
inmediato, entonces = < = < , entonces = < .
) Suponiendo que = < = < . Supongamos que no es un elemento lmite de , por tanto,
es el ms pequeo, o tiene un predecesor inmediato. Si es el elemento ms pequeo, entonces la
hiptesis se vuelve falsa, por tanto no puede ser el elemento ms pequeo. Si tiene un predecesor
inmediato, entonces por la hiptesis se tiene que = < =+ < =) < y as sucesivamente,
por tanto no tiene un predecesor inmediato. Finalmente, es un elemento lmite de .
b)
) Sea un elemento lmite de , entonces = < = < , por tanto = sup2( | ( < 4.
) Sea = sup2( | ( < 4, entonces obviamente no es el elemento ms pequeo de , adems
no tiene predecesor inmediato, entonces es un elemento lmite de .


Deber N 21
Ejercicios 4.6
1. En la demostracin del Teorema 4.62, demostrar que [] : ) es un isomorfismo.

Demostracin
Como es inyectiva, entonces su restriccin a tambin lo es. Adems es un isomorfismo, por
tanto para todos los valores estrictamente menores que () existe una pre-imagen estrictamente
menor que (, por ende, [] es biyectiva. Como es isomorfismo, entonces su restriccin satisface la
condicin ( 6 () 6), por tanto [] es un isomorfismo.
2. En la demostracin del Teorema 4.62, demostrar que $ es una seccin de ".

Demostracin
Si $ = " entonces $ es una seccin de ". Si $ ", entonces se probar que $ es un segmento
inicial de ". Sea = $, entonces ( $ ( < >, pero > $, por definicin de segmento inicial, y
> ", entonces $ es un segmento inicial de ", pues " es bien ordenada. Por tanto en virtud del
Teorema 4.56, $ es una seccin de ".
3. Sea una clase bien ordenada. Demostrar que la identidad b es el nico isomorfismo de en
.
Demostracin
Supongamos que existe otro isomorfismo de en , y se probar que = b .
Se necesita probar que () = (. Por el lema 4.58, necesariamente ( (). Ahora, supongamos
que ( < (). Designemos por = al elemento ms pequeo de . Entonces = < =), pero es un
isomorfismo, entonces, por el Teorema 4.14(ii) VW es un isomorfismo, se tiene VW =) < VW =)
por ende VW =) < =, lo cual es falso, pues = es el elemento ms pequeo de . Por ende no es
posible que ( < (), finalmente ( = (), de donde = b .
4. Sean y " clases bien ordenadas. Demostrar que si : " y : " son isomorfismos,
entonces = VW .
Demostracin
Por el Teorema 4.14(iii), : " " y :
son isomorfismos, pero es un
isomorfismo de " en ", segn el resultado del ejercicio anterior, = b_ , anlogamente = b
entonces por los Teoremas 2.23 y 2.24 se tiene que = VW .
5. Sean y " clases bien ordenadas. Demostrar que existe a lo ms un isomorfismo : ".
Demostracin
Suponiendo que existe otro isomorfismo : ". Se probar que = .
Como : " es isomorfismo, entonces VW : " es un isomorfismo (por 4.14(ii)), entonces por
el teorema 4.14(iii), VW : " " y VW : son isomorfismos, pero por el ejercicio 3, se
tiene que necesariamente VW = b_ y VW = b , entonces por los teoremas 2.23 y 2.24
= VW )VW, es decir = , por tanto el isomorfismo entre dos clases bien ordenadas es nico.
6. Sean y " dos clases bien ordenadas. Demostrar que si es isomorfa con una subclase de "
y " es isomorfa con una subclase de , entonces es isomorfa con ".
Demostracin
Si es isomorfo con una subclase de ", por el contrarecproco del Lema 4.61, entonces " no es
isomorfo con un segmento inicial de . Anlogamente no es isomorfo con ningn segmento inicial
de ", por tanto por el Teorema 4.62, es isomorfo con ".
7. Sean y " clases bien ordenadas. Demostrar que si es isomorfo con una clase que contiene
a ", y " es isomorfo con una clase que contiene a , entonces es isomorfo con ".
Demostracin
Sean la clase que contiene a y " la clase que contiene a ", por el ejercicio anterior, " pero
adems " y ", entonces se tiene que " " de donde ".
8. Sean y " clases bien ordenadas. Suponer que no tiene al elemento ms grande; suponer
que cada elemento de " (excepto el ms pequeo) tiene un inmediato predecesor. Demostrar
que " es isomorfo con una seccin de .
Demostracin
Sea # una seccin de , esto se da si y slo si # = o # es un segmento inicial de , por tanto, para
demostrar el enunciado, basta demostrar que no se cumplen la parte (ii) del Teorema 4.62.
Para esto supongamos que s se cumple, es decir, " es isomorfo con un segmento inicial de , sea este
, por tanto " . Por el lema 4.61, no es isomorfo con ninguna subclase de ". Pero no tiene
al elemento ms pequeo, entonces, existe un elemento de " diferente del ms pequeo no tiene
inmediato predecesor, lo cual contradice la hiptesis, por tanto queda demostrado el enunciado.


Deber N 22
Ejercicios 5.2
1. Sea
un conjunto y sea : " una funcin sobreyectiva. Demostrar que existe un
subconjunto # tal que # est en correspondencia uno a uno con ".
Demostracin
Como es sobreyectiva, por el teorema 5.4 existe una funcin : " tal que = b_ , la
funcin no es necesariamente sobreyectiva, pero si hacemos # = ran , tenemos que : " # es
sobreyectiva, por ende existe una funcin : # " tal que = b` , ahora si tomamos [`] : # "
se sigue teniendo que [`] = b_ . Sea = [`], se tiene entonces por los Teoremas 2.23 y 2.24 que
es biyectiva, y por tanto # est en correspondencia uno a uno con ".
2. Sea
un conjunto, sea : " # y : # funciones, y suponer que ran ran .
Demostrar que existe una funcin : " tal que = .
Demostracin
Obviamente 6 ", 6) ran , pero ran ran , por tanto 6) ran , por tanto ( tal
que () = 6), esto es 26)4) , por tanto haciendo " = 26)4), se puede formar la
familia indexada Q" R_ , entonces por Ch2 _ " , es decir, existe una funcin : "
_ " tal que 6) " , esto es 6) 26)4), de donde 6) 26)4, entonces
6) = 6), de donde = .
3. Sea 2 a 4ad una familia indexada de clases, donde b es un conjunto. Demostrar que existe
] b tal que 2 a | b4 = Q j | i ]R y, en Q j Rjk se tiene a = j = i.
Demostracin
Sea z 2 a 4ad tal que a z y j z, entonces a = j i. Por la observacin 2.37, la
funcin : b 2 a 4ad es sobreyectiva, por tanto por el Teorema 5.4, existe una funcin : b 2 a 4ad
tal que = b24 , ahora sea ] un subconjunto de b tal que i ], j z, entonces se tiene que
2 a | b4 = Q j | i ]R y adems en Q j R
se tiene a = j = i, esto en vista que se puede
jk
restringir las funciones y de la siguiente manera: : ] 2 a 4ad z y : 2 a 4ad z ].
4. Demostrar que el enunciado del Teorema 5.4 implica al Axioma de Eleccin.

Demostracin
Sea un conjunto y sea : " una funcin sobreyectiva, por el axioma de reemplazo, " tambin
es un conjunto. Sea 6 = (), por hiptesis, 264) es no vaco. Sea " = 264. Si se define la funcin
: " _ " como 6) = " , se tiene que _ " y este es no vaco, lo cual implica a Ch2,
por tanto esto implica el Axioma de Eleccin.
En cada uno de los siguientes problemas, se establece una proposicin. Demostrar que este
proposicin es equivalente al axioma de eleccin.
5. Sea z un conjunto de conjuntos disjuntos no vacos. Existe una funcin cuyo dominio es z
tal que para todo z, ) .
Demostracin
A8 5: Sea " un conjunto tal que z ~"), por el axioma de eleccin, existe una funcin de
eleccin para ", tal que x ) para todo ~"). Por tanto, sea = xz , la funcin restriccin
de x a z, entonces es la funcin buscada.
5A8: Es obvio que es una funcin de eleccin para algn conjunto " tal que z ~").
6. Sea un conjunto totalmente ordenado. Sean " y # subclases convexas de y suponer que
" # . Demostrar que cada cota superior de " # es una cota superior de " o una cota
superior de #. Concluir que
" #) = ") #)
Demostracin
Sea ( " #), suponiendo que ( ") y ( #), ello implica ( ") y ( #), por
tanto ( ") #), de donde por las leyes de Morgan ( ") #) ello implica que
( " #) es decir ( " #) lo cual es falso, por tanto se concluye que ( ") o
( #), en palabras, cualquier cota superior de " # es una cota superior de " o una cota superior
de #. Por definicin de unin se tiene que " #) = ") #).
7. Sea
una clase bien ordenada. Si ( , demostrar que el sucesor inmediato de ( y el
inmediato predecesor de ( (si este existe) son nicos.
Demostracin
Sean 6 y 7 los inmediatos sucesores de (, se probar que 6 = 7. Para ello supongamos que 6 7,
dgase 6 < 7. Por definicin de inmediato sucesor, ( < 6 y no existe un tal que ( < < 6. Pero
6 < 7, por tanto ( < 6 < 7, pero 7 es sucesor inmediato de (, por lo tanto 6 no debera existir, lo cual
es un absurdo. Anlogamente se tiene si se considera 7 < 6, por tanto se concluye que 6 = 7.
Entonces el inmediato sucesor de ( es nico.
Sean 6 y 7 los inmediatos predecesores de (. Suponiendo que 6 7, sea 6 < 7, por definicin, ( es el
inmediato sucesor de 6 y el inmediato sucesor de 7, por tanto ( > 7, pero 7 > 6, por tanto ( > 7 > 6,
lo cual es un absurdo, pues ( es inmediato sucesor de 6. Anlogamente se tiene una contradiccin si
suponemos que 7 < 6, por tanto 6 = 7 y el inmediato predecesor de (, si ste existe es nico.
8. Sea una clase parcialmente ordenada; demostrar que " es una seccin de si y slo si
", ") es una cortadura de .
Demostracin
) Sea " una seccin de . Se probar que se satisfacen las tres condiciones de cortadura:
iv.
" ") = " ") = " ") = =
" ") = " ") = " ) " ") = : =
v.
Sea ( " y 6 (, como " es seccin de , entonces 6 ".
vi.
Sea ( " y 6 (, entonces ( ", suponiendo que 6 ", como ( 6 entonces ( "
pues " es seccin de , ello es una contradiccin, pues ( ". Por tanto 6 " finalmente
6 ".
Por tanto ", ") es una cortadura de .
) Supongamos que ", ") es una cortadura de , sean ( " y 6 (, entonces 6 " pues
", ") es cortadura de , por tanto " es una seccin de .


Deber N 23
Ejercicios 5.4
1. Sea un conjunto parcialmente ordenado y sea z el conjunto de todos los conjuntos bien
ordenados de . Para # z y $ z, se define # $ si y slo si # es una seccin de $.
a) Demostrar que es una relacin de orden parcial en z.
b) Demostrar que z ordenado por es inductivo.
c) Utilizando la parte (b) y el Lema de Zorn, demostrar el Teorema 5.17.
Demostracin
a) Simtrica: # es una seccin de s mismo, por tanto # #.
Antisimtrica: Sea # $ y $ #, esto es # $ y $ # y ambos son secciones uno del otro, por
tanto # = $.
Transitiva: Sea # $ y $ , entonces por el Teorema 4.6 # .
Entonces es una relacin de orden en z.
b) Sea una cadena de z, y supongamos que no tiene una cota superior en z, esto es, no existe
z, tal que para todo # , # , pero z es parcialmente ordenado, por tanto, por el Principio
Maximal de Hausdorff tiene una cadena maximal, y esto es una contradiccin, ya que dicha cadena
maximal sera una cota superior para todas las subcadenas de la misma, por tanto z es inductivo.
c) z es inductivo, por tanto tiene al menos un elemento maximal (por el Lema de Zorn), esto es, para
todo # z, existe $ z tal que # $. Pero los elementos de z son un conjuntos bien ordenados,
por tanto $ es un conjunto bien ordenado maximal, que era lo que se quera demostrar.
2. Utilizar el resultado del ejercicio 1 para demostrar el Teorema 5.18.
Demostracin
Como z est formado por elementos que son conjuntos bien ordenados, y adems estos son secciones
(en virtud del Teorema 4.56), entonces z es dbilmente inductivo, por el resultado anterior tiene un
elemento maximal.
3. Derivar el Principio Maximal de Hausdorff del Lema de Zorn.
Demostracin
Sea un conjunto parcialmente ordenado, se define z ordenado por inclusin de la siguiente manera:
z = 2" | " es cadena de 4
Sea una cadena de z, entonces por 4.26 es una cota superior de , ahora se probar que
est en z, para ello, sean " y " subclases de , donde ( " y 6 " , como est ordenada
por la inclusin, " " o viceversa, tomando el primer caso (el segundo es anlogo), se tiene que
(, 6 " , pero " es una cadena, por tanto ( 6 o 6 (, por lo tanto es una cota superior de
en z.
Por tanto z es inductivo, y posee, por el lema se Zorn, al menos un elemento maximal, es decir,
existe " tal que " es una cadena maximal de , con lo que se ha probado el principio Maximal
de Hausdorff.
4. Demostrar que el lema de Zorn es equivalente a lo siguiente: Sea un conjunto inductivo y
sea = ; entonces tiene al menos un elemento maximal > tal que > =.
Demostracin
) Como es inductivo, por el lema de Zorn, tiene al menos un elemento maximal, sea este >,
entonces si = , se tiene, por definicin, que > =.
) Sea un conjunto inductivo y sea = ; entonces tiene al menos un elemento maximal > tal
que > =, de aqu, > es el elemento maximal que se requiere para el lema de Zorn.
5. Demostrar que el principio maximal de Hausdorff es equivalente a lo siguiente: Si es un

conjunto parcialmente ordenado y " es una cadena de , entonces
tiene una cadena
maximal # tal que " #.
Demostracin
) Por el principio maximal de Hausdorff, tiene una cadena maximal, sea esta #, ahora sea " #,
entonces " es una cadena de , con lo que se ha demostrado el enunciado.
) Como tiene una cadena maximal, se ha probado del principio maximal de Hausdorff.
6. Sean y " clases bien ordenadas. Demostrar que si : " y : " son isomorfismos,
entonces = VW .
Demostracin
Por el Teorema 4.14(iii), : " " y :
son isomorfismos, pero es un
isomorfismo de " en ", segn el resultado del ejercicio anterior, = b_ , anlogamente = b
entonces por los Teoremas 2.23 y 2.24 se tiene que = VW .
7. Sean y " clases bien ordenadas. Demostrar que existe a lo ms un isomorfismo : ".
Demostracin
Suponiendo que existe otro isomorfismo : ". Se probar que = .
Como : " es isomorfismo, entonces VW : " es un isomorfismo (por 4.14(ii)), entonces por
el teorema 4.14(iii), VW : " " y VW : son isomorfismos, pero por el ejercicio 3, se
tiene que necesariamente VW = b_ y VW = b , entonces por los teoremas 2.23 y 2.24
= VW )VW, es decir = , por tanto el isomorfismo entre dos clases bien ordenadas es nico.
8. Sean y " dos clases bien ordenadas. Demostrar que si es isomorfa con una subclase de "
y " es isomorfa con una subclase de , entonces es isomorfa con ".
Demostracin
Si es isomorfo con una subclase de ", por el contrarecproco del Lema 4.61, entonces " no es
isomorfo con un segmento inicial de . Anlogamente no es isomorfo con ningn segmento inicial
de ", por tanto por el Teorema 4.62, es isomorfo con ".
9. Sean y " clases bien ordenadas. Demostrar que si es isomorfo con una clase que contiene
a ", y " es isomorfo con una clase que contiene a , entonces es isomorfo con ".
Demostracin
Sean la clase que contiene a y " la clase que contiene a ", por el ejercicio anterior, " pero
adems " y ", entonces se tiene que " " de donde ".
10. Sean y " clases bien ordenadas. Suponer que no tiene al elemento ms grande; suponer
que cada elemento de " (excepto el ms pequeo) tiene un inmediato predecesor. Demostrar
que " es isomorfo con una seccin de .
Demostracin
Sea # una seccin de , esto se da si y slo si # = o # es un segmento inicial de , por tanto, para
demostrar el enunciado, basta demostrar que no se cumplen la parte (ii) del Teorema 4.62.
Para esto supongamos que s se cumple, es decir, " es isomorfo con un segmento inicial de , sea este
, por tanto " . Por el lema 4.61, no es isomorfo con ninguna subclase de ". Pero no tiene
al elemento ms pequeo, entonces, existe un elemento de " diferente del ms pequeo no tiene
inmediato predecesor, lo cual contradice la hiptesis, por tanto queda demostrado el enunciado.


Deber N 24
Ejercicios 6.2
1. Demostrar que es un conjunto transitivo si y slo si se satisface lo siguiente: Si " # y

# , entonces " .
Demostracin
) Suponiendo que " # y # " . Sea ( , P. D. ( .
Suponiendo que ( , eso indica que existe 6 ( tal que 6 , pero ( y 6 (, por hiptesis
se concluye que 6 , lo cual es una contradiccin, por tanto, no es posible que ( . Entonces
( .
) Suponiendo que es un conjunto transitivo. P. D. Si " # y # , entonces " .
Sean " # y # , como es transitivo, entonces # , finalmente " .
2. Demostrar que si y " son conjuntos transitivos, entonces
transitivos.
Demostracin
( " ( o( "
( o("
( "o( "
( "
( " ( y( "
( y("
( "
3. Sean y " conjuntos. Demostrar que si

Demostracin
= 2 4
= " 2"4
= "
= ", entonces
" y
" son conjuntos
Definicin de unin
Hiptesis
Teorema 1.20(i)
Teorema 1.8(iv)
Hiptesis
Teorema 1.20(ii)
= ".
Definicin de sucesor
Hiptesis
4. Utilizar 6.3 para demostrar que para todo nmero natural , .

Demostracin
Sea = 2 | 4. Se probar que = .
i.
Obviamente, , suponiendo que , es una falsedad, pues el vaco no tiene elementos.
Adems 0 = , por tanto 0 0.
ii.
Suponiendo que , se probar que . Suponiendo que , ello significa que
24 24, de esto 24 o 24 24. Si 24 se tiene que ,
pero , por tanto , se tiene una contradiccin, entonces de donde .
Por 6.3 se concluye que = . Es decir, para todo nmero natural , .
5. Demostrar lo siguiente, donde , , y .

a) .
b) Si , entonces .
c) Si y y, entonces y.
d) Si , entonces .
Demostracin
a) Suponiendo que = = 24, por el Teorema 1.21(i) se tiene que 24 , pero eso es falso
pues 24, entonces .
b) Suponiendo que , entonces , pues todo nmero natural es un conjunto transitivo. Por
hiptesis, , entonces , de donde = , por tanto , lo cual es falso por el ejercicio
4, entonces se concluye que .
c) Por el Lema 6.6, , y y son conjuntos transitivos, y por el ejercicio 1 se concluye que y.
d) ( ( 24
( o ( 24
Definicin de unin
(o(=
Lema 6.6 y ejercicio 1, singleton.
Si ( , como , entonces , de donde ( , por lo tanto ( , por 6.6. Si ( = ,
entonces ( . De ambos casos se concluye que .
6. a) Demostrar por induccin: Si y , entonces . Concluir que es un
conjunto transitivo.
b) Demostrar que si , entonces .
Demostracin
a) Sea = 2 | y 4.
i.
Obviamente 0 , pues 0 1 y 1 .
ii.
Sea , por demostrar que . Como , entonces y . Por el axioma
P2, , por el ejercicio 5d se tiene que , pero , por tanto , pero
es un conjunto transitivo, por tanto , de donde se tiene que y , de
donde .
Por induccin se tiene que = , por tanto si y , entonces .
b) Obviamente , y como , por el literal (a) de este ejercicio se concluye que .
7. Demostrar que ningn nmero natural es un conjunto sucesor.

Demostracin
Suponiendo que existe algn nmero natural que es un conjunto sucesor. Por definicin se tiene que
y si , entonces . Designaremos por al nmero natural tal que = ,
obviamente , por tanto , por la suposicin inicial se tiene que , de donde ,
lo cual es falso por el ejercicio 4, entonces se concluye que ningn nmero natural es un conjunto
sucesor.
8. Demostrar que ningn nmero natural es un subconjunto de alguno de sus elementos.
Demostracin
Suponiendo que existe algn nmero natural tal que es subconjunto de alguno de sus elementos. Sea
tal que , como es un conjunto transitivo, entonces , de donde = , de esto se
tiene que , lo cual es falso por el ejercicio 4. Entonces no existe tal nmero .
9. Demostrar por induccin: Si , entonces = 0 o = para algn .

Demostracin
Sea = 2 | , = 0 o = 4
i.
Como 0 = 0, entonces 0 .
ii.
Sea , por demostrar que . Obviamente 0, por el Teorema 6.2, entonces
0. Pero , si = 0, entonces = 1 = 0 , entonces , si 0, entonces
, = . Como , entonces , entonces ) , y por el ejercicio
3, se tiene que = ), de donde .
Por 6.3 se concluye que = , con lo que queda demostrado el enunciado.
10. Sea . Demostrar lo siguiente:

a) = .
b) =
Demostracin
a) Por induccin. Sea = 2 | = 4.
i.
0 = 1 = 24, entonces 0 = 24 = = 0, por tanto 0 .
ii.
Suponiendo que = , sea = , entonces = . Por demostrar que = .
= 24)
= ) 24)
Propiedades de la unin
=
Pues = , definicin de unin
=
Pues =
= 24)
= 24
Teorema 1.25
=
Entonces = , por tanto, para todo nmero natural , = .
b) ,
Definicin de unin
Ejercicio 6(a)

Axioma de Peano P2
y
,
Haciendo =

Definicin de unin
Entonces = .
11. Sea un subconjunto no vaco de . Demostrar que si = , entonces = .
Demostracin
Sea
Ejercicio 10(b)
,
Definicin de unin


Deber N 25
Ejercicios 6.3
1. Sea = , donde es el conjunto de los nmeros reales; se define = por las siguientes dos
condiciones.
= = 1
W
=
= = =,

Demostrar que para cada , = es un nmero real definido nicamente. (En otras
palabras, demostrar que ) = = es la nica funcin determinada .)
Demostracin
Sea : la funcin definida por () = (=. De este modo, seleccionando el elemento 1, I
0) = = = 1
II
) = ) = )= = = =
y la funcin ) = = es la nica funcin determinada de en , de este modo = est determinado
de manera nica.
una funcin. Se define por
= b
(la funcin identidad sobre )
W
= ,

Demostrar que para cada , es un nico elemento determinado de .

Demostracin
Sea : , la funcin definida por ) = , donde est dada en la hiptesis, adems se
selecciona el elemento b , de este modo, se cumplen las condiciones del teorema 6.8, por tanto,
existe una nica funcin : , que definimos como ) = , por tanto se tiene:
I
0) = = b
II
) = ) = ) =
Entonces es un nico elemento determinado de .
2. Sea
un conjunto y sea :
3. Sea un conjunto y sea : " una funcin inyectiva, donde " . Demostrar que
tiene un subconjunto que est en correspondencia uno a uno con .
Demostracin
Como " , entonces ? , ? ". Sea : la funcin definida por las siguientes dos
condiciones:
0) = ?
) = ),

Ahora, como es inyectiva, entonces ran ", entonces ? ran , por tanto se tienen las
condiciones del corolario 6.9, de este modo es una funcin inyectiva. Haciendo : $ donde
$ = ran , entonces es biyectiva, y adems $ , por tanto de ese modo est en
correspondencia uno a uno con $, por tanto $ es el subconjunto de buscado, con lo que se ha
demostrado el enunciado.
4. Si es un conjunto parcialmente ordenado, por sucesin estrictamente creciente en se

entiende a una funcin : tal que 0) < 1) < 2) < Sea
un conjunto
parcialmente ordenado que no tiene elementos maximales; demostrar que hay una sucesin
estrictamente creciente en .
Demostracin
Como es un conjunto parcialmente ordenado, entonces por el principio maximal de Hausdorff,

tiene una cadena maximal, sea esta ", entonces se redefine : " , de este modo todos los
elementos de ran son comparables dos a dos, y puede existir la sucesin. Ahora definimos la
funcin : " " como la funcin inmediato sucesor, es decir, (, 6 ", () = 6 si y slo si ( < 6
y 7, ( < 7 < 6. Seleccionamos un elemento arbitrario ? de ", de este modo se cumplen las
condiciones del teorema 6.8, y por tanto existe una nica funcin : tal que cumple con las
siguientes dos condiciones:
0) = ?
) = ),

Ahora, se probar que efectivamente, es una sucesin estrictamente creciente, es decir que ,
) < ). Como no tiene elementos maximales, y " es la cadena maximal de , entonces " no
tiene elementos maximales, por tanto est definida para todos los elementos de . Supongamos que
esto no se cumple, es decir, tal que ) ). Si ) = ) entonces, por
definicin ) = ), lo cual es falso, pues contradice la definicin de inmediato sucesor. Si
) < ), entonces ) < ), lo cual tambin contradice la definicin de inmediato
sucesor, entonces se concluye que es una sucesin estrictamente creciente, con lo que se ha
demostrado el enunciado.


Deber N 26
Ejercicios 6.4
1. Demostrar el Teorema 6.18(ii).
Teorema: + o) = + o.
Demostracin
Si y son nmeros naturales, sea
q = 2 | + o) = + o4
Se demostrar por induccin que q = .
+ o)0 = 0
i.
Definicin de multiplicacin
=0+0
Lema 6.12
= 0 + o0
Por tanto 0 q .
ii.
Suponiendo que q , esto significa que + o) = + o (hiptesis de induccin).
Se tiene:
+ o) = + o) + + o)
= + o) + + o)
Hiptesis de induccin
= o + ) + + o
Teoremas 6.13 y 6.14
= o + + ) + o
Teorema 6.13
= o + ) + o
= + o) + o
Teorema 6.14
= + o + o)
Teorema 6.13
= + o
Por tanto
De aqu se tiene que q = con lo cual se ha demostrado el Teorema.
2. Demostrar el Teorema 6.20.

Teorema: = .
Demostracin
Sea = 2 | = 4, se probar por induccin que = .
i.
0 = 0 = 0 Por definicin de multiplicacin y Lema 6.16, entonces 0 .
ii.
Suponiendo que , esto es = (hiptesis de induccin).
= +
= +
= + 1
Lema 6.17
= + 1)
Teorema 6.18(ii)
= 1 + )
Teorema 6.14
=
Lema 6.11
Por lo tanto .
Se concluye que = , con lo cual queda demostrado el Teorema.
a) = + o = + o
b) = o = o.
Demostracin
a) Sea = 2o | = + o = + o4. Se probar por induccin que = .
i.
= + 0 = + 0, por definicin de suma, entonces 0 q .
ii.
Supongamos que o , esto es = + o = + o (Hiptesis de induccin).
+ o = + 1 + o)
Lema 6.11
= + o + 1)
Teorema 6.14
= + o) + 1
Teorema 6.13
= + o) + 1
= + o + 1)
Teorema 6.13
= + 1 + o)
Teorema 6.14
= + o
Lema 6.11
Por tanto o .
Entonces = , con lo que se ha demostrado el enunciado.
b) Sea = 2o | = o = o4. Se probar por induccin que = .
i.
= , 0 = 0 0 = 0 por definicin de multiplicacin, por tanto 0 .
ii.
Sea o , esto es = o = o (hiptesis de induccin).
o = o +
= o +
= o +
Pues =
= o
Por tanto o .
Entonces = , con lo que se ha demostrado el enunciado.
a) < 1 = 0.
b) No existe un nmero natural o tal que < o < .
Demostracin
a) Como < 1, entonces por el lema 6.24 1, pero = 1 + por el lema 6.11, entonces se
tiene que 1 + 1. Si 1 + = 1 entonces = 0 por definicin de suma. Si 1 + < 1, entonces
1 + 1, lo cual significa 0 y esto es = 0 lo cual es imposible, por tanto no se tiene
esta posibilidad.
b) Suponiendo que existe o tal que < o < , por tanto como < o entonces o por el
lema 6.24, esto significa que = o o o, si = o, hay una contradiccin pues o < , si
o, como son conjuntos transitivos, entonces o, pero se supuso que o < , esto es
o , por tanto o , entonces o = lo cual contradice la hiptesis, por tanto, no existe
dicho o.
5. Demostrar lo siguiente.
a) < o + < + o.
b) + = + o = o.
Demostracin
a) Sea q = 2 | < o + < + o4.
i.
< o 0 + < 0 + o, entonces 0 q .
ii.
Supongamos que q , esto es < o + < + o, se probar que q .
Suponiendo lo contrario, es decir q , esto es < o y + + o. Por el lema
6.11 se tiene 1 + ) + 1 + ) + o, por el Teorema 6.14 + 1) + + 1) +
o, luego, por el Teorema 6.13 + 1 + ) + 1 + o) y nuevamente por el lema 6.11
+ + o , pero si < o < o (pues o, entonces o, pero o < o ,
por tanto < o ), de donde < o + < + o lo cual contradice el resultado,
por tanto q .
Entonces q = , con lo que se ha demostrado el enunciado.
b) Sea q = 2 | + = + o = o4.
i.
0 + = 0 + o = o, entonces 0 q .
ii.
Supongamos que q , esto es + = + o = o, se probar que q .
+ = + o + = o +
Por 6.14
+ ) = o + )
Por 6.10
+ ) = + o)
Por 6.14
+ = + o
Por 6.10
= o
=o
Por 6.7
a) Si < y o 0, entonces o < o.
b) Si o = o y o 0, entonces = .
Demostracin
a) Sea = 2o 204| < o < o4, se probar por induccin que = 204.
i.
< 1 < 1, entonces 1 .
ii.
Supongamos que o , es decir < o < o, se probar que o .
< o < o
o + < o +
Ejercicio 5b
o + < o + < o +
Ejercicio 5b
o + < o +
Transitividad
Por 6.15
o < o
Entonces o , por tanto = 204.
b) Sea = 2o 204| o = o = 4, se probar por induccin que = 204.
i.
1 = 1 = entonces 1 .
ii.
Suponiendo que o , esto es o = o = , se probar que o .
o = o o + = o +
Por 6.15
o + = o +
=
Ejercicio 5b
Entonces o , por tanto = 204.
7. Demostrar que si , entonces existe un nico y tal que + y = .

Demostracin
Sea = 2 | y , + y = 4, se probar por induccin que = .
i.
Por el lema 6.23, 0 para cualquier nmero natural, luego 0 + = , por tanto y = , de
donde 0 .
ii.
Suponiendo que , se probar que . y , + y = (Hiptesis de
induccin).
Separando la demostracin en dos casos:
= , entonces + 0 = = , por tanto y = 0 y .
< , pero por hiptesis de induccin y , + y = , tomando y = 1 + y, se tiene
+ 1 + y = , de donde + y = , con lo que .
Entonces = .
8. Demostrar lo siguiente.
a) + o < + o < .
b) o < o < .
Demostracin
a) Sea = 2o | + o < + o < 4.
i.
Sea o = 0, entonces + 0 < + 0 < , por tanto 0 .
ii.
Supongamos que o , esto es + o < + o < , pero supongamos que no se
cumple la tesis de induccin, esto es o < o y , analizando dos casos:
Primero: = entonces o = o (Ejercicio 3b), luego o + = o + (Ejercicio 3a),
por hiptesis o + = o + de donde o = o lo cual es una contradiccin, por tanto
.
Segundo: > entonces o > o (Ejercicio 5b) luego o + > o + > o +
(Ejercicio 5a) de donde o + > o + por transitividad. Entonces o > o lo cual es
una contradiccin, entonces .
De ambos casos se concluye que o .
Entonces = .
b) Supongamos lo contrario, esto es o < o y . Si = , por el ejercicio 3b, o = o lo
cual es una contradiccin. Si > y o = 0, entonces o = o = 0 lo cual tambin es
contradiccin. Si > y o 0, por el ejercicio 6, o > o con lo que nuevamente se tiene una
contradiccin, por tanto o < o < .
9. Dar una definicin inductiva de exponenciacin de nmeros naturales; esto es definir de

una manera similar a 6.10 y 6.15, justificando la definicin en trminos del Teorema de
Recursin. Entonces demostrar lo siguiente:
a) q = q ,
b) )q = q q ,
c) )q = q .
Desarrollo
Sea : la funcin definida por ) = , 1 un elemento seleccionado, entonces por el
Teorema de Recursin se tiene una nica funcin que satisface:
I
0) = 1
II
) = ) = )
De este modo se define la exponenciacin de la siguiente manera:
= )
Las condiciones I y II pueden escribirse como
I
= 1
II
=
a) Sea = 2o | q = q 4.
i.
=
Por 6.10
= 1
Lema 6.17 y Teorema 6.20
=
Por I
Por tanto 0 .
ii.
Suponiendo que o , esto es q = q , se probar que o .
q = q)
Por 6.10
q
=
Por II
= q
q
=
Teorema 6.19
= qW
Por II
Por tanto o
Entonces = .
b) Sea = 2o | )q = q q 4
) = 1
i.
Por I
= 11)
Lema 6.17
Por I
=
Entonces 0 .
ii.
Supongamos que o , esto es )q = q q , se probar que o .
)q = )q )
Por II
q q
= )
q
q
=
Teoremas 6.19 y 6.20
= q q
Por II
Entonces o .
Por tanto = .
c) Sea = 2o | )q = q 4.
) = 1
i.
Por I
=
Por I
=
Por 6.15
Por tanto 0 .
ii.
Suponiendo que o , esto es )q = q , se probar que o
)q = )q
Por II
q
=
= q
Resultado ejercicio a
q
=
Por 6.15
Por tanto o .
Entonces = .

Fund A Mentos

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Fund A Mentos

Hochgeladen von

Copyright:

Verfügbare Formate

ESCUELA POLITCNICA NACIONAL

Asignatura: Fundamentos de la Matemtica

Previo a la demostracin, la misma se basar en el siguiente resultado:

Demostracin de iv) y iv):

4. Demostrar que las siguientes proposiciones son verdaderas para toda  y .

5. Demostrar que las siguientes proposiciones son verdaderas para todo ,  y .

6. Demostrar que, para todas las proposiciones ,  y , si   es verdad, entonces las

7. Demostrar que para todas las proposiciones , ,  y , si   y  , entonces:

Por el resultado del ejercicio 1.1-4-b, se tiene que

ESCUELA POLITCNICA NACIONAL

Carrera: Ingeniera Matemtica

1. Suponga que " y # $; demostrar que

2. Suponga que = " y # = $, demostrar que

3. Demostrar que si " entonces "

= " y " #, entonces

" y " #, entonces

Definicin de igualdad de clases

Definicin de igualdad de clases

Definicin de subclase propia

7. Demostrar el Teorema 1.11, partes (iv) y (v).

Como  es un conjunto, se puede sustituir ( por , de donde:

9. Nos permite el axioma A2 formar la Clase de todas las clases? Explique.

ESCUELA POLITCNICA NACIONAL

Carrera: Ingeniera Matemtica

2. Demostrar el Teorema 1.24(ii)

3. Demostrar el Teorema 1.25 partes (ii), (iii), (iv), (vi) y (viii).

5. Use el lgebra de clases para demostrar lo siguiente:

6. Use el lgebra de clases para demostrar lo siguiente:

7. Utilizando el lgebra de clases, demostrar lo siguiente:

10. Demostrar lo siguiente:

" y # = " , entonces

Teorema 1.21 (ii)

ESCUELA POLITCNICA NACIONAL

Carrera: Ingeniera Matemtica

2. Demostrar el teorema 1.32(ii).

3. Demostrar que " $) = ") $).

4. Demostrar que ") # $) = $) # ").

5. Si , " y # son clases, demostrar lo siguiente:

7. Si y # son clases no vacas, probar que " y # $ si y slo si # " $.

Def. producto cartesiano y teoremas

8. Sean , ", # y $ clases no vacas. Demuestre que " = # $ si y slo si = # y " = $

10. Demostrar que " = si y slo si = o " = .

b) ( = 6 si y slo si 2(4 = 264

12. Se da la siguiente definicin alternativa de pares ordenados:

Primer caso: 2=, 4 = 2?, 4 Q>, 24R = Q@, 24R

ESCUELA POLITCNICA NACIONAL

Carrera: Ingeniera Matemtica

2. Demostrar el Teorema 1.37 partes (ii) y (iv).

4. Si T, U y ] son grafos, demostrar cada uno de los siguientes.

5. Si T y U son grafos, demostrar lo siguiente

7. Si , " y # son clases, demostrar lo siguiente

8. Sean T y U grafos, demostrar lo siguiente

9. Sean T y U grafos, demostrar lo siguiente

d) 6 ran T) ran U) 6 ran T) ran U)

ESCUELA POLITCNICA NACIONAL

Carrera: Ingeniera Matemtica

2. Demostrar el Teorema 1.41(ii)

3. Demostrar el Teorema 1.42 (ii)

4. Demostrar el Teorema 1.43(ii)

6. Sean 2 a 4ad y Q"j Rjk familias indexadas de clases. Demostrar lo siguiente

Def. producto cartesiano

8. Sean 2 a 4ad y Q"j Rjk familias indexadas de clases. Demostrar que

Por lo tanto Q"a #j R a,j)dk es una envoltura de .

4. Demostrar que las siguientes proposiciones son verdaderas para toda y .

5. Demostrar que las siguientes proposiciones son verdaderas para todo , y .

6. Demostrar que, para todas las proposiciones , y , si es verdad, entonces las

7. Demostrar que para todas las proposiciones , , y , si y , entonces:

Como es un conjunto, se puede sustituir ( por , de donde:

Por lo tanto Q"a #j Ra,j)dk es una envoltura de .

10. Exhibir los conjuntos ~~) y ~~~).

~~~) = P, 24, Q24R, Q, 24RS

)(, 6) = (), 6) para cada (, 6) #

a) ad a ) jk "j = a,j)dk a "j

Si " , sea "a = y ") para todo b. Demostrar que

"j Ra,j)dk es una particin de

Transitiva: (, 6) T) 6, 7) T) (), 6) T 6), 7) T