Escolar Documentos
Profissional Documentos
Cultura Documentos
~~
. '~
..
(,
'YJJ1t1q5
b-
:# L gJ
~-~
'"
. ~
.
...
~
INTRODUCCIN
A LA TEORA
DE CONJUNTOS
MANUALES
,,
LA OUBIA
~
EDITORIAL UNIVERSITARIA
DE BUENOS AIRES
c!Ji:~
...
)1
l/ . .;,~
1-t '_--:
;.
A _ r1
cWlt..
1 {;)
C(,e, -J
.
I
CM1a-11t CU
1
'1
1
'
.....
.,.
4.. . .........____ .
-~
,..
}EJ '
'
-:!9 ....
....
.........
..
... -
-""\
r-
NDICE
. . . . . . . . . . . . .. .. . .... ... XV
ADVERTENCIA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . XVII
PRELIMINAR SOBRE EL PRINCIPIO DE INDUCCIN COMPLETA
CD
Q()
'~
~.
EUDEBA S.E.M.
FundMU por b Uniw:rsicbd de Buenos Aires
";!
V IV.
CJ..
1965
EDITORIAL UNIVERSITARIA DE BUENOS AIRES
Sociedad de Economifl Mixta
Rivadavia 1571 /73
..
~q
-,_~
.,
A(.
13
CORRESPONDENCIA Y FUNCION . .. . . . . . . . . . . . . . . . . . . . . . . .
3. J. Grficas, 44; 3.2. Definicin de correspondencia y relacin, 46; 3.3.
, Imagen por una correspondencia, 49; 3.4! Correspondencia inversa de una
correspondencia, 51; 3.5. Composicin de correspondencias, 61; 3.6.
Definicin de funcin, 63; 3.7. Imagen e imagen inversa por una funcin, 66;
3.8. Restriccin y extensin de funciones, 67; 3.9. Composicin de
funciones, 7 3; 3.1 O.. Funciones inyectivas, suryectivas y biyectivas. Funcin
inversa, 74; 3.11. Definicin de familia y sucesin, 81; 3.12. Unin e
interscc-cin de una familia de conjuntos, 83; 3.13. Cubrimientos y
p~ticioncs, ~6; 3.14. Producto de una familia de conjuntos, 92.
44
....
. . . . . . .XIX
VII
~
....~
....
INTRODUCC/ON A LA TJ-:ORIA DE CONJUNTOS
v{
---
. . .. . --
......-
PROLOGO
,
. A LA PRIMERA EDICION
lf
.J
..
120
RFLACIONES DE EQUIVALENCIA
5. l. Delinicin de relacin de c4uivalcm:ia, 120: 5.2. Clases de equivaknda.
Conjunto cocient~. 121: 5.3. Conpu~m:ia mdulo p, 127 : 5.4. Aplicaciones
de las rdacioncs de equivalencia, 130.
138
VI. NMFROS CARDINALES .
6. 1. Ddinidn de nmero cardinal. Conjuntos finitiso e infinitos. 138: 6.2.
Conjuntos rclkxivos. 142: 6.3. Rdadn de orden entre l'ard inaks, 145 : 6.4.
Suma l' produ.:to de nmeros cardinales. 148: 6.5 .. Potcnciacin de nmeros
la1dinaks, 154.
v~ll.
205
,
BIBLIOCRAHA .... .. .... . ........... .. . . . . . . ... ......... 217
ND!Ci TIRMINOLOCICO
217
VIII
#&: _........
las corrientes estructurales del pensamiento matemtico suele11 sedimentarse lentamente antes de impregnar los textos intrcxlucrorios desti11ados
a la enseanza. No debe asombrar emonces que la teora de co11u11tos. cuyo
puflto de vista ha presidido el desa"ollo matemtico del siglo XX. haya
encontrado muy pocos expositores en un niFe/ a la vez riguroso y ele111e11tal.
Esta falta es particularmente sensible en el idioma espa1iol, que se ha
enriquecido ltimamente con buenas traducciones, pero que est lejos an
de contar con una literatura matemtica propia suf icientemente abundante.
En la primera mitad de nuestro siglo, la batalla fundamenta / corrrspondi a la tarea de aritmet izacin del a11lisis, que reconoce en IVeierstrass a m
ge11io tutelar. Durante mucho tiempo, si11 embargo, los textos elemelltales
conti11uaron adoptando un punto de vista delltijicamente perimido.
Algunos eminentes tratadistas extranjeros, como Val/e-Poussin y Hardy
(por no citar ms que dos ejemplos tpicos}, establecieron firmemente el
vuelco hacia el rigor weierstrassiano en las exposicio11es didcticas. Sabido es
que, en le11gua espaiiola, sta fue casi la obra personal de nuestro venerado
maestro don Julio Rey Pastor. Hoy esa batalla puede considerarse
definitivamente ganada; ni11gwui persona seria piensa ya en e11se1/ar las
nociones de limite. continuidad e integral a la manera del siglo XVIII ni
siquiera a los estudiantes de ca"eras no espec1ficame11te matemlicas: '"He
hecho es tanto ms sugestivo cua/lfo que en otros aspectos persi:>te la curiosa
con cepcin segn la cual. para enseiar y ap1111talar las tth-11icas modemas.
conviene servirse de instrnmentos matemticos vetustos.
El centro de la batalla didctica de hoy corresponde a la tcoria de
conjuntos. Por ello creo que toda oporwnidad es propicia para serlalur el
!'asto alcance y el hondo valor fornuitilo de esta discipli1ui. De ninguna
manera es cierto que ella interesa slo a los matemticos o a quienes se
sirven de la matemtica; las ideas co1111nti.11as tie11en vigencia en cualquier
plano en que gra1ite e11 forma decisil'a el 11e11samie11tu racional: filosofa.
ciencias naturales, ciencias sociales, tcnicas aplicadas. No es aPe11t11rado
suponer que, dentro de muy poco tiempo. el /e11guaje de la teora de
conj1111tos proveer un molde genrico vlido para todo anlisis conceptual
rigzdoso. Es ms importante familiarizar co11 estas ideas a quienes eswdian
.,,............
IX
..,
-
PREFACIO
,
A LA PRIMERA EDICION
Este libro est destinado, en general, a toda persona que desee tener un
co11ocimie11to slido de las bases fundamelllales de la matemtica moderna.
En particular, puede serl'ir como introduccin . o propedutica para
-(l ..
,,..-
..
XI
,,..._
'
'
XIII
XII
.---1
. _ . ......
c ...
PREFACIO
A LA EDICION DEFINITIVA
.\
Ua G. Oubia
la Plata, setiembre de 1973.
r
XV
~
..._
..,,.,
..
---
~.
ADVERTENCIA-
1~H~:
,. 1
~.l
2) El smbolo "=<>" colocado entre dos proposiciones, A => B, se traduce por : "A implica B", ".d e A se deduce B" o "B es consecuencia de
A". La proposicin A st llama hiptesis o primer miembro de la implica
cin y la proposicin B, tesis o segundo miembro de la implicacin . Por
ejemplo, se demuestra inmediatamente que si un nmero x es mltiplo
de 4 resulta tambin mltiplo de 2, es decir, la proposicin "x es mltiplo
de 4" implica la proposicin "x es mltiplo de 2". En forma ~irnblica
se puede escribir :
(1)
t"
.;
~~ .
!, {
r
)j
(2)
a .
(3)
= 180;
x par=> x
'k
Anlogamente , se tiene :
y 'Y son ngulos interiores de un tringulo => a + {J +'Y
+ 1 impar.
"
x + 1 impar=> x par.
x par o x + 1 impar
Luego, el smbolo "o" colocado entre dos propos1c1ones A
significa las dos implicaciones A=> By B =>A. Puede traducirse como :
XVII
'e" ... ~ ......
ra~ones
lados~
~Hoy
,.1
t.
~
comienza la Primavera
!'
\
1
~I
f:
XVlll
...
.1
XIX
Para generalizar nuestro razonanento a otros casos similares,. numeremos las bolillas de O en adelante y allOciemos a cada nmero n una
proposicin que abreviaremos 1' (n) y dice lo siguiente: ..La boliUa nmero n
es blanca". La proposicin P(n) puede ser, evidentemente, verdadera o
falsa.
Con esta convencin, y teniendo en cuenta que el siguiente de un
nmero natural se obtiene sumando l a ese nmero (el siguiente de n
es n + 1), las hiptesis 1) y 2) se expresan
1~
~\
4,
1) P (O) es verdadera:
1) es
(0
X.X
1) ~ (O+ 1
+ ... +
n)
+ (n +
1)
+ 1 + ... + n + (n +
1) = n (n
1)/2
+ (n +
1).
se transforma en:
(n
1) (n
+ 2)/2 = (n +
1) [(n
1)
1)/2.
i'
. Ejemplos:
+ ... + n + (n +
'
aln+l
<O.
+1
XXI
.~
CAl'lTULO l
CONJUNTOS
1.1. CENERALIDADES
La pibhra rnnjunto'" ser uno de los tcrn1ino ~ bsicos no ck fi ni<los.
En lo que sii;uc se tr<Jtar <le adar.ir y precisar la idea intuitivi <le conjui110
de objetos por medio <le ejemplos y n.o ciones relacionadas.
Los objetos que intcgrin un conjunto se !l<Jm<Jn '"elementos'" de ese
conjunto . l';.Ha indicar 41ic un ubje to a es ckmentu <le un conjunto A se
escribe a E A 4uc se lec "a pcrtci1ece a A .. o ..a es elemento de A" .
Si por el contrario. el objeto a no es elemento del conjunto A ~e esibe
11 <E A, que se Ice "a no pertenece a A .. o ..a no es elemento Je A ...
Si los objetos a. h. c. . . .. 11 son elementos <le A. se escribe a. h. c. ... !t. E
A.
Ejemplos
\
'
CONJUNTOS
qy
el nmero 8.
Ejemplos
1.1.17. El conjunto J de 1.1.IO. puesto que por dos puntos pasa una y
solo una recta.
1.1.18. El conjunto de los numeros naturales mayores que 1 y menores
que 3.
l.l.19. El conjunto de rectas de un plano que son perpendiculares a una
dada y pa,s an por un mismo punto.
1.1.20. El conjunto cuyo nico elemento es el conjunto N de los r.meros
naturales.
CONJUNTOS
Ejercicios
1.1.21. Con referencia a todos los ejemplos dados, a qu conjuntos
pertenece el nmero 10?
{x : x natural, 5
<x <
100.000}
=
F =
G =
E
1.1.22. Cules de los conjuntos de todos los ejemplos dados han sido
defirdos por extensin y cules por comprensin?
1.1.23. Cules son los elementos del conjunto que se obtiene de la
expresin 2 k - 3 dndole a k los valores 2, 3, 4, 5 y 6?
< X < 9, X =F 7}
{x: 5 < x < 9, x par}
{x: x = 6 x = 8}
{x: 5
,
,
=G=
E= F
{6, 8}.
c = {10. n. ~3}.
Para los conjuntos unitarios se usa la misma notacin; por ejemplo, sir es
la recta perteneciente al conjunto J de 1.1.10, se escribe:
J
1.1.26. Del conjunto del ejerc1c10 anterior extraer los grupos en que
aparezcan juntos Ana y Pedro.
= {r}.
1.2. NOTACIONES
A= {r: r E a, r 11 a}.
1.2.4. Con
e=
referenci~ al ejercicio
{x:
natural, X
3..:;; 11}.
f. B}.
conj~ntos
INCLUSIN.SUBCONJUNTOS
de ountos
i r--u.
CONJUNTOS
Ejemplos
1.3.8. Sea. T el conjunto de los tringulos ABC, BCD y CDE de la figura J.~
Son suoconjuntos de T, por ejemplos Jos conjuntos T 1 = {ABC}
y T2 = {ABC, BCD} pero no Jo son, por ejemplo, el lado AB
del tringulo ABC ni cualquier conjunto de vrtices corno {A, D, E},
puesto que Jos elementos de T sofl tringulos y no elementos de
los mismos.
D
fa
/S7\
,.
Figura J
1.3.12. El intervalo natural [2, 10) es un subconjunto del intervalo natural (2, JOO). En efecto, si x E (2, 10) se tiene 2 < x < JO y
como 10 < 100 resulta 2 < x < 100, con lo cual x E [2, 100]
y por lo tanto [2, 10) e [2, JOO).
1.3.13. Teorema. Para todo conjunto E, se cumple:
a) E e E.
b) Fe E y E C F implica E= F .
c) F e E y E e G implica Fe G.
CONJUNTOS
t
f
Ejercicios
{7, 8, 2, 3, 4, 9, JO} .
CONJUNTOS
,,
{7,8}CK.
l.
eB
= t/>y.
falsa la implicacin es verdadera (ver Advertencia) . Por lo tanto, la implicacin x E </>x => x E rpy es verdadera porque la hiptesis x E r/)x es falsa
cualquiera sea X. Se tiene, entonces r/)x C rpy . Repitiendo el razonamiento
con la hiptesis y E rpy se llega a rpy C</>x.Y por la parte b) del teorema
1.3.13 resulta r/)x = rpy.
(con igual resultado se puede definir _al conjunto vaco como <l>x =
= {x: x E X,x !f; X}.
Segn 1.4.1, se tendra un conjunto vaco para cada conjunto X,
pero se ver en el siguiente teorema que todos los conjuntos vacos
coinciden.
Ejercicios
1.4.3. Demostrar: X
Advertencia).
lj
e rp
= tf>
(sobre
los smbolos
=>
ver
J ,,
En
~mbolos
se tiene que
~
'
i'
1
~
CAl'Jl"L;LO 11
Ejemplos
Ejercicios
2.1. UNIN
l .
Ohscn-aci11: La conJ unc1o n ..o .. se emplea a4 ul en sentido no restringido. es decir. un cle111ento 4ue penenece simultneamente a E y a F
tambin pertenece a la unin .
@e</>).
E UF = {x: x E E x E F) .
l';ir;i visualizar l;is operaciones entre conjuntos se puede recurrir a
diagramas como el siguiente. donde E y F son los conjuntos de puntos de
los rcctnj!ulos y su unin es la parte sombreada
..l
1
~
~
12
iUF
J'i;:ura :!
13
1
INTRODUCCJON A LA TEORIA Dl!. <-m~ .,,. J'OS
2.1.7. Sea K el conjunto de nmeros de dos cifras tales que la primera sea
mayor o igual que Ja segunda. Sea L el conjunto de nmeros de dos
cifras tales que la segunda sea mayor o igual que la primera (por
ejemplo, 1S E L y S 1 E K), entonces K U L es el. conjunto M de
todos los nmeros de dos cifras.
En efecto, desde que K CM y L C M, resulta K u Le M; recprocamente, si ab es un nmero de dos cifras la primera de las
cuales es a y la segunda b, puede suceder nicamente que a ;>. b
a< b, en el primer caso ab E K y en el segundo ab EL, de
donde ab E K u L, con Jo cual Me K U L, y por la parte b).
del teorema 1.3.13, resulta M = K U L.
~'!'
Ejemplos
2.1.2. {l, 2, 3} u {2,5-}= {1, 2, 3,
si.
b)
F e E si y solo si F U E = E.
c)
Demostracin. La demostracin de: las leyes a) y b) se deja como ejercicio para el lector (ver 2 .1.9). Se demostrar la ley asociativa.
~.
t
J
Si x E (E U F) U G, se tiene x E E U F x E G; si x E E U F se
tiene x E E x E F, en el primer caso x E E U (F U G) y en el segundo ,
x E FU G, con lo cual tambin x E E U (FU G); si x E G se tiene
x E FU G, y por lo tanto x E E U (FU G). Se ha probado que
(E U F) U G C E u (F u G), veamos ahora la inclusin inversa. Si x E E
U (F U G), se tiene x E E x E FU G; si x E E se tiene x E E U F ,
con lo cual tambin x E (E U F) U G; sixE FUG, se tiene x E F
x E G, en ambos casos x t: (E U F) U G. Por lo tanto E U (FU G)
e (E u F) U G.
Ejercicios
2.1.9. Demostrar las leyes a) y b) del teorema anterior. Obtener como
consecuenci~ de b) las siguientes:
a) E u E::::: E.
bJ E u e/>= E.
c~1yo::
15
= {l,5,2}
y sea G
= {5,3,2}.
2.1.12. Hallar la unin del conjunto formado por todas las rectas del
plano y el punto P con el conjunto formado por todos los puntos
de una recta dada. Dividir en dos casos segn esta recta contenga o
no al punto P.
I=
E.1
= 1,. .. n}.
.1 E;= (E 1
.uti E =
2.1.15. {l,3,2}U{l,5}U{7,9,2}U{8,5,4}={1,3,2,5,7,9,8,4}
.u
1=l
conjuntos
E;) u E,,
.
a) E U E u E . ...U E = E .
n veces
c) E;
u~
u , .. u~= E.
e E; + 1 , i = 1, ... , /1
2.1.20 . .Sean r 1 ,
rn
11
I, ~ .6 E;
t=
= En
r11
11~1
Demostrar que 1~
y {x: r; ~x <r; . 1 } = {x: r 1 <x ~ r.,) .
1
CA.
11
Ejercicios
";!
U E2 ) U E 3 , y en general para
11-1
1=1
Ejemplos
1 1 A1
se cumple
/=
se
En
= 1, ... ,n,
u G
o E,\ = i=l E
( i6=E)
I'
i=+I')
/e
~ j ~ 11,
(j 1
,_
(ley conmutativa).
ji;:; l
= te(j1 E;
d E; CE.
= O, .. , n,
17
16
n-1
1}
. Cf(E;) e
2.1.22. Demostrar: '.I
.
f?(.
E~.
'' ')
(ver 1.5)
2.2. INTERSECCION.
2.2.1. Definici11. Sean E y F dos conjuntos. Se llama .. interseccin"'
de E y F al conjunto cuyos elementos pertenecen J la vez a E y a F.
2. 3, 4, 5}.
Resulta K,
leyes:
=Fn
b) Fe E= F
a)
c) (En F)
F.
EnF
E= F.
n G =En (F n G)
(ley asociativa).
HH =F .
Figura J.
(ley conmutativa).
n E= F, se demostrar F C E . En efecto , si
E, resu lta x E E, con lo cual F CE.
x E F. siendo F = F
Ejemplos
B = C.
2.2.10. Probar las leyes a) y c) del teorema 2.2.9 y obtener como conse-
2.2.6. Sean K! =
18
{~k -
a) En E = E.
b)
= {::!, 3, 9}
es A n B =</>. (Notar la
diferencia entre el elemento 9 y el conjunto cuyo nico elemento es 9).
Ejercicios
</>
E=</>.
(f(Y) = (?(X
Hallar Ra
R1
R1
= {r:
r es recta de a, r
11 a},
11 b}.
R 1 en los casos
con Ea
a) a 11 b,
b) a -!+b.
n . .. n
.0 E.
1- 1
= {x: x
.n11 E,
EN, I ~ 3x-
1=1
2.2.23. {2, 5, 8, 9}
;e x E E, para to d o 1,. 1.
1, . . . 11} .
Ejemplos
= {5. 9 )
F = t/I.
2.2.25. Sean D el conjunto de los nmeros primos, E el interva lo na tura l
(O, 20) y F el conjlinto de los nmeros nat urales. una por lo
menos de cuyas cifras es 3. Entonces resulta D n F n F = { 3. 13}
En efecto, el conjunto de los nmeros primos comprendidos entre
O y 20 incluidos, es decir D n E, es el co nju nto ( 1, 2. 3, 5. 7, 11,
13, 17, 19}; al intersecar este conjunto con F quedan solamente.
los nmeros en los cuales una por lo menos de cuyas cifras es 3.
Ejemplos
2.2.17. Son disjuntos A y Ben 2.2.5 y F y Gen 2.2.14.
2.2.18. El conjunto de los nmeros naturales pares es disjunto con el
conjunto de los nmeros naturales impares.
2 .2.19. El conjunto vaco es disjunto con cualquier conjunto (ver 2.2. 10).
2.2.20. Siendo a una recta del plano, son disjuntos los conjuntos
e = {r:
1 , ,
1"1
(ley conmutativa).
CE;. para i. = 1, .. . , /1
.n E, =
t=I
E1.
Gh E) n
i=l 1
20
(al E
(=1 +I
<: 11, se
cumple
t) = n E .
i=I
21
11- 1
11
n E=
i= 1 1
'= 1
F., n E".
,,
.n
11
1; 1
/;)
LT ( E; ) .
{ 2.3. DIFERENCIA
Ejercicios
a) En . . . n E= E.
n veces
.
b) E
E;. 1
'
2.3. 1. /Jcj/i1ici11. Sean E y F d<S conjun tos. Se llama ..d ife rencia ..
de E y F al conjunto d e los elementos d e E- que no pertenecen a F.
i = 1, . . .. /1
1 ~
11
t=I
E; = E 1
2.2.30. Sean r 1 ,
~ . . . ..;;
r,,
IJ - 1
Hallo.:r el valor de
0 {v
~'\
t -1
r I ,;:::
x,;:::
rI
"'-;:;::
~
+1
en los casos
a) r 1 = r 2 = ... = r,,,
b) r, =Fr2,r2 =r3 = . . .
e) r 1 =F r 2
Fi;:ura 4
=r,,
11
y j
<k
~ 11.
B ()e= K1
Ki .
K1 = {5/(S
22
+ 2k)
1: - F
k =O, l, 2, ... }.
Ejemplos
2.3.2. a)
~ (E-F)-G
~ E-(F-G)
Figura 6
Ejercicios
2.3.9. Demostrar a), b), c) y d) del teorema 2.3.8.
Figura 5
a) E - E= 4>.
b) E - </>=E.
c) 4> - E=</>,
d) E - F
=F -
E => E
= F,
e) (E - F) - G C E - (F - G).
f .
b) E - F =E.
'
b) a <c<b.
c) c<a<b.
a< b =c.
e) a= e< b.
d)
25
(B - C) =(A
B)- (A
C).
b) A U (B - C) = (A U B) - (C - A).
c) A
>
CB =[II.14)C:N
2.4.5. -Con las notaciones de 2.1.7,
eK
C).
2.4. COMPLEMENTO
2.4.1. Definicin. Sean E y F dos conjuntos tales que F C E. Se llama
"complemento de F con respecto a E", o "relativamente a E", a la diferencia E - F.
a) FU
b) F
n C..E
d) C1.- =
q,,
f 9 =E,
c)
tF F =E,
E .
,,
~'
e) ~ (~ F) = F
(ley de involucin).
~ ~F
'
Figura 7
C
{s. 9,4, s.}
26
Ejemplos
2.4.2. {8,9,4,5}-{5,4}={8,9}~
Ejercicios
{S,4}= {8,9}.
27
b) B
c) CB
CA :J CB.
A e CB.
CA -
A -
B.
a) A - B = A
b) A =(A
c) A u B =(A
CB.
B) u (A
n B) u
CB).
(A
CB) u (CA
n B).
a) C(F
E
C(F
. b) E
b) (F
C)
Sea
b)
n C G. Luego, C(F U G) C C F n C G.
Sea ahora, x E CF n CG, entonces, x E E y x ~ F y x f:. G, de donde
x E E y x f. Fu G, con lo cual, x E C(F u G); luego, CF n CG e C( FU
G). Esta ltima inclusin, con la inversa ya demostrada, prueba la parte
a) del teorema.
n (F u G) = (E n
E u (F n G) = (E u
x E CF
a) E
CD.
c) C(E - F) u D.
J-2.S.
G) = E
CF u E
CG .
= CC F n ECG.
a) (Con F) u CE.
u G)
u (E n G)
F) n (E u G).
F)
para el lector.
Sea x E E n (F U G), entonces en virtud de la definicin de interseccin 2.2.1 x E E y x E FU G; de este ltimo hecho resulta, por la
definicin de unin 2.2.1, que x E F x E G. Analizaremos ambos
casos:
Si x E F, como tambin x E E, resulta que x E E n F y por lo tanto
x e (E n F) u (E n G).
Si x E G, como tambin '= E E, resulta que x E En G y por lo
tanto x E (E n F) U (E n G).
C{(CA u B)
(C{CA)
B) u C(C u CD)=
(A
CB)
u (CC n D).
Ejercicios
28
79
.,,)
(0
1=1
E;)
n (.
F)= . u
=1
1=1 .
i=1
b)
c
E)
. i=I 1
e.A
F )
=1 /
1=1 .
J=1
(E 1
n
n
n f 1).
\
1
(E; u F).
11
C(E n F) .=e E u
de donde
.n CE .
1 =I
(E u F) n
b)C(nE;)= UCE;.'
e 1
[(E u F)
'IC 1
a) AUBUCC; b) (AUCBUCC}n[AU(BUCC)).
n e E] u
[(E u-F)
n e F],
eF,
e(E n F) = (E u F) n (e E u e F)
[(E
(,
(CAUB}n(AUCB) .
ne E) u
como E n CE = F
igua l a:
(F
n CF
(F
ne F)),
(F nCE)U(EnCF),
2.6. DIFERENCIA SIMTRICA
Ejemplos
{l,2,3,4} A {2,5,4,7}={1,J,5 , 7} .
Figura 8
a)
b)
c)
d)
E A ~ =. F A E
(propiedad conniutativa).
(E A F)" A G = E A (F A G)
(propiedad asociativa).
E A lf> =E.
E A E= q,.
~
;.
'
CG) U (C (E A F) n G);
(E('\ G ('\
(1)
c F) u
,.I
n een e E) u
(CF
eF) u
(E('\
G)),
e()
F ('\ G),
= E A (F A G).
Ejercicios
2.6.10. Demostrar: A
B = lf>
~A=
B.
nen CE) u
CG) n (F
e};
(E ('\ F);
por la propiedad distributiva de la interseccin 2.5.l, a) y por las propiedades asociativas de la unin e interseccin, la expresin anterior es igual
a:
.
(E ('\ F n G) u ( E ('\ F ('\ G) u ( E ('\ F ('\ G) u (E ('\ F ('\ G) . (2)
[C(E n G) n (F n G)) ;
c F) u
G))
{((E ('\
C(E n F) ,
(3)
= ((E A F) n
y) (E A F) n G = (E n G) A (F n G) (propiedad distributiva de
la interseccin con respecto a la diferencia simtrica).
(E A F) A G)
u (CE n F)) n G,
(E A F) n G =[(En CF)
u Bu C) - (A n B n C).
2.6.12. Sea F un conjunto de conjuntos finitos, para cada A E F, designaremos con c (A) al nmero de elementos del conjunto A.
Definiremos una distancia entre los elementos de F en la siguiente
forma: si A y B pertenecen a F, la distancia de A a B, a la cual
simbolizaremos con d (A, B) es el nmero de elementos de la
diferencia simtrica A B. Es decir
d (A, B)
= c (A B)
si y slo si A
32
=B
33
,,,
3) d (A, B) = d (B,_A)
4) d (A, C) .;;;; d (A, B)
(a
+ d (B, C)
+ b) e = ac + be .
ab = ba.
h) existencia de la unid:id: p:ira todo a E E, existe un entero k
(el nmero 1) tal que
ak =a
,:
de .r. En smbolos
a+b=b+a
b) propiedad asociativa de la suma: par.i todos a, b. e, E r
a+ (b +e)= (a
+ b) +e
a+ d.=a
d) existencia del inverso: para todo a E E, eXiste un entero a'
(el nmero - a) tal que
a+a'=e
e) propiedad asociativa del produ.cto: para todos a. b, e, E E,
a (be) = (ab) e.
t)
'l.S.
U
X e J.
i }
2.7 .2. Definicin. Sea "J. un conjunto de conjuntos, se llama "interseccin de los conjuntos de ~" al conjunto cuyos elementos pertenecen a
codos los conjuntos de '5'.
conjuntos de
'"!!.
En forma abreviada
Xe~
{x:
X E
X para todo X E
'5'}
35
U x
if>, puesto que si existiera un elemento x tal que
X E</J
x E u x de acuerdo a la definicin de unin, existiria un conjunto
XE</J
X E 1 tal que x E X, en contra de la hiptesis: '"j- = if>; en cambio, en el
caso de la interseccin, cualquier elemento x pertenece a n x, puesto
que es verdadera la implicacin
X E<P
para todo X E if> => x E X
( J)
X E</J
X esel
XE
l'
XE</J
= .E.
Ejemplos
2.7 .3. Siendo a y b dos nmeros naturales tales que a < b, se llama
amplitud del intervalo natural [a, b J a la diferencia b - a. Sea
~el conjunto de todos lo's intervalos naturales de amplitud igual a
10. Entonce~. siendo N el conjunto de los nmeros naturales es
U X= N. En efecto, u... XC N. Por otra parte, si x EN y es tal
XEZ
XE:r
.
X E..-
"/..
36
e u
Xe1
X.
Xp'1
la
Xo,
X p E'f
XE ...
C( u . .,)C)= n..,,CX,
XE.,.
b) C(
XEJ
n X)= Xe.;r
u.._Cx.
XE1
E y X
Xn"'-x,
E.
e
Xe:r
e
Xe.,-
37
que X E
X E E y
eX, de donde,
X$.
XE~
e Xfv
. !
Ejercicios
'
a) a= b,
b) a* b.
a) M = cf;
ali~eados .
2.8.2. Teorema . Dos pares ordenad o;; son iguales si y solo si tienen respectivamente iguales sus coordenadas.
U~ (A
BE~
conjuntos, Ja3
mento de 1 ,
llamaremos .f,
u , {A n
AnBf.u
A ()BE""
intersecciones de cada elemento de t.l con cada eleconstituyen otro conjunto de conjuntos, al cual lo
; por abuso de notacin en lugar de escribir
B), pondremos: U,.(A n B).
Af,
B E:1
n ( u . B) = . u
(A
b) (
u A) n ( u B)
= AE
U~{A n
B~
A!f
OE3'
BE1
y o=
b'.
{I)
y por ( 1), tambin {{a'}, {a', b'}} debe ser un conjunto unitario, con lo
cual debe cumplirse que a'= b'; entonces la igualdad (!) se reduce a:
B)
B).
{{a}}
= {{a'}}
BE
38
. 39
de donde {a} = {a'} y por lo tanto a =a'. Como tambin b = b' ,par
ser b = a y b' = a', llegamos a la tesis.
b) Supongamos a i= b, entonces tambin a' i= b', porque en caso con
tracio los conjuntos de la igualdad (I) tendran distinto nmero de
elementos.
'
'
b
Figura 9
Ejercicios
coordenadas?
2.8.l l. Demostrar que si A' y B' son dos co nj untos no vacos, ento nces
.A'
A X B ={(O, S), (O, 6), (1, S), (1, 6), (2, S), (2, 6)}
2.8.12.
2.85. Si N es el conjunto de los nmeros naturales
{O} X N ~ {(O, x) : x natural},
que
a) (A U B) X C
/
= ( A X C) U (B X C) .
40
Demo~trar
c) (A - B} X C = (A X C) - (B X C).
e (A X B) = ( ECA X EeB) u
E Xlt
(CA X B) u (A X
E
e B)
D=
41
n
Ejercicios
DJX(A-D).
.. . ,
En
(E 1 X E2 ) X E 3
Notacin. Si E 1
= E2
= E3
= E, se
con E 3
Ejemplos
\
43
CORRESPONDE/\'CIA Y F UNCION
C'Al'ITL1 LO
111
CORRESPONDENCIA Y FUNCIN
3.1. GRAFIC AS
_,
\
-
Ejemplos
i. .J ..
Figura JO
Ejercicios
3.1.8. Sea G una grfica. a) Demostrar que G C (pr 1 G) X ( pr2 G),
1.
e_,
= {(x.y):
45
CORRESPONDENCIA Y FUNCION
INTRODUCCION A LA. TEORIA DE CONJUNTOS
J
c) Con respecto a la parte a), dar un ejemplo en el que la proyeccin de la interseccin coincida con la interseccin de las proyecciones, y otro en el que la proyeccin de la interseccin est
contenida propiamente en la interseccin de las proyecciones.
'i
~\
correspondencia entre. A y B. Esta correspondencia hace corresponder al elemento O de A los elementos 0,1 y 2 de B. Si C es
el conjunto C ={O, 1, 2, 3, 4, 5} entonces I'' = (G, A, C} es una
correspondencia entre A y C distinta de f a pesar de que ambas
tienen la misma grfica y el mismo conjunto de partida. En casos
como ste, donde la grfica es finita, suele ser til representar las
correspondencias con diagramas como el siguiente, donde se ilustra
la correspondencia f = (G, A, B).
o~:
'~:
y representarla grficamente
,.
.
Ejemplos
3.2.2. Siendo A y B dos conjuntos, r =((A X B), A, B} es una correspondencia o relacin entre el conjunto A y el conjunto B.
3.2.3. Sean A ={O, l} y B = {O, 1, 2, 3}. Si G es la grfica:
G ={(O, O), (O. 1), (0,2), (1,.3}}, entonces r = (G, A, B) es una
3.2.4. Sea R el conjunto de los nmeros reales, e indiquemos con el smbolo 1x 1 el valor absoluto de un nmero real x. Definimos la grfica
G como
G
= {(x,y):
(c.
x,y, E R,y
> lxl },
entonces
=
R, R) es una correspondencia o relacin entreR
y l mismo. Esta correspondencia hace corresponder a cada nmero
real x, infinitos nmeros reales: todos aquellos que sean mayores que
el valor absoluto de x. Representados los elementos de G en
coordenadas cartesianas, obtenemos t<Yios los puntos de la parte
~
Jt
Figura 11
J.
47
3.25. Un conjunto de alum~os A ha respondido a un conjunto de preguntas B. Si G es el conjunto de pares (a, b) con a E A y
y b E B, tales que el alumno a respondi correctamente a la pregunta h, se tiene una correspondencia (G, A, B) entre A y B.
3.2.9. Sea A el conjunto de las rectas de los plano o:, y sea G la grfica
,,
Ejercicios
3.2.6. Definir correspondencias cuyas grficas seaw las dadas en ( 3.1.10.
11, 12 y 13).
!'.
1(\,--~
2
48
49
y E
(x). Pero si
xe..-
xe
xe~
X1
Ejemplos
er
Pero si x E
rf"
X"
X<l'
(X),
o~;
10
tel
Ejercicios
3.3.8. Sea r una correspondencia y sean A y B dos subconjuntos del
conjunto de partida de f y tales que A e B. Demostrar que
r (A) e r (B)
3.3.9. Sea G la grfica de una correspondencia r y sea X un subconjunto
de su conjunto de partida. a) Para X* tfi y XC pr 1 G, demostrai
que f(X)-:/= tf. b) Para X tal que X n pr 1 G = tfi demostrar que
f' (X)= tf .
3.3.5. Sea r' Ja relacin en el conjunto R de Jos nmeros reales de grfica G' == {(x, y): y= x 1 } . Entonces r' ({ 1,4}) == { l, 16}.
3.3.6. Si se designa con X al conjunto de personas que trabajan en una
empresa determinada y con R Ja relacin en X definida por:
x R y si y solo si y es subordinado de x, se tiene, para el director
general a, R (a) = X. Adems, la igualdad R (u) == tfi para algn
E X significa que no tiene personal a sus rdenes.
b) r( n X) e
X
X.-
('
a)
.r E X , pero como
:J,er (X)
.
.
50
n r(X).
Xe'I
51
CORRESPONDENCIA Y FUNCIN
a la grfica cuyos elementos son los pares ordenados (x, y), tales que (y, x)
sea un elemento de G.
c- 1
= c- 1
Ejemplos
= A X B, entonces resulta
B X A. En efecto, por definicin de grfica inveri;a, si
(x, y) E c- 1 , se tiene (y, x) E G = A X B, luego (x, y) E B X A.
Fcilmente se ve tambin que si (x, y) E B X A resulta que
(x, y) E c- 1
c- 1 =
.s
....
:;
Ejercicios
3.4.6. Hallar las grficas inversas de las dadas en 3.1.IO, 11. 12 y 13,
representarlas grficamente (salvo la p:imera) y decir cul de
ellas es simtrica.
b) pr 2G- 1
= pr2G.
= pr 1 G.
r=
52
i.
Figura IJ
r- 1 (Y),
con el
~ Ejercicios
r- 1 es r.
la
la
r-
nueva grfica que se llama composicin de G 1 y G2 . En trminos ms precisos, se tiene Ja siguiente definicin:
3.5.1. Definicin. Sean G 1 y G2 dos grficas. Se llama ~omposicin de
G 1 y G2 a. la grfica cuyos elementos son los pares (x, z) tales que, para
algn y, (x;y) E G 1 y (y, z) E G2 .
Notacin.
G2 o G 1
Ejemplos
3.5.2. Sean G 1 = {(2, 5), (3, 4), (6, 2), (3, O), (2, 7)} y
G2 ={(4,-8),(5,3),(0,9),(2,2),(7,4),(5,10)}.
entonces resultan:
G 2 o G 1 = {(2, 3), (2, 10),(3, 8),(6, 2), (3, 9),(2, 4)}.
G 1 o G 2 = {(5, 4), (5, O), (2, 5), (2, 7)}.
= {(x, z): x
real, z = 8x 3 }
(l)
54
SS
de C 1 y G 2 , y
2x y z yj, con lo cual z
8x 3 Por lo tanto
(x, z) pertenece al segundo miembro de (1). Sea ahora (x, 2x 3 )
un elemento del segundo miembro de (2). Por las definiciones de
G 1 y G2 se tiene que (x, x 3 ) EG2 y que (x 3 , 2x 3) E G 1 , de donde
(x, 2x 3 ) E G 1 o G2 . Recprocamente si (x, z) E G 1 o G 2 , existe y
tal que (x,y)EG 2 y(y,z)EG 1 , con lo cualy=x 3 yz=2y,
de donde z = 2x 3 y (x, z) percenece al segundo miembro de (2).
3.5 5 . Teorema. Sean G 1 y G 2 dos grficas. La grfica inversa de
G2 o G 1 es: G 1- 1 o G2 _,
Demostracin. Sea G 3
inversa, la proposicin
= G2 o G 1
"(x,y) E G 3 -
1"
es equivalente a
"(y, x) E G 3 " .
Ejercicios
y (z, x) E G 2 ",
"existez talque,(z,y)E Gi 1
y (x,z)EG 2- 1 " ,
(x,y) E
1- 1 0
G 1 - 1 ",
c 2 -J
c 1- 1 ,
en este orden.
Observacin. En la demostracin de este teorema se lleg a Ja conclusin de que "(x,y)EG 3 - 1 " equivale a "(x, y)EG 1- 1 0G 2 - 1 ", lo que
equivale a demostrar la doble inclusin: G 3 - a e G 1 - i o G2 - i y G 1 - i o
G3-1.
"(x, y) E {G 3 o G2 ) o G 1 "
es equivalente a
+
+
l},
2} .
= {(x,y) : X
= {(y, z): y
natural, y= 3x + 3 }.
natural, z = 2y + 1},
G 3 = { (z, u): z natural, u = 2z 2 },
G1
G2
"existe
b) G 1 = {(x,y) ; x natural, y
G2 = {(y, z): y natural, z = 3y
+ 2}
G2-1
c 1- 1 o c 2- 1 o
G3 -
G 1 ={(x,X): XC E,xEX}.
G2 = {(X, y ): XC E,y 'f. X}.
Hallar G 2 o G 1 y G 1 o G2 .
3.5.11. Demostrar que si G 1 , G 2 , Gi' y G 2 ' son grficas tales q ue,
G' e G 1 y G2' e G 2 , se cumple G 2' o G'_c G 2 o G 1
3.5.12. Demostrar que pr (G2 o G} e pr G y pr2 (G2 o Gi) e pr2 G2.
Dar ejemplos donde no valgan las inclusiones inversas.
57
CORRESPONDENCIA Y FUNCION
INTRODUCCION A LA TEORIA DE CONJUNTOS
Calcular G2 o G 1 y G 1 o G2
Observacin. En los ejercicios anteriores se han designado los pares
constituyentes de cada grfica con letras diferentes, as: G 1 = {(x, y): ...}
G1 {(y, z): ...} para sugerir la idea de composicin: pasar primero de x a y
y despus de y a z. Pero tal notacin, aunque conveniente, no es necesaria
desde el punto de vista lgico. En este ejercicio se han usado para definir
ambas grficas G 1 y G2 las mismas letras x e y: un adecuado uso de las
definiciones impide toda confusin.
Calcular G1
3.5.15. Sean G 1
Calcular G 3 o G2 o G 1 y G1 o G 3 o G 1.
3.5.16. Definicin. Sean r 1 = (G 1, A 1 , B.) y f1 = (G1, A1, B2) dos correspondencias, tales que el conjunto de llegada de r 1 sea igual al conjunto
de partida de r~ (o sea B 1 = A2 ). Se llama composicin de r 1 y r 2 a
la correspondenda ( G 2 o G 1, A 1 , 8 2 ).
Observacin. Para que la compos1dn "de f 1 y f 2 est bien definida,
es .necesario que pr 1 (G 2 o G.) C A 1 y pr1 (G 2 o Gi) e 8 1 Estoresulta
del ejercicio 3.5.12 y del hecho de que pr 1G 1 C A 1 y pr1 G1 C 8 2
con el smbolo
,,~:~-}
Figura 13
+=~
z.
r.
=(G,N,N)
y rl
=(G2,N,N).
r.
r20 r .
l
-.
r: 5/"
2/ 'f
Ejemplos.
G 1 y G 1 o G2
x -.1 y
G1
[A, :
35.14. Sean G 1
G1
'-.7_4
r. ... _L
;_, ...
3
Luego, para
r;
' - .,
6-2
r..
~2
2-
,I
'
.i
-'
"
rr.
&
'3 ........
r r.
-i.
y f
las correspon-
Se puede expresar
.. 1
X --+
1'2
2x -
diagrama
8X"1
r2 o r.
es 8,
y el de 2
59
.CORRESPONDENCIA Y FUNCJON
"1
~tiene
pero po_r el teorema 3.5 .6, los segundos miembros de estas dos igualdades
son iguales, con lo cual resulta
es f 1- i o f1 - ~
r J (r1 o r i> = (r J ~ r 2) r .
Se justifica entonces adoptar para la composicin de tres correspondencias
la notacin r Jo r 2 o r 1 y lo mismo tratnqose de un nmero finito
cualquiera de correspondencias.
a = { l, si (x;. Y) EG
1/
O, en caso contrario
3.5.19. Teorema. Sean f 1 = (G 1 , A, B) y f2 = (G 2 , B, C) dos correspondencias, entonces para X C A, se tiene f 2 o r 1 (X) = r 2 (!' 1 (X)) (Ver
3.3.1 ).
xi~:~
X1
X~ - -
se tiene la nutriz
.,
(r 1 (X))"
J.
Observacin. De acuerdo con este teorema y con la convencin adoptada en la notacin de 3.3 para un conjunto unitario X = {x }, se puede
escribir: r1 o f1 (x) = f2 (f1 (x)).
'
Ejercicios
10
f2 . .
o
o
o
o
1
o
o
G2 "
"z E
YJ
X4
61
CORRESPONDENCIA Y FUNCION
INTRODUCCION A LA TEORIA DE CONJUNTOS
1
1
-------...
U
... ...--------....
U1
Un
l.
,,'
/1~2
3
---..: 4
1.
= (F, A, B) es una
..
M=!
1 2
2 l o o
2 O l O l
ooo 2 2
\00022
5~
.
2
M
(' o o
)'
ooo
l l o o o
l o l o o
ooo
ooo
Las sumas de los elementos de cada columna son respectivamente 3, I, l, 2 y 3, luego los individuos 1 y 5 ocupan am~os el
primer lugar, 4 el segundo y 2 y 3 el tercero. Calculando M2
se tiene
,,'
f : A-+ B.
D~ l) y 2), de la anterior definicin, se deduce que para cada x A
existe exactamente un objeto correspondiente a x por f (demostrarlo). A
este objeto se lo llama el "valor de f en el elemento x de A" y se lo
designa por f(x) o por fx.; se dice tambin que una funcin[ definida eri A
"transforma x en f (x)" (para todo x de A), o que "f (x) es el transformado de x por f', o (por abuso de lenguaje) la "imagen de x por
f', y se indica en forma abreviada escribiendo x-+ f (x). Para indicar que el
elemento y de B es el correspondiente a x por f se suele escribir x f y,
de modo que, de acuerdo con las anteriores convenciones,son equivalentes
las expresiones:
(x, y) E F, y= f(x), :X f y. Al conjunto de llegada B, tambin se lo llama
63
CORRESPONDENCIA Y FUNCIN
f,
~"
,,
f (x)
1'
,,
Ejemplos
(.
3.6.9. Las proyecciones del producto cartesiano. Sean A y B dos conjuntos y sea F 1 la grfica: F 1 = { ((x, y), x): x E A, y E B}, cuyos
pares tienen por primera coordenad3 a un elemento del producto
cartesiano A X B y por segunda coordenada a la primera coordenada de ese par. Entone.es, la correspondencia p 1 = (F 1 , A X B, A),
es una funcin que se llama "primera proyeccin del producto
cartesiano'', y que hace corresponder a cada par (x, y) su primera
coordenada. Similarmente, se definen la grfica: F 2 = {((x, y), y):
x E A, y E B} y la funcin p 2 = (F2, A X B, B), llamada "segunda
proyeccin del producto cartesiano", que hace corresponder a cada
par (x, y) ,su segunda coordenada.
Cuando se toman A = B = R, siendo R el conjunto de los nmeros
reales, y se representan los puntos de R X R en coordenadas cartesianas rectangulares, las proyecciones p 1 y p 1 de R X R en R
coinciden con las proyecciones geomtricas de los puntos del plano
sobre los ejes (ver fig. 15).
i
1
Q:
"t.. . \\+
.,,~ o
1(
.1
Figura
14
Ejercicios
l.
65
64
CORRESPONDENCIA Y FUNON
paralelas que muestra la figura 16; luego p 1 (X) = p 1 (Y)= R, con lo cual
n P1 (Y) = R, mientras que p 1 (X n Y)= p 1 (4') = q,.
p 1 (X)
J
~~~~-+~~~~-X
_______y
~~~~~~~~~~~~~~+-~~~~~~~~~~~~-<>
Figura 15
- (Y)= { x: f
e- 1 (Y), luego X
(x) E Y}.
(1)
w-
En efecto, sea X
es correspondiente por - 1 de algn
elemento y E Y, es decir exis~e y E Y tal que (y, x) E F- 1 , pero entonces
(x, y) E F, de donde, siendo F una grfica funcional, puede escribirse
y= f (x) y como y E Y resulta f (x) E Y. Recprocamente, si x es un
elemento tal que f(x) E Y, existe y E Y tal que f(x) =y, o equivalente
mente, tal que (x, y) E F, de donde (y, x) E F- 1 , con lo cual x es correspondiente por - 1 del elemento y E Y, con lo que resulta finalmente
X E- 1 (Y}.
Sea ahora,~ un conjunto no vaco de partes de A. De acuerdo CQn lo
demostrado en 3.3.7, valen las siguientes frmulas (recordar que toda
funcin es una correspondencia):
a) /( U..,_X)
XEr
b)
XE,
En la nota de 3.3.7 se dio un ejemplo para mostrar que, para una correspon
dencia r, no es vlida .en general la frmula r (x Ql X) = X Q1 f (X).
Esta frmula tambin es falsa en general an en el caso de ser r una
funcin. As lo demuestra el siguiente ejemplo. Sean R el conjunto de los
nmerus reales y p 1 = (F 1 , R X R, R) la primera proyeccin del product9
cartesiano (ver 3.6.9). Sean X e Y los conjuntos de puntos de las rectas
66
un elemento de
f1 -
= xeU.J(X).
..
f ( () X) e n .J(X).
XE~
e- (X nE,... X)
67
CORRESPONDENCIA Y FUNCJON
{F, X, Y).
Notacin. Se designa con el smbolo
f IX, Y, a la restriccin de f a
Ejemplos
.X y a Y,
Cuando no interese poner en evidencia los conjuntos X e Y a los
cuales se ha restringido la funcin, se dir que f 1X, Y es una "restriccin
de .f" y cuando no interese poner en evidencia al conjunto Y, pero s al
conjunto X, se dir que flX, Y es una "restriccin de fa X", y en tal
caso suele usarse simplemente la notacin: fl X.
3.85. Sea f = (F, A, B). La restriccin de fa A y a B coincide evidentemente con f, de donde toda funcin es restriccin y extensin de
s misma.
3.8.6. Sea
l-+11.
2 -+ 12,
y sea g -la funcin del conjunto {O, l, 2, 3, 4} en el conjunto
{ 10, 11, 12, 20, 21}, definida por
o-+ 10,
l-+11,
2-+ 12,
3 -+ 20,
'
Con esta definicin se puede caracterizar 1a extensin de una funcin
en una fonna muy til para las demostraciones.
4 .... 21.
= x2 ,
g (x) = x 3 ,
g (x)
para x par.
para
x impar.
68
(f)
CORRESPONDENCIA Y FUNCION
= f(X).Sean
f': A'-+
g ({x})= /({x})
f ({x}) = {f (x)},
y, como por definicin de f', se tiene
{f (x)} = f' ({x}),
se ha demostrado que g y f' coinciden sobre A'.
Por abuso de lenguaje se dice que ges extensin de ':f "al conjunto
de partes, y se llama "la .extensin canonica al conjunto de :>artes"
(obsrvese, que al identificar f y f' por este abuso de lenguaje.
se est identificando cada elemento x de un conjunto, con el
conjunto unitario {~}).
'1
11
(b)): x E C}.
Sea u' : A'-+ C', tal que u' (x, b) =(u (x),
11
(b)), para x E A.
extensin de 11 1 a A X B.
Por abuso de lenguaje, se dice que u X 11 es una extensin
(llamada cannica) de "u" y de "v" al conjunto producto .
y r
una restriccin
11
Ejercicios
3.8.18. Lo mismo para las funciones, de R en R, seno y coseno, restringidas al conjunto X={br: k EN} y a R.
I:
72
,,1,
73
elementos de su grfica, deb ser y'= y', de donde, siendo g tambin una
funcin y (y, z) e (y', z') elementos de su grfica, debe ser z =
z':
Ejemplos
3.10.2. Sea N el conjunto de los n meros naturales y sea Z el conjunto de
los nmeros enteros. La funcin de Z en N tal que x -+ x 2 , para
todo x E Z, no es inyectiva porque, siendo x =I= (- x) se tiene :
x2 = ( - x )2.
Ejercicios
Si f es una funcin de A en B y X C A, indicaremos con
restriccin : f 1X, B (ver 3.8 notacin y observacin).
f 1X la
a) g o fl X= (g o f) IX.
b) (g 1 Y)o UlF 1 (Y), Y]=(gon1r 1 (Y).
c) (g I Y, Z) o (f - 1 (Y), Y)= (g o
n - (Y), Z.
1
3.9.3. Sean las funciones f: A-+ B y h: C-+ O, con B n C =I= ef>. ,Cules
de las posibles restricciones de f y h se pueden componer?
*y ~ f(x) * f (y).
X*
3.10.3. Una funcin constante, cuyo dominio consta de ms de un ele mento . no es, evidente[Tlente, inyectiva porque todos los elementos
del dominio tienen la misma imagen.
3.10.4. Para todo conjunto A, la funci n idntica de A en A es inyectiva
(ver 3.6.6) y lo mismo , la incl usin de un subconjunto X de A en A
(ver 3.6.7). A esta ltima se la llama tambin la "inyeccin can
__njca de X en A" .
3. 10.5. Las proyecciones, p 1 y p 2 , de un prod ucto cartesiano A X B en A
y B respectivamente (ver 3 .6.9), no son en general inyectivas. En
efecto supongamos que B tenga dos elementos distintos b 1 y b 2 ,
en tonces pa ra cualq uier a E A, se tiene que (a. b 1 ) =I= (a, b 2 ) mien
tras que P 1 (a. b 1 ) = p 1 (a, b 2 ) =a. Un razonamiento similar de
muestra que p 2 tampoco es inyectiva, si A tiene ms de un elemento.
3.10.6. La funcin de N en N definida por x -+a x + b , con a, b E N y
a =I= O, es inyect iva . En efecto, si para dos nmeros nat urales x
e y se tiene que a x + b = a y + b, simplificando a y b en ambos
miembros se llega a -~ = y .
Segn se vio en 3.7 no es vlida en general la frm ula f(xQ6X ) =
X n .J
; (X), donde fes una fu ncin y '"!! un conj unto de partes de
su dominio . Pero si fes inyectiva, se tiene el siguiente resultado :
3.10.7. Teorema. Sea f una inyeccin de A en B y ~ un conjunto no
vaco de partes de A. Se tiene entonces f <xQ 1 X) = x ~f (X).
Demostracin. Segn lo demostrado en 3.3.7,f(x Q-;X) C x Q/(X).
Siendo f inyectiva , existe un ruco elemento
Sea ahora y E X n.J(X).
fJ
x de A tal que y= f (x). Como y E f (X), para todo X E '"J, debe cumplirse
de donde y Ef(x?:_.J(.).
que x E X, para todo X E "J., con lo cual x E
lhX,
74
75
COR.Rt:SPONLJt..'NCfA Y FUNCION
INTROIJUCCION A LA Tt'.ORIA DE CONJUNTOS
En smbolos:
suryectiva
o -+ 3.
1 -+ 4.
2-+ 5.
es una biyeccin
Ejemplos
3.10.16. Para todo conjunto A y todo clt:mento b, la aplicacin x-+ (x. b),
de A en A X { b }, es una biyeccin.
-+
N definida por:
f(x) = x
+ I,
para x par,
Ejercicios
3.10.21.Sea
Ejemplos.
11
76
1,
!I
77
CORRt.'SPONDl:NCIA Y FUNCION
valentemente, (z, x), (z, y), E F- 1 , resulta (x, z), (y, z), E F, pero siendo
inyectiva, debe cumplirse que x =y.
Con este teorema queda justificada la siguiente definicin:
f
J'
,.
f (a, b) =a + b,
g(a .. b)
Demostrar que
= ab,
Dcmostracic11. a) Sean x. y. E A tales que f (x) = f (y); se demostrar que x = y. En efecto, siendo f = f 2 f 1 , se tiene f2 (f 1 (x)) =
= fe (f 1 (y)). pero como f 2 es inyectiva, debe cumplirse f 1 (x) = f 1 (y)
y sicml11 f 1 inyectiva resulta finalmente x =y.
con a, b, EN.
'
'--
= f2
(y)=
sea
<l) Sea z E ('; se <le mostrar que existe y E 13 tal que f2 (y) = z.
l'.11 cf..:cto, por ser f suryectiva existe x E A tal que f (x) = z. o equivalente
mcnle tal que f2 (f, (x)) = z. de donde llamando y al elemento f1(x)E13,
se tiene r~ (y)=;:,
sea una
/
/
r- 1
10.26. Sean f y g dos funcjo_nes de N en N. Demostrar que la correspondencia h entre N X N y N cuya grfica es F = {((a. b ),f (a)+ g(b )) :
(a, b) EN X N }es una funcin de N X Nen N, y que sify g son
suryectivas, h tambin lo es, pero que en cambio, si[ y g son inyectivas, h no lo es necesariamente.
\!)
De1110stracili11. De acuerdo con el teorema 3-10-28, si fes biyectiva, existe la funcin inversa, r- 1 , que cumple las condici~nes del enunciado (ejercicio 3-10-32).
Si existe una funcin g en las condiciones del enunciado, como
la aplicacin idntica es biyectiva, de la parte c) del teorema 3-10-30 se
obtiene que fes inyectiva y de la parte d l que fes surycctiva, con lo cual
resulta f biyectiva.
79
l*\
~jercicios
'
. /l~
6~f
yl~
F i:uro 17
f. g y h.
3.10.38. Sea R el conjun to de los nn\eros reales. D::mostrar que las ~iguien
tes funciones estab lecen una biyeccin entre ciertos subconjuntos
de R y explicitar esos subconjuntos
a) f(x)=ex ; b) h( x) = l /x: c) g ( x) = l/l -x 2 ; d) k (x) = e 1 /~
//
3.1 l.
F-6
h
Fi~uro
I fJ
<,
XO
3~11-1. Defi11ici11. Sean 1 y E dos conjunt os: se llama "fam ilia de ele...
mentos de E que tiene a 1 como conjunto de ndices" a una grfica funcio
nal F cuyo conjunto de de fi nicin coincide con 1 y cuyo co njunto Je
valores est contenido en E. Cuando E co incide con (f (G) . pa ra algn
conjunto G (ver 1-5-1) se J ice que Fes una "familia de conj un tos de G"
o una "familia de partes de G...
81
CORRESPONDENCIA Y FUNCJON
'1
..'
3.11.7. Si Hes el conjunto de todos los seres humanos que han existido
hasta la actualidad, y si para todo h E H, Xh es el conjunto de
antecesores de h, (Xh)h., H es una familia de conjuntos que tiene
a H como eonjunto de ndices.
3.11.8. Si A es un conjunto y para cada a E A, x. = {X: X e A ya E X},
resulta (X 8 ) 3 e A una familia de conjuntt:>s que tiene a A como
conjunto de ndices.
3.11.9. Definicin. Dada una familia (X) e 1 , se llama subfamilia a todo
subconjunto en la familia dada.
Como toda subfamilia de una sucesin es una sucesin, tiene sentido la siguiente definicin:
.;
3.11.10. Definicin. Dada una sucesin, se llama "subsucesin" o "sucesin extrada" a toda subfamilia de la sucesin dada.
. }.
3.12.
Ejemplos
3.11.3. La sucesin(X);eN donde X= l para todo i EN, o con la nota
cin anterior, {l, 1 ... , 1 ... }, es una sucesin en la que todos
los elementos son iguales al nmero 1. El conjunto de valores de
la familia (en este caso de la sucesin) es el conjunto unitario {l }.
3.11.4. La sucesin (x) e N, donde X =O para i par, y X = 1 para i impar,
con otra notacin: {O, l. O, l. ... }, es diferente de la sucesin
(y)ieN donde y = 1 para i par, e y= O para i impar, con otra
notacin: {l, O, l, O....} y, sin embargo, ambas sucesiones tienen
el mismo conjunto de valores, a saber, el conjunto {O, 1}.
3.12.1. Definicin. Sea (X)d una familia de conjuntos, y sea~ su conjunto de valores. Se llama "unin" o "reunin" de esta familia a la unin
de los conjuntos de "*(ver 2-7-1).
Notacin. Se designa a la unin de la familia (X); con el smbolo: U X.
iEI
3.12.2. Definicin. Sea (X) e 1 una familia de conjuntos y sea 71 su conjunto de valores. Se llama "interseccin" de esta familia a la interseccin
de los conjuntos de 'b .
Notacin. Se designa a la interseccin de la familia (X) El con
el smbolo: n X.
i e1
'f,
.,.,
"'
\.
-?!
a)
_ncx.
cu
(E ).
E(id X) -
iEI
en
u ex_
b) E(fl ~)
= ifl (E
).
1'11
Figura 18
(~X) e 1.
As se ha procedido en el enunciado
ad
b) H0 (_U
G;)
ael
ael
= ad
_u (H0
cicio S).
3.12.6. Demostrar las frmulas:
Ejercicios
n A;) U (id
n Bj) = (i,j) Elnx J (A U Bj )
a) (El
la correspondencia
u (fl G,
d)
X JA
n B;.
x;
)-
r (X) = ad
_u f (X).
b) Sea r la corresonptlencia r = (_n G, A, B). Demostrar que
ad
para todo elemento x E A se tiene r (x) = _
n f; (x) (Bourbaki f4].
ad
para todo X C A se tiene
84
b) ( f 1 A) n (j d Bj - (i,j) d
85
1 .
-~
CORRESPONDENCIA Y FUNCION
/t
3.13 . l puede decirse que el cubrimiento (X); E 1 es ms fino que el cubrimiento (Y) J, si y solo si para todo i E 1, existe j E J tal que X; ~Y.
1
1
1
1
Xc, )
1
1
1
1
1
1
1
1
1
o,
1
1
1
1
'
-3
-2
-i
'f..,--rXt.~ Xr---:i
'
;,
Figura 19
3.13.4. Para cada par de nmeros enteros (m, n), sea Xcm. n) el producto
cartesiano de los intervalos reales [m - l /2, m + 1/2] y [n - l /2,
n + 1/2], entonces la familia (X(m, n))(m, n) E Z X Z es un cubrimiento de R 2 (ver figura 21). En efecto, para cada elemento
(x, y) E R 2 , existen dos nmeros enteros m y n tales que
lx - mi" 1/2 y [y - ni.;;;; 1/2, con lo cual (x,y) E X<m. nl
8
1
1
-z
.1
-----~----- J-----~--1
1
1
1 :x(4.-1)
1
1
1
1
1
1
1
1
1
1
1
1
1
1
------7------~------t---
;s
--4------~---~-~------~I
1
1
1
1X{2 -1)
1
-t
1
1
1
11
1
--,- - --- -7------~------~I
Figura 20
\__Y
Xi!
Ejemplos
1
1
--~-----r.----~----- - r1
1X(2 t)
1
1
(i. i) E 1
et
1
1
:
1
ms fino" que J-' (o que~ es "menos fino" que J-) si para todo X E Jo,
existe Y E 'J' tal que XC Y. Se dice tambin que J- "refina" a~', o
que 'j es un "refinamiento" de 'J''.
3.13.2. Definicin. Se dice que una familia de conjuntos (X,.) id es un
"cubrimiento " de un conjunto E (o que "cubre" un conjunto E); si el
conjunto de valores de la familia es un cubrimiento de E. Si (X;), El y
~Y) E 1 son dos cubrimientos de E, se dice que (X;); E 1 es "ms fino"
que (Y) e 1 es "menos fino" que (X;);EI si el conjunto de valores de la
familia (X;) 1 es un cubrimiento ms fino que el conjunto de valores de
la familia (Y;); 1 . (Anlogas definiciones para refinar y refinamiento).
1
1
brimien~"
XE
"5-
(/-
87
,.
$.
(/'
[:
X;~
1
n
CO RRESPONDENCIA Y FUNC!ON
l'
-:f., 1 y S"
3.13.13. Encontrar el mnimo radio r necesa rio para q ue los c rcu los con
el contorno incluido, de radio r y centro con amb as coo rdenad as
enteras constituyan un cubrimien to del plano.
3.13.14. Sea J- el conjunto de las funciones con dominio y codominio
real, y para cada n entero sea J.,, el subconjunto de ".S- fo rmado
por las funciones f tales que f (O) pertenece al in tervalo real
[n, n + 1 J. Demostrar que, siendo Z el conjunto de los nme ros
enteros, la familia (~,,),,e z es un cubrimiento de :Y .
3.13.15. Definicin. Sea "i un conjunto de conjuntos. Se dice que los
conjuntos de~ son "dos a dos disjuntos" (o "mutuamente disj untos") si,
para todo par (X, Y) E "j X ~ con X =/= Y, se tien e X () Y = </>.
3.13.16.Definicin. Sea (X;); e una familia de conjuntos. Se dice que
los conjuntos de esta familia son "dos a dos disj untos" (o "mutuamente
disjuntos") si, para todo par (i, j) E l X 1 con i =/= j, se tiene X; n X= </>.
88
89
,..
CORRESPONDENCIA Y FUNCION
'ITRODUCCJON A. LA TEORIA DE CONJUNTOS
n-1
Supongamos sea m
Observacin. Puede suceder que el conjunto de valores de una familia
e conjuntos, sea un .conjunto de conjuntos cuyos elementos son dos
dos disjuntos, sin que lo sean los conjuntos de la familia; tal es el caso de
na fainilia no inyectiva (ver 3.11, Observacin). En cambio, si los conmtos de una fanlia son do.s a dos disjuntos, tambin lo son los conjuntos
.e su conjunto de valores.
donde x
2)
J es un cubrimiento de E.
,_o
n"i
nldNXn e
NXn.Para probar la inclusin inversa, sea xE
UN Xm entonces no es vaco el conjunto H = {n: x E Xn}y,
n
llamando h al menor de los elementos de H, se tiene X E xh y
ahora
X'111 _y
;y:
~
;: !:
1;
X!=Xia. Sean
* n.
'
X;
X=</> .
Ejercicios
por lo tanto, x E Xh -
' \:
Ejemplos.
< h,
tf>.
3.13.23. Sea (X;); E 1 una familia de conj unt os no vacos y dos a dos disjuntos, tal que constituya un cubrimiento de un conjunto E. Sea J
el conjunto de los ndices i E l tales que X; n E tf> ; entonces, la
familia (X; n E); E J es una particin de E.
x ~ Xn para n
l X'n =
1) Los conjuntos de
< n, entonces si x
/,.13 .26. Sea (X); e 1 una particin de un conjunto A y sea g una funcin
de B en A. Es la familia (g- 1 (X;));E 1 una particin de B?
(ver 3. 13 .8).
3.13.27 . Sean (X;); e J y (Y) f 1 dos cubrimientos de un conjunto E .
a) Demostrar que si (X;) e 1 y (Y); J son particiones de E, y si
la primera es ms fina que Ja segunda, para todo j E J, existe
i E 1 tal que X; C Y .
b) Dar un ejemplo de dos cubrimientos (X;); e 1 y (Y) e J de E
1
1
91
COJ<Rt:Sl'ONDENCIA Y PUNCION
1t.
.l
,!',
X;
E,.. para .i
::=
( 1)
l. 2.
En esta forma, a cada elemento de 1:: 1 X E1 puede hacrscle corresponder una nica familia (x;); { 1 2 } de elementos de E 1 U E2 que tiene
a { 1, 2} como conjunto de ndices y cumple la condicin ( 1). Recprocamente, dada una familia (x) { 1 2 } en esas condiciones se le hace corresponder un nico elemento de E 1 X E1 , a saber: (x 1 X2 ).
Se ha establecido entonces una biyeccin entre el conjunto E 1 X E2
y el conjunto de familias de elementos de E 1 U E 2 que tiene a l 1, 2}
como conjunto de ndices y cumple la condicin ( 1).
Este hecho conduce a formular la siguiente definicin:
/-i
(x);
lf
1 ..,.
X;
1.
Ejemplos
2''
92
CORRESPONDENCIA Y FNCJON
e1
r
l
= I/>
y Xa :f:. </>.
Recprocamente, sea a E 1 tal que Xa = </>,y supongamos, por el absurdQ que ,.1Te 1X;
t/. Luego, existe algn
elemento (x;); e 1. de ,. rr
.
e 1X, con lo
cual, Xa E Xa. en contradiccin con el hecho Xa = </>
.$ Ejercicios
"i
(.x);EI
O, para n par
X;
X
Por ejemplo, en el siguiente diagrama e~tn representadas las suceones l /2, 1/2, ... , 1/2, ... y 1, O, 1, O, ... pertenecientes ambas al producto
1rtesiano _7T 1 X1, donde X; = [O, 1], para todo i EN.
1
Xn
1)
'
2)
3)
ht-+-+--+--+---<i--+--+--+-+--+-+-~-
1, para
11
impar
X conXn=[n,n+l),paratodonEN
rr
n N
ne
rr Nzn, con
ne
b) Idem
para la familia
(y,),e
R,
donde
O, para r racional
.. n
Yr
.14.6. Teorema. S!a tX;); e 1 una familia de conjuntos tales que X;* I/>,
ara todo i E l. En estas condiciones, la pr.oyeccin pr' para todo a El,
una aplicacin suryectiva de ; 1X; en Xa.
1)
71'
ne
1, para r irracional
2)
\
3)
;
J.
7T
re R
7T
re
Y,=
si
1 : 1X;
. ..
'
f
l
"
1
CAPITULO IV
RELACIONES DE ORDEN
3.14.12. Sea (X;); e 1 una familia de conjuntos tal que el conjunto de ndices
1 no es vaco. Sea(Jk)k e K una particin de 1 (ver 3.13.18);
demostrar que existe una biyeccin de . rr X en rr ( rr X.,)
k e K "e 1 k
(asociatividad del producto cartesiano). 'e 1
3.14.13. Sean E y F dos conjuntos y sea (X1) 1 e E una familia de conjuntos
que tiene a E como conjunto de ndices y tal que, para todo
i E E, X; = F. Se conviene en designar el producto cartesiano de
dicha familia con FE, y se dic.! que tal producto es una potencia
prtesiana de F (observar que la notacin FE concuerda con la
adoptada en la notacin 2.8.3, donde se design al producto
cartesiano F X F con F 2 ) . Demostrar que existe una biyeccin
entre la ,!Xltencia cartesiana FE y el conjunto 'J' (E, F) de las aplicaciones de E en F .
r
Ejemplos
'
97
t'
=t
~
JNTRODUCCJON A LA TEORIA DE CONJUNTOS
.t
4.1.10. Sea a un elemento cualquiera, Runa relacin en (a} y sea {(a , a)}
su grfica. Hallar las propiedades de R.
propiedades de R.
x Ry si y solo si lx - YI
c) G
d) G
= {(a, a), (a , b ) }
lt------Q
i----
o .
i--
Figuras 24, 25 y 26
1 ~- .. '
Ejercicios
4.1.9. Sea R la relacin en. el conjunto de los nmeros reales, definida por:
98
99
RELACIONES DE ORDEN
=b,
4.1.20. Cules son las propiedades de las relaciones representadas por los
siguientes diagramas? .(ver nota siguiente a 3.2.8).
Ejemplos
4.2.3. La relacin ~ usual entre nmeros naturales o reales, es una relacin de orden.
4.2.4. Para un conjunto E, la relacin en <P (E) definida por A
si solo si A C B, es una relacin de orden. En efecto,
1) Para todo A E G(E), se tiene A CA,
a)
By B
3) si A
ByB
e e,
A, se tiene A= B,
se tiene A
e c.
2) si A
<. B si
<. x.
100
X ~z.
1
1
..
101
,.
RELACIONES DE ORDEN
'
Ejemplos
4.3.2. La relacin ~ usual entre nmeros naturales o reales, es de orden
total.
Notacin. Cuando la relacin R en A se anota ~ emplearemos el mismo smbolo para designar su relativizacin a un subconjunto de A. Por
tanto, en ese caso, un subconjunto ordenado de {A, E;;) quedar expresado
por (A',~ con A' e A.
.
.
Ejemplos
4.4.
..
103
RELACIONES DE ORDEN
Fjcmplos
E es maximal. En el conjunto de partes no vacas de E, ordenado
tambin por inclusin, los conjuntos unitarios son minimales.
4.4.4. Sea (N, <) el conjunto de los nmeros naturales ordenados por
la relacin x <y si y s~1o. si x divide a y (ver 4.2.5). En este
caso 1 es elemento minimal, porque si un nmero x divide a 1
se tiene x = 1, y O es maximal ya que si O divide a x resulta
x =O. En el conjunto de los nt1meros naturales distintos de 1,
con el orden inducido, todos los nmeros primos son minimales.
4.4.5. Sean E y F dos conjuntos, F i= q, y (P (E, F), <) el conjunto de
aplicaciones de partes de E en partes de F ordenad o por la
relacin f < g si y solo si g extiende af (ver 4.2.6). Las aplicaciones
de todo E en todo F son elementos maximales; en efecto si f =
= (G, E, F) es una de tales aplicaciones y g = (G', X, Y) es tal
que g ~ f resulta, de acuerdo con 3.8.4, X ~ E, Y ~ F y f y g
coincidentes sobre E, pero como X es parte de E e Y es parte de F,
se tiene X= E, Y = F, de donde f = g. La aplicacin vaca (ver
3.6.8) es claramente elemento minimal de ese conjunto ordenado.
Si se considera el conjunto de aplicaciones de partes no vacas de
E en partes no vacas de F, con el orden inducido, resulta que
las aplicaciones de Ja forma ({(x, y)}, { x }, {y}), con x E E e y E F,
son elementos minimales. -
h (.t)
= g(x}, si X
E Dg
... ...
-
--~-
ti'
104
el
105
'
.., 1
RELACIONES DE ORDEN
INTRODUCCION A LA TEORIA DE CONJUNTOS
Ejemplos
4.6.3. Sea E un conjunto y (C?(E), C ) el conil!'to de partes ordenado
por inclusin. Si 75- c(f(E) se tiene: infc?(~) = x Q~ X y sup'll<~> =
ux.
x{}
Ejercicio!>
,J.
a) G o G = G
b) G n G- 1= t.E (siendo t.E la diagonal de E X E) (Bo urbak1
[5] l,prop. I).
4.6.6. Teorema. ~an (A,.;;;;;) un conjunto ordenado y X y Y dos subconjuntos de A admitiendo ambos supremo e nfimo en (A,~- Entonces, si
X e Y se cumple, sup X..;; sup Y e inf X ;;io inf Y.
4.6.11. a) Sea
En
4.6.7. Te0rema. Sean (B, <) un subconjunto ordenado de (A, <) y X una
-!-
q~e- el'istan y_~an distintos sul?A..~- . ~~o que uno de los dos
1
I"
de
107
106
-:.
i'\
~i
;-;
RELACIONES DE ORDEN
-,"
f
rv,
4.6.15. Sean R
(E, R)
que si
resulta
--.......
/ ':
) '
~~'. Sea~
l
i
1
4.6.22. Siendo X el conjunto de los nmeros l /n + l /m con n y m naturales mayores que O, hallar supRX e infRX. Hallar dos subconjuntos
A y B de R tales que exista infAX pero no inf8 X cumplindose
adems infAX infRX.
a) El elemento (m;); E de ; ~ 1E; es maximal de ese conjunto si y solo si, para todo i E 1,
'' ~ ...
En la siguiente definicin por abuso de lenguaje; hablaremos de conjuntos ordenados no vacos, querienlo significar, como es obvio, que son no
vacos los conjuntos subyacentes.
4.7 .l. Definicin. Se dice que un conjunto ordenado (A,<) est ''!?ieq.
108
1()C)
-JI"".
,,
llVTRODUCC/ON A l.A TEORIA DE CONJUNTOS
1
RELACIONES DE ORDEN
1
1
!'l
1
1
a ,;;;; dc
El conjunto K de los nmeros racionales con el orden usual,;
si y sol u s ad ' ch. 110 est; bien ordenado, puesto que todo in ter.
a
c
a
c
valo abierto racional: f x: x racional, ; < x < d}, con d d'
carece de primer elemcnlu. En efecto, para todo nmero P de ese
4 7.4.
.7.5.
+q
S~a
~'
! ..
'
'*
&~
.
110.
,.,
4.8.4. Teorema. Sea (X;, R1)11 una familia de conjuntos bien ordenados tales que, para todo par i, j de ndices, uno de los conjuntos ordenados
(X;,RJ, (X,R) sea un segmento del otro. Entonces la relacin xR y ,
si y solo si x R; y, para algn i tal que x, y, E X1, es un buen orden en E =
= /{ 1X;. que induce sobre cada X; el orden dado. Todo segmento de (E, R)
(A,~)
"-'
4.8.L Definicin.
(A,<;) un conjunto ordenado. Un subconjunto
.2!!f!_nado (S, <;)de (A.<) es un "segmento" de
si para todos x ES
Demostracin. Si S o S' coinciden con A, el teorema se cumple obviamente. En caso contrario, por el teorema anterior, existen a y b en A
tales que S = S y S' = Sb. Puesto que (A,~) est totalmente ordenado
(ver observacin posterior a 4 .7 .5), es a < b o b ~a, de donde Sa e Sb
Sb e Sa.
Obse.,.l'acin.
.
mtervalu
se
RELACIONES DE ORDEN
'NTRODUCCION A LA TEORIA DE CONJUNTOS
~.
4.8.8. Decir cules de los conjuntos a), b) y c) del ejercicio anterior admiten un ltimo elemento. ~emostrar que el conjunto b) tiene ltimo
elemento solo si Fes unitario.
1'.
\'
,
(
Ejercicios
'
~
4.8.14. Demostrar que todo conjunto finito totalmente ordenado est bien
ordenado y tiene ltimo elemento.
i
!
1
112
f .\ 1H(}(){.'CCIO.V
,t
junto bien ordenado y sea P (x) una proposicin asociada a cada elemento
x E A. Si, para todo x E A, se cumple que la validez de P (Y), para todo
y E Sx, implica la validez de P (x), la proposicin P (x) es verdadera para
todo x de A.
(Notar que la condicin impuesta en el enunciado implica que para
el primer elemento a de (A,~ P (a) es verdadera, puesto que Sa = cp, de
donde, para todo x E Sa, P (x) es verdadera. Si no se toma en cuenta esta
observacin respecto del conjunto vaco aJ enunciado anterior debe agregarse la condicin: para el primer elemento a de (A,~ P(a) es verdadera.)
RELACIONES DE ORDEN
~
:r.
gEJ
(x)
= g (.x), si x E Dg
g1
= g' (i). .Se ver ahora que /cumple las condiciories requeridas por el teorema.
Sean D = gUE r,D8 y x E D; suponiendo x E DK, es f(x) = g (x ) y,
n Dg' es g (x)
115
,:.,
,,
~j
RELACIONES DE ORDEN
1'; pero
a) F(cp)=a
./
4.10.1. Definicin.
..
Ejemplos
a) a 0
b) an
116
= l,
= an- 1 a,
Ejemplos
117
RELACIONES DE ORDEN
lNTRODUCCION A LA TEORIA DE CONJUNTOS
Junto de conjuntos.
A f
~~B
e
Figuro 28
" ....
...
Figura tj
-----.....
Ejercicios
RELACIONES DE EQUIVALENCIA
'Al'TULO V
~ELACIONES
de X en Y
DE EQUIVALENCIA
x - y implica y - x.
Ejemplos
L
/
=y
e y = z, es x
= z.
2) si x =y, es y= x,
120
= f (z).
3) x - y y y - z implica x - z.
3) si x
{x);
2) sif(x)=f(v)esf(y)=f(x):
3) si f (x) = f (y) y f(y) = f(z), es f (x)
=f
.::i
l.'
r
1
"
I
RELACIONES DE EQUIVALENCIA
E/R
= {R (x):
x E E} .
Ejemplos
'
111
1
.!1
i
Al conjunto cociente E/R se le suele llamar ..la particion uc .e cannicamente asociada a R".
Como resumen de los resultados de los ejemplos 5.1.6 y 5.2.5 y del
teorema 5 .2.7, se puede enunciar el siguiente teorema:
5.2.5. Sea E un conjunto y sea rr una particin de E. La clase de equivalencia de un elemento .x- E E, mdulo la relacin de equivalencia desegn lo anterior, el conjunto cociente est contenido en rr y por
otra parte, desde que los elemenots de rr son no vacos, para todo
X E rr, existe x E E tal que x E X, con lo cual X es la clase de
equivalencia de x .
/
11
]'
\'
122
123
1
1
1
1
RELACIONES DE EQUIVALENCIA
implica (x) =
f (y), para
.{
l
),
J/F
E
5.2.15. Demostrar que toda interseccin de grficas de relaciones de equivalencia en E es la grfica de una relacin de equivalencia en E.
Dar un ejemplo de dos relaciones de equivalencia en E tales que
la unin de sus grficas no sea la grfica de una relacin de equivalencia en E.
Figura 29
),
'"
Ejercicios
S.2.12. Sean Z el conjunto de los nmeros enteros y R el conjunto de los
nme.ros reales. Para cada n E Z, sea sn la aplicacin de R en R
5.2.13. Demostrar que para que una grfica G sea la grfica de una relacin
de equivalencia en un conjunto E es necesario Y suficiente que se
cumpla pr 1 G =E., G o G- 1 o G = G y ~E C G (siendo ~E la
diagonal de E X E) (Bourbak.i [4 ], captulo 11, 6, ejercicio 1).
30
i.
f
1
!.
iL
--
l --- lv
E/R
F/S
Fi[fW'rl 30
f,i/.F
6
Figura31
5.3.
s".
~ONGRUENCIA
MODULO f!
i
{,
'
S.3.2. Definicin. La relacin de equivalencia dada por el teorema anterior se llama "congruencia mdulo p"; el conjunto cociente, "conjunto de,
\1
127
1
1
1
126
. ~1
RELACIONES DE EQUIVALENCIA
1;
.~
Ejemplos
Y.
..
123
Observaciones. 1) Del lt:mo teorema, resulta que existe una correspondencia biunvoca entre el conjunto de enteros mdulo p y el intervalo
natural [O, p - 1]. Por esta razn, muchas veces se adopta la convencin
de designar a un entero mdulo p por medio de su representante en el
intervalo [O, p - 1J.
:= {
Ejercicios
y=
y.
RELACIONES DE EQUIVALENCIA
3 + 1.
38 3,
<2 + t) (s + 2 + 4)
J.
+ 9, 16 2, 9 (8 + 3 +T)
2.
o
o o
1 .Z
2.
o
o o
Figura 32
f.
+ e, b
- (a' e'
(a
"
+ d) - (a' + e', b' + d'} y (a e + b d, a d + b e) + b' d', a', d' + b', e') (demostrarlo), se dice, en este caso, que
2.6.13).
130
+ b e),
Figura 33
= b + e,
e, b + d)
(a, b). (e, d) =(a e+ b d, a d
o o
+d
''
(1)
= h (a)+ h (b)
h(ab)=h(a)h(b),
cona,b,EN
(demostrarlo), por lo cual se dice que "h conserva las operaciones"; luego,
adems de corresponderse biunvocamente los conjuntos N y h (N), resulta
que realizar las operaciones en N y luego pasar a los nmeros correspon
dientes en Z, es lo mismo que realizar las operaciones en Z entre los co
131
'
RELACIONES DE EQUIVALENCIA
tringulos congruentes dos a dos (ver figura 35), y se dice que son ..equicomplementarios" cuando es posible agregarles . un nmero finito de polgonos equidescomponibles de modo que los polgonos completos sean
equidescomponibles {ver figura 36). Dos polgonos se llaman "equivalentes"
cuando son equicomplementarios (observar que dos polgonos equidescomponibles son siempre equicomplementarios).
'V -
....
-----
1
1
1
FiKJra 34
= (a d +
b c)/b d
a, b, c, d, E Z
a/b c/d = a c/b d,
donde en los segundos miembros se emplearon las operaciones de suma y
producto entre nmeros enteros ya definidas. Igualmente que en el caso de
los nmeros enteros, debe probarse que las anteriores definiciones no
dependen de los representantes (demostrarlo).
Mediante la correspondencia a-+ a/1, se establece una biyeccin k
entre el conjunto de los nmeros enteros y el subconjunto de K compuesto
de las clases a/I, con a E Z. Esta biyeccin conserva las operaciones,
es decir
c/d
-'\~">
' ,..,..""is
~ -----
= k (a)+ k (b),
k (a b) = k (a)" k (b)
Figura 35
P y Q son etuicomplementarios
La relacin de equivalencia entre polgonos es "una relacin de equivalencia" (demostrarlo) que permite definir el concepto de superficie; por
definicin, se llama "superficie de un polgono" a su clase de equivalencia.
Por lo tantO, dos polgonos equivalentes tienen la misma superficie.
*"
k (a+ b)
a, b, E Z
(demo~1rarlo).
t' 5.4.3.
5.4.4. Orientacin de una recta. Sea r una recta y sea Sel conjunto de
las semirrectas de r. La re !acin s - s' si y solo si s e s' s :) s', es m a
relacin de equivalencia en S (demostrarlo). Se llama "orientacin" de
r a cada clase de equivalencia de las semirrectas de r. Fijado sobre r un
punto O, quedan determinadas las semirrectas opuestas s 1 y s 2 con origen
en O; como s1 <f. s2 y s1 -:/> s2 resulta s1 f s2 Adems, dada cualquier
semirrecta s, 5obre r, se cumple que s - s 1 s - s2 ; por lo tanto,
existen solo dos clases de equivalencias, si a una de ellas se la llama
"orientacin positiva", a la otra se la llama "orientacin negativa". Cul de
las dos se elige como positiva es cuestin de convencin arbitraria.
5.4.5. Punto impropio. Segn se vio en 5.1.3, la relacin de paralelismo
132
133
_l.
...:').1
.,
RELACIONES DE EQUIVALENCIA
'NTRODUCCION A LA TEOIUA DE CONJUNTOS
:ntre las rectas del plano es una relacin de equivalencia; cada clase de
:quivalencia se llama "punto impropio" o "direccin en el plano"; al
:onjunto de todos los puntos impropios del plano se le llama "recta impro,a" o "recta al infinito" del plano. Agregando al plano eucldeo los puntos
mpropios y la recta al infinito, se obtiene el "plano proyectivo".
Para distinguirlos de los elementos impropios, a los puntos y rectas del
'lano eucldeo se les llama puntos y rectas propios respectivamente. Segn
ias definiciones, todos los puntos impropios pertenecen a la recta impropia
iel plano; adems, se dice que un punto impropio P pertenece a una rectar
;i la clase de equivalencia de r coincide con P.
En el plano proyectivo se simplifica la siguiente propiedad de incidencia,
vlida en el plano eucldeo:
a un mismo conjunto A E.A; se dice que "se han identificado los elementos
de A" para cada A E A . Como la particin 11' determina la relacin de
equivalencia R y como, en este caso, la particin n queda determinada
completamente por el conjunto~ , llamaremos a la relacin .A "relacin
de equivalencia asociada a A ".
Se vern algunos ejemplos en los cuales se emplea esta relacin de
equivalencia.
-1-c 5.4.6. Segmento con los extremos identificados. Sea E el conjunto de
un segmento MN y sea A = {M, N}; es decir el conjunto constituido por
los extremos del segmento. Sea 9r = {A}; se introduce en E la relacin de
equivalencia asociada a~ , quedan identificados pares de puntos un
nuevo ente que llamaremos "segmento MN con los extremos identificados".
'1
1
,,'
PI/.,,_...._.'
,"'
1
1
9-----l-----------+Q'
Figura 36
--
I
1
Figura]?
,,
,,',,
I
I
, 1'
I
1
1
p'
,,,,,,,---#---
Figura 38
Ejercicios
5.4 .9 . Sean E el intervalo real [0.2 1T J y - la relacin de equivalen cia
que identifica los extremos de E ( ver 5 .4.6). Si Res el conj un to
de los nmeros reales y f : E _,. R X R es la funcin de finid a por
f (x) = (cosx. sen x ), probar que - coincide con la relacin de
equivalencia asociada a f y hallar una biyeccin de E/- en la cir
cunfcrencia de centro (O. O) y radio 1 de R X R.
S.4.10. Sean R el conjunto de los nmeros reales, E el cuad rad
[0,2 7r J X [0,2 7r} E R X R y - la relacin de equivalencia en E que
identifica los lados opuestos de E (ver 5.4.7). Si f: E_,. R 3 es la
funcin definida por
f(x, y )
1 37
'
NUMEROS CARD/f\IALES
Ejemplos
NMEROS CARDINALES
6.1 .2. Como el conjunto vaco slo es coordinable consigo mismo, se tiene
e (t/l) = t/>. Convendremos en designar co .1 et nmero O a e(<?) .
6.1.3. Todos los conjuntos unitarios son coordinables entre s, puesto que
{(x, y)} es la grfica de una biyeccin tle lx} sobre {y}. Convendre
mos en designar con l al cardinal de los conjuntos unitarios.
;/
t~8
NUMt:ROS CARDINAi.ES
1 (11 + 1).
Sea f una biyeccin de N sobre [ 1, 11 + 1J y sea X =
luego la rest ril:cin de fa N - { x} y a [ 1 , 11] es una biyeccin de N - { x)
sobre [ 1, "]. con lo cual N - { x 1 es coordinable con [ 1, 11 J. Pero por el
lema anterior N - {x} es coordinahle con N. de donde resultan N y (1. N]
equipoteutes en contra de lo supuesto.
'
Como corolario inmediato del teorema anterior surge que todo conjunto
coordinahle con N es infinito. Es "aceptable" entonces la siguiente
definicin:
- 1. 1, - 2 - .!_.!_. 3_.
1 1
1, 2 2 I
......,...,
......___....._
=f
+ O. c 1 Cn .
2x,parax>O
'1
l-2x-I . parax<O
= [r1] + O, el d ... e~
= [r;] +O, di ~
...
Si
3 3 1
f(x)
,,
r = [r]
3, - 1, 1. 3, ...
Ejemplos
'I
tl
141
en
si
1, si
e~ >o
e~ =O
'~
1
"
:x
1
1
1
\l
Ejercicios
1-'iK11ra 39
y-a
b-v
--=--
x-c
de donde se obtiene
{'
= _,__
,_ __,______
d-c
Con ayuda de los dos lemas siguientes se demostrar que la propiedad <le
ser reflexivo es caracterstica de los conjuntos infinitos.
(
Ejemplos
Y= f(x)
d-x
(b _ a)x +ad_ be
6.2.5. lema.
numerable.
142
141
[(O)
y. para todo
11 ~
=G
NUMEROS CARDINALES
(A).
11-1
) '.
111. rc~ulta
(11)
11
*f
EN ,
/(11)
'
Sea /\ u11 conjunto reflexivo . Luew e \istc u11 suhconjun to propio /\' Je A coor<linable con l y. por ianto. existe una biyecci0n
f : A-+ A'.
Dc1110.1traci11.
llq -1
11 P _ 1
11,,
Ejercicios
(!11).
,.
E A-
con q - 1 > p - 1.
'
NUMEROS CARDINALES
A
'4
~Y=f(x)
: =Kof (x)
u= f~of(x)
V
x es antecesor de y, z, u, v. etc.
146
147
'
6.4.l. Definicin. Sean a y b dos nmeros cardinales y A y B dos conjuntos disjuntos con cardinales a y b respectivamente. Se llama suma de a y b
al nmero cardinal de A UB.
6.4.2. Definicin. Sean a y b dos nmeros cardinales y A y B dos conjuntos con cardinales a y b respectivamente. Se llama producto de a y b al
nmero cardinal del producto cartesiano A X B.
Ejercicios
de A en B,
a) a+ b = b +a.
b) a+ (b +e)= (a+ b) +c.
c) a +O= a.
d) a(b+c)=ab+ac.
e) 'Si a~ b y e~ d, es a +e~ b +d.
f) ab = ba.
g) a(bc) = (ab)c.
h) a 1 =a, a O =O.
i} Sia ~b y c~d. es ac<;.bd.
.
6.4. SUMA Y PRODUCTO DE NUMEROS CARDINALES .
Dados dos conjuntos A y B siempre es posible construir dos conjuntos
A' y B' tales que A sea coordinable con A', B con B' y A' n B' = ti>. Basta
tomar dos elementos distintos, por ejemplo O y 1 y definif A' como el
producto cartesiano A X {O} (es decir, el conjunto de los pares (x,O)
148
i=I.
149
NUMEROS CARDINALES
INTRODUCCION A LA TEORIA DE CONJUNTOS
a + Ko =a . En particular e+ Ho =e
Demostracin. Sea a el nmero cardinal de un conjunto infinito.
De acuerdo con el lema 6.2 .5, el conjunto A contiene un conjunto A'
x cumple :
a) Xo + Xo = Xo
b) XoXo = Xo
Demostracin. Segn se vio en el ejemplo 6.1.8, el conjunto P de los
nmeros naturales pares y el 1 de los impares son infinitos numerables. Como adems P n 1 = <f> y P U 1 = N; de la definicin de suma de nmeros
cardinales resulta Xo + Xo = Xo.
b) Los pares de nmeros naturales (i, j) E N XN, pueden ponerse en
correspondencia biunvoca con los naturales ordenndolos por valores
crecientes de la suma i +y, dentro de una misma suma, por valores
crecientes de la primera componente. Se obtiene as el siguiente cuadro ,
donde las flechas indican la ordenacin efectuada (mtodo de Cantor).
(O, O), (O, 1), (O, 2), (O, 3), (O, 4), .. .
1) a=H
+c(A-A').
a =a
= a.
+ Ho ;;;;. a + m
;;;;. a +O= a
""
Demostracin.
Ko =, Ko 1 ~ Ko m ~ HoHo = Ho
+ m = Ko.
Demostracin. Sea m un cardinal finito. De acuerdo con las propiedades c) y b) de 6.4.3 se tiene
~o =Ko +O~Ko +m~Ko +Ko =Ko.
de donde, aplicando el teorema de Cantor-Bemstein (6.3.3), se obtiene
la tesis.
150
+ e (A - A')
= Ko
+ Ko
151
NUMEROS CARDINALES
(A;); 1 una familia de conjuntos tales que, para todo i E 1, sea a1 =e (A;).
Se llama producto de losa al cardinal del conjunto!!
A1
1 1
it
1 a;
y al producto con
1a.
Las definiciones de suma y producto de una familia de nmeros
cardinales no dependen de los conjuntos A; elegidos. En efecto, sea (A;); 1
una familia de conjuntos dos a dos disjuntos tales que, para todo i E I,
sea A coordinable con A';. Haciendo uso del axioma de eleccin, para todo
i E 1, en el conjunto de biyecciones de A; sobre A; elegimos[. La funcin
f: U A;-+ u 1 A;, que coincide con f; sobre cada A;, es una biyeccin.
i 1
i
Tambin los conjuntos rr A; y rr A; son coordinables mediante
i 1
i 1
i t 1
para
t.1 A;
en /
U1 A'1 Resulta entonces e (.U
A;); e 1 ""'~o.
1 1
pe rteneciente a rr A',.
i 1
n veces
Para nmeros cardinales vale.
6.4.11. Teorema. Sea (a;); 1 una familia de nmeros cardinales tal que,
para todo i E I, a; = a. Entonces, siendo b el nmero cardinal del conjunto
de ndice I esob = ;tii
Demostracin. Sea A un conjunto tal que c (A)= a. Por definicin de
producto de dos nmeros cardinales (ver 6.4.2) a b es el nmero cardinal
del conjunto A X I, el cual coincide con Ja unin de Ja familia (A X {i}); 1
como puede comprobar fcilmente el lector, pero dicha familia es una
familia de conjuntos disjuntos dos a dos y coordinables con A, de donde su
nmero cardinal es l; a. Esto termina la demostracin del teorema.
i1
Demostracin. Basta demostrarlo para familias numerables de conjuntos infinitos numerables, porque si (A;); e 1 es una familia numerable de
ronjuntos numerables, puede construirse una de tales familias cuya unin
contenga a la unin de la familia dada. En efecto, para todo i El, sea
152
Ejercicios
1,
6.4.16. Generalizar el resultado anterior demostrando que para todo cardinal finito m, a+ m = b + m, implica a= b.
6.4.17. Completar la ltima parte de Ja demostracin del teorema 6.4.4
mostrando que cada conjunto de pares (i,j) de nmeros naturales,
con suma i + j = n, es coordnable con el intervalo natural
(an, a,,. 1 -1) donde (a1);eN es una sucesin tal que a0 =O y,
para todo n E N, " +l " +(n + 1). Deducir de all que N X N es
coordinab le con N.
153
a) las semirrectas.
b) los intervalos abiertos (a. b) con a ::f. b, .
c) los intervalos cerrados [a, b 1 o semia~iertos (a, b ], [a, b) con
a ::f. b,
.
(recurrir a la funcin f (x) = l/(l -x2 ) para coordinar R con el
intervalo (- I. 1). Ver adems 6.2.4. d) el conjunto de los nmeros irracionales (tener en cuenta la
numerabilidad de los racionales y 6.4.4).
6.4.20. Demostrar que e + e = e (tener en cuenta el ejetcicio precedente)
y que !'{o e =e (coordinar N X [O, I] con la semirrecta real po
sitiva).
1
1
111
1
1
;f11 ~/~lb .
i''
6.4.23. Sean (a1)1e1 y (b) e J dos familias de nmeros cardinales. De-mostrar: a) Si fes una biyeccin de un conjunto K sobre el conjunto
de .ndices 1, se tiene
= ab e
b) (ab )c =abe.
= acbc.
= a, 1a = l.
= 1 y para a t= O, es oa = O
a) abac
c) (ab)c
d) a 1
e) a 0
c) (1
;11
HUMEROS CARDINALES
..'
se la funcin {y: B-+ A, definida por fy (x) = f(x, y), con lo cual, poniendo g (Y) = f queda determinada una aplicacin de C en 1 (B, A). De
acuerdo con construccin efectuada, resulta[ (x, y)= g (Y) (x).
c) Sean p 1 y p 2 las proyecciones cannicas de A X B en A y B
respectivamente (ver 3.6.9). Si se asigna a cada aplicacin g: C -+ A X B el
par ordenado (p 1 o g, P2og)E1 (C, A) X~ (C, B), se obtiene una correspondencia biunvoca entre 'i- (C, A X B) y ese conjunto.
d) A cada aplicacin f de un conjunto unitario { x} en A se le puede
hacer corresponder el elemento f (x) de A, con lo cual se obtiene evidentemente una biyeccin de 'i- ({x}, A) sobre A.
En cuanto a la segunda parte de la proposicin d) basta observar que
existe una nica aplicacin de A en {x} (aquella que hace corresponder a
todos los elementos de A el objeto x). Luego 1
l.
e) Existe una nica aplicaciJ,J del conjunto vaco en A (la funcin cuya grfica es el conjunto vaco), por tanto a 0 = 1 (ntese, en particular,
que o = 1).
fa
=~o.
..___.._,.__.,,
n veces
p. p....p=p"
6.5 .4. Teorema. Sea (a1) 1 e1 una familia de nmeros cardinales tales
.que, paa todo i E I, sea a1 =a. Entonces, siendo b el nmero cardinal
del conjunto de ndices 1, se tiene 1 : 1a1 ab.
> a.
1
111
nmeros cardinales.
Demostracin. De acuerdo con el corolario precedente para todo conjunto X de cardinales existe un cardinal a mayor que todos los de X,
y por lo tanto a (/: X
:~- =
'
156
)~,,f'.>
. '
"
.~. ~
157
Ejemplos
l
(.
i
1
'*
~.
(x)
= -12
-x
l
1
que
es numerable y, para todo 1 E :f, e (N1) = K~(I) = Ko, es S numerable ~n virtud de 6.4.12. Desde que N es coordinable con N{ o} e S, se
tiene finalmente e (S) = Ko.
Con el mismo razonamiento se prueba que el conjunto de sucesiones
finitas de nmeros racionales es numerable.
,;
NUMERUS CARDINALES
X; -a .-
c=c((O,l))=c{A-A')
{1)
N en {O, I}, de donde e (A) = 2HO. Adems, existe una inyeccin de A'
en el conjunto de sucesiones finitas de nmeros naturales {haciendo
corresponder, por ejemplo, a la sucesin { I, O, I, l, O, I, ... , 1... }
la sucesin finita { 1, O, l, 1, O}, con lo cual, de acuerdo con 6.5 .10,
es e (A') <K 0 ).
159
158
:_,.. .
-: ~
NUMEROS CARDINALES
.'
1
l
Ejercicios
1
Deducir de a),
c) cm =e, para todo m finito
d) KoC =c.
Deducir de b ),
e)"Xoxo =e,
f) e'" = e, para todo m finito,
g) si (a")" EN es una sucesin de nmeros cardinales tales que
2 < " <e, para todo n E N, se tiene nE
P N " = c. En particular,
l. 2. 3, ... n. n + l. . , . = c.
6.S.17. Sea A un alfabeto finito. Una palabra formada con letras de A
es una sucesin finita de elementos de A. Suponiendo que no hay
restriccin en cuanto a la longitud de las palabras, calcular el cardinal del conjunto de todas las palabras pos.Oles escritas con el
alfabeto A.
tit
., .
,'..
~
. ,
}(j()
161
,-.,..
( .,J
,.
,.
CAPITULO VII
EL AXIOMA DE ELECCIN
----
7.1.l. Para todo conjunto de conjuntos '3- cuyos elementos son no vacos
y disjuntos dos a dos existe, por lo menos, un conjunto Z que contiene un
elemento y solo uno de cada conjunto perteneciente a 'J.
-+
;~. ~:
162
...--.
El
X Y
7 .1.2 .
7.1.3. Para todo conjunto de conjuntos J. cuyos elementos son no va_<;_os
existe una funcin{,: '5-+ x~ 1 X tal que, para todo X E "5 J, (X) E X. -J
1E
i1
' "1
. _ , ~ -M
~~:\f::fZ,-:,. ..
= :c.
XE
J:/~
. :~.: ;,; ~r;.~;:,r'.~,<.t';'.'..il'.~',,,.
f.;~ - .-t: '!~~~"" 1!
-
f"
,<. "
163
.. .
l..
!l'
J .4. Para toda familia de conjuntos (X;); E 1 tal que, para todo i E 1,
1
q,, el producto
':!=
cartesiano;~ 1 X1
es no vaco.
-S.
V (es decir, los conjuntos ordenados (V, Rv) y (V, R'v) son iguales),
porque si x e y son dos elementos distintos de V tales que y R x es
y E S:c = S~ con lo cual se tien~ y
x. Por otra parte, {V, Rv) = {V, R'v)
es segmento de (X, R) y de (X , R ). En efecto, sean x E V e y E X tales
que y Rx, y* X, luego y E S.x = s~. de donde y X 'lX'. Por tanto,
para probar que y E V resta slo demostrar que Sy = Sy. Puesto que
y E S:c = S~ se tiene y R x e y R' x, con lo cual, por la transitividad de
R y R', resulta Sy C S:c = S~ y S' C S~ = S:c. Teniendo en cuenta
ahora que la igualdad 'S";c = s~ impflca que los rdenes inducidos por
(X, R) _y (X~ R') sobre S.x coinciden, resulta Sy = S~ y por la misma
S'y Luego, (V, Rv) es segmento de (X, R). En la misma
razn Sy
forma se prueba que lo es de (X', R'}. Con esto, si se demuestra que V es
t~f
1'
;. l. .'
;
'"-:.-:.-;,.
b~,"~64 ~.}
~~ ,.-.,
'>' ,:;t .~
..
165
..;.:
j
!
/\' = /\ -
Ejercicios
(E,
=6
(.\u)
f
y
c.
X El
,.
Ejemplo.
El lector que haya tenido dificultades en la comprensin de la demostracin del teorema precedente podr seguir todos los pasos de la misma en el
siguiente caso concreto.
Tomemos como A el conjunto [O. 7) X [O. 6)
lo con el orden producto en N X N, es decir
N X N ordenndo-
~-~1~
/l/i"
166
167
<#
1:: 1. ,t .\'IOMA DE
I::u-:ccruN
u X.
X f 1-
flt111t1J'lf.
Para <los funciones g , li <le :. diremos que g .:;;;; /1 si y solo si h ext iende
a g . sta es una rcla1:in <le or<len en F (ver 4.2 .<1 ). Sea (C' .:;;;;) un subcon.i unto tolalmente lmknatlo de (F . .:;;;;) y llamemos. 'para toda g E C. f>g
al <.lominio <ll' g {por t anto .5> .1: C 'l ). Puesto que si X E f> /(' n f)i: es
f! (X) = ![' (X). 1ue<ll' <le fi nirsc una funcin f: U B
x u ..._X. como :
'
7
FiKura 40
~\.
168
'
:El'
"'
...
tT
.(,, ( X)=
-
para X E~
l xt (X).
.para X = X
0
queda definida una funcin & 'E F que extiende a fi en cont radiccin con
el hecho de ser~ maximal de (F. q.
De los dos ltimos teoremas, y recordando que el axioma de eleccin
es equivalente al principio de buena ordenaci n, resulta :
7.3.4. Corolario.
169
1
~I
'
I!
,,1
'!
X= T1X1
170
+ ... + TnXn
Le~
J.,.
rx
+ r 1 x1
+ .. . + rmXm
de donde se deduce
X= -
r,
-x 1
=O
'm
- xm,
r
Se dice que n nmeros reales x 1 , ,Xn son "linealmente dependientes" si es posible encontrar n nmeros racionales r 1 , ,rn, no todos
nulos, tales que
EL AXIOMA DE E LECCION
K y b1 E B, i
= 1, . . . , n
ji
f(x)
171
' : ~
EL AXIOMA DE ELECCION
+y
(r 1 + s 1) b 1 + ... + (rn + sn) bn, de donde f (x +y)=
=(r 1 +ss)/(b1)+ ... +(rn +sn)f(bn))=r1f(b1)+ ... +rnf(bn)) +
+ (s1 +f(bi)+ (sn f(bn)) = f(x) + Ef (y).
J
J
e ((E X D) U (D X E) U (D X O)) = 3b
= b.
<b b =b
y, como por otra parte b.< a+ b, resulta a+ b = b.
pqv
pr1v
pq
+b <b +b
= g (x),
u
'
X pq<1
X prru
z.
En R (E)= t/>.
Ci.
F X F
= 2b
F. E
= (E U D) X (E U D) = (E X E) u (E X D) u (D X E) U (D X D).
e (E X D) =e (D X E) =e (D X D) = b 2 = b,
(1)
de donde, teniendo en cuenta que los conjuntos que aparecen en ias iguaidades (1) son disjuntos dos a dos, ya que D () E
~. resulta
efecto, si z E E 0 n R (E0 ) deben existir S 1 , ~,E C tales que z E S1 y para algn x E S2 , x R z. Si S 1 e~ resulta z E~ n R (~)y si ~ e S 1
es z E S 1 n R (S 1 ) en contra del hecho de ser S 1 y ~ estables interiormente.
Luego, E0 es cota superior de C en (f,, C), con lo cual,
C) est
en las hiptesis del lema de Zom y tiene por lo tanto elementos maxi
males.
(p.
!I
172
'
173
-~1
''
' 7.:;1-~
... '
...
CAPITULO VIII
!
a) pa q
b) paa y baq.
Se demuestra fcilmente que a' es un orden que extiende a a cumpliendo
adems a a' b.
Si se representan los elementos del conjunto A por puntos, y, para
todo par x, y de elementos de A se representa la relacin x a y por
un arco de x hacia y, la construccin de a ' a partir de a equivale a
trazar un arco de a hacia b y luego completar por transitividad, es decir
agregar los arcos necesarios para que la relacin sea transitiva . En la figura
siguiente los arcos en lnea llena representan un orden a y los marcados con
lneas de puntos los arcos agregados par:i lograr una extensin a' tal que
aa' b.
.~
t,
,'',. ,~
, ..
I'\
1'
'\
'
'-\
: : ~~
h
v.',
\~
a..;; b.
Figura 41
174
''
1
1
1
= {x:
E A. a< X< b}
175
(a, b)
= {x:
x E A, a< x
Ejemplos
8.2.8.
2) Si A y B son conjuntos totalmente ordenados, para que una biyeccin'f: A ~ B sea un isomorfismo es suficiente que f sea un morfismo
de A en B o - 1 un morfismo de Ben A. En efecto, supongamos que fes un
morfismo de A en B, entonces, para todo par x, y de elementos de A se
verifica, x <.y implica f(x) <.f(y). Recprocamente, si para x,y, E A
se tienef(x) <:.f(y), puesto que A est totalmente ordenado, vale una de las
dos relaciones: x :(;y o x >y, no pudiendo ser verdadera x >y porque
en ese caso se tendra f{x) > f (y).
176
Observaciones
<f'
si y solo si
1f
refina
7r'
(ver 3.13.l ).
xEA}.
Recprocamente, sean A/R
< A/R'
177
Ejercicios
8.2.13. Probar que la composicin de morfismos de conjuntos ordenados
es un morfismo de conjuntos ordenad os.
f y g son isomorfismos, f
180
8.4.2. Definicin.
+ B la suma ordinal de
T
A y B, supuestos
la suma de los tipos de orden a yT.
Ejemplos
En los ejemplos que siguen cuando no se explicite el orden de algunos
conjuntos finitos o numerables quedar sobreentendido que es el de la
escritura. Por ejemplo, cuando resulte conveniente designaremos con
{O, I , ... , n ... } el conjunto de los nmeros naturales con el orden
usual.
+ 2 = 2 + 4 = 6. En efecto, 4 y 2 son respectivamente los tipos de orden de los conjuntos {O, 1, 2, 3} y { 4, 5}. Luego, 4 + 2
es el tipo de orden de {O, l, 2, 3, 4, 5} que es 6. Teniendo en cuenta
que 2 es tambin el tipo de orden {O;l} y 4 de {2,3,4,5},
resulta 2 + 4 = 6.
8.4.3. 4
8.4.4. 1
181
'.
'
<
Observacin. Si n designa un cardinal finito, de acuerdo con las notaciones precedentes, n designa tambin un tipo de orden finito y se tiene
n n*. En cambio, w w, ya que w tiene primer elemento y w
no (ver 82.12).
8.4.8. Teorema. La adicin de tipos de orden es asociativa. No es conmutativa, en general, pero lo es para los tipos de orden finitos .
Demostracin. Resulta inmediatamente de Ja definicin que la suma
ordinal de conjuntos ordenados es asociativa, de donde se desprende la
asociatividad de la suma de tipos de orden.
Los ejempl~s 8.4.4, 5, demuestran que la suma de tipos de orden no es
en general conmutativa.
Sean n y m tipos de orden finitos. Como la suma ordinal de dos
conjuntos finitos, totalmente ordenados, es tambin finita y totalmente orde
nada y como dos conjuntos finitos, coordinables, totalmente ordenados son
isomorfos (ver 82.9), se tiene, n + m = m + n.
Ejercicios
182
;
183
. !1'7.. ~'
.
-~
b) u E A, v E A e i
<j
en l.
;1 1 a'la
1
l.
B tiene supremo en B. o X
= ti> y
X tiene supremo
en A.
1
1
la suma de tipos de orden depende solo del tipo de orden del conjun
to de ir.dices.)
r1
;t
Ejercicios
8.4.11. Para el tipo de orden w de los naturales con el orden opuesto al
usual, demostrar:
a) para todo ordinal finito n, w
b) w, l + w, 2
todos distintos,
+ n = w,
+ w, . .. , n + w, . .. ,
8.4.19. Demostrar que si n y n' son tipos de orden finitos y a, a' tipos
de orden sin primer elemento entonces la igualdad n + o = n' +
+ a' implica n = n' y o = o'.
c) w
+ w '1= w + w.
184
185
!~
~
< b' en
B,o b
1 1
;~\(A
1:
U})= rp,
para i -:l=j.
Para cada i E
el producto ordinal A {i} tiene tipo de orden o, por
ser isomorfo a A, de modo que la suma ordinal de la familia -;. =
(A X { i}); e 1 ti.!ne tipo de orden ~ 1 o;. De acuerdo con las definiciones,
esta suma ordinal es el conjunto
1~ 1
wn,...
J
tipos de orden_ fini1os y supongamos que los productos ordinales
N [ I , n] y N [ 1. m] son isomorfos. Es fcit ver que un isomorfismo
de conjuntos ordenados coordina los elementos de su dominio
que no tiene predecesor inmediato con los de su codominio que
tampoco los tienen . En este caso esos conjuntos son respectivavamente {(0 . 1), . .. ,(0,n)} y {(O,!), .. . ,(0,m)} con lo cual resultan= m.
Ejemplos
85.3. 2w = w y w2 = w + w
A.
- - ".!~
2) (a, i) y (a', i') pertenecen a distintos conjuntos E y E', respectivamente de 1 y E precede a E' en el orden de l.
Puesto que la condicin 1) equivale a "i = i' y a <a' en A" y la
2) a "i
y i < / en I", resulta que A X 1 ordenado por o: es el producto
ordinal de A por 1, cuyo tipo de orden es a ord (1).
*/
~1
8.5.6. Teorema. Si a,
igualdades,
a) aO = Oa
b) o l = l o
= O,
= a,
c) (o r) X= o (rX) (asociatividad),
d) a (T +X)= ar+ a X (distributi~dad a izquierda).
Si n y m son tipos de orden finitos, entonces nm
= mn.
187
c) Sean A, B y
conjuntos ordenados cuyos tipos de orden son,
respectivamente, o, r y X.
'-----'
n veces
Nota. Habiendo definido el producto de dos tipos de orden el paso siguiente sera dar la definicin de producto de una familia de tipos de orden
en forma tal que se reencontrara la definicin primitiva para el caso de una
familia finita . Ello se puede hacer fcilmente siempre que se exija una condicin al conjunto de ndices de la familia. Sea (A;); E 1 una familia de conjuntos ordenados tal que 1es un conjunto ordenado con la propiedad <le que todo subconjunto no vaco tiene ltimo elemento (es decir 1 est bien ordenado). La relacin dada por (x;)f'I < (xi)f'I si y solo si para el ltimo elemen to k del conjunto de ndices i tales que X ::/= X , resulte xk < xic , comp!eta1fa por reflexividad, es un orden en . 1T A. Queda determinado entonces
1 E
,..
!) xEByx'EC,
< x' en
B,
3) x,x',ECyx<x'enC,
4) x
= x' y a <a' en A.
+ 1) 2 = (w + 1) + (w +
I)
=w +
(1 + w) + 1 = ~ + w +
+l=wl+I,
(a, x) ,;; (a', x'), con a, a', E A. y x, x', E B U C, si y solo si vale una
de las condiciones siguientes,
2) x, x', E B y x
Sean A y B conjuntos ordenados de tipo de orden o y X respectivamente. La relacin a ..;; A si y solo si A es isomorfo a una parte de B, es un
preorden (ejercicio 8.8.14) tal que o..;; A implica e (o)~ e (A). Pero esta
relacin no es un orden en todo conjunto de tipos de orden y adems hay
pares de tipos de orden no comparables, como w y w (w no tiene ltimo
elemento y todo subconjunto de w s lo tiene y w no tiene primer elemento y todo subconjunto de w s lo tiene). Se introducen entonces tipos
de orden especiales, l!amados ordinales, con la propiedad de que la relacin
~ es de orden total en todo conjunto de ordinales.
8.6.1. Definicf~n. Se llama ordinal o nmero ordinal al tipo de orden
de un conjunto bien ordenado.
188
189
....
TIPOS DE ORDEN Y NUMEROS ORDINALES
lNTRODUCClON A LA TEORIA DE CONJUNTOS
exi~encia
U A
fl
Puesto que 1 est bien ordenado , existe i 0 , primer elemento del conjunto
de ndices de 1 tales que B n A1 -:/= cf>. Como B n A; 0 i;s un subconjunto .
no vaco de A;Q tiene primer elemento, al cual lo designaremos con b 0
De acuerdo con la definicin del orden a, b 0 es primer elemento de B.
Teniendo en cuenta la definicin 8.4.10, se deduce inmediatamente
el siguiente
8 .6.3. Coro/mio. Si (a;); f 1 es una familia de ordinales tal que el conjunto
de ndices 1 est bien ordenado, la suma l~
a,. es un ordinal.
tl .
8 .6.4. Teorema. El producto de un nmero finito de ordinales es un
ordinal. En particular, toda potencia de exponente finito de un ordinal es
un ordinal.
"
8.7 .2. Teorema. Sean A y B conjuntos bien ordenados. Si f y g transforman A isomrficamente en segmentos de B, en ton ces f = g .
Ejemplos.
8.6.5. Puesto que el conjunto de los nmeros naturales, con el orden usual ,
est bien ordenado, el tipo de orden w es un nmero ordinal. De
acuerdo con los resultados precedentes son tambin ordinales,
w + 1, ... , w + n, . .. , w + w = w2, ... , ww = w 2 , etc. En
cambio w no es un nmero ordinal.
(z)
isomorfismo,
f: X.
190
Demostracin. Basta demostrar que A no es isomo1fo a ningn segmento propio de un subconjunto porque esta asercin implica la primera y por
lo tanto la tercera,. ya que, dados dos segmentos S y S' de A se tiene que
s es segmento de s' o s' es segmento de s. (Ntese tambin que la
primera asercin es consecuencia inmediata de 8.7.2.)
Sea A' C A y S un segmento propio de A'. Luego, para algn
a E A' puede escribirse, S = Sa = {x: x E A', x <a}. Entonces, para toda
funcin[: A-+ S debe cumplirse f (a)< a, con lo cual, teniendo en cuenta
el lema precedente, A y S no pueden ser isomorfos.
j
.\'
E;jercicios.
8.7.6. Demostrar que si A es U!\ conjunto ordenado de tipo de orden
w"' + w, entonces existen infinitos isomorfismos de A en A,
en contraste con lo que sucede para los conjuntos bien ordenados
(ver 8.7 2).
192
Ejemplos
8.8.4. El nmero ordinalw es mayor que todo ordinal finito, puesto que
un ordinal finito es el tipo de orden de un intervalo natural.
Adems, para todo ordinal infinito a, se cumple w .;;;;; ti!, puesto que,
193
+ I) es el
f (N) C A
195
Sean a,
8.9.2. Corolario.
Entonces,
Ejercicios
a) a+ a< (3 +A
b) aa<(3>..
a+a<a+>...;;;11+>..
y si a =FO,
aa<a>...;;;(3>._
(Si a =O, vale evidentemente la desigualdad b.)
Los dos corolarios siguientes son consecuencia inmediata de 8.9.l.
oy
o< A,
entonces,
a+ o< a+ A
b) a+ao;;;x+a
a)
a= a +X implica o= X,
b) si a =f. O, la igualdad a o= a X implica o = >...
a)
la igualdad a+
i 1
8.9.S. Teorema. Si a , f3 y >.. son ordinales tales que X< cxfj, entonces
yo
o.
= ord
Sea. b) =
ASb
+ S.
A.
o <O'.
o,
ar+o=a17'.+' y <cx,o'<a.
(1)
197
,
INTRODUCCJON A LA TEORIA DE CONJUNTOS
Si r -:f:: 11', por ejemplo r < r', se tiene r + 1 ~ i', con lo cual ar + a +
f>' <ar' + f>' = ar + f>. Pero entonces a+ f>' < f>, y puesto que
a <a + 8' resulta a < b en contra de lo supuesto. Por lo tanto r = r'
y de la igualdad (1) y del corolario 8 .9.4 se deduce 8 = 8'.
fEI
i E1
I E1
todo i E l, (3
go ,
f3'
198
AES
i E1 .
= sup (a
fEI
+ (3;).
+ /3;) < a + (3
Supongamos, por el absurdo que (31 < a + (3, entonces, a + f> <a + (3,
de donde, aplicando el corolario 8.9.3, resulta f> < (3. Luego, existe i E 1
tal que, <'i < /3;, con lo cual (3' = o: + f> <a + /3, en contra de la definicin
de /3'.
b) Sean ahora (3 = sup (3 y (3 1 = sup a(3 . La proposicin es evidertte
i E1
i E1
/3 1
8.10.2. Definicin. Sea X un conjunto de ordinales. Se dice que un
ordinal a0 es el "supremo de X" si a0 es mayor o igual que todo
elemento de X y si no existe un ordinal menor que a 0 que sea a su vez
mayor o igual que todo ordinal de X.
= sup (a
<a .
f3'
< a(3 .
Puesto que 17 < (3, existe i E 1 tal que r < (3;, de donde, a71
luego, por aplicacin de 8.9.1, resulta,
(3 1 =ar
f>
< af3; + a = a
({3 + 1).
< a(3 ,
(1)
Ya que (3 < (3, se cumple, (31 + l t;;; (3, pero siendo f3 de segunda especie ,
f3; + l < fJ. Entonces, existe k E l tal que f3r + 1 < (3k y de la desigualdad
(l) resulta
<a
f31
({3
en contra de la definicin de (3 1
l)
< a(3k>
Observacin. Las igualdades (sup fJ1) +a= sup (fJ1 +a) y (sup /3;) a =
/El
/1
iEI
199
= sup (tl;ex)
/1
= w + 2,
110
+2=
nw
= sup {nk; k
finito}= w.
L.
k<::w
wk
= 1 + w + w 2 + ... + wk + ...
1) o: = 1
2) atJ+1 = aea
Ejemplos
a~= 1
= wmI'
por 8. l O.6, en centrad iccin con la definicin ww.
8.10.10. Teorema.
= a , etc.
es mayor
k<w
a) Si a,
a 1 =a
wk
< 1 + w + w2 + ... + wm +I
a 2 = a'
resulta ww ~ ~
k-.....W
L.
k<::w
y a> 1, la relacin
a'
= supalJi
I 1
c) Si a, ex' y
1+w
w2
+ . . . + c,J"
= w" .
aP
= O < a 1 = a.
Supongamos que la relacin tJ < X implica atl < a>.. para todo X < 'Y,
y sea (3 <'Y. Si 'Y es de primP.ra especie, entonces (3 ~'Y - l, con lo cual,
cxfJ ~ cxr 1 , pero, puesto que 1 <a, de 8.9.1 c) resulta, a-Y-t <ex
<ar 1 a=a.1',dedondeaP <a.'Y.
Si 'Y es de segunda especie, por definicin, se tiene a-Y = sup {a>..;
X < i'.} y tl < (3 + 1 < 'Y, de donde. empleando adems la hiptesis inductiva, resulta
201
i 1
la igualdad: afJ = a.
Si {3 es un ordinal de la familia ((31); e 1, por la parte a) . all es el ltimo
elemento de la familia (af1i); e i. con lo cual, a =a ll.
Supongamos ahora que la familia (/3;); e 1 no tiene ltimo elemento.
Entonces (3 es de segunda especie Y. de acuerdo con la definicin de
potencia
(1)
afJ=sup{aX;>..<{3}.
(1)
(al =a>.. .
de donde, a > ax, con lo cual, por (1) resulta all .;;;; a. Por otra parte, para
todo i E 1, {3 < (3, de donde, all< all, con lo cual a.;;;; all .
all
Sea A.< {3 , luego, debe existir j E 1 tal que f3; >A. , entonces, por la
parte a)
all> a"-
'
'
xo . mientras que
a) aall = aa.fJ
Ejercicios
b) (af =a ll
vil = a (vll- 1 a) =
= aa.(/J-1 +1>. = all.
a
(a
202
~-
,
11\TIWVt'CCIU.'V A l.A Tf:DHIA VE CONJUNTOS
CAPITULO IX
APLICACION A LA SOCIOLOGIA
2) 'Ea= {Et.1;f3<a}.
Ea tiene
1) </!E Eex
2) Si a E b y b E Ea entonces a E Ea.
a ,;:;;; b si y solo si a
204
~~-
9 .1.3. Teorema.
propiedades:
'
b) R es transjtiv<1 .
c) x Ry e y R x implican x 1y .
d) Para todo par x , y de objetos de S ..se cumple: x R y o y R x.
e) x R y si y solo si y P x.
A. 2.
X.
La relacin 1 es de equivalcnda .
A. 2.
A. 4.
'P y e y 1 z implican x P 1.
Kesulta a 111enuJo m:s conveniente trabajar con una sola relacin
R que en!lobe a las relaciones 1 y I' en lugar de hacerlo con stas por
separado. Lsta rebcin se llama de .. indiferencia o pre(erenca .. o de
.. preferencia o indiferenci;i. imlistntamente. y tiene la siguiente definicin :
9 .1.2. Defi11ici11. Sean 1 y P rel<1cones de indiferencia y preferencia res
pectivamentc en un conjunto S de alternativas ..Una relacin R en S se
llam;i de "indiferencia o preferencia .. (o de .. preferencia o indiferencia")
con respecto a 1 y ;i I' s: x R y si y solo si x l y o x I' y.
Se dice que 1<1 relacin R ha sido construida a partir de P e l.y que
I' e 1 son las rcl<1ciones de preferencia e indiferencia , respectivamente ,
1:orrespondie11tes a R.
20<1
Sea S tln conjunto de alternat ivas y sean 11 ind ivid11us q11e 111trod11cen
relaciones de indi ferencia y 11 J e prefcren..:ia en S. es Jer. p;ira c:ala
par de objetos x . y de S. cada indi viJ110 Jecid ir;i si prL'fie rc x a .1 . .1 a x
o le es indiferente x o y . con lo cual c<1da ind ivid uo i i11troJ11ce un:i
rc l:it:in de indiferencia I y una de prl'fcrencia I',. Para c:1d:i i. a la rela cin
J e inJi fcrencia o prcferenci:i R; correspondiente a 1, y a I'; se la llama
..preorden individu:il sobre s.
Se t ien e entonce~ para cada conjunto de 11 i11 J iviJ uos. una fa milia\ R 1 .
. . . . R11 ) de pre rJ enes individuales sobre S. pero i:omo los inJiviJ11os.
se supone. constit uyen una com uniJad. es necesari o encontrar una nica
relacin de preferencia o indi fc renci<1 en S. que ser la rebc in de la
comuniJad o de la socied aJ . Se su po11Jr q11e J icha comunidad est:i co111puesta por un nmero 11 fij o de ind ivid uos. y que cada individ uo est ablece
s11 rela..:in de indifcrL"ncia o prefcrenci:i sobre S. Es de esperar que l<1 relacit'in
de la sociedad Jepcnda de J;i total idad de los 11 prerdenes individuales.
Lo que se busca cs. entonces. un mtoJo o siste ma que permita
asimar a c:ida familia { R 1 . .. . . H. 11 f Je relacio nes de indiferencia o
preferem:ia sobre un mismo conju nto S. una rcl<1cin de prefcrtncia o
nJifcrencia en e~ co njun to. Tal sistema . <1dem:s. tendr que poder ser
aplicado a diferentes conjuntos de ;ilterant ivas. los niales furmar~n.
entonces. un conjunto de co njuntos l. y a Jiferrntes com unidaJes.
l'or otra parte . supn ~asc que p:ira dos alternativas x e y de un conjunto
S. un individuo determinado prefiere ,\ a y . Si luego se agregan o suprimen
alternativas. con excepcin de .\" e y. se oh t1e1ie llll nuevo conjunto s ' :
es de esperar que tambin en este c;1so prefiera x a y. es decir. su eleccin
entre x e y depende solo de este par de altem;it ivas con exclusin de las
11
a) R es reflexiva.
207
~
APl.ICACIN A l.A SVCIO/. c>c;1'.
implica x P' y
b) x ly
implica x R' y
209
208
'
---1
- ------ - -- - - -- --
---.:.~---='-~
{I
INTRODUCCIUN A /.A Tl:"ORIA DE CONJUNTOS
Nota. De acuerdo con la definicin 9.3.3, la condicin de no imposicin para una funcin social fs puede reformularse en la forma siguiente ,
la cual ser de utilidad en demostraciones posteriores.
Una funcin social fs no es impuesta si y solo si para cada par x. y
de elementos distintos de S y para todo 11, existe una familia { R 1 , R 11 }
de relaciones de preferenri:i o indiferencia sobre S tal que.
R=/s({R 1 R,,}). se tiene x~ v lo equivalentementerPx,donde
Pes la relacin Je preferencia corresJ<mdiente a K.).
l
:
t'
'
1.1
1
= {i:
Py}
..,_
' '-'
9.4.2. Teorema
Sea ~
un conjunto de conjuntos de alternativas compuestos
exactamente de dos elementos cada uno. Para cada S E S . la s
relaciones Pe 1 obtenidas por decisin mayoritaria son relacionesde preferencia e indiferencia respectiv:imente, y llamandofs a la funcin que a cada
familia de relaciones de preferencia o indiferencia sobre S. le hace corres
ponder la relacin de preferencia o indiferencia construida a partir de Pe l.
el conjunto de funciones {15 : SES }es un sistema de eleccin de bienestar
social.
"
(2)
211
-..__
. . '1
A PLJCACJON A LA SOCIOLOGJA
1'
'
~'
1
. 1
1
1
12.
Demos!raci11. Sea { R' 1 , ... , R 111 } una familia de relaciones de preferenc ia o indiferencia sobre S tal que, para todo i E V, se cumple
x P';J'. En estas condiciones resulta que, para i = l, ... ,n, R'; sigue a R;
en preferencia de x respecto de y. En efecto, si x P y, por ia condicin a)
<le la hiptesis. se tiene i E V, con lo cual x P'; y, y corno por otra parte la
posibilidad x !; y est excluida, resulta lo afirmado. Luego llamando
R=/s ({ R1 ..... Rn})yR' =fs({R1 1 , .. .,R'n}) puesto quefs asocia
positivamente valores indivd uales y sociales, resulta que R' sigue a R en
preferencia de x respecto de y, y como adems se tiene por hiptesis
x I' y se deduce f:naimente x P' y.
'
~;
1
Demostracin. Sea { R 1 , ... , R11 } un:. familia de relaciones de indifeierencia u preferencia sobre S tal que, para i = l, ... , 11, se.cumple xP_1:
y sea R =.fs({R 1... .,R,,}). Puesto que fs no es impuesta existe una
familia { R' 1 .... , R'n} de relaciones de indiferencia o preferencia sobre
S tal que, siendo R' =f5 ({ R' 1 , ... R'n}) se cumple ,x P' y, donde P'
es ia relacin ce preferencia correspondiente a R'.
Como, para i = 1 . , 11. R; sigue a R 1; en preferencia de x respecto
de y, se tiene. por la positiva asociacin de valores individuales y sociales,
que R sigue a R' en preferencia de x respecto de y, y como x P' y se tiene
x P y, con lo cual N es decisivo para x versus y respecto de fs y de 11.
9 .4.7. lema. Sea f 5 una funcin de bienestar social sobre un conjunto
S compuesto por lo menos de tres elemento!.'.. x e y dos eier"::ntos dis213
APl.lCACION A LA SOCIOLOGIA
D<'mostraci11. a) Sean z
*x y {R
fs
11
!"
t:
designa
:: i= y y la familia { R 1
/s
1.:
..
_:
Js
4.
.;;; 11,
11 .
2) Para torl J i E V 2
~.
par:i to<lo
11
tal que
11 -:/=
x.
11
if=
_1 .
11
tal que
w-:f=z,w-4:x.
3) Para todo i E V 3 y I'; ::. z P; x. x I;
wif=y, 1vif=;: .
* :.
*
11',
para todo
11
tal que
214
1
...
~15
~
~
INTRODUCC/ON A LA TEORIA DE CONJUNTOS
,.
/,
BIBLIOCRAFIA
'\
En esta bibliografa se han indiC3do solamente !as obras expresamente mencionadas en el texto y otras de carcter general Para ur.a bibliografa ms completa,
consultar (10).
l. ARROW, K.: Social Choice and Individual Values, Cowles Commission for
Research in Economics, Monograph N 12; J. Wiley & Sons, Nueva York,
1951.
2. BIRKHOFF, G.: Lattice Theory. Ameiican Mathematical Society (Colloquium
Publications, vol. 25); Nueva York, 1948 ..
3. BIRKHOFF, G. y MACLANE, S.: Algebra Moderna. Vicens Vives; Barcelona,
1963.
4. BOURBAKI, N.: Thorie des enscmbles, cha p. 1, 2. Hermann ei Cie. ( 1212); Pars,
1960.
5. BOURBAKI, N.: Thorie des ensembles, cha p. 3. Hermann ( 1243); Pars, 1956.
6. BOURBAKI, N.: Thorie des ensemhles (Fasc1cute de rsultats). HermaM (846);
Par~ 1936.
7. CANTOR, G.: Conuibutions to the fot!nding of th~ Theory of Transfinite
Numbers. Traduccin inglesa por P. Jourdain. Dover Publications: Nueva
York, 1952.
~
8. COHEN, P.: Set Theory and the Continuum Hypothcsis. Benj;;min; Nueva York,
1966.
North-Holland;Amst~rdarn,
1953. (Nueva
11. HALMOS, P.: Naive Set Theory. Van Nostrand; Nueva York, 1960. (traducido al
espaol por CECSA, 1965).
12. KAMKE, E.: Theory of Sets, (traduccin). Dover Publications; Nueva York, 1950.
13. KELLEY, J.: General Topology. Van Nostrand; Nueva York, 1955. (traducido al
espaol por EUDEBA).
.,
16. SIERPINSKY, W.: Le~ns sur les nombres transfinis. Gauthier Villars, PariS, 1928.
~16
..
217
..
-.
~ :
NDICE TERM.INOLGICO
4l
.
~}~
~-
219
''
3.13.2.
Decisin mayoritaria (relacn obtenida por), 9.4. 1.
Decisivo (conjunto); 9.4.3 .
- mnima! (conjunto), 8.4.4.
Decreciente (aplicacin), 8.2. 1.
De Morgan (frmulas), 2.5.2, 2.7.6 .
Diagonal de A x A, 3.6 .6 .
220
. ...
..
....
INDIC<TCRMIN~
--
Hamel
(ba~e),
7.4.1.
5. 2. 24.
Ms fino (cubrimiento), 3. 13.1.
Mayor elemento, 4.6. 1.
Maximal. 4.4.1.
~ enor elemento, 4.6.1.
Menos fina (relacin de e4uivalencia), 5. 2. 24.
Menos fino (cubrimiento), 3. 13. l.
Mnima!, 4.4.1.
Mdulo p (congruencia, entero),
.'i .3.2.
Montona (aplicacin), 8.2.1.
Morfismo (de conjuntos ordenados), 8.2.1.
Numerable (conjunto), 6. 1.7.
Nmero aigebraico, 6.5. 13.
cardinal, 6. 1.1.
- entero, 5.4. 1.
lmite, 8.10. 1.
- ordina 1, 8.6. l.
raci0nal. 5.4 .:.
Orden lrdacin de), 4.:'.. l.
- inducidc, 4.:!.7.
- lexic0grfico, 4 .6.13.
producto, 4.6.12.
- total. 4.3. l.
Ordenado (conjunto}, 4.2.2.
- (par), 2.8. 1.
Ordinal (nmero), 8.6. l.
- inicial. 8.8. 1 1.
Ordinales de primera y segunda
especie, 8. 1O.1 .
Orientacin (de una recta), .'i .4.4.
Origen (de un intervalo), 8.1.1.
Par ordenado. 2.8. I .
Particin (de un conjunto),
3. 13.17 .. 3.13 .18.
- cannicamente asociada a una
relacin de equivalencia, .'i .2.8.
Plano proyectivo, 5.4.8.
Postulado de buena ordenacin,
7.2. 1.1.
Potencia (de nmeros cardinales),
6.5 .
(de nmeros ordinales), 8. 10.4.
- (de un conjunto), 6.1. l.
...
221
'1
\j;i ~
,'
..
222 .
- simtrica. 4.1.2.
- transitiva, 4. 1.4.
Relaciones obtenidas por dedsin
mayoritaria, 9.4.1 .
Representante (de una clase de
equivalencia), 5.2. 1.
Restriccin (de una correspondencia), 3.8, Nota.
-~
Transit iva ( relacin). 4.1.4.
ij
l
...
.
e'
'.' t
_,
r,
223
'41~