Professional Documents
Culture Documents
QQ
QQ
Q
fa; bg fa;
g fb;
g
Q Q Q Q
QQ QQ
Q Q
fag fbg f
g
QQ
QQ
Q
;
a Cardinalidad
Estri
to
Álgebra de Boole
Vi
ente Yriarte
Universidad Simón Bolívar
Elementos de Teoría Axiomáti
a de
Conjuntos
Vi
ente Yriarte
Universidad Simón Bolívar
nos? ¾Por qué tan blandos? ½Oh hermanos míos!, yo os lo pregunto: ¾no sois mis hermanos?
¾Por qué tan blandos, tan ondes endientes? ¾Por qué hay tanta abnega ión en vuestro ora-
zón? ¾Por qué hay tan po o destino en vuestra mirada? y si no queréis ser destinos inexorables,
¾ ómo podríais ven er algún día onmigo? Y si vuestra dureza no quiere levantar hispas, ortar
y tajar, ¾ ómo podríais algún día rear onmigo? Pues los readores son duros. Y debe ser
para vosotros una di ha imprimir la huella de vuestra mano en los siglos omo en la era blanda,
una di ha es ribir sobre la voluntad de los milenarios omo en bron e; más duro que el bron e,
más noble que el bron e. El más duro es el más noble. ½Oh hermanos míos!, yo suspendo sobre
iii
iv
espe
ial énfasis en las deni
iones y teoremas rela
ionados
on
onjuntos nitos,
ontables y no
ontables.
Mu
hos de los matemáti
os
on los que he estudiado, o
uyos libros he leí-
do han
ontribuido de una u otra forma a la es
ritura de este libro. De los
matemáti
os de quienes he tenido la fortuna de aprender puedo men
ionar a
los profesores Ana Viola, Jorge Viola, Claudio Madgaglio, José Luis Pala
ios y
mu
hos otros que no nombro por no ha
er la lista interminable. Quiero expre-
sar mi espe
ial agrade
imiento al profesor Os
ar Nava. Finalmente, agradez
o
innitamente a Patri
Suppes Paul R. Halmos autores de los libros de donde
aprendí por primera vez mu
hos de los
on
eptos aquí expuestos.
Resumen de la Nota
ión
A
ontinua
ión se muestra una lista de la nota
ión que se usa en este libro junto
on su des
rip
ión y la página donde apare
e por primera vez o donde se dene.
La misma se
lasi
ó en base al tema al
ual se reere.
Símbolos Lógi
os
Nota
i on Des
rip
i on
P agina
p _ qdisyun
i on, p o q 139
p ^ q
onjun
i on, p y q 139
:p la nega
i on de p 139
p )impli
a
i
q on l ogi
a, p impli
a q 139
p , qp si y s olo si q 139
P QP es l ogi
amente equivalente que Q 139
8x
uanti
ador universal, para todo x 139
9x
uanti
ador existen
ial, existe x 139
9!x existe uni
o x 139
v
vi
A B A menos B 8
[A uni on de A 12,6
\A interse
i on de A 13
<x ; y> par ordenado 23
<a1 ;: : :; ak > k tupla 32
AB produ
to
artesiano de A por B 24
P (A) = 2A partes de A,
onjunto de los sub
onjuntos de A 14
A
omplemento de A 11
su
(A) su
esor del
onjunto A 57
\ni=1 Xi elementos que pertene
en a todos los Xi 89
[ni=1 Xi elementos que pertene
en a alguno los Xi 89
\1 X
i=1 i elementos que pertene
en a todos los Xi 89
[1 X
i=1 i elementos que pertene
en a alguno los Xi 89
An
onjunto de las n tuplas de elementos de A 117
A !
onjunto de tuplas innitas de elementos de A 118
Qn
A
i=1 i
onjunto de las n tupla < a1 ; : : : ; an >
on ai 2 Ai 32
jAj
ardinalidad de A, i.e, no. de elementos de A 122
Fun iones
Números
Nota
i on Des
rip
i on
P agina
onjunto
IN de los n umeros naturales 58
IN naturales mayores que
ero (IN f0g) 59
Z de los n
onjunto umeros enteros 92
Z+ enteros positivos 92
Z enteros negativos 92
Z enteros no nulos (sin el
ero) 92
Q n umeros ra
ionales 97
IR n umeros reales 43
C n umeros
omplejos 57
onjunto de las
lases Z
residuales
n m odulo n 96
[n℄ f1; 2; 3; : : : ; ng naturales positivos menores e iguales que n 117
a; b) de n
intervalo (abierto umeros reales 130
a; b℄ de n
intervalo [
errado umeros reales 130
Z [x℄ polinomios
on
oe
ientes en Z 138
Ordenes Par
iales
Nota
i on Des
rip
i on P agina
hA; Ri
onjunto par
ialmente ordenado 42
min (A) m nimo del
onjunto A 44
max (A) m aximo del
onjunto A 44
Mins (A) minimales del
onjunto A 44
Maxs (A) maximales del
onjunto A 44
otinf (A)
otas inferiores o minorantes del
onjunto A 44
otsup (A)
otas superiores o mayorantes del
onjunto A 45
inf (A) nmo del
onjunto A 45
sup (A) supremo del
onjunto A 45
O(A)
onjunto de los ordenes par
iales de A 43
L(A)
onjunto de los ordenes lineales de A
l
43
s(a) segmento de a 44
x y x es prede
esor inmediato de y 43
diagrama de HasseHde(Rla) rela
i on R 43
x a yla rela
i on
<x ; y> pertene
e 62
x es menor que y o <x ; y> pertene
e
x <a yla rela
i on < 62
x a yla rela
i on
pertene
e 62
x es mayor que y o <x ; y> pertene
e
x >a yla rela
i on > 62
Índi
e General
1 Teoría de Conjuntos 1
1.1 Introdu
ión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Prin
ipios y Axiomas Bási
os . . . . . . . . . . . . . . . . . . . . 2
1.3 Rela
iones entre Conjuntos . . . . . . . . . . . . . . . . . . . . . 6
1.4 Opera
iones sobre Conjuntos . . . . . . . . . . . . . . . . . . . . 8
1.5 Familias de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . 11
1.6 Conjunto Poten
ia . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.7 Axioma de Fundamenta
ión . . . . . . . . . . . . . . . . . . . . . 15
1.8 Grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.9 Ejer
i
ios Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.10 Ejer
i
ios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
4 Números Naturales 57
4.1 La Deni
ión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.2 Orden en los Naturales . . . . . . . . . . . . . . . . . . . . . . . . 62
4.3 Aritméti
a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
ix
x ÍNDICE GENERAL
8 Cardinalidad 121
8.1 Conjuntos Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
8.2 Conjuntos Contables . . . . . . . . . . . . . . . . . . . . . . . . . 126
8.2.1 Axioma de Ele
ión . . . . . . . . . . . . . . . . . . . . . 128
8.2.2 Cara
teriza
ión de Conjuntos Contables . . . . . . . . . . 128
8.3 Conjuntos no Contables . . . . . . . . . . . . . . . . . . . . . . . 130
8.4 Ejer
i
ios Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . 134
8.5 Ejer
i
ios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
Teoría de Conjuntos
1.1 Introdu
ión
1
2 CAPÍTULO 1. TEORÍA DE CONJUNTOS
El onjunto Va ío
Deni
ión 1.1 (Conjunto Va
ío) Un
onjunto que no tiene elementos se de-
nomina
onjunto va
ío. Se representará por el símbolo ;
Podríamos preguntarnos ¾ qué sentido tiene tener un
onjunto que no tiene ele-
mentos? El
onjunto va
ío es sólo una
onven
ión y las matemáti
as podrían
vivir sin él. Pero, es una
onven
ión
onveniente porque ahorra mu
ho tiempo
al estable
er y probar teoremas. Sin esta
onven
ión, por ejemplo, tendríamos
que probar que dos
onjuntos A y B tienen elementos en
omún antes de usar la
nota
ión A \ B . Además, nos garantiza que
uando hablemos de
onjuntos no
estemos hablando de entes no existentes, por lo menos tenemos uno: el
onjunto
va
ío, aunque no tenga elementos.
1.2. PRINCIPIOS Y AXIOMAS BÁSICOS 3
Axioma de Extensión
El segundo paso será propor
ionarnos una regla que nos permita de
idir si dos
onjuntos son iguales.
a) 8x(x 2 A , x 2 B ) =) A = B
b) (8x(x 2 A ) x 2 B )) ^ (8x(x 2 B ) x 2 A)) =) A = B
Teorema 1.3 Dos
onjuntos son iguales si y sólo si tienen los mismos elemen-
tos, esto es, si y sólo si todo elemento de A es elemento de B y todo elemento
de B es elemento de A.
a) A = B , 8x(x 2 A , x 2 B )
b) A = B , (8x(x 2 A ) x 2 B )) ^ (8x(x 2 B ) x 2 A))
Una
onse
uen
ia inmediata del axioma de extensión es la uni
idad del
on-
junto va
ío que se da en el siguiente teorema. Alerta: El axioma de extensión
garantizará la uni
idad de mu
hos de los
onjuntos que deniremos.
Paradojas
Un axioma rela
ionado
on el Axioma de Separa
ión es el Axioma de Abstra
-
ión el
ual permite denir
onjuntos en base a una propiedad. Este axioma no
forma parte de nuestra axiomáti
a porque el mismo lleva a una
ontradi
ión.
El axioma de abstra
ión se enun
ia
omo sigue: 9y 8x(x 2 y , P (x)). Si di
ha
proposi
ión se a
eptara
omo axioma se tendría sustituyendo P (x) por x 62 x
que 9y 8x(x 2 y , x 62 x), e instan
iando en
la variable y y luego la x se
tendría la fórmula
ontradi
toria
2
,
62
. Esta antinomia fue des
ubierta
simultáneamente por Zermelo y por Russell pero publi
ada primero por Russell
en 1901. Generalmente rela
ionamos la paradoja del
onjunto de los
onjuntos
que no se
ontienen a ellos mismos
on el enun
iado que arma la existen
ia
de un barbero que afeita a todos y solamente a aquellos que no se afeitan ellos
mismos. Sea b ese barbero; el enun
iado que le atribuye la propiedad previa-
mente
itada se es
ribe
omo sigue: 8x(bRx , :xRx). La
ontradi
ión se
obtiene instan
iando x en b. Como la hipótesis de la existen
ia de tal barbe-
ro
ondu
e a una
ontradi
ión, uno
on
luye simplemente que tal barbero no
existe. Esta es simplemente una prueba por absurdo. En el
aso de la paradoja
de Russell, la situa
ión es diferente. No podemos pres
indir del axioma de abs-
tra
ión totalmente. Lo que hizo Zermelo fue restringirlo y formar el axioma de
Separa
ión.
Axioma de Apareamiento
Parejas no Ordenadas
Deni
ión 1.2 (Pareja no Ordenada) Dados dos
onjuntos A y B , se de-
ne la pareja no ordenada fA; B g
omo el
onjunto
uyos elementos son justa-
mente A y B .
Axioma de Unión
Deni
ión 1.3 (Sub
onjuntos) Dados dos
onjuntos A y B , de
imos que A
es sub
onjunto de B y lo denotamos por A B si y sólo si todo elemento de A
es elemento de B . (i.e, A B , 8 x (x 2 A ) x 2 B ))
Ejemplo 1.3 Si A = fa; bg sus sub
onjuntos son: ;, fag, fbg y fa; bg. El
onjunto fa;
g no es sub
onjunto de A porque
2 fa;
g ^
62 A.
Ejer
i
io 1.2 Muestre todos los sub
onjuntos del
onjunto f1; 2; 3g.
Deni
ión 1.4 (Sub
onjuntos Propios) Dados dos
onjuntos A y B , de-
imos que A es sub
onjunto propio de B y lo denotamos por A B si todo
elemento de A es elemento de B , pero A es distinto de B .
A B , (A B ^ A 6= B )
También suele usarse la expresión B es super
onjunto propio de A y el símbolo
B A para denotar que A B .
Una manera fá
il de probar que A es sub
onjunto propio de B es mostrar
que A es sub
onjunto de B pero existe un elemento de B que no pertene
e a A.
Esto se formaliza en el próximo teorema.
Prueba: Por deni
ión de sub
onjunto,
omo A B se tiene que (8x)(x 2
A ) x 2 B ) y
omo B A se tiene que (8x)(x 2 B ) x 2 A). Luego,
A B ^ B A =) 8x(x 2 A ) x 2 B ) ^ 8x(x 2 B ) x 2 A)
=) A = B Axioma de Extensión
2
El re
ípro
o del teorema también es
ierto. Pruébelo. Puede ser útil más ade-
lante.
A \ B = fx : x 2 A ^ x 2 B g
Nota: Según la deni
ión A \ B debe ser un
onjunto; ello es
ierto por-
que
omo A es un
onjunto, en base al axioma de separa
ión, se tiene que
(9C )(8x)(x 2 C , x 2 A ^ x 2 B ). Donde P (x) es x 2 B . Di
ho
onjunto C ,
que debe existir gra
ias al axioma de separa
ión es justo A \ B .
A [ B = fx : x 2 A _ x 2 B g
1.4. OPERACIONES SOBRE CONJUNTOS 9
A A A
A[B A\B A B
Deni
ión 1.8 (Conjuntos Disjuntos) Dos
onjuntos AyB se llaman dis-
juntos si no tienen ningún elemento en
omún, esto es, si
A\B = ;
Teorema 1.13 Las opera
iones de unión e interse
ión de
onjuntos son
on-
mutativas y aso
iativas, i.e, dados los
onjuntos arbitrarios A, B y C ,
a) A[B =B[A
b) A\B =B\A
) (A [ B ) [ C = A [ (B [ C )
d) (A \ B ) \ C = A \ (B \ C )
Teorema 1.14 Las opera
iones de unión e interse
ión de
onjuntos son dis-
tributivas
ada una
on respe
to a la otra, esto es, dados A, B , C arbitrarios,
a) A [ (B \ C ) = (A [ B ) \ (A [ C )
b) A \ (B [ C ) = (A \ B ) [ (A \ C )
Prueba: (a) Por doble
onten
ión. () Sea x 2 A [ (B \ C ); por deni
ión de
unión x pertene
e a A o x pertene
e a B \ C . Si x 2 A, se tiene que x 2 A [ B
y además que x 2 A [ C A unido
on
ualquier
onjuntoy por
onsiguiente,
en base a la deni
ión de interse
ión x 2 (A [ B ) \ (A [ C ); si x 2 B \ C ,
enton
es se tiene que x 2 B y x 2 C y por
onsiguiente x 2 A [ B y x 2 A [ C
y por lo tanto x 2 (A [ B ) \ (A [ C ). Luego,
omo en ambos
asos obtuvimos
que x 2 (A [ B ) \ (A [ C ),
on
luimos que A [ (B \ C ) (A [ B ) \ (A [ C ).
10 CAPÍTULO 1. TEORÍA DE CONJUNTOS
Teorema 1.15 A (A \ B ) = A B
Prueba: Por doble
onten
ión. () Sea x 2 A (A \ B ), por deni
ión de
diferen
ia x 2 A y x 62 A \ B ;
omo x 2 A si x pertene
iese a B se tendría
que x 2 A \ B lo
ual
ontradiría la hipótesis x 62 A \ B , luego x 62 B y por
onsiguiente x 2 A B .
() Sea x 2 A B , por deni
ión de diferen
ia x 2 A ^ x 62 B , luego x 62 A \ B
y por
onsiguiente x 2 A (A \ B ). 2
Las siguientes propiedades de
onjuntos se
ono
en
on los nombres de idem-
poten
ia de la unión y de la interse
ión respe
tivamente.
b) Si A B , enton
es A \ B = A
Teorema 1.21
a) Si A B y C D; enton
es (A [ C ) (B [ D)
3 Alerta: Se está usando un teorema de lógi
a que se llama El Ter
ero Ex
luido y que
estable
e que p _ :p
1.5. FAMILIAS DE CONJUNTOS 11
b) Si A B y C D; enton
es (A \ C ) (B \ D)
Teorema 1.22 Dados los
onjuntos A, B , C y D de un universo de dis
urso
U se tiene que
a) A [ (B A) = A [ B
b) A (B [ C ) = (A B ) \ (A C )
) A (B \ C ) = (A B ) [ (A C )
Complemento Absoluto
En
iertas o
asiones todos los
onjuntos que nos interesa
onsiderar para resolver
un determinado problema son sub
onjuntos de un
onjunto más grande, que
llamaremos el universo del dis
urso. A di
ho
onjunto se le puede representar
por la letra U . Alerta: No debe olvidarse que no existe un
onjunto universal.
Las arma
iones de la presente se
ión se reeren a algún universo del dis
urso.
Deni
ión 1.9 Sea A un sub
onjunto del universo del dis
urso U , se dene el
omplemento de A
omo el
onjunto de los elementos de U que no están en
A. Se denota por A
A = U A = fx : x 62 Ag
Teorema 1.23 Si A es
ualquier sub
onjunto del universo U , enton
es
a) A [ A = U
b) A \ A = ;
Teorema 1.25 Para todo sub
onjunto A del universo U se tiene que A = A.
Esto es, el
omplemento del
omplemento de A es A.
Teorema 1.26 (Leyes de De Morgan) Dados dos
onjuntos arbitrarios del
universo U se tiene que
a) A [ B = A \ B
b) A \ B = A [ B
x 2 [A () (9B )(x 2 B ^ B 2 A)
Ejemplo 1.6 Si A = ffag; fa; bgg, enton
es [A = fa; bg
SiA = ff;; ag; ffag; f;g; ;gg, enton
es [A = f;; a; fag; f;gg
Teorema 1.27 (a) [; = ; (b) [f;g = ;
Teorema 1.31 A 2 B =) A [B
Prueba: Sea x 2 A, queremos probar que x 2 [B . Por deni
ión de [B se
tiene que x 2 [B , (9C )(x 2 C ^ C 2 B ). Por lo tanto queremos probar que
(9C )(x 2 C ^ C 2 B ). Como por hipótesis (x 2 A ^ A 2 B ), tenemos que, en
efe
to, existe C tal que (x 2 C ^ C 2 B ) y por
onsiguiente x 2 [B ;
on
luimos
que A [B , si A 2 B . 2
Teorema 1.32 A B =) [A [B
Teorema 1.33 (8A)(A 2 B ) A C ) =) [B C
Teorema 1.34 (8A)(A 2 B ) A \ C = ;) =) ([B ) \ C = ;
1.5. FAMILIAS DE CONJUNTOS 13
Teorema 1.36 \; = ;
Prueba: Como el
onjunto va
ío es úni
o, basta probar que (6 9x)(x 2 \;). Por
redu
ión al absurdo, si x 2 \;, se tiene que (8B )(B 2 ; ) x 2 B ) ^ (9B )(B 2
;) pero esto es falso pues (8B )(B 62 ;). Luego se tiene que (8x)(x 62 \;) y por
onsiguiente \; = ; 2
Teorema 1.37 \f;g = ;
Prueba: Basta probar que (8x)(x 62 \f;g). x 2 \f;g impli
a que (8B )(B 2
f;g ) x 2 B ) ^ (9B )(b 2 f;g); pero esto es falso pues ; 2 f;g 6) x 2 ;. Por lo
tanto, (6 9x)(x 2 \f;g) 2
Teorema 1.38 \fAg = A
Teorema 1.39 \fA; B g = A \ B
Teorema 1.40 A 2 B =) \B A
Teorema 1.41 A 2 B ^ A C =) \B C
Teorema 1.42 A B ^ (9C )(C 2 A) =) \B \A
Teorema 1.43 (9C )(C 2 A) ^ (9D)(D 2 B ) =) \(A [ B ) = (\A) \ (\B )
Prueba: Por doble
onten
ión. () Sea x 2 \(A [ B ), por deni
ión de \ se
tiene que (8M )(M 2 A [ B ) x 2 M ) ^ (9M )(M 2 A [ B ), esto es, x pertene
e
a todos los elementos de A [ B y A [ B no es va
ío. En
onse
uen
ia x pertene
e
a todos los elementos de A y a todos los elementos de B . Además,
omo por
hipótesis, tanto A
omo B son no va
íos se tiene que x 2 \A y x 2 \B . Luego,
x 2 (\A) \ (\B ).
() Sea x 2 (\A) \ (\B ), por deni
ión de \ se tiene que x 2 \A ^ x 2 \B .
Por lo tanto, x pertene
e a
ada uno de los elementos de A y x pertene
e a
ada
uno de los elementos de B y además, A y B son no va
íos. Con
luimos que
x pertene
e a
ada uno de los elementos de A [ B y A [ B es no va
ío, y en
onse
uen
ia x 2 \(A [ B ). 2
Teorema 1.44 A 2 B ^ A \ C = ; =) (\B ) \ C = ;
Teorema 1.45 \A [A
14 CAPÍTULO 1. TEORÍA DE CONJUNTOS
P (A) = fB : B Ag
Teorema 1.47 (Deni
ión Alternativa) B 2 P (A) () B A
Teorema 1.48 ; 2 P (A)
Teorema 1.49 A 2 P (A)
Teorema 1.50 P (;) = f;g
Prueba: DC. Si x 2 f;g, se tiene que x = ; y
omo ; ; tenemos que
x 2 P (;). Luego, f;g P (;). Además, si x 2 P (;) se tiene que x ; y por
teorema el úni
o sub
onjunto del
onjunto va
ío es el
onjunto va
ío. Por lo
tanto, P (;) f;g
2
Resumen de Axiomas
Hasta los momentos se han presentado los siguientes axiomas
Axioma de Conjunto Va
ío: (9A)(8x)(x 2 A)
Axioma de Extensión: (8x)(x 2 A , x 2 B ) =) A = B
Axioma de Separa
ión: (9B )(8x)(x 2 B , x 2 A ^ P (x))
Axioma de Apareamiento: (9A)(8z )(z 2 A , z = x _ z = y )
Axioma de Unión:(9C )(8x)(x 2 C , (9B )(x 2 B ^ B 2 A)
Axioma de Conjunto Poten
ia: (9B )(8C )(C 2 B , C A)
Axioma de Fundamenta
ión: A 6= ; =) (9x)[x 2 A ^ (8y )(y 2 x ) y 62 A)℄
1.8 Grafos
Deni
ión 1.14 (Grafo) Dado un
onjunto V , un grafo sobre V es un par
ordenado4 hV; P i
donde P es un
onjunto de parejas de V .
Cada grafo sobre un
onjunto A se puede representar por un grá
o que
ontenga
todos los elementos de A y una línea entre los elementos x y z si el par fx; z g per-
tene
e al grafo. Por ejemplo, si A = fa; b;
; dg los grafos ffa; bg; fa; dg; f
; dgg
ffa; bg; fd;
g; fb; dg; fa;
gg, ffa; bg; fa; dg; fa;
gg y ffa; dg; fb;
gg se represen-
tan
omo se muestra en la gura siguiente.
a b a b a b a b
d d d d
Respuesta: Por doble
onten
ión. () Sea x 2 \fA; B; C g, por deni
ión de
\ se tiene que x pertene
e a
ada uno de los elementos de fA; B; C g, esto es,
x 2 A ^ x 2 B ^ x 2 C y por lo tanto x 2 A \ B \ C .
() Sea x 2 A \ B \ C , se tiene, por deni
ión de \, que x 2 A ^ x 2 B ^ x 2 C
y por lo tanto que x pertene
e a
ada uno de los elementos de fA; B; C g y
o-
mo además fA; B; C g es no va
ío pues A es uno de sus elementos se tiene que
x 2 \fA; B; C g.
1.10. EJERCICIOS 19
A B A B A B
(v1) (v2) (v3)
C C C
A B A B A B
(v4) (v5) (v6)
4. Demuestre que
(i ) A A \ B =) A B
(ii ) A [ B B =) A B
5. Si se dene la diferen
ia simétri
a de dos
onjuntos AyB
omo
A4B = (A B ) [ (B A)
demuestre que
(i ) A4B = (A [ B ) (A \ B )
(ii ) A4C = B 4C =) A = B
20 CAPÍTULO 1. TEORÍA DE CONJUNTOS
(iii ) A \ (B 4C ) = (A \ B )4(A \ C )
(iv ) A = B =) A4B = ;
6. Demuestre que
(i ) A [ B = (A B ) [ B ^ (A B ) \ B = ;
(ii ) A (B [ C ) = (A B ) \ (A C )
(iii ) A B () C B C A
7. Demuestre que
(i ) A B ^ B C =) A C
(ii ) A C ^ B C =) A [ B C
(iii ) A \ B C ^ D E =) (A \ B ) [ D C [ E
8. Demuestre que A B =) A [ (B A) = B
9. Demuestre que
(i ) A B =) B 6 A
(ii ) A 6 A
(iii ) A ; =) A = ;
10. Demuestre que A B = B A, donde X es el
omplemento de X
on
respe
to al universo del dis
urso.
11. Demuestre que
(i ) A[;=A
(ii ) AA[B
(iii ) A\B A
(iv ) A C ^ B C =) A [ B C
12. Demuestre que (A [ B ) \ C = (A \ C ) [ (B \ C )
13. Demuestre que
(i ) (A B ) \ B = ;
(ii ) A (B [ C ) = (A B ) \ (A C )
(i ) A B =) [A [B
(ii ) A 2 B =) \B A
16. Demuestre que
A B ^ (9C )(C 2 A) =) \B \A
(i ) P (A \ B ) = P (A) \ P (B )
(ii ) [P (A) = A
20. Dar ejemplos que prueben la falsedad de las siguientes proposi
iones
(i ) P (A [ B ) P (A) [ P (B )
(ii ) P (A) P (B ) = P (A B )
21. Use el axioma de fundamenta
ión para probar que:
:(A 2 B ^ B 2 C ^ C 2 A)
ds
ds
ds
s s s
s s s s s s
a b a b a b
G1 G2 G3
22 CAPÍTULO 1. TEORÍA DE CONJUNTOS
Capítulo 2
Nótese que <a ; b> es una familia y por lo tanto, tiene sentido hablar de su
unión e interse
ión. De he
ho:
Obsérvese también que <a ; b> 6=< b; a > si a 6= b. A
ontinua
ión se enun
ian
dos lemas y un teorema que permiten estable
er bajo qué
ondi
iones dos pares
23
24 CAPÍTULO 2. RELACIONES BINARIAS
A B = f<a ; b> : a 2 A ^ b 2 B g
El siguiente teorema estable
e bajo qué
ondi
iones el produ
to
artesiano de
dos
onjuntos es el
onjunto va
ío.
Teorema 2.4 A B = ; , A = ; _ B = ;
Prueba: ()) (NECESIDAD) Supongamos que A B = ; pero que A 6=
; ^ B 6= ;que p pudiera o
urrir sin ne
esidad de que q o
urra Como A 6= ;
y B 6= ; tenemos que (9y )(y 2 A) ^ (9z )(z 2 B ), y por lo tanto <y ; z > 2 A B ,
2.2. PRODUCTO CARTESIANO 25
La
lase de las rela
iones in
luye al
onjunto va
ío, es
errada bajo las ope-
ra
iones de unión, interse
ión y diferen
ia y además todo sub
onjunto de una
rela
ión es una rela
ión. Todo ésto se formaliza mediante los siguientes teoremas
todos ellos de fá
il demostra
ión.
Teorema 2.11 0 es una rela
ión.
Teorema 2.13 Todo sub onjunto de una rela ión, es una rela ión.
A
ontinua
ión deniremos tres
onjuntos,que no tienen que ser rela
ionesy
que son los
onjuntos de donde sa
an sus
oordenadas los pares de una rela
ión.
Deni
ión 2.4 (Dominio) El dominio de una rela
ión R es el
onjunto de
las primeras
oordenadas de los pares de la rela
ión.
DR = fx : (9y)(xRy)g
Deni
ión 2.5 (Re
orrido) El re
orrido de una rela
ión R es el
onjunto de
las segundas
oordenadas de los pares de la rela
ión.
RR = fy : (9x)(xRy)g
1 Alerta: Mu
ha gente usa paréntesis (x; y ) para denotar a los pares ordenados; en este
texto usaremos <x ; y>
2.3. RELACIONES BINARIAS 27
Deni
ión 2.6 (Campo) El
ampo de una rela
ión R es el
onjunto de las
primeras y segundas
oordenadas de los pares de la rela
ión.
F R = D R [ RR
Teorema 2.14 Dadas dos rela
iones R y S se
umple que
a) D(R [ S ) = D(R) [ D(S )
b) D (R \ S ) D (R ) \ D (S )
) D (R ) D(S ) D(R S )
Prueba: Demostraremos (
) y dejaremos las pruebas de (a) y (b)
omo ejer
i-
io. Si x pertene
e a D(R) D(S ), se tiene que x 2 D(R) ^ x 62 D(S ), luego la
primera parte de esta
onjun
ión asegura la existen
ia de a tal que <x ; a> 2 R;
sea y tal que <x ; y> 2 R, armo que <x ; y> 62 S porque si <x ; y> 2 S se tiene
que x 2 D(S ) lo
ual es una
ontradi
ión
on la segunda parte de la
onjun
ión.
Luego, se
on
luye que <x ; y> 2 R S y por
onsiguiente x 2 D(R S ) QED 2
Deni
ión 2.9 (Grafo Dirigido) Un grafo dirigido o digrafo es un par or-
denado hV; Ai tal que V es un
onjunto denominado
onjunto de vérti
es y A
es una rela
ión sobre V que se denomina
onjunto de ar
os.
\
A.
bb
Teorema 2.16 A
\
Teorema 2.17 A [ B = Ab [ Bb .
\
Teorema 2.18 A \ B = Ab \ Bb .
Teorema 2.19 A B = Ab Bb.
b
Teorema 2.20 Si R es una rela
ión, enton
es R
b = R.
A
ontinua
ión se presentan otras deni
iones importantes para la manipula
ión
de rela
iones.
Deni
ión 2.11 (Imagen de un Conjunto) Dada una rela
ión binaria R
(de A en B ) y un
onjunto S , se dene la imagen de S mediante R
omo
el
onjunto de las segundas
oordenadas de elementos de R que tienen
omo
primera
oordenada un elemento de S .
Deni
ión 2.13 (Restri
iones) Para denotar al sub
onjunto de R
uyas
primeras
oordenadas están en el
onjunto C se usará la siguiente nota
ión
Rjizq(C ). Esto es
Rjizq(C ) = f<a ; b> 2 R : a 2 C g
Y para denotar al sub
onjunto de R
uyas segundas
oordenadas están en el
onjunto C se usará la siguiente nota
ión Rjder (C ). Esto es
Teorema 2.22 0 A = 0
Teorema 2.23 D(A B ) D(A)
Teorema 2.24 A B ^ C D ) A C B D
Prueba: Si x 2 D(A B ), en base a la deni
ión de dominio, existe u tal
que <x ; u> 2 A B y, en base a la deni
ión de produ
to, existe w tal que
<x ; w> 2 A y <w ; u> 2 B . Por
onsiguiente, usando de nuevo la deni
ión de
dominio, x 2 D(A). 2
30 CAPÍTULO 2. RELACIONES BINARIAS
[
sin embargo, se tiene el siguiente resultado.
[
Ejer
i
io 2.4 Muestre un ejemplo que ponga en eviden
ia
A B = Ab Bb no es
ierta para todo par de
onjuntos A y B .
que la expresión
Reexividad
Una rela
ión R se llama reexiva en A si para todo elemento a de A, el par
<a ; a> pertene
e a la rela
ión, esto es:
R es reexiva en A () 8a 2 A <a ; a> 2 R
Irreexividad
Una rela
ión R se llama irreexiva en A si para todo elemento a de A, el par
<a ; a> no pertene
e a la rela
ión.
R es irreexiva en A () 8a 2 A <a ; a> 62 R
2 Cuando quede
laro usaremos I en lugar de I d A.
2.4. PRODUCTO DE RELACIONES 31
Simetría
Una rela
ión R se llama simétri
a en A si para todo par de elementos a; b de
A, se tiene que si el par <a ; b> pertene
e a la rela
ión, enton
es también el par
<b ; a> pertene
e a la rela
ión, esto es:
R es simétri
a en A () 8a; b 2 A <a ; b> 2 R ) <b ; a> 2 R
Asimetría
Una rela
ión R se llama asimétri
a en A si para todo par de elementos a; b de
A, se tiene que si el par <a ; b> pertene
e a la rela
ión, enton
es el par <b ; a>
no pertene
e a la rela
ión, esto es:
R es asimétri
a en A () 8a; b 2 A <a ; b> 2 R ) <b ; a> 62 R
Antisimetría
Una rela
ión R se llama antisimétri
a en A si para todo a; b 2 A, si el par
<a ; b> y el par <b ; a> pertene
en a la rela
ión, enton
es a = b.
Para nalizar este
apítulo presentaremos una generaliza
ión del
on
epto de
par ordenado. En la se
ión 2.1 se denió el par <a ; b>
omo el
onjunto
ffag; fa; bgg y demostramos que dos pares son iguales si y sólo si tienen las
mismas
oordenadas. Una deni
ión similar de terna no nos permitiría de-
mostrar un teorema análogo. A
laratoria: si se deniese < a; b;
>
omo
ffag; fa; bg; fa; b;
gg se tendría que, por ejemplo, que < 1; 1; 2 >=< 1; 2; 2 > y
sin embargo, sus segundas
oordenadas no son iguales (Chequearlo). Daremos
una deni
ión de terna ordenada basada en la deni
ión de par.
Nótese que siempre que tengamos una rela
ión R sobre un
onjunto V au-
tomáti
amente tenemos un grafo úni
o formado por di
ho par hV; Ri. A este
grafo lo denominamos el grafo aso
iado a la rela
ión. El nombre de grafo
proviene de que en mu
has o
asiones
onviene representar grá
amente a la re-
la
ión
omo un
onjunto de puntos (los vérti
es) unidos por e
has de tal forma
que haya una e
ha de a a b si y sólo si aRb.
Deni
ión 2.21 (Matriz de Adya
en
ias) Dada una rela
ión binaria sobre
un
onjunto A = [n℄ = f1; 2; 3; : : : ; ng3 denimos la matriz de adya
en
ias del
grafo aso
iado a la rela
ión
omo la matriz
uadrada [mij ℄ de n n tal que
mij = 01;; si <i ; j > 2 R
si <i ; j > 62 R.
Por ejemplo, la matriz de adya
en
ias de la rela
ión
R = f<1 ; 1 >; <2 ; 2 >; <3 ; 3 >; <5 ; 5 >; <1 ; 3 >; <3 ; 1 >; <3 ; 4 >; <5 ; 1 >; <2 ; 4 >;
3 Se restringe en este momento la deni
ión al
onjunto A porque no hemos dado la deni-
ión de
onjunto nito.
34 CAPÍTULO 2. RELACIONES BINARIAS
Fun iones
Del
onjunto de las fun
iones es ne
esario resaltar al
onjunto de las fun
iones
(totales) de A en B , donde se espe
i
a los
onjuntos de donde la misma toma
las primeras y segundas
oordenadas de sus pares.
Deni
ión 2.24 (Fun
ión Total) Dados dos
onjuntos A y B una fun
ión f
deA en B es una rela
ión binaria de A en B (un sub
onjunto de A B ) que
umple las siguientes
ondi
iones
2.6. EJEMPLOS DE RELACIONES 35
Una rela
ión de orden par
ial es una rela
ión que es reexiva, antisimétri
a y
transitiva. La rela
ión es una rela
ión de orden par
ial. También lo es la
rela
ión en los enteros y en los reales. Las rela
iones de orden se estudiarán
en detalle en el próximo
apítulo.
Una rela
ión de equivalen
ia es una rela
ión que es reexiva, simétri
a y tran-
sitiva. La rela
ión de equivalen
ia más
ono
ida es la rela
ión de igualdad.
Las rela
iones de equivalen
ia sirven para denir los
onjuntos numéri
os: ente-
ros, ra
ionales, reales, enteros modulo n. En general permiten
onstruir nuevos
onjuntos a partir de otros. Se estudiarán en detalle en el
apítulo seis.
36 CAPÍTULO 2. RELACIONES BINARIAS
(i ) B1 B2 ) R 1 (B1 ) R 1 (B2 )
(ii ) R 1 (B1 ) R 1 (B2 ) R 1 (B1 B2 )
\
\
Ejer
i
io Resuelto 2.4 Demuestre que A \ B = Ab \ Bb .
\
Respuesta: Por doble
onten
ión. () Sea x 2 A \ B , enton
es
omo
A \ B es una rela
ión se tiene que x = <y ; z >
on <z ; y> 2 A \ B . Lue-
go, <z ; y > 2 A ^ <z ; y > 2 B y por
onsiguiente <y ; z > 2 Ab ^ <y ; z > 2 B
b y
por lo tanto <y ; z > 2 A \ B . () Sea x 2 A \ B , enton
es x 2 A ^ x 2 bb y
b b b b b
por
onsiguiente es un par, esto es, existen y; z tales que x = <y ; z > y además
2.7. EJERCICIOS RESUELTOS 37
\
<z ; y> 2 A ^ <z ; y> 2 B .
<y ; z > 2 A \ B .
Esto impli
a que <z ; y> 2 A \ B y por
onsiguiente
Ejer
i
io Resuelto 2.5 Dadas dos rela
iones S y T demuestre que R(S \T )
R(S ) \ R(T ) y dé un ejemplo que ponga en eviden
ia que la otra
onten
ión no
es
ierta.
Respuesta: Sea y 2 R(S \ T ), enton
es existe x tal que <x ; y > 2 S \ T . Esto
signi
a que <x ; y> 2 S ^ <x ; y > 2 T y por
onsiguiente y 2 R(S ) ^ y 2 R(T ) lo
ual impli
a que y 2 R(S ) \R(T ). Para probar R(S \ T ) 6 R(S ) \R(T )
onsi-
deremos las rela
iones S = f<u ; v >g y T = f<s ; v >g. Se tiene que R(S ) = fv g
y R(T ) = fv g y por
onsiguiente queR(S ) \ R(T ) = fv g. Mientras que
omo
S \ T = ; se tiene que R(S \ T ) = R(;) = ; y fvg 6 ;.
Ejer
i
io Resuelto 2.6 Dada una rela
ión R demuestre que si A B , enton-
es RjA RjB . Muestre además, un ejemplo en el
ual A B y sin embargo
RjA 6 RjB .
Respuesta: Sea x 2 RjA , enton
es x = <y ; z >
on y 2 A y puesto que
A B , se tiene que y 2 B ; por lo tanto,
omo x = <y ; z > y y 2 B , se
tiene que <y ; z > 2 RjB . En la segunda pregunta
onsideremos, por ejem-
plo, A = fag, B = fa; bg y R = f<a ; b>; <a ;
>; <
; b>g. Se tiene que
RjA = f<a ; b>; <a ;
>g y RjB = f<a ; b>; <a ;
>g. Lo que muestra que A B
pero RjA 6 RjB .
38 CAPÍTULO 2. RELACIONES BINARIAS
6. Demuestre que
(i ) R(A \ B ) R(A) \ R(B )
\
(ii ) DA DB D(A B )
9. Demuestre que (A B ) (A B ) A B
10. Demostrar las siguientes proposi
iones
(i ) Rj(A B) = (RjA ) (RjB )
(ii ) R(A) = ; () DR \ A = ;
2.8. EJERCICIOS 39
a b
d e f
\
y los
onjuntos B = fa; b;
; eg, C = fa; b;
; e; f g halle:
(a) Las rela
iones R, R2 , R3 y R2 R, sus matri
es de adya
en
ias y
sus digrafos aso
iados.
(b) Los
onjuntos R(B ) ,R(C ), R 1 (B ) y R 1(C ).
(
) Y las rela
iones RjB , RjC y (R2 R)jB , sus digrafos y sus matri
es
de adya
en
ias.
13. Dada la siguiente matriz de adya
en
ias de la rela
ión R denida sobre el
onjunto A = fa; b;
; d; eg:
0
0 1 0 1 01
B1 0 0 0 0C
B
B1 0 0 0 1CC
0 1 1 1 0A
0 0 1 1 1
(a) Dibuje el digrafo aso
iado a R y halle R.
2 , R
(b) Determine R b R2 y R3
(
) Si A = fa; d; eg y B = fb;
; eg determine R(A) , R 1 (B ), RjA ,
Rjder(B ), R2 (B ) y R2 jder(B ).
14. Se denen las rela
iones R, S y T sobre el
onjunto A = f1; 2; 3; 4; 5; 6g
de la siguiente manera:
R = f<1 ; 1 >; <1 ; 2 >; <2 ; 3 >; <3 ; 4 >; <4 ; 6 >; <6 ; 3 >; <4 ; 2 >; <5 ; 3 >; <6 ; 1 >g;
A S y a T las denimos respe
tivamente
on el digrafo y la matriz de ad-
ya
en
ias siguientes:
1 2 3 0
0 1 0 0 01
B1 0 0 1 0C
B
4 5 6 B1 0 0 0 1CC
0 1 1 0 0A
0 1 0 0 1
40 CAPÍTULO 2. RELACIONES BINARIAS
\
Si B = f1; 2; 4; 5g y C = f1; 3; 5; 6g determine:
(a) La rela
iones R, R2 , R3 y T 2 S , sus matri
es de adya
en
ias y sus
digrafos aso
iados.
(b) Los
onjuntos R(B ) ,R(C ), R 1 (B ) y R 1 (C ).
(
) Y las rela
iones RjB , RjC y (R2 R)jB , sus digrafos y sus matri
es
(d)
de adya
en
ias.
\ \ \
(R [ S )jC , (R \ T )(B ), (S T ) R
(e) S R, (S [ T ) R S
15. Sean R y S rela
iones sobre A. Determine
uáles de las siguientes propo-
si
iones son verdaderas o falsas. Dar un
ontraejemplo para las falsas.
(a) Si R es reexiva, enton
es Rb es reexiva.
(b) Si R es antisimétri
a, enton
es Rb es antisimétri
a.
(
) Si R es transitiva, enton
es R
b es transitiva.
un es ondrijo.
Capítulo 3
3.1 Generalidades
Deni
ión 3.1 (Cuasi Orden) Un
uasi orden sobre A es una rela
ión R
sobre A que es reexiva y transitiva.
Deni
ión 3.2 (Orden par
ial estri
to) Un orden estri
to sobre A es una
rela
ión R sobre A que es irreexiva y transitiva.
41
42 CAPÍTULO 3. RELACIONES DE ORDEN
Deni
ión 3.3 (Orden Par
ial) Un orden par
ial sobre un
onjunto A es
una rela
ión binaria R sobre A que es reexiva, antisimétri
a y transitiva. Al
par hA; Ri se le denomina
onjunto par
ialmente ordenado (CPO). También se
di
e que A está par
ialmente ordenado por R.
Deni
ión 3.4 Dado un orden par
ial hA; i se di
e que dos elementos x; y 2
A son
omparable si x y _ y x, en
aso
ontrario se di
e que no son
omparables. En otras palabras x; y son
omparables si <x ; y> 2 R _ <y ; x > 2
R y no son
omparables si <x ; y> 62 R ^ <y ; x > 62 R.
Deni
ión 3.5 (Orden Total) Un orden total es un orden par
ial hA; i
en el que todo par de elementos es
omparable. También se le denomina orden
lineal u orden simple.
3.2. CONJUNTOS PARCIALMENTE ORDENADOS 43
Deni
ión 3.6 (Prede
esor y Su
esor) Dado un orden par
ial hA; Ri y un
par de elementos x; y de A, de
imos que x es prede
esor de y si xRy y y=
Rx;
también de
imos que y es su
esor de x. Cuando la rela
ión la representamos
por si x es prede
esor de y lo representamos por x < y .
Cuando x es prede
esor de y también de
imos que x es estri
tamente menor que
y. Este
on
epto da pie a la deni
ión de una nueva rela
ión, a saber:
Deni
ión 3.7 (Orden Estri
to Aso
iado) Dado un
onjunto par
ialmente
ordenadohA; i, se dene la rela
ión de orden estri
to aso
iada a hA; i
omo la rela
ión que resulta de quitarle a todos los ar
os de reexividad. Se
representa por <. En símbolos, `< = I '.
Esta rela
ión de orden estri
to es un orden estri
to, es el orden estri
to aso
iado
al
onjunto par
ialmente ordenado hA; R i. La rela
ión de orden estri
to aso
iada
a hA; Ri es la rela
ión
f<x ; y> 2 R : x 6= yg
Deni
ión 3.8 (Prede
esor Inmediato) Dado un CPO hA; i y un par de
elementos x; y de A, de
imos que x es el prede
esor inmediato de y si x y y
no existe z 2 A tal que x < z ^ z < y . También se di
e que x es un
ubrimiento
de y . Se representa por x < y .
Deni
ión 3.9 (Rela
ión de Hasse) La rela
ión de Hasse aso
iada al CPO
hA; Ri es la rela
ión
H (R) = f<x ; y> 2 R : (6 9t 2 A)(xRt ^ tRy)g
La rela
ión de Hasse de un CPO es la rela
ión de pre
eden
ia inmediata, es
de
ir
onserva del CPO sólo los ar
os
onse
utivos, esto es, elimina del CPO los
ar
os de reexividad y los que se pueden obtener por transitividad.
También puede hablarse del Hasse aso
iado a un orden estri
to. En este
aso, se eliminan sólo los ar
os que pueden obtenerse por transitividad.
44 CAPÍTULO 3. RELACIONES DE ORDEN
Deni
ión 3.10 (Segmentos) Dado un
onjunto par
ialmente ordenado hA; i
y a 2 A se denomina segmento ini
ial de a al
onjunto de los prede
esores de a
y se denota por s(a), esto es, s(a) = fx 2 A : x < ag. Si se in
luye al elemento
a en el
onjunto se usa la nota
ión s[a℄ = fx 2 A : x ag = s(a) [ fag.
En o
asiones es
onveniente denir [a; b℄ = s[b℄ s(a) et
, et
.
Deni
ión 3.11 (Minimales y Maximales) Si hA; i es un CPO y B es
un sub
onjunto de A se dene Minimales de B
omo el
onjunto de los
elementos más pequeños de B , esto es, los elementos de B para los
uales no
existe en B algún elemento que sea mas pequeño que el elemento en
uestión.
Simbóli
amente,
Deni
ión 3.18 (Buen Orden) Se di
e que una rela
ión binaria R sobre A
es un buen orden si R es lineal (total) y todo sub
onjunto no va
ío de A tiene
un elemento mínimo. También suele de
irse que A está bien ordenado por R o
que A es un
onjunto bien ordenado.
Deni
ión 3.19 (Conjunto Bien Fundado) Un orden hA; Ri es bien fun-
dado si todo sub
onjuntoS no va
ío de A tiene un elemento minimal, esto es,
un elemento m0 2 S tal que para todo a 2 S fm0 g se tiene que aR6 m0 .
46 CAPÍTULO 3. RELACIONES DE ORDEN
Ejer i io 3.1 Demuestre que todo CPO nito tiene un elemento minimal.
Deni
ión 3.23 (Reti
ulado) Un
onjunto par
ialmente ordenado hA; Ri se
denomina reti
ulado si para todo a; b 2 A se tiene que sup (fa; bg) y inf (fa; bg)
existen.
3.3. RETICULADOS 47
PP
PPP
s s s s s s s
s s
s s s
s s
s s
PPPP
s
s
s
(a)
s
(b)
s
(
)
s s
(d)
s
(e)
P s
s
Z s
s
s s
s
Z ZZ
s s
s s
ZZ s s s s s s
Z s
s s
Z ZZ s
s s s s
s s
(f )
s
(g ) ZZ s
(h)
s
(i)
s
(j )
s s
Deni
ión 3.24 (Reti
ulado A
otado) Un reti
ulado se llama a
otado si y
sólo si posee máximo y mínimo. Se denota al máximo por 1
b y al mínimo por 0.
b
JJ
r8 12 r 6 r
r4
6 r r4
JJ
J
J
3 r r2
r2 3 r r2
r1 r1
JJ
r1
(a) (b) ( )
1 sup (x; y ) e inf (x; y ) son abreviaturas de sup (fx; yg) y de inf (fx; yg) respe
tivamente.
48 CAPÍTULO 3. RELACIONES DE ORDEN
Ejer
i
io 3.4 Anali
e
ada uno de los diagramas de Hasse de la gura 3.3
y de
ida
uáles de los que son reti
ulados son
omplementados y
uáles no.
Justique su respuesta.
Deni
ión 3.27 (Reti
ulado Completo) Un reti
ulado hL; i se llama
om-
pleto si y sólo si para todo A L se tiene que existen inf (A) y sup (A).
a a
r
r
r
e
d
r r e r b
r b
d
QQQ
r
r
QQ r
(a) (b)
Ejer
i
io 3.6 Anali
e
ada uno de los diagramas de Hasse de la gura 3.3 y
de
ida
uáles de los que son reti
ulados son distributivos y
uáles no. justique
su respuesta.
3.3. RETICULADOS 49
Deni
ión 3.29 (Subreti
ulado) Un subreti
ulado de un reti
ulado hL; Ri
es un sub
po hS; R0 i en el
ual se
umple que para todo par de elementos x; y 2 S
sup(x; y) y inf(x; y) pertene
en a S . Alerta: El sup y el inf en hL; Ri.
Deni
ión 3.30 (Álgebra de Boole) Un álgebra de Boole es un reti
ulado
distributivo y unívo
amente
omplementado.
fa; b; g
QQ
QQ
Q
fa; bg fa;
g fb;
g
QQ QQ
Q Q
QQ QQ
fag fbg f
g
QQ
QQ
Q
;
Respuesta: Es reexiva porque para toda hA; P i se tiene que hA; P i v hA; P i
debido a que para todo
onjunto de pares no ordenados P se tiene P P .
Es antisimétri
a porque si hA; P1 i v hA; P2 i y hA; P2 i v hA; P1 i, enton
es se
tiene que P1 P2 ^ P2 P1 lo
ual impli
a que P1 = P2 y por
onsiguiente
que hA; P1 i = hA; P2 i. Finalmente, es transitiva porque si hA; P1 i v hA; P2 i y
hA; P2 i v hA; P3 i, enton
es P1 P2 ^ P2 P3 impli
ando que P1 P3 y por
onsiguiente que hA; P1 i v hA; P3 i.
3.4. EJERCICIOS RESUELTOS 51
!!
!!! AAQQQQ
0
10
SS AA QQ
8 12
SSSS
5 4 6 9 7 11
S
2 3
S 1
52 CAPÍTULO 3. RELACIONES DE ORDEN
(a) Muestre que
ualquier rela
ión de pre
eden
ia de tareas es un orden
estri
to para
ualquier
onjunto de tareas
(b) Construya el diagrama de Hasse para la rela
ión de pre
eden
ia de
tareas dada
(
) Muestre todas las formas de realizar las tareas sin violar las reglas
dadas
(a) Pruebe que los órdenes lineales son los elementos maximales
(b) Diga quién es el mínimo del
po
(
) ¾Cuáles son los su
esores inmediatos del mínimo?
14. Dado el orden par
ial hA; i
on A = fa1 ; a2 ; : : : ; an g, se dene la rela
ión
binaria v sobre A A
omo sigue <x ; y> v <u ; v > , x u ^ y v
(a) Demuestre que hA A; vi es un orden par
ial
(b) Si fM1 ; M2 ; : : : ; Mk g y fm1 ; m2 ; : : : ; ms g son respe
tivamente los ma-
ximales y los minimales de hA; i, ¾
uáles son los maximales y los
minimales de hA A; vi?
(
) ¾Qué
ondi
iones son ne
esarias para que hA A; vi tenga máximo
y
uál es?
15. Dado un
onjunto par
ialmente ordenado hA; i se dene la rela
ión v
sobre A A
omo
(x1 ; y1 ) v (x2 ; y2 ) () (x1 < x2 ) _ (x1 = x2 ^ y1 y2 )
Pruebe o dé un
ontraejemplo de las siguientes proposi
iones:
3.5. EJERCICIOS 55
Capítulo 4
Números Naturales
En este
apítulo se denirá al
onjunto de los números naturales,
omo un
onjunto de
onjuntos, esto es,
ada número natural será denido
omo un
onjunto. Esto les produ
irá, al prin
ipio, una leve sensa
ión de in
omodidad;
pero será una molestia pasajera, porque la estru
tura que heredan los naturales
de la deni
ión que presentaremos la usaremos para dedu
ir sus propiedades
bási
as y luego la olvidaremos en favor de la simpli
idad de la exposi
ión de los
temas siguientes. Estudiaremos en este
apítulo el orden de los naturales y las
opera
iones bási
as sobre los naturales, a saber, la adi
ión, la multipli
a
ión, la
poten
ia
ión y la resta.
Es importante resaltar que los números naturales junto
on otros temas de
la teoría de
onjunto son la base de toda la matemáti
a porque permiten denir
a los números enteros, ra
ionales, reales y
omplejos.
su
(A) = A [ fAg :
Por ejemplo: si A = fa; bg se tiene que su
(A) = fA; a; bg = ffa; bg; a; bg.
Observe que su
(A) tiene un elemento más que A. Observe además que
57
58 CAPÍTULO 4. NÚMEROS NATURALES
A este
onjunto que este axioma garantiza que existe y del
ual vimos
omo
onstruir sus elementos a partir del
onjunto va
ío es al que denominaremos
onjunto de números naturales. Además el axioma de extensión garantiza la
uni
idad de di
ho
onjunto. Hemos logrado una deni
ión informal de números
naturales. Daremos a
ontinua
ión la deni
ión formal, que se basa obviamente
en el axioma de innitud y el axioma de extensión.
02S
n 2 S ) su
(n) 2 S
enton
es S es el
onjunto de los números naturales.
4.1. LA DEFINICIÓN 59
Otra nota
ión muy extendida para representar al
onjunto de los números natu-
rales es ! , también suele usarse laN en negrillas en lugar de la IN de pizarrón
que usaremos en este texto. Para referirnos al
onjunto de números naturales
sin in
luir al
ero usaremos la nota
ión IN . En general, en este libro, si a un
símbolo que representa un
onjunto numéri
o se le pone un asteris
o se quiere
denotar al
onjunto en
uestión sin el
ero.
Alerta: En lo que falta de este
apítulo
uando se hable de m; n; p nos
estaremos reriendo a números naturales arbitrarios y en algunos teoremas debe
entenderse que la proposi
ión enun
iada se apli
a a todo número natural.
Prueba: Supongamos que existen dos su
esores del número natural n, deno-
témolos por k y k 0 . Como k = su
(n) = n [ fng y k 0 = su
(n) se tiene que
k = k0 porque la igualdad de
onjuntos es reexiva y transitiva. 2
Prueba: Por deni
ión de su
esor se tiene que su
(n) = n [ fng. Luego
n 2 su
(n) pues n 2 fng y fng n [ fng. Además
omo A A [ B se tiene
que n n [ fng. 2
La prueba es por doble
onten
ión; se deja
omo ejer
i
io. Su re
ípro
o también
es
ierto y es una
onse
uen
ia inmediata del siguiente teorema.
m su
(n) ) m 2 su
(n)
Luego S = IN , esto es, el enun
iado se
umple para todo natural n. 2
Hipótesis: 8m 2 IN (m 2 n ) n 6 m)
Tesis: 8m 2 IN (m 2 su
(n) ) su
(n) 6 m)
m 2 su
(n) ) su
(n) 6 m
y que S = IN . Esto es, el enun
iado se
umple para todo natural n. 2
62 CAPÍTULO 4. NÚMEROS NATURALES
Una
onse
uen
ia inmediata de esta deni
ión es que hIN ; i es un
onjunto
par
ialmente ordenado; ello se expresa en el siguiente teorema.
Reexividad : nn
Antisimetría : (n m ^ m n) ) n = m
Transitividad : (n m ^ m p) ) n p
Para ver que hIN ; i es un orden lineal falta probar que todo par de números
naturales es
omparable.
Teorema 4.18 (Prin
ipio de Buena Ordena
ión) Todo sub
onjunto no va-
ío de números naturales tiene mínimo
Ejer i io 4.1 Demuestre este prin ipio. Sug.: Dado un sub onjunto no va ío S
demuestre por indu
ión que si S k es un
onjunto
uyo máximo es k, enton
es di
ho
onjunto
tiene mínimo.
Alerta: Este prin
ipio es muy útil para probar otros teoremas. En parti
ular
puede usarse para probar el siguiente prin
ipio de indu
ión que es a su vez útil
para ha
er pruebas por indu
ión.
4.3 Aritméti
a
El prin
ipio de indu
ión de los números naturales, además de permitirnos pro-
bar proposi
iones sobre los números naturales, nos permite denir fun
iones de
IN en un
onjunto arbitrario A. A di
has fun
iones se les denomina fun
iones
re
ursivas o indu
tivas. Las misma se denen espe
i
ando la imagen del
ero y
la imagen de
ada uno de los restantes números naturales en término de valores
de la fun
ión para números previamente denidos.
Estas deni
iones se justi
an por medio del siguiente teorema que presen-
tamos en dos versiones:
h(1) = a0
h(n) = (hjf1; 2; : : : ; n 1g) n > 1
Deni
ión 4.9 (Adi
ión) Se dene la adi
ión de números naturales re
ursi-
vamente
omo sigue
n; si m = 0;
n + m = su
(n + x); si m = su
(x).
Deni
ión 4.10 (Multipli
a
ión) Se dene la multipli
a
ión de números na-
turales re
ursivamente
omo sigue
0; m = 0;
n m = n + (n x);
si
si m = su
(x).
Teorema 4.22 Para todo número natural n, se tiene que su
(n) = n + 1
Prueba: Sea n un número natural
ualquiera; se tiene que:
n + 1 = n + su
(0) def. de 1
= su
(n + 0) def. de suma
= su
(n) n = m ) su
(n) = su
(m)
2
Lema 4.26 Para todo par de números naturales n; m se
umple que n+su
(m) =
su
(n) + m
Prueba: Sea S = fm 2 IN : 8n 2 IN (n + su
(m) = su
(n) + m)g.
Paso base: 0 2 S pues n + su
(0) = su
(n + 0) = su
(n) = su
(n) + 0
Paso indu
tivo: Hipótesis: n +su
(m) = su
(n)+ m. Tesis: n +su
(su
(m)) =
su
(n) + su
(m)
n + su
(su
(n)) = su
(n + su
(m)) def. de suma
= su
(su
(n) + m) hip. indu
tiva
= su
(n) + su
(m) def. suma
Luego es
ierto que
Teorema 4.28 La suma de números naturales es aso
iativa, esto es, para toda
ternam; n; p de números naturales, se tiene que (m + n) + p = m + (n + p).
66 CAPÍTULO 4. NÚMEROS NATURALES
2
4.3. ARITMÉTICA 67
Teorema 4.32 La multipli
a
ión de números naturales es aso
iativa, esto es,
para toda terna n; m; p de números naturales se
umple que
(m n) p = m (n p).
Prueba: Se deja
omo ejer
i
io. 2
Deni
ión 4.11 (Poten
ia
ión) Se dene la poten
ia
ión de números natu-
rales re
ursivamente
omo sigue
1; n = 0;
mn = m mx ;
si
si n = su
(x).
Deni
ión 4.12 (Máximo y Mínimo) Dados dos números naturales se de-
ne el máximo y el mínimo de di
hos naturales
omo sigue:
max (m; n) = m [ n
min (m; n) = m \ n
Ejer
i
io Resuelto 4.3 Para todo par de números naturales n; m se tiene que
si n + m = 0, enton
es n = 0 ^ m = 0.
Hipótesis: 8n 2 IN (n 6= 0 ) m n m)
Tesis: 8n 2 IN (n 6= 0 ) su
(m) n su
(m))
Usando la deni
ión de produ
to se tiene que la tesis es equivalente a 8n 2
IN (n 6= 0 ) su
(m) n + n m) Veremos que (x 2 su
(m) ) x 2 n + n m).
Si x 2 su
(m), y n 6= 0, se tiene que x 2 m _ x = m. Si x 2 m usando la HI,
se tiene que x 2 n m y por
onsiguiente x 2 n + n m. Si x = m usando la
hipótesis indu
tiva, se tiene que x = m n m. Esto es, x n m y
omo n 6= 0
se tiene que x n m + n y, por
onsiguiente, x 2 n + n n.
Ejer
i
io Resuelto 4.6 Para todo par de números naturales n; m se tiene que
si n m = 1, enton
es n = 1 ^ m = 1.
Ejer
i
io Resuelto 4.7 Para todo par de números naturales n; m se tiene que
si n m = 0, enton
es n = 0 _ m = 0.
Ejer
i
io Resuelto 4.10 Demuestre que n y su
(n) son
onse
utivos, esto es,
k 2 IN , tal que n k su
(n).
que no existe
4.4. EJERCICIOS RESUELTOS 71
Capítulo 5
75
76 CAPÍTULO 5. CLAUSURAS DE RELACIONES
Respuesta: ()) Sea <x ; z > 2 R2 , por deni
ión de R2 existe y 2 A tal que
<x ; y>; <y ; z > 2 R, pero
omo R es transitiva, que <x ; y>; <y ; z > 2 R impli
a
que <x ; z > pertene
e a R.
(() Si <x ; y> y <y ; z > 2 R, enton
es por deni
ión de R2 <x ; z > pertene
e
a R2 . Pero
omo, por hipótesis R2 R se tiene que <x ; z > pertene
e a R.
Luego, R es transitiva.
Si R es una rela
ión de A en A, se puede denir re
ursivamente la n ésima
poten
ia de la rela
ión R
omo
I; si n=0
Rn = RxR; si n = su
(x).
En o
asiones, es más
onveniente tener esta deni
ión desglosada
omo sigue
<x ; z > 2 Rn+1 ssi existen y1 ; y2 ; : : : ; yn 2 A tales que
<x ; y1 >; <y1 ; y2 >; <y2 ; y3 >; : : : ; <yn ; z > 2 R:
Que intuitivamente nos di
e que <x ; z > pertene
e a Rn si y sólo si en el grafo
aso
iado a R existe un
amino de longitud n de x a y .
Ejemplo 5.3
Dado A = fa; b;
; d; e; f g y R = f<a ; b>; <a ; d >; <
; e>; <b ; f >; <d ; e>; <e ; a >g
(i ) determinar R2 ; R3 ; R4 ; R5 ; R6
(ii ) que puede
on
luir de Ri para i5
Respuesta:
(i ) R2 = f<a ; f >; <a ; e>; <
; a>; <d ; a>; <e ; b>; <e ; d >g
R3 = f<a ; a>; <
; b>; <
; d >; <d ; b>; <d ; d >; <e ; e>; <e ; f >g
R4 = f<a ; b>; <a ; d >; <
; e>; <
; f >; <d ; e>; <d ; f >; <e ; a>g
R5 = f<a ; f >; <a ; e>; <
; a>; <d ; a>; <e ; b>; <e ; d >g
Se re
omienda veri
arlo grá
amente
on el digrafo aso
iado a R.
Veremos luego que también se pueden usar las matri
es de la rela
ión
para obtener el resultado.
(ii ) Se repiten..., puede ver
uál es el patrón, si lo hay?
5.2 Clausuras
Puesto que las rela
iones sobre A son sub-
onjuntos de A A se tiene que están
ordenadas par
ialmente por in
lusión, y en algunos
asos tiene sentido hablar
del mínimo de un
onjunto de rela
iones sobre A. En esta se
ión estaremos in-
teresados en hallar el mínimo, si existe, del
onjunto de las rela
iones transitivas,
reexivas o simétri
as que
ontienen a una
ierta rela
ión R.
Clausura Transitiva
Dada una rela
ión R sobre A, existen rela
iones transitivas que
ontienen a
R, en parti
ular, A A es transitiva y
ontiene a R. Estamos interesados en
extender a R a una rela
ión transitiva agregando el menor número posible de
pares. A
ontinua
ión formalizamos esta idea mediante la siguiente deni
ión.
Nótese que si R es transitiva, enton
es t(R) = R. Para fa
ilitar las demostra
io-
nes es
onveniente expresar este
on
epto formalmente mediante sus propiedades
denitorios. Esto es, pre
isaremos lo que signi
a: la menor rela
ión transitiva
de A en A que
ontiene a R.
Deni
ión 5.2 (Deni
ión Equivalente) Si R es una rela
ión de A en A
se dene la
lausura transitiva de R, t(R)
omo la rela
ión de A en A que
satisfa
e las siguientes propiedades
78 CAPÍTULO 5. CLAUSURAS DE RELACIONES
(i ) t(R) es transitiva,
(ii ) R t(R),
(iii ) Si R0 es transitiva & R R0 enton
es t(R) R0
Teorema 5.3 La
lausura transitiva, si existe, es úni
a.
Teorema 5.5 Si R es una rela
ión binaria sobre A enton
es su
lausura tran-
sitiva es
[1
Ri = R [ R2 [ R3 [ : : :
i=1
Prueba: Re
ordemos que
<x ; y> 2 [1
i=1 R , (9k 2 IN )(<x ; y > 2 R )
i k
Veamos que [1 1 i
i=1 R es transitiva. Sean <x ; y> ^ <y ; z > 2 [i=1 R , queremos
i
1 1
ver que <x ; z > 2 [i=1 R . Como <x ; y > 2 [i=1 R , se tiene que 9Rj tal que
i i
<x ; y> 2 Rj , y
omo <y ; z > 2 [1 i=1 R , se tiene que 9R tal que <y ; z > 2 R .
i l l
Por lo tanto, <x ; z > 2 R R , y
omo R R = R
j l j l j +l se tiene que <x ; z > 2 R l
j +
1
y por
onsiguiente <x ; z > 2 [i=1 R . i
Veamos que [1 i=1 R
ontiene a R. Si <x ; y > 2 R, enton
es <x ; y > 2 [i=1 R ,
i 1 i
pues <x ; y > 2 R = R.
1
Falta probar que si R0 es transitiva y R R0 , enton
es [1 0
i=1 R R . Sea
i
1
<x ; y> 2 [i=1 R . Esto impli
a que, 9R tal que <x ; y> 2 R .
i j j
Arma
ión: (8j 2 IN )(R R0 ^ R transitiva ) Rj R0 )
Es
laro que si esta arma
ión es
ierta, <x ; y > 2 Rj R0 y por
onsiguiente
[1 0
i=1 R R , QED.
i
5.2. CLAUSURAS 79
Basados en los dos teoremas anteriores podemos armar que toda rela
ión tiene
una
lausura transitiva úni
a que denotaremos por t(R) o por R+
Si el
onjunto base de la rela
ión tiene n elementos las poten
ias Ri del teo-
rema anterior se empiezan a repetir a partir de n y en
onse
uen
ia no aportan
nada a la unión. Esto trae
omo
onse
uen
ia el siguiente teorema que se deja
omo ejer
i
io.
Teorema 5.6 Si R es una rela
ión binaria sobre un
onjunto de n elementos,
enton
es
n[1
t(R) = Ri
i=1
Clausura Simétri
a
Si R es una rela
ión de A en A la
lausura simétri
a de R es la menor rela
ión
simétri
a que
ontiene a R. La misma puede obtenerse a partir de R añadiéndole
los ar
os de simetría.
Como el resultado de
lausurar a R ya sea simétri
a, reexiva o transitiva-
mente es a su vez una rela
ión de A en A. Se puede apli
ar
lausura a una
lausura. Por ejemplo, rt(R) es la
lausura reexiva de la
lausura transitiva
80 CAPÍTULO 5. CLAUSURAS DE RELACIONES
2
5.3. MATRIZ ASOCIADA 81
Por ejemplo, la matriz aso
iada a la rela
ión R = f< 1; 1 >; < 2; 2 >; <
3; 3 >; < 5; 5 >; < 1; 3 >; < 3; 1 >; < 3; 4 >; < 5; 1 >; < 2; 4 >; < 4; 5 >g sobre
el
onjunto [5℄ es
0
1 0 1 0 01
B0 1 0 1 0C
B C
B1 0 1 1 0C
0 0 0 0 1A
1 0 0 0 1
¾Será la rela
ión anterior reexiva, simétri
a, transitiva? ¾Cómo se ve esto en
la matriz?
1. Reexiva: Mr(R) = In _ MR
2. Simétri
a: Ms(R) = MR _ MRt
Mt(R) = in=11 MRi
W
3. Transitiva:
5.4. EJERCICIOS RESUELTOS 83
Ejer
i
io Resuelto 5.2 Dadas dos rela
iones SyT demuestre que t(S \ T )
t(S ) \ t(T )
Respuesta: Sea x 2 t(S \ T ), enton
es
omo t(S \ T ) = [1 i=1 (S \ T ) , se tiene
i
que existe n 2 IN tal que x 2 (S \ T ) . Dado que S \ T S ^ S \ T T
n
usando el ejer
i
io anterior se tiene que (S \ T )n S n y (S \ T )n T n lo que
impli
a que x 2 S n y que x 2 T n y por
onsiguiente que x 2 t(S ) y x 2 t(T ) y
por lo tanto que x 2 t(S ) \ t(T ).
4. Demuestre que si R es una rela
ión sobre A, enton
es para todo par de
números naturales m; n se tiene que (Rm )n = Rmn .
11. Construya las matri
es aso
iadas de las siguientes rela
iones sobre A =
f1; 2; 3; 4g y a partir de ellas determine si la rela
ión en
uestión es re-
exiva, simétri
a, antisimétri
a o transitiva. Halle las poten
ias de
ada
rela
ión, y a partir de ella halle las
lausuras transitivas.
(a) R1 = f<1 ; 1 >; <1 ; 2 >; <2 ; 3 >; <4 ; 4 >; <4 ; 1 >g
(b) R2 = f<1 ; 1 >; <2 ; 2 >; <3 ; 3 >; <4 ; 4 >; <1 ; 2 >; <2 ; 1 >; <4 ; 3 >;
<3 ; 4 >; <2 ; 4 >; <4 ; 2 >g
(
) R3 = f<1 ; 1 >; <2 ; 2 >; <3 ; 3 >; <4 ; 4 >; <4 ; 1 >; <3 ; 2 >; <2 ; 3 >;
<2 ; 4 >g
12. En
ada una de las proposi
iones siguientes indique si es verdadera para
todo par de rela
iones R1 y R2 , y si es falsa, muestre un
ontra-ejemplo.
13. Demuestre que si R es una rela
ión binaria sobre un
onjunto de n ele-
mentos, enton
es
n[1
t(R) = Ri :
i=1
86 CAPÍTULO 5. CLAUSURAS DE RELACIONES
Aquí la vista es despejada, el espíritu está elevado.Existe,
ha ia abajo.
Capítulo 6
Ejer i io 6.1 Halle todas las rela iones de equivalen ias que se pueden formar
87
88 CAPÍTULO 6. RELACIONES DE EQUIVALENCIA
A los sub
onjuntos de la familia se les llama bloques de la parti
ión. Si por
ejemplo, A = f1; 2; 3; 4g, se tiene que algunas de las parti
iones de A son
ff1; 2g; f3g; f4gg
ff1; 2; 3g; f4gg
ff1g; f2g; f3g; f4gg
que se suelen representar, por simpli
idad,
omo 1; 2j3j4, 1; 2; 3j4 y 1j2j3j4, pero
no debe perderse de vista que en realidad es una familia. Al
onjunto de las
parti
iones del
onjunto A se le suele representar por (A)
Deni
ión 6.3 (Clase de Equivalen
ia) Si R es una rela
ión de equivalen-
ia sobre un
onjunto A y x es un elemento de A se dene la
lase de equi-
valen
ia de x
omo el
onjunto de los elementos de A que están rela
ionados
mediante R
on x
R[x℄ = fy 2 A : xRyg :
Teorema 6.2 Si R es una rela
ión de equivalen
ia sobre A, enton
es para todo
x 2 A se tiene que R[x℄ 6= ; y x 2 R[x℄.
Prueba: Si x 2 A se tiene que xRx pues R es reexiva, luego x 2 R[x℄ y por
onsiguiente R[x℄ 6= ; 2
Teorema 6.3 Si R es una rela
ión de equivalen
ia sobre A, enton
es para todo
par x; y 2 A se tiene que R[x℄ = R[y ℄ si y sólo si xRy .
Prueba: Por absurdo, supongamos que esta proposi
ión es falsa, esto es, que
R[x℄ 6= R[y℄ ^ R[x℄ \ R[y℄ 6= ;. Si R[x℄ \ R[y℄ 6= ;, enton
es existe z 2 R[x℄ \ R[y℄
y por lo tanto z 2 R[x℄ y z 2 R[y ℄, y por
onsiguiente zRx ^ zRy y
omo R es
simétri
a se tiene que xRz ^ zRy y
omo R es transitiva se tiene que xRy . Pero
esto, en base al teorema anterior impli
a que R[x℄ = R[y ℄ lo
ual
ontradi
e la
hipótesis R[x℄ 6= R[y ℄. 2
Como antes se indi
ó estos tres teoremas permiten
on
luir que las
lases de
equivalen
ia son sub-
onjuntos no va
íos de A, que todo elemento de A pertene
e
a alguna
lase y que son disjuntas dos a dos. Esto es, que forman una parti
ión
de A. Se formalizará después de las siguientes deni
iones.
Deni
ión 6.4 (Conjunto Co
iente) Al
onjunto de las
lases de equivalen-
ia en las
uales una rela
ión de equivalen
ia R sobre un
onjunto A parte al
onjunto se denomina
onjunto
o
iente de A
on respe
to a R y se denota por
A=R = fR[x℄ : x 2 Ag
El nombre de
onjunto
o
iente se debe a que R divide a A en bloques
ada uno
de los
uales se
onsidera
omo una unidad.
Deni
ión 6.5 (Parti
ión Aso
iada a una Rela
ión) Dada una rela
ión de
equivalen
ia R sobre un
onjunto A se dene la parti
ión aso
iada a R
omo la
parti
ión
uyos bloques son los elementos de A que están rela
ionados median-
te R, esto es, x; y pertene
en al mismo bloque si y sólo si están rela
ionados
mediante R.
Deni
ión 6.6 (Rela
ión aso
iada a una parti
ión)
R = f<x ; y> : (9B )(B 2 ^ x 2 B ^ y 2 B )g
123 AA
La parte a de la gura 6.1 muestra el diagrama de Hasse las parti
iones del
onjunto A = f1; 2; 3g y la parte b muestra el diagrama de Hasse del
onjunto
de todas las rela
iones de equivalen
ia que se pueden
onstruir sobre A. En
otras palabra, se ilustran los diagramas de Hasse de los
onjuntos par
ialmente
ordenados h(A); i y hE (A); i para el
onjunto A = f1; 2; 3g. En el grá
o,
1 representa la rela
ión de equivalen
ia IdA [f<2 ; 3 >; <3 ; 2 >g, y las otras dos
tienen signi
ados análogos.
Ejer
i
io 6.2 Dado el
onjunto A = fa; b;
; dg
onstruya el diagrama de Hasse
del CPO h(A); i.
esta estru
tura debe servirnos solamente para dedu
ir las propiedades bási
as
de los enteros y que una vez dedu
idas estas seguiremos trabajando
on los en-
teros y sus propiedades
omo lo ha
íamos antes de
ono
er su estru
tura. De
he
ho, de aquí en adelante, trabajaremos
on los números naturales usando sus
propiedades sin preo
uparnos ni men
ionar su super-estru
tura.
El
onjunto
o
iente
De lo anterior
on
luimos que el
onjunto
o
iente es:
Sobre este
onjunto denimos las opera
iones de adi
ión y multipli
a
ión
omo
sigue:
[<a ; b>℄ + [<
; d >℄ = [<a +
; b + d >℄
[<a ; b>℄ [<
; d >℄ = [<a
+ bd ; ad + b
>℄
Teorema 6.10 La suma de dos números enteros es un número entero.
Prueba: Dados dos enteros [<a ; b>℄; [<
; d >℄ se tiene que a; b;
; d 2 IN . Lue-
go,
omo por deni
ión de suma se de enteros tiene que [<a ; b>℄ + [<
; d >℄ =
[<a +
; b + d >℄ y por ser a; b;
; d números naturales se tiene que a +
y b + d
son números naturales,
on
luimos que [<a +
; b + d >℄ es un número entero. 2
Alerta: Cada número entero es una
lase, esto es, un
onjunto de pares, no
un par. Pero
on fre
uen
ia por
omodidad se usara un par pertene
iente a la
lase en lugar de la
lase en sí, esto queda justi
ado por el siguiente teorema.
Más aún,
omo ya se men
ionó, denotaremos al entero [<n ; 0 >℄ por n y diremos
que es un entero positivo y al entero [< 0; n >℄ por n y diremos que es un
entero negativo. Al entero [<0 ; 0 >℄ lo denotamos por 0.
Prueba: Si <a1 ; b1 > 2 [<a ; b>℄^<a2 ; b2 > 2 [<a ; b>℄, se tiene que <a1 ; b1 >
<a2 ; b2 > y por
onsiguiente a1 + b2 = b1 + a2 . Si sumamos
+ d en ambos lados,
aso
iamos y
onmutamos tenemos que (a1 +
) + (b2 + d) = (b1 + d) + (a2 +
),
lo
ual impli
a que [<a1 +
; b1 + d >℄ = [<a2 +
; b2 + d >℄ y por
onsiguiente
que [<a1 ; b1 >℄ + [<
; d >℄ = [<a2 ; b2 >℄ + [<
; d >℄ 2
La multipli
a
ión de números enteros también goza de esta propiedad, ello lo
enun
iamos en el siguiente teorema que dejamos
omo ejer
i
io.
Teorema 6.13 La multipli
a
ión de dos números enteros no depende de
uál
representantes de los números tome para eje
utar la multipli
a
ión. Esto es, si
<a1 ; b1 > 2 [<a ; b>℄ y <a2 ; b2 > 2 [<a ; b>℄, enton
es [<a1 ; b1 >℄ [<
; d >℄ =
[<a2 ; b2 >℄ [<
; d >℄
Dado que la suma de dos números enteros es un número entero y que no
depende del representante de la
lase que use para ha
er la suma se di
e que la
adi
ión de números enteros está bien denida. Similar arma
ión puede ha
erse
sobre la multipli
a
ión de números enteros.
Podemos armar que la suma de números enteros goza de las siguientes
propiedades
1. Está bien denida
2. Es aso
iativa, esto es, (8a; b;
2 Z )((a + b) +
= a + (b +
)) 1
3. Es Conmutativa, esto es, (8a; b 2 Z )(a + b = b + a)
4. Tiene Neutro, esto es, (9a 2 Z )(8z 2 Z )(a + z = z + a = z )
5. Todo elemento tiene opuesto, esto es, (8a 2 Z )(9b 2 Z )(a + b = 0), donde
0 es el neutro de Z .
Es
laro que el elemento neutro es la
lase [<0 ; 0 >℄ porque si z es un entero,
enton
es es de la forma [<n ; 0 >℄ o [<0 ; n>℄ para algún n 2 IN , por
asos: si
[<n ; 0 >℄, enton
es [<n ; 0 >℄ + [<0 ; 0 >℄ = [<n + 0 ; 0 + 0 >℄ = [<n ; 0 >℄. No
olvide que la suma dentro de los
or
hetes angulares es la suma de naturales. Si
invierto el orden de los sumandos el resultado es el mismo y el
aso [<0 ; n>℄ es
análogo. Además, el opuesto de [<n ; 0 >℄ es [<0 ; n>℄ pues [<n ; 0 >℄+[<0 ; n>℄ =
[<n + 0 ; 0 + n>℄ = [<n ; n>℄ = [<0 ; 0 >℄. La aso
iatividad y la
onmutatividad
se enun
ian en el siguiente teorema que se deja
omo ejer
i
io.
Teorema 6.14 La suma de números enteros es
onmutativa y aso
iativa.
Realmente esta es sólo la ley
an
elativa a izquierda, la otra es análoga sólo que
la a está a la dere
ha.
a n b () (9z 2 Z )(a = b + nz )
() (9z 2 Z )(a b = nz )
Z= 3= f0; 1; 2g
96 CAPÍTULO 6. RELACIONES DE EQUIVALENCIA
Ejer
i
io 6.4 Halle los elementos de Zn , para un n
ualquiera, esto es, des
riba
omo se parte Z para formar Zn . ¾Cómo lu
e Zn ?
6.3.1 Aritméti a de Z n
Se dene sobre Zn las opera
iones de adi
ión y multipli
a
ión
omo sigue:
[ r ℄ + [ s℄ = [ r + s℄
[ r ℄ [ s℄ = [ r s℄
Alerta: El + dentro de los
or
hetes es el signo de adi
ión de los números enteros
mientras que el de afuera es el de los enteros módulo n. Igual
on el .
(i ) 0+r =r+0=r
(iii ) r + (s + t) = (r + s) + t
(iv ) r+s=s+r
(v ) 1r =r1=r
(vi ) r (s t) = (r s) t
(vii ) rs=sr
(viii ) r (s + t) = r s + r t
(ix ) (r + s) t = r t + s t
6.4. CONSTRUCCIÓN DE LOS RACIONALES 97
y demuestre que
Adi
ión
(a) Está bien denida
(b) Es aso
iativa
(
) Es Conmutativa
(d) Tiene Neutro
(e) Todo elemento tiene opuesto
Multipli
a
ión
(a) Está bien denida
(b) Es aso
iativa
(
) Es Conmutativa
(d) Tiene Neutro
(e) Todo elemento no nulo tiene inverso multipli
ativo
Se
umple la propiedad distributiva (8a; b;
2 Q)(a(b +
) = ab + a
).
ab = 0 ) a = 0 _ b = 0
98 CAPÍTULO 6. RELACIONES DE EQUIVALENCIA
Ejer
i
io Resuelto 6.3 Sea f : A ! B una fun
ión. Dados dos elementos
a1 ; a2 2 A diremos que a1 está rela
ionado
on a2 y lo representaremos por a1
a2 si y sólo si f (a1 ) = f (a2 ). Muestre que es una rela
ión de equivalen
ia
sobre A. Al
onjunto
o
iente de esta rela
ión se denomina kernel de f y a las
lases de equivalen
ia bras de f.
Ejer
i
io Resuelto 6.4 Demuestre que si R es una rela
ión de equivalen
ia,
enton
es R R = R.
Respuesta: Por doble
onten
ión.() Sea <x ; z > 2 R R, enton
es existe y tal
que <x ; y >; <y ; z > 2 R y puesto que R es transitiva, se tiene que <x ; z > 2 R.
() Si <x ; z > 2 R,
omo R es reexiva, <x ; x > 2 R y dado que <x ; x > 2 R y
<x ; z > 2 R, se tiene que <x ; z > 2 R2 .
6.6. EJERCICIOS 101
9. sea R una rela ión sobre Z + denida omo aRb , m d (a; 9) = m d (b; 9)
16. Demuestre que el
onjunto de los números enteros
on la rela
ión de-
nida
omo [<a ; b>℄ [<
; d >℄ , a + d b +
es un orden total.
19. Dada la matriz de una rela
ión de equivalen
ia R sobre A, diga
omo
hallar fá
ilmente la
lase de un elemento a 2 A.
20. Pruebe o desmienta las proposi
iones siguientes:
si F es una familia no va
ía de rela
iones de equivalen
ia sobre el
onjunto
A, enton
es
(a) [F es de equivalen
ia si y sólo si toda R 2 F es de equivalen
ia.
(b) \F es de equivalen
ia si y sólo si toda R 2 F es de equivalen
ia.
104 CAPÍTULO 6. RELACIONES DE EQUIVALENCIA
¾Tenéis valor, oh hermanos míos? ¾Estáis resueltos? ¾No el valor
ante los testigos, sino el valor de los solitarios, el valor de las águilas,
que no tienen ningún dios espe tador? Las almas frías, los mulos, los
Capítulo 7
Así habló Zaratustra. Federi
o Nietzs
he.
Fun
iones
El
on
epto de fun
ión es un
on
epto
on el que todos estamos de una forma
u otra familiarizados. Una fun
ión f de un
onjunto A en un
onjunto B es
una regla que asigna a
ada elemento de A un úni
o elemento de B . En
ál
ulo,
a menudo, una fun
ión se da por una fórmula sen
illa tal
omo f (x) = 2x2 1,
o por una fórmula no tan sen
illa
omo
1 xn
X
f (x) =
n=0 n!
Además,
on fre
uen
ia, ni siquiera se men
ionan los
onjuntos A y B explí
ita-
mente, asumiendo tá
itamente que A es el
onjunto de todos los números reales
para los
uales tiene sentido la regla y B es el
onjunto de todos los números
reales. Para mu
hos propósitos la deni
ión de una fun
ión por medio de una
fórmula sin espe
i
ar los
onjuntos A y B es satisfa
toria y no vale la pena
ompli
arla, sin embargo
uando uno se adentra algo más en las matemáti
as
surge la ne
esidad de pre
isar más el
on
epto de fun
ión.
105
106 CAPÍTULO 7. FUNCIONES
Ejemplos
f : IR ! IR,
on f (x) = 2x es una fun
ión porque para 8 x 2 IR(2x 2 IR)
y dados x; y 2 IR si x = y enton
es 2x = 2y y por lo tanto f (x) = f (y ).
Prueba:
(a) Sea a 2 A,
omo g : A ! B existe b 2 B tal que <a ; b> 2 g y
omo
b 2 B ^f : B ! C 9
2 C tal que <b ;
> 2 f . Luego, por deni
ión de
omposi
ión se tiene que <a ;
> 2 f Æ g .
(b) Supongamos que <a ;
>; <a ;
0> 2 f Æ g . Por deni
ión de
omposi
ión de
rela
iones 9b; b0 2 B tales que <a ; b>; <a ; b 0> 2 g y <b ;
>; <b 0 ;
0> 2 f . Como
g es fun
ión se tiene que b = b0 y por lo tanto
omo <b ;
>; <b ;
0> 2 f y f es
fun
ión se tiene que
=
0 .
Luego por (a) y (b) f Æ g es una fun
ión. Además, si <a ;
> 2 f Æ g enton
es 9b 2
B tal que <a ; b> 2 g ^ <b ;
> 2 f , esto es, 9b 2 B tal que g(a) = b ^ f (b) =
,
pero
omo f Æ g es una fun
ión <a ;
> 2 f Æ g se puede expresar
omo:
Para denotar que la fun
ión f : A ! B es inye
tiva se puede usar la expresión
f : A,!B , para denotar que es sobreye
tiva se puede usar la expresión f : A!
!B
y para denotar que es biye
tiva se puede usar f : A,!!B .
Deni
ión 7.4 (Imagen Inversa) Dada una fun
ión f : A ! B , y B 0 B
se dene la imagen inversa de B 0 mediante f también denominada preima-
gen de f
omo el
onjunto de los elementos de A
uyas imágenes mediante
f pertene
en a B 0 . Simbóli
amente,
f 1 (B 0 ) = fx 2 A : f (x) 2 B 0 g
Observe que el símbolo f 1 representa una fun
ión de P (B ) en P (A). Este
símbolo se usa tanto para determinar la inversa de una fun
ión biye
tiva f
omo
para denotar la imagen inversa de un
onjunto bajo una fun
ión
ualquiera f .
...
Si f es una fun
ión de A en B se denen las bras de f
omo las preimágenes
no va
ías de
ada uno de los elementos de B . Esto es, 8b 2 B si f 1 (fbg) 6= ;
es una bra de f . Nótese que si f no es sobreye
tiva alguna preimagen de f
es va
ía. El
onjuntos de las bras de f forman una parti
ión de A que se
denomina la parti
ión indu
ida por f . A la rela
ión de equivalen
ia aso
iada a
esta parti
ión se le denomina la rela
ión de equivalen
ia indu
ida por f . Esto
se formaliza
on el siguiente teorema.
Teorema 7.2 Dada una fun
ión f : A ! B , si denimos la siguiente rela
ión
sobre A:
a b , f (a) = f (b)
se tiene que es una rela
ión de equivalen
ia sobre A.
Prueba:
es reexiva porque 8a 2 A(a a) ya que 8a 2 A(f (a) = f (a)).
es simétri
a porque 8a; b 2 A(a b ) b a) ya que 8a; b 2 A(f (a) = f (b) )
f (b) = f (a)).
es transitiva porque 8a; b;
2 A(a b ^ b
) a
) ya que 8a; b;
2
A(f (a) = f (b) ^ f (b) = f (
) ) f (a) = f (
)) 2
Esta rela
ión de equivalen
ia parte al
onjunto A en bloques
ada uno de los
uales son las preimágenes no va
ías de elementos de B mediante f . A esta
parti
ión se le denomina el kernel de f .
7.2. TIPOS DE FUNCIONES 109
Deni
ión 7.5 (Sobreye
ión Canóni
a) Dada una rela
ión de equivalen-
ia sobre un
onjunto A la fun
ión g : A ! A=R denida por
g(a) = [a℄R
se denomina la sobreye
ión
anóni
a de A al
onjunto
o
iente A=R
Deni
ión 7.6 Sea f : A ! B , y sea A0 un sub
onjunto del dominio de f . Se
dene la restri
ión de f a A0
omo la fun
ión f jA de A0 en B que
oin
ide
0
Deni
ión 7.8 (Fun
ión Constante) Dados dos
onjuntos A y B una fun-
ión f : A ! B es una fun
ión
onstante si existe b 2 B tal que f (a) = b8 a 2
A; equivalentemente si la imagen de A mediante f es un singletónf (A) = fbg
para algún b 2 B
Observe que se pueden denir tantas fun
iones
onstantes
omo elementos tenga
B. Observe también, que la fun
ión
onstante es inye
tiva ssi A tiene un solo
elemento.
Deni
ión 7.9 (Fun
ión Identidad) Dado un
onjunto A se dene la fun-
ión identidad IdA : A ! A
omo la fun
ión tal que IdA (a) = a 8a 2 A
Deni
ión 7.11 (Fun
ión Cara
terísti
a de un Conjunto) Dado un
on-
junto A y un sub
onjunto B de A se dene la fun
ión
ara
terísti
a de B
omo:
B : A ! f0; 1g
si x 2 B ;
B (x) = 01;; si x 62 B .
Vale la pena repetir que B es una fun
ión de A en f0; 1g, esto es, B 2 f0; 1gA.
Además, puede probarse que toda fun
ión en f0; 1gA es la fun
ión
ara
terísti
a
de algún sub
onjunto B de A. (Ejer
i
io.)
Deni
ión 7.12 (Fun
ión In
lusión) Dado A0 A se dene una fun
ión
I : A0 ! A
on la regla a 7! a
Esta fun
ión no es más que la fun
ión identidad restringida a A0 , por lo tanto
es inye
tiva.
110 CAPÍTULO 7. FUNCIONES
Prueba:
(a) Sea g : A ! B y f : B ! C fun
iones sobreye
tivas. Como g y f
son sobreye
tivas se tiene que g (A) = B y f (B ) = C , luego f Æ g (A) =
f (g(A)) = f (B ) = C . Por lo tanto, f Æ g : A ! C es sobreye
tiva.
Otra prueba: Sea g : A ! B y f : B ! C enton
es f Æ g : A ! C . Dado
2 C quiero ver que existe a 2 A tal que f Æ g(a) =
. Si
2 C ,
omo f
es sobre, se tiene que 9b 2 B (f (b) =
); además,
omo g es sobreye
tiva,
9a 2 A(g(a) = b), por lo tanto f (g(a)) =
y f Æ g(a) =
. Luego,
8
2 C 9a 2 A(f Æ g(a) =
) y por
onsiguiente f Æ g es sobreye
tiva.
(b) Sean g : A ! B y f : B ! C enton
es f Æ g : A ! C . Quiero probar que
f Æ g es inye
tiva, esto es, que 8 x; y 2 A si f Æ g(x) = f Æ g(y) enton
es
x = y. Sea x; y 2 A tales que f Æ g(x) = f Æ g(y). Por deni
ión de
omposi
ión se tiene que f (g (x)) = f (g (y )), pero
omo f es inye
tiva se
tiene que g (x) = g (y ), y
omo a su vez g es inye
tiva sale que x = y .
(
) Como f; g son biye
tivas se tiene que son inye
tivas y sobreye
tivas y por lo
tanto por las partes (a) y (b) se tiene que f Æ g es inye
tiva y sobreye
tiva,
por
onsiguiente biye
tiva.
Prueba:
(a) Sean g : A ! B y f : B ! C fun
iones tales que f Æ g : A ! C es
sobreye
tiva, quiero ver que f es sobreye
tiva. Como f Æ g es sobreye
tiva
(8
2 C )(9 a 2 A) tal que f Æ g(a) =
, esto es, f (g(a)) =
, pero
omo
g es una fun
ión de A en B existe b 2 B (g(a) = b). Luego, 8
2 C 9b 2
B (f (b) =
)
7.3. FUNCIONES INVERSAS 111
(
) Para que f 1 sea una fun
ión es
ondi
ión ne
esaria y su
iente que f sea
biye
tiva.
Prueba:
(a) Si f : A ! B no es inye
tiva 9(a; a0 2 A; a 6= a0 ^ b 2 B ) tal que <a ; b> 2 f
y <a 0 ; b> 2 f . Luego <b ; a>; <b ; a 0> 2 f 1 . Por lo tanto f 1 no es fun
ión.
(b) Si f : A ! B no es sobreye
tiva 9b 2 B tal que 8a 2 A(<a ; b> 62 f ). Luego
9b 2 B (8a 2 A <a ; b> 62 f ) y por lo tanto f 1 no es fun
ión.
(
) Por
ontrarre
ípro
o de (a) y (b) si f 1 es fun
ión enton
es f es biye
tiva.
Además si f es biye
tiva enton
es
ada b 2 B apare
e
omo segunda
oordenada
de exa
tamente un par de f . Luego al invertir las
oordenadas
ada elemento
112 CAPÍTULO 7. FUNCIONES
Inversas Uniláteras
Deni
ión 7.13 (Inversas Uniláteras) Dada f : A ! B , de
imos que g :
B ! A es una inversa a izquierda de f ssi g Æ f = IdA ; y de
imos que
h : B ! A es una inversa a dere
ha de f ssi f Æ h = IdB .
Inversas
Deni
ión 7.14 (Inversas) Dada f : A ! B de
imos que g : B ! A es una
inversa de f , ssi g Æ f = IdA y f Æ g = IdB , esto es, si g es inversa a dere
ha y
a izquierda de f . También se di
e que g es inversa bilátera de f .
Una fun
ión puede tener varias inversas a dere
ha o varias inversas a iz-
quierda, pero si tiene inversa a izquierda y a dere
ha, enton
es di
has inversas
oin
iden y son úni
as. Esto di
e que la inversa de una fun
ión, si existe, es
úni
a. El siguiente teorema formaliza estos
omentarios.
(b) f es sobreye tiva ssi tiene (al menos una) inversa por la dere ha.
(d) f es biye tiva ssi las inversas dere has e izquierdas oin iden.
Prueba:
(a) ()) Si f es inye
tiva
onstruiremos una inversa a izquierda para f . To-
memos a un elemento
ualquiera de A, que sabemos que existe porque
A 6= ; y denamos g : B ! A por
g(b) = aa; ; si b 2 f (A) ^ f (a) = b;
si b 62 f (A).
a es úni
o porque f es inye
tiva. Por lo tanto g asigna a
ada b 2 B un
úni
o elemento de A. Luego está bien denida. Además, g es una inversa a
izquierda de f porque 8 a 2 A si f (a) = b se tiene que g (f (a)) = g (b) = a.
7.3. FUNCIONES INVERSAS 113
(() Supongamos que f tiene inversa a izquierda, esto es, supongamos que
existe g : B ! A tal que g Æ f = IdA ; quiero ver que f es inye
tiva. Como
IdA es inye
tiva por el Teorema 7.5 f es inye
tiva. A
ontinua
ión se da
una prueba dire
ta: Sean x; y 2 A tales que f (x) = f (y ), quiero ver que
x = y. Si f (x) = f (y) se tiene que g(f (x)) = g(f (y)) porque g es fun
ión
el lado izquierdo de esta igualdad es x mientras que el lado dere
ho es y
luego x = y .
(b) ()) Si f es sobreye
tiva
onstruyamos una inversa por la dere
ha, esto es,
debemos
onstruir h : B ! A tal que f Æ h = IdB . Como 8b 2 B 9a 2
A(f (a) = b). Nótese que
omo f no es ne
esariamente inye
tiva este a no
es ne
esariamente úni
o. Para
ada b 2 B tomamos uno de los a tales que
f (a) = b y denimos 8b 2 B (h(b) = a;
on a tal que f (a) = b). Nótese
que f Æ h(b) = f (h(b)) = f (a) = b, por lo tanto, en efe
to f Æ h = IdB :
(() Si h es inversa a dere
ha de f enton
es f Æ h = IdB . Sea b 2 B ,
omo
h : B ! A 9a 2 A(h(b) = a) y
omo f Æ h = IdB se tiene que f (h(b)) = b,
por lo tanto f (a) = b. Luego, 8b 2 B 9a 2 A(f (a) = b) y por
onsiguiente
f es sobreye
tiva.
2
De la parte (
) de este teorema
on
luimos que para saber si una fun
ión f
de A en B es una biye
ión basta
on exhibir la fun
ión inversa.
Otro tipo interesante de rela
iones son las fun
iones par
iales. Una fun
ión
par
ial de A en B es una rela
ión de A en B que asigna a algunos de los
elementos de A un úni
o elemento de B . Su diferen
ia
on las fun
iones es
que no forzosamente asigna a
ada elemento de A un elemento de B . Nótese
que si
onsideramos el sub
onjunto A0 A al
ual la fun
ión par
ial le asigna
elementos de B la restri
ión de la fun
ión par
ial a di
ho
onjunto es una
fun
ión en el amplio sentido de la palabra. Es esta la razón por la
ual la
denominamos fun
ión par
ial.
Las fun
iones par
iales apare
en de manera natural
uando pretendemos
denir
iertas fun
iones sobre un
onjunto A
on el in
onveniente de que para
iertos valores del dominio no tiene sentido denir a di
ha fun
ión. En di
ho
aso, podríamos averiguar para que valores la fun
ión en
uestión no está de-
nida y estable
er explí
itamente
ual es el
onjunto A que tiene sentido para la
deni
ión. Sin embargo, este pro
edimiento podría ser tedioso y no aportarnos
ningún bene
io, salvo el de que la fun
ión sea realmente una fun
ión. En estos
asos es más
onveniente a
eptar que la fun
ión que estamos manipulando es
una fun
ión par
ial.
Deni
ión 7.15 (Fun
ión par
ial) Dados dos
onjuntos A y B una fun
ión
par
ial de A en B es una rela
ión binaria de A en B (un sub
onjunto de A B )
114 CAPÍTULO 7. FUNCIONES
Ejemplos
f (x) = x1 es una fun
ión par
ial f : IR ! IR pues no está denida para x = 0
La opera
ión de tomarpraíz
uadrada de un número real es una fun
ión par
ial
de IR en IR pues x no está denida para x < 0
7.4. EJERCICIOS RESUELTOS 115
Respuesta: Inye
tividad: Sean <u ; v > y <s ; t> dos elementos de IN IN
tales que f (<u ; v >) = f (<s ; t>). Por deni
ión de f se tiene que 2u (2v + 1) =
2s (2t + 1). Como 2u (2v + 1) es un número natural se tiene que su des
om-
posi
ión en primos es úni
a. Además
omo 2v + 1 es impar en di
ha des
om-
posi
ión la poten
ia de 2 es justamente u. Apli
ando el mismo razonamien-
to a 2s (2t + 1) se
on
luye que 2u = 2s de donde
on
luimos que u = s
y por
onsiguiente 2v + 1 = 2t + 1 lo que impli
a que v = t y en
onse-
uen
ia <u ; v > = <s ; t >. Sobreye
tividad: Sea n 2 IN por el teorema fun-
damental de la aritméti
a se tiene que n tiene una úni
a des
omposi
ión en
primos digamos que ella es n = 2 p1 1 pk k
on 0 y i 1. Claramen-
p1 pk 1
te, el par < ; 1 2 k > pertene
e a IN IN pues p1 1 pkk es impar y
p1 pk 1
f (< ;
1 k p1 1 pkk 1
>) = 2 (2( ) + 1) = n
2 2
Ejer
i
io Resuelto 7.3 Halle una biye
ión entre el
onjunto de los polino-
mios de grado menor o igual que n
on
oe
ientes en el
onjunto F y el
on-
junto de las n tuplas de elementos de F .
Respuesta: Representemos por Fn [x℄ al
onjunto de los polinomios de grado
menor o igual que n
on
oe
ientes en el
onjunto F y por F n+1 al
onjun-
to de las n + 1-tuplas
on
oordenadas en F . Se dene f (a0 + a1 x + a2 x2 +
+ an xn ) =< a0 ; a1 ; : : : ; an >. Esta fun
ión es inye
tiva y sobreye
tiva.
Inye
tiva: Sean P (x) y Q(x) dos polinomios de Fn [x℄ tales que f (P (x)) =
116 CAPÍTULO 7. FUNCIONES
16. Dados A; B dos
onjuntos no va
íos, muestre una biye
ión de AB en
B A.
17. (a) Si n > 1 halle una biye
ión entre A1 A2 An y (A1 A2
An
1 ) An .
(b) Si J es un
onjunto de índi
es tal que J = K [ L y K; L Q son disjun-
tos
Q y no va
íos,Qmuestre que existe una biye
ión entre 2J A y
( 2K A ) ( 2L A )
7.5. EJERCICIOS 119
18. Muestre una biye
ión entre el
onjunto de partes P (A) del
onjunto A y
el
onjunto de las fun
iones de A en f0; 1g, f0; 1gA. ( : P (A) ! f0; 1gA)
19. Verique que las fun
iones
ara
terísti
as de uniones, interse
iones y di-
feren
ias de
onjuntos se pueden expresar en término de los
onjuntos base
omo sigue:
(a) A[B = A + B A B
(b) A\B = AB
(
) A B = A (1 B )
20. Demuestre que si la fun
ión f : A ! B es inye
tiva, enton
es existe
B 0 B y g : A ! B 0
on g f tal que g es biye
tiva.
p p
21. Muestre una biye
ión entre Z 2 y Z [ 2℄ = fa + b 2 : a; b 2 Z g. Pruebe
que, en efe
to, es una biye
ión.
22. Sea A = Z + Z + y sea B = f<x ; y> 2 Z + Z + : x y g. La gura 22
muestra
omo el
onjunto A se puede transformar en el
onjunto B . (a)
Use esta gura para hallar una biye
ión f : A ! B . Demuestre que la
fun
ión que halló es, en efe
to, una biye
ión. (b) Construya una biye
ión
de B en Z + .
s s s s s s
s s s s s s s
s s s s s s s s
f
s s s s s s s s s
s s s s s s s s s s
ha e tiempo, omo una nube, ada vez más tranquila y sombría. Así
hombres de hoy no quiero ni ser luz ni ser llamado luz. A éstos los
Capítulo 8
Cardinalidad
En este
apítulo estudiaremos la no
ión de
ardinalidad de un
onjunto.
Di
ha no
ión es una de las brillantes ideas del matemáti
o alemán Georg Can-
tor, quien retomó la idea de la ya
ono
ida
orresponden
ia biunívo
a que
apare
ió, en los albores de la
iviliza
ión
uando el hombre aprendió a
ontar
sus rebaños amontonando tantas piedras
omo ovejas
ontaba. Cantor propu-
so que dos
onjuntos tienen igual
antidad de elementos, igual
ardinalidad,
si y sólo si existe una
orresponden
ia biye
tiva entre ellos. Una de las
osas
más sorprendentes es que en algunos
asos el tamaño de un
onjunto puede ser
numéri
amente igual al de una de sus partes.
Empezaremos deniendo qué es un
onjunto nito, estudiaremos varios teo-
remas y
orolarios sobre
onjuntos nitos, luego deniremos
onjuntos innitos,
mostraremos ejemplos de
onjuntos innitos, para luego denir qué es un
on-
junto
ontable. Mostraremos algunas propiedades de los
onjuntos
ontables o
numerables y nalizaremos presentando ejemplos de
onjuntos no numerables.
No estudiaremos aquí el
on
epto de número
ardinal, ni las propiedades de los
mismos.
[n℄ = fx 2 IN : 1 x ng = f1; 2; 3; : : : ; ng
A este
onjunto lo llamaremos una se
ión o segmento de los naturales. Estos
onjuntos son los prototipos de los
onjuntos nitos.
Deni
ión 8.2 (Conjuntos Finitos) Se di
e que un
onjunto A es nito si es
va
ío o si existe una
orresponden
ia biye
tiva
on una se
ión de los naturales,
121
122 CAPÍTULO 8. CARDINALIDAD
fa0g ! [n℄:
g:A
Enton
es denimos la fun
ión f : A ! [n + 1℄
f : A ! [n + 1℄
Si f (a0 ) = n + 1, la restri
ión f jA fa0 g es la biye
ión bus
ada de A fa0 g
en [n℄. De lo
ontrario, sea f (a0 ) = m y sea a1 el punto de A para el
ual
f (a1 ) = n + 1. Enton
es a0 6= a1 . Denimos una nueva fun
ión
h : A ! [n + 1℄
dada por:
h(a0 ) = n + 1
8.1. CONJUNTOS FINITOS 123
h(a1 ) = m;
h(x) = f (x) si x2A fa0 ; a1 g
h es una biye
ión y
omo antes hjA fa0g es la biye
ión bus
ada de A fa0 g
en [n℄. 2
Teorema 8.2 Sea A un
onjunto tal que existe una fun
ión biye
tiva f : A !
[n℄ para algún n 2 IN . Si B A enton
es no existe biye
ión g : B ! [n℄, pero
si B 6= ; enton
es existe biye
ión h : B ! [m℄ para algún m (0 < m < n).
(f : A ! [1℄ ^ B A) )6 9g : B ! [1℄
Supongamos P (n) y probemos P (n + 1), esto es, que
f : A ! [n + 1℄ biy ^ B A )6 9g : B ! [n + 1℄
Pero si B 6= ;
9h : B ! [m℄ biy para algún m < n + 1
Sea a0 2 B (existe pues B = 6 ;),
onsideremos A fa0 g. Por lema anterior
f : A ! [n + 1℄ biy ^ B A ) 9g : A fa0g ! [n℄ biy además
omo
B fa0 g A fa0g se tiene por HI que 6 9g1 : B fa0 g ! [n℄ biy . Por lo
tanto, por el lema se tiene que 6 9f1 : B ! [n + 1℄ biy . Falta ver que si B =
6 ;
enton
es 9m 2 IN tal que 9g : B ! [m℄ biy Por
asos, si B fa0 g = ; enton
es
B tiene un solo elemento que es a0 y es
laro que existe una biye
ión de B a
[1℄. Si B fa0 g 6= ; por hipótesis indu
tiva existe una biye
ión de B fa0g
en [p℄
on p < n
2
se tiene que g (B ) es sub
onjunto de [n℄ y por lo tanto es nito y tiene a lo sumo
n elementos, además la fun
ión
g0 : B ! g(B )
dada por g 0 (b) = g (b) es biye
tiva. Por
onsiguiente, B es nito y tiene a lo
sumo n elementos.
(3) ) (1): Si B es nito y tiene a lo sumo n elementos, se tiene que existen
m 2 IN tal que 1 m n y h biye
tiva y tal que h : [m℄ ! B . Si m = n
enton
es h es la sobreye
ión deseada. Si 1 m < n extendemos a h a una
fun
ión f : [n℄ ! B denida por
f (x) = hh(1); si m < x n;
(x); si 1 x m.
2
El siguiente
orolario formaliza un
élebre prin
ipio de matemáti
as que se
ono
e
omo Prin
ipio del Palomar. El mismo estable
e que si tenemos más
de n palomas y tan solo n ni
hos para palomas enton
es existe algún ni
ho en
el que duermen más de una paloma.
Corolario 8.8 (Prin
ipio de Palomar) Si jAj = n + 1 y jB j = n, no existe
fun
ión inye
tiva de A en B
x tal que h(x) b, esto es, h(m) b y h(1); h(2); : : : ; h(m 1) < b. Como
h(m) = min (B fh(1); h(2); : : : h(m 1)g) y b 2 B fh(1); h(2); : : : ; h(m 1)g,
enton
es h(m) b, lo
ual impli
a que h(m) = b. 2
En esta se
ión haremos una breve digresión para presentar el último de los
axiomas que estudiaremos en este
urso. La inten
ión inmediata es poder usarlo
en la demostra
ión del teorema base para
ara
terizar
onjuntos
ontables y no
ontables.
En la página 24 (Teorema 2.4) se probó que dados dos
onjuntos A y B ,
para que su produ
to
artesiano sea no va
ío es
ondi
ión ne
esaria y su
iente
que A y B sean no va
íos. Esto se puede generalizar para el
aso de familias
nitas de
onjuntos
omo sigue. Si fXi g es una familia nita de
onjuntos,
enton
es para que su produ
to
artesiano sea no va
ío es
ondi
ión ne
esaria
y su
iente que todos los
onjuntos de la familia sean no va
íos. Y se puede
probar fá
ilmente por indu
ión. Sin embargo, en el
aso de familias arbitrarias
esto no es
ierto. El axioma de Ele
ión estable
e una de las impli
a
iones de
esta arma
ión que a
eptaremos sin prueba, a saber, la ne
esidad.
Para probar que (3) ) (1)
onsidere los
asos B innito
ontable y B nito. En
el primer
aso existe una biye
ión f : Z + ! B y en el segundo use la biye
-
ión existente h : [n℄ ! B para extenderla a una de sobreye
ión f : Z + ! B . 2
representa
iones
omo :5 que se representa por :50000 y por :49999 . For-
memos un
onjunto de representa
iones de los elementos de [0; 1℄ que
ontenga
una sola representa
ión de
ualquier número en [0; 1℄ de la siguiente manera:
si x 2 [0; 1℄ tiene una sola representa
ión di
ha representa
ión pertene
e a C ,
si x 2 [0; 1℄ tiene más de una representa
ión a C sólo pertene
e la que tiene
innitos
eros.
Probaremos que no existe una fun
ión sobreye
tiva g : Z + ! C . Si g :
Z ! C enton
es se tiene que g(n) = :xn1 xn2 xn3 xn4 xnn .
+
Construiremos una su
esión en C que no tenga preimagen mediante g . La
su
esión y = :y1 y2 y3 yn
on
si xnn 6= 1;
yn = 12;;
si xnn = 1.
pertene
e a C porque es una su
esión de
imal que no tiene innitos nueves, pero
no es imagen de ningún n mediante g . Esto es, 8n(y 6= g (n)) porque dieren en
por lo menos la n ésima
oordenada. Por lo tanto no existe g sobreye
tiva de
Z + en C y por
onsiguiente en [0; 1℄ 2
(a) jAj = jB j.
Prueba: Sea f una fun
ión inye
tiva de A en B , esto es, f : A,!B y sea g
una fun
ión inye
tiva de B en A; nuestro problema
onsiste en
onstruir una
fun
ión biye
tiva de A en B . Supongamos que A y B no tienen elementos en
omún. (¾Por qué?) Dado un elemento a 2 A diremos que a es padre del
elemento f (a) de B y que el elemento f (a) de B es hijo del elemento a de A.
Análogamente diremos que b 2 B es padre de g (b) y que g (b) es hijo de b. Nótese
que
ada elemento a 2 A tiene una su
esión innita de des
endientes, a saber,
f (a), g(f (a)), f (g(f (a))); . Similarmente, los des
endientes de un elementos b
de B son: g (b); f (g (b)); g (f (g (b))); : : :. En
ada una de estas su
esiones se tiene
que
ada término es un des
endiente de
ada uno de los términos anteriores y
es un an
estro de
ada uno de los términos siguientes.
Para
ada elemento, en estas su
esiones, ya sea de A o de B , si bus
amos su-
esivamente todos sus an
estros, tan anteriores a él
omo sea posible, se obtiene
exa
tamente uno de los siguientes tres resultados: llegaremos a un elemento de
A que no tiene padres (estos huérfanos son los elementos de A g(B )), o llega-
remos a un elemento de B que no tiene padre (elementos de B f (A)) o bien
podremos estar innítamente
onsiguiendo an
estros del elemento en
uestión
(tiene un linaje innito)
Denotemos por AA al
onjunto de los elementos A que se originan en A, esto
es, a los elementos de A g (B ) junto
on todos sus des
endientes en A, además,
denotemos por AB al
onjunto de los elementos en A que se originan en B , esto
es, los des
endientes de A de los elementos de B f (A), y denotemos por A1 al
onjunto de los elementos de A que no tienen an
estro sin padre. Análogamente
se divide a B en BB , BA y B1 .
Luego, si x 2 AA , se tiene que f (x) 2 BA y por lo tanto la restri
ión de f a
AA es una biye
ión. Por otro lado, si x 2 AB , enton
es x pertene
e al dominio
de la fun
ión inversa g 1 y por
onsiguiente g 1 restringida a AB es una biye
-
ión entre AB y BB . Y si x 2 A1 , enton
es f (x) 2 B1 y por
onsiguiente, la
restri
ión de f a A1 es una biye
ión entre A1 y B1 . Juntando estas tres
fun
iones se obtiene una fun
ión biye
tiva entre A y B . 2
Teorema 8.21 La rela
ión de orden sobre el
onjunto de los números
ardi-
nales es una rela
ión de orden total y la rela
ión < es un orden estri
to.
Teorema 8.22 Si A es un
onjunto innito, enton
es 0 jAj.
8.3. CONJUNTOS NO CONTABLES 133
El siguiente teorema, que se debe a Cantor estable
e que todo
onjunto está
estri
tamente a
otado o dominado por su poten
ia.
Teorema 8.23 (Cantor) Si A es un
onjunto, enton
es jAj < jP (A)j.
Prueba: Por
asos: Si A = ;, enton
es tenemos que jAj = 0 y jP (A)j = jf;gj =
1. Si A 6= ;, enton
es
onsideremos la fun
ión f : A ! P (A) denida por f (a) =
fag. Esta fun
ión es inye
tiva porque si f (a) = f (b), se tiene que fag = fbg
lo
ual impli
a que a = b. Luego, jAj = jf (A)j jP (A)j porque f (A) P (A).
Falta probar que la desigualdad es estri
ta, esto es, que jAj 6= jP (A)j, lo
ual
signi
a que no existe una
orresponden
ia biye
tiva g : A ! P (A). Suponga-
mos que si existe tal fun
ión. Sea g : A,!!P (A) y observe que
omo g(a) A,
se tiene que a 2 g (a) _ a 62 g (a). Sea X = fa 2 A : a 62 g (a)g;
omo además,
X A, se tiene que X 2 P (A) y
omo g es sobreye
tiva se tiene que existe
z 2 A tal que g(z ) = X . Por ter
ero ex
luido se tiene que z 2 X o que z 62 X .
Por
asos, si z 2 X , por deni
ión de X se tiene que z 62 g (z ) = X , lo
ual es
una
ontradi
ión. Mientras que, si z 62 X , por la misma deni
ión de X , se
tiene que z 2 X lo que es, de nuevo,
ontradi
torio. Con
luimos que no existe
una biye
ión g : A ! P (A). 2
Respuesta: (i) Sea f 2 A[n℄ ; se tiene que f = f<1 ; f1 >; <2 ; f2 >; : : : ; <n ; fn >g
donde fi 2 A es la imagen mediante f de i. Luego, denimos (f ) =<
f1 ; f2 ; : : : ; fn >;
laramente < f1 ; f2 ; : : : ; fn > pertene
e a An . Además, es in-
ye
tiva porque si (f ) = (g ) se tiene que < f1 ; f2 ; : : : ; fn >=< g1 ; g2 ; : : : ; gn >
lo
ual impli
a que (8i 2 [n℄)(fi = gi ) lo que a su vez impli
a que f = g . es
sobreye
tiva porque si x 2 An se tiene que x =< a1 ; a2 ; : : : ; an >
on ai 2 A y
la fun
ión h = f<1 ; a1 >; <2 ; a2 >; : : : ; <n ; an >g pertene
e a A[n℄ y es tal que
(h) = x.
(ii) Como A es nito se tiene que An es nito, por ser produ
to
artesiano nito
de
onjuntos nitos; y
omo existe una biye
ión entre An y A[n℄ se tiene que
A[n℄ es nito.
Respuesta: f0; 1gA es el
onjunto de las fun
iones de A en f0; 1g. Co-
mo A es nito existe f : [n℄,! !A para algún n 2 IN ; si n = 0 se tiene que
A = ; y solamente existe una fun
ión de ; en f0; 1g, la fun
ión va
ía, esto
es, el
onjunto va
ío y por
onsiguiente f0; 1gA es nito; si n 6= 0 se tiene que
f = f<1 ; f1 >; <2 ; f2 >; <3 ; f3 >; : : : ; <n ; fn >g donde fi es la imagen mediante
f de i. Se tiene enton
es que A = ff1 ; f2; : : : ; fn g y fi 6= fj ssi i 6= j . Cons-
truiremos una fun
ión : f0; 1gA,! !f0; 1gn. Sea 2 f0; 1gA; se tiene que =
8.4. EJERCICIOS RESUELTOS 135
f<f1 ; f1 >; <f2 ; f2 >; : : : ; <fn ; fn >g. Denimos () =< f1 ; f2 ; : : : ; fn >.
es inye
tiva porque si () = ( ) se tiene que < f1 ; f2 ; : : : ; fn >=<
f1 ; f2 ; : : : ; fn > impli
ando que fi = fi y por
onsiguiente que = . es
sobreye
tiva porque si x 2 f0; 1gn se tiene que x =< a1 ; a2 ; : : : ; an >
on ai 2
f0; 1g y en
onse
uen
ia la fun
ión = f< f1 ; a1 >< f2 ; a2 >; : : : ; < fn ; an >g
pertene
e a f0; 1gA y ( ) = x. Finalmente,
omo f0; 1gn es nito por ser pro-
du
to nito de
onjuntos nitos y existe una biye
ión entre f0; 1gA y f0; 1gn
se tiene que f0; 1gA es nito.
Ejer
i
io Resuelto 8.5 Demuestre que el
onjunto de las se
uen
ias nitas
sobre un
onjunto nito A es
ontable
12. Sea A el
onjunto de todas las re
tas de IR 2 que pasan por (0; 0). De-
muestre que A y IR son
oordinables. Esto di
e que A es no
ontable.
15. Si f es una fun
ión inye
tiva de A en B y g es una fun
ión inye
tiva de B en
A, demuestre que existen sub
onjuntos A0 y B 0 de A y B respe
tivamente
tales que f (A0 ) = B y g (B B 0 ) = A A0 . Use este resultado para dar
otra prueba del teorema de Cantor-S
höder-Bernstein.
18. Demuestre por indu
ión que si F es nito, enton
es el
onjunto de todas
las n tuplas
on
oe
ientes en F , F n , es nito. Use el resultado anterior
para probar que el
onjunto de los polinomios de grado menor o igual que
n
on
oe
ientes en F , Fn [x℄, es nito.
19. (a) Muestre que si B no es nito y B A, enton
es A no es nito
(b) Muestre que Z + no es nito
(
) Muestre que Z y Q no son nitos
20. ¾Cuál es la
ardinalidad del
onjunto de las fun
iones de un
onjunto
innito
ontable en un
onjunto nito? ¾Y la
ardinalidad del
onjunto
de las fun
iones de un
onjunto nito en un
onjunto innito
ontable?
an xn + an 1 xn 1 + + a1 x + a0
on
oe
ientes ra
ionales. Asumiendo que todo polinomio tiene un
número nito de raí
es, demuestre que el
onjunto de los números
algebrai
os es
ontable.
(b) Un número real se di
e que es trans
endente si no es algebrai
o. De-
muestre que el
onjunto de los números trans
endente es no-
ontable.
(Sorprendentemente, sólo usamos
on fre
uen
ia dos números trans-
endentes que son e y )
25. Demuestre que las tuplas innitas de
eros y unos en las que a partir de
ierta posi
ión todas las
oordenadas son nulas, son
ontables.
Comentarios de Lógi
a
A
ontinua
ión se da una lista de los símbolos de lógi
a que se usan en el texto:
9x;
uanti
ador existen
ial; signi
a que existe un objeto x que satisfa
e
la proposi
ión siguiente.
9!x:
uanti
ador de existen
ia úni
a; signi
a que existe un úni
o objeto
que satisfa
e la proposi
ión siguiente.
( Q ): paréntesis; son bási
amente los úni
os signos de puntua
ión que
usamos de la lógi
a. Cualquier otro que se use se tuvo que haber denido
en el texto. Los mismos se omitirán sólo
uando no haya ambigüedades.
Una teoría se
ompone de arma
iones sobre
iertos objetos; di
has arma-
iones se denominan proposi
iones. Alguna de tales arma
iones se a
eptan sin
demostra
ión y se denominan axiomas de la teoría. Los axiomas son las bases
de la teoría y deben ser tales que
ualquier otra proposi
ión se pueda dedu
ir
o negar a partir de ellos pero no las dos
osas. Las proposi
iones que requieren
139
140 APÉNDICE A. COMENTARIOS DE LÓGICA
A ontinua ión se dan unos teoremas de lógi a que pueden ser útiles.
Leyes Booleanas
1. Conmutativas: p ^ q () q ^ p; p _ q () q _ p
2. Aso
iativas: p ^ (q ^ r) , (p ^ q) ^ r; p _ (q _ r) , (p _ q) _ r
3. Distributivas: p ^ (q _ r) , (p ^ q) _ (p ^ r),
p _ (q ^ r) , (p _ q) ^ (p _ r)
4. Idempoten
ia: p ^ p , p; p _ p , p
5. De absor
ión: p ^ (p _ q) , p; p _ (p ^ q) , p
6. de De Morgan: :(p ^ q) , :p _ :q; :(p _ q) , :p ^ :q
7. Ter
ero Ex
luido: p _ :p
141
guerra, la otra apta para engendrar; pero ambos aptos para bailar on
vez, por lo menos, esté perdido para nosotros! ½Y que toda verdad que
no nos haga reír, por lo menos, una vez, nos parez a falsa!
Apéndi e B
(a) x 2 A1 y x 6 A1 (b) x 62 A2 y x 6 A2
(
) x 62 A3 y x 6 A3 (d) x 62 A4 y x A4
(e) x 2 A5 y x A5 (f ) x 2 A6 y x 6 A6
Nota: Si x fuese va
ío, x Ai para toda i.
2.
A A A
N C N C N C
(i) (ii) (iii)
A
N C
(iii)
3. Resp.:
v1 : A (B C )
v2 : A [ B [ C [(A \ B ) [ (A \ C ) [ (B \ C )℄
v3 : A [ (B \ C )
v4 : A[C B
v5 : A[C A\B
v6 : (A \ B ) [ (A \ C ) [ (B \ C ) A \ B \ C
4. Sug.: Usar la deni
ión de sub-
onjunto. Tomar x 2 A y probar que x 2 B .
143
144 APÉNDICE B. RESPUESTAS O SUGERENCIAS
6. Sug.: Doble onten ión. Tal vez onviene usar ter ero ex luido.
Capítulo 2
1. Sug.: Doble
onten
ión y las deni
iones de produ
to
artesiano,unión e
interse
ión.
2. Sug.: Demuestrelo por redu
ión al absurdo. Suponga que A A A y
que A 6= ;. Esto impli
a que A [ ([A) 6= ; y podemos usar el axioma
de fundamenta
ión. Hay que probar que no existe x 2 A [ ([A) tal
que (8y )(y 2 x ) y 62 A [ ([A)). Pro
eder por
asos. Es
ru
ial usar
la hipótesis A A A para dedu
ir que si x 2 A, enton
es x es un
par, por ejemplo, x = <u ; w >,
on u; w 2 A y además re
ordar que
<u ; w > = ffug; fu; wgg.
145
4. Sug.: Usando la hipótesis demostrar que si < x; y > y <y ; x > pertene
en a
R \ S , enton
es x = y.
5. Sug.: Elegir R y S simétri
as y tales que R S no sea simétri
a. Similar en
\ \
los otros dos
asos.
11. Probar que RjA RjB y exhibir x 2 RjA tal que x 62 RjB .
12. R = f<a ; b>; <b ; a>; <b ; b>; <
; b>; <
; f >; <d ; a>; <d ; e>;
<e ; e>; <f ;
>g
R2 = f<a ; a>; <a ; b>; <b ; a>; <b ; b>; <
; a>; <
; b>; <
;
>; <d ; b>; <d ; e>;
<e ; e>; <f ; b>; <f ; f >g
Capítulo 3
1. Sug.: (a) Cualquiera sea el
onjunto de tarea, dada una tarea a de di
ho
onjunto la misma no se puede realizar antes de si misma porque se realizan
se
uen
iales. Es fá
il ver la transitividad y la antisimetría.
(
) Usar el pro
edimiento para
onstruir los ordenamientos topológi
os.
3. Resp.: (a) hIN ; i, (b) hZ ; i, (
) A = f1; 2g, R = IdA [ f<1 ; 2 >g, (d)
hIN [ fa g; i.
4. Sug.: (a) Pruebe que todo orden lineal tiene, además de los ar
os de reexi-
vidad, n(n2 1) pares para garantizar la transitividad. Pruebe además que
una rela
ión
on más de n(n2+1) pares no puede ser antisimétri
a y por lo
tanto no puede ser un orden par
ial.
(b) Una rela
ión para ser un orden par
ial debe ser reexiva, la identidad,
IdA , es además simetri
a y transitiva, por lo tanto es la menor rela
ión
de orden par
ial
ualquiera sea A.
(
) Los las rela
iones de la forma: IdA [ <a ; b>
on a; b 2 A y tal que
a 6= b.
5. Sug.: Todo lo que tiene que ha
er es mostrar un sub-
onjunto de Q+ que
no tenga mínimo. Mismo
on minimal.
146 APÉNDICE B. RESPUESTAS O SUGERENCIAS
6. Resp.: R = IdA [ H (R) [ f<a ;
>; <f ; b>; <f ;
>; <f ; d >g. Si es estri
to
no hay que añadir a la identidad.
10. Sug.: (b) es sub
po de (a) y (b) es distributivo mientras que (a) no lo es.
El
po (
) de la gura no es
omplementadoni siquiera tiene mínimo,
sin embargo, al quitarle un elemento al
onjunto resulta el (d) que sí es
omplementado.
PP PP
PPP PPP
s s s s
s s s s
PPPP
s s
PPPP
s s
s s
s s
P P
(a) (b)
s s s s s s
(
)
s s
(d)
s
Capítulo 4
1. Sug.: (i) y (ii) son
onse
uen
ia inmediata de la deni
ión de su
esor y (ii)
impli
a (iii).
9. Sug.: Aplique el prin ipio de buena ordena ión al onjunto ade uado.
12. Sug.: Pruebe (a) por indu ión y úsela para probar la parte (b).
Capítulo 5
1. Sug.: Usar indu
ión.
13. Sug.: Use el ejer
i
io 7 y el prin
ipio del Palomar. Su enun
iado apare
e
en la página 125 del
apítulo 8. En nuestro
aso puede interpretarse así:
Si tenemos una lista de n + 1 elementos de un
onjunto que tiene sólo n
elementos, en la lista hay algún elemento repetido
Capítulo 6
1. Sug.: Demostrar por doble
onten
ión, utilizando la deni
ión de
lase de
equivalen
ia y de interse
ión de
onjuntos.
R1 = IdA ,
R2 = IdA [ f<a ; b>; <b ; a>g,
R3 = IdA [ f<a ;
>; <
; a>g,
R3 = IdA [ f<b ;
>; <
; b>g,
R5 = A A.
5. Resp.: (a) Si, (b) No, falla la transitividad, (
) No, es irreexiva, ¾por qué?,
(d) No es simétri
a ni transitiva,
onsidere, por ejemplo, A = f1; 2; 3g,
R = IdA [f<1 ; 2 >; <2 ; 1 >g y S = IdA [f<2 ; 3 >; <3 ; 2 >g. Se tiene que
R S = IdA [f<1 ; 2 >; <2 ; 1 > <2 ; 3 >; <3 ; 2 > <1 ; 3 >g no es ni simétri
a
ni transitiva.
10. Resp.: (a) R = IdA [ f<1 ; 3 > <3 ; 1 >; <2 ; 4 >; <4 ; 2 >g
(b) R = ff1; 2g; f3; 5g; f4gg
15. Resp.: (ii) Tiene k
lases, una por
ada uno de los posibles resto de dividir
entre k .
(iii) Si k = 3 las
lases son: [0℄ = fn 2 IN : (9x 2 IN )(n = kx)g,
[1℄ = fn 2 IN : (9x 2 IN )(n = kx + 1)g y [2℄ = fn 2 IN : (9x 2 IN )(n =
kx + 2)g.
149
18. Sug.: Use la deni
ión de rela
ión aso
iada a una parti
ión y la deni
ión
de renamiento.
20. Resp.: (a) Ambas impli
a
iones son falsas: (6)) porque si tomamos, por
ejemplo, A = f1; 2; 3g, R1 = IdA [f<1 ; 2 >g y R2 = IdA [f<2 ; 1 >g se tie-
ne que R1 ni R2 son de equivalen
ia pero F = fR1 ; R2 g si es de equivalen-
ia. Y (6() porque si tomamos A = f1; 2; 3g, R1 = IdA [f<1 ; 2 >; <2 ; 1 >g
y R2 = IdA [ f<2 ; 3 >; <3 ; 2 >g se tiene que R1 y R2 son de equivalen
ia
pero F = fR1 ; R2 g no es de equivalen
ia.
(b) Si toda R 2 F es de equivalen
ia, se tiene que \F es de equivalen
ia,
pero no lo
ontrario.
Capítulo 7
1. Resp.: f : f1; 2g ! fa; b;
g denida por f = f<1 ; a>; <2 ;
>g y g :
fa; b;
g ! fa; bg denida por g = f<a ; a>; <b ; a>; <
; b>g. Se tiene que
f Æ g = f<1 ; a>; <2 ; b>g es inye
tiva, pero g no lo es.
2. Sug.: El ejemplo del ejer
i
io anterior.
5. Sug.:
8. Sug.: Conviene usar la fun
ión
ara
terísti
a de un
onjunto. Para la se-
gunda parte puedeser de ayuda representar
las fun
iones ade
uadamente,
por ejemplo, g = 10 21 31 n .
0
9. Sug.: La su
esión de Fibona
i es inye
tiva pero no es sobreye
tiva. Lo
primero puede verse
omo una
onse
uen
ia de que es estri
tamente
re-
iente.
11. Sug.: Pruebe que existe y 2C tal que para toda x 2 A se tiene que
g Æ f (x) = y.
12. Sug.: Usar la deni
ión de imagen inversa de un
onjunto y las deni
iones
de sub
onjunto, unión, interse
ión o diferen
ia según el
aso.
18. Sug.: Conviene usar la fun
ión
ara
terísti
a de un
onjunto.
19. Sug.: Muestre en
ada
aso que ambos lados dan el mismo valor. Re
uerde
que A es la fun
ión
ara
terísti
a del
onjunto A.
20. Sug.: Tome B0
omo la imagen de A y g = f.
21. Sug.: La biye
ión es la natural y para probar que es una biye
ión basta
on mostrar su inversa.
22. Sug.: (a) Observa
ión
ru
ial: La suma de las dos
oordenadas de todos
los puntos en una línea obli
ua de la primera gura es siempre la misma
y que la rota
ión de 45Æ no altera a la altura y del punto.
(b) Enumere los elementos de B en el orden de las e
has, para ello sume
los puntos en las primeras x 1
olumnas y agreguele los de la x ésima
olumna.
Capítulo 8
1. Sug.: (a) Use el teorema 8.7. (b) Use indu
ión sobre n.
2. Sug.: (b) Use el teorema 8.7. (
) Pruébelo por indu
ión.
3. Sug.: Halle una biye
ión de P (A)
on An ade
uado.
4. Sug.: Construya una biye
ión
on un
onjunto ade
uado que sepa que es
nito.
5. Sug.: Por absurdo.
7. Sug.: Use el axioma de ele
ión.
9. Sug.: Por absurdo usando el teorema 8.7.
10. Sug.: Clasique las palabras según su longitud y use algún teorema de los
estudiados.
151