3.1.

Preliminares y primeros axiomas

Esteconjunto esprecisamente nx. O
{z I z E y 1\ \:f'/l) ( 7 1 ) E x =}z E w)}.
OE1 vIOSTRACIN. Sean x un conjunto no vaco y y E x, cualquiera, fijo.
Entonces, por el axioma deseparacin podemos formar el conjunto
na: ={z I \:fw (w E x::} Z ET I ))}.
3.1 .1 1 Teorema. S i:1: es unconjunto no vaco, entonces existe unnico con-
junto cuyos elementos son losconjuntos quepertenecen atodos loselementos
dex. A tal conjunto lodenominamos lainterseccin de x y lo notamos con
nx, esdecir,
Presentamos acontinuacin el concepto deinterseccin deunconjunto.
U x {zl:3w(w=av'w=b)I \Z E'w)}
{z l:3w ((t V =a 1\ z E 'w ) V (w =b I \z E w ))}
{.:: I (z E aV.:: E b)}
aUb. O
DEMOSTRACIN.Si a yb sondos conjuntos dados, entonces por el axioma
deapareamiento setieneque existe el conjunto x :={a, b} y, adems por el
axioma delauninpodemos asegurar queexiste Ux. Pero,
3.1 .1 0Teorema. Dados dos conjuntos a y b, existe un nico conjunto, cuyos
elementos SOn,precisamente, los elementos quepertenecen aa oab. Tal con-
jnnto sedenomina launin de1 1 conb y lonotamos cona U b.
ux ={z I :3'tv(W E x 1\ z Ew)}.
DEMOSTRACiN.Dado el conjunto x, el axioma de launin garantiza la
existencia de tal conjunto y. Por otro lado, si yl fuese otro conjunto con la
mismapropiedad quey, entonces, por el axioma deextensionalidad setienela
conclusin. O
A este conjunto y lo llamamos el conjunto unin dex y se notacon Ux.
Esdecir,
3.1 .9Teorema. Si x esunconjunto, entonces el conjunto y garantizado por el
axioma delaunines nico.
119 Matemticas para informtica
"Mlnfo-final" - 2010/10/20 - 7 : 50 - page 1 1 9 - #1 29
Captulo 3. El sistema axomtico ZF
5. Si x ey y y ex, entonces x =y (Antisimetrta).
4. Si x e y yy e z, entonces x e z (Transitividad).
3. x ex (Reflexividad).
2. x < t . x (Irrefexividad).
1. 0 ez.
3.1.14 Teorema. Sean x, y, z conjuntos. Entonces:
el cual es a \ (). O
En el siguiente teorema demostramos propiedades importantes delarelacin
decontenencia entreconjuntos, quesern degran importancia en el futuro.
{z I (z E a 1\ z tb)},
DEMOSTRACiN. Dados los conjuntos Q, y 1J , usando el axioma desepara-
cin, podernos considerar el conjunto
3.1.13 Teorema. Si a y b son dos conjuntos, entonces existeun nico conjun-
to cuyos elementos son precisamente los conjuntos quepertenecen a Q, pero
no pertenecen 3b. A tal conjunto lo llamarnos la diferencia dea con b y lo
notamos con a \ b o tambin con a-b.
x ny =0.
Dos conjuntos queno tienen elementos comunes sedenominan disyuntos.
Esto es, los conjuntos x y y son disyuntos si y solo si
anb= {z I (z E a r. E b)}.
DEMOSTRACIN. El axioma deapareamiento garantiza la existencia del
conjunto {a, b} y por el teorema 3.1.11 tenemos el conjunto a nb. Por lo
tanto,
3.1.12 Teorema. Dados los conjuntos a y b, entonces existeunnico conjunto
cuyos elementos son precisamente los conjuntos quepertenecen tanto a(como
ab. A esteconjunto lo llamamos lainterseccin dea con {I y lo notamos con
anb.
Ismael Gutirrez 120
"Mlnfo-final" - 2010/10/20 - 7:50 - page 120 - #130
3.1. Preliminares y primeros axiomas
ZEUX {:} 3w(wExi\zEw)
=> 3 W ( 1 . 1 ! Ey i\ z E7)))
{:} z E U:v .
5. Supongamos quex e y yseaz cualquiera. Entonces:
3. Seaz cualquiera.
Z E U(xuy)
{:}
3w(wExUyi\zE1V)
{:}
3'wtu E a: vu: E y) i\z E tu)
{:}
3w w E x i\ z E w) V ('w E y i\ z E w
{:}
(3'tu(w E x i\ z E w) V3'tu(w E y i\ z E tu
{:}
(ZEUXVZEUy)
{:}
ZEUXUUy
4. Seaz cualquiera.
ZEU(xny)
{:}
3'w(tuExnyi\zEtu)
{:}
3'ww E x i\ tUE y) i\:; E 'tu)
{:}
3'tu'tuE x i\ z E w) i\ ('tuE y i\z E tu))
=> (3'w(ul E x i\ z E w) i\ 3w(w E y i\ z E w
{:}
(z E U x /\ z E U y)
{:}
zEUxnUy
1. U( i) ={z I 3 1 U ( U I E 0i\ z Ew)} =0.
2. U{x} ={z I 3w('w E {x} i\ z E tu)}={eI ;; EX} =x.
DEMOSTRACiN:
JI. Si x = J 0, entonces nx eUx.
10. Si x = 1 = 0y a E z,entonces nx e a.
9. Si x y y sonno v acos, entonces n(xU:t) =nx n ny.
123 Matemticas para informtica
"Mlnfo-final" - 201 0/1 0/20 - 7:50 - page 123 - #133
Captulo 3. El sistema axomtico ZF
a)xny=ynx
b)xUy=yUx
1. Conmutatividad:
3.1.17Teorema. Sean x, y, z conjuntos. Entonces
Demostramos ahora otras propiedades interesantes de las operaciones U y
n, queestn asociadas al concepto delgebra deBoole.
11. Sedejacomo ejercicio. O
Z E n x {:} Vw('tu E x 1\ z E w) => z E a.
10. Supongamos quex i = 0, a E x y seaz cualquiera, Entonces:
Yw('tu E xUy => z E w)
Yww E x V 'W E y) => z E tI ))
Y'w(-.(w E x Vw E y) Vz E w)
Yww tf _ x 1\ 111 t f _ y) V z E 'w)
Y'wtV t f _ x V Z E tu) 1\ (w t f _ y V z E 'w))
(Y'w(w t f _ a: V z E 'w) 1\ Y'w(w tf _ y V z E w))
(Y11)(W E x => Z E tu) 1\ Yw(w E u= z E 'Iu))
ZEnxnny
z E n(xuy)
{:}
{:}
{:}
{:}
{:}
{:}
{:}
{:}
9. Supongarnos quex, y i = 0y seaz cualquiera. Entonces:
ZEnx {:} Y'w(wEx=>zE'w)
=> Yw(w E y => z E w)
{:} Z E ny.
8. Supongamos quex i = 0,1: e y yseaz cualquiera. Entonces:
7. n{x} ={z I Yw('w E {x} => z E w)} = {eI z E x} =x.
z E a => 3a(a E x 1\ z E a) {:}z E Ux.
6. Supongamos quea E x y seaz cualquiera. Entonces:
I smael Gutirrez 124
"Mlnfo-final" - 2010/10/20 - 7:50 - page 124 - #134