1

Notas de Teora de Conjuntos

Jose Antonio Manguce Tamayo
No podemos definir todo..
No podemos demostrar todo...
Aximas de Zermelo-Frankel
1. (Axioma de Extensionalidad)
Si dos conjuntos tienen exactamente los mismos elementos entonces son iguales.
A B si

(x A x B) A = B.

2. (Axioma del Conjunto Vaco)

Existe un conjunto que no contiene elementos.
B

x
/ B.

3. (Axioma de Parejas)
Para cualesquiera conjuntos U, V existe un conjunto cuyos u
nicos elementos son U y V .
U, V B

(x B x = U x = V ).

4. (Axioma de la Uni
on)
Para cualquier conjunto C existe un conjunto B cuyos elementos son aquellos que pertenecen
al menos a un elemento de C.
C B

(x B A C (x A)).

5. (Axioma del Conjunto Potencia)

Para todo A, existe un conjunto cuyos elementos son subconjuntos de A.
A B

(x B (y (y x y A))).

Definici
on 1. El conjunto al que se refiere (2) es u
nico por el axioma de extensionalidad, a tal
conjunto se le denomina conjunto vaco, y se denota por .
6. (Axioma de Especificaci
on)
Si A es un conjunto y p(x) una condicion que no involucra a A, entonces existe un subconjunto
B de A cuyos elementos son aquellos x A que cumplen con la condicion p(x).
A B

(x B x A p(x)).

Por una condici

on p(x) se entiende una expresion formal en terminos de los operadores logicos y
las sentencias at
omicas x A; A = B; ; ; ; ; .
Proposici
on 1. No existe un conjunto al cual todo conjunto pertenezca.
Demostraci
on. Sea A un conjunto.
Se construira un conjunto que no pertenece a A.
Sea p(x) la condici
on x
/ X, por el axioma de especificacion existe un subconjunto B de A tal
que
x B si y s
olo si x A x
/ X,
suponga que B A, entonces
si B
/ B, entonces B B

2
as mismo
si B B, entonces B
/ B.
Se concluye que B
/ A.
Notaci
on: El conjunto B al que se hace referencia el axioma de especificacion se escribir
a
B = {x A : p(x)} .
1. Si A, B son conjuntos, entonces A B A A B.

Proposici
on 2.

2. Sean A, B, C, D conjuntos, A C y B D, entonces A B C D y A B C D.

Demostraci
on.

1. Si x A B, entonces

x A y x B, en particular x A,
as A B A, ademas por estar x A se tiene que x A B,
as A B A A B.
2.

a) x A B, se tiene que x A o x B,
si x A, por ser A C se tiene que x C,
con esto x C D. Analogamente si x B.
b) Si x A B, entonces x A y x B, por ser
A D y B C se tiene que x D y x C,
as x D C.

Proposici
on 3. Sean A, B, C, D conjuntos, se tiene
1. Idempotencia
A A = A.
2. Leyes Asociativas
A (B C) = (A B) C,
A (B C) = (A B) C.
3. Leyes Distributivas
A (B C) = (A B) (A C),
A (B C) = (A B) (A C).
4. Leyes de De Morgan
C \ (A B) = (C \ C) (C \ B),
C \ (A B) = (C \ A) (C \ B).
5.
A = A.
6.
A = .
7.
A (C \ A) = .

3
8. Si A S, entonces
A S = S,
A S = A,
A (S \ A) = S,
A (S \ A) =
Los axiomas anteriores justifican las siguientes definiciones en el sentido de que aseguran la
existencia de los conjuntos definidos .
1. Para cada par de conjuntos x, y se define el conjunto determinado por x y y, denotado por
{x, y} como el conjunto cuyos u
nicos elementos son x y y.
2. Para cada conjunto A se define el conjunto potencia de A, denotado por P(A), como el conjunto
cuyos elementos son todos los subconjuntos de A.
3. El conjunto B[del axioma (4) es u
nico y se denomina la union de los conjuntos de C, se
denotar
a por
A.
AC

4. Sea C un conjunto. Por el axioma de espesificacion se tiene que

A, B x

(x B x A p(x)).

As si A
/ C y p(x) es la propiedad x C entonces
B

(x B s A x C).

Al conjunto B se le denota por A C y se denomina la interseccion de A con C.

5. El axioma de espesificaci
on garantiza la siguiente definicion.
Sean A, B conjuntos. Se define el complemento de B en A, denotado por A \ B, como el
conjunto S = {t A : t
/ B}.
Definici
on 2. Se dice que dos cunjuntos A, B son equipotentes si existe una biyecci
on entre ellos.
Cuando A, B sean conjuntos equipotentes se denotar
a por A v B.
Proposici
on 4. Sean A, B, C conjuntos
1. A v A.
2. Si A v B entonces B v A.
3. Si A v B y B v C, entonces A v C.
Definici
on 3. Sean A, B conjuntos. Se dice que B domina a A, lo que se denotar
a por A  B, si
A es equipotente a algun subconjunto de B, i.e. si existe una funci
on f : A B inyectiva.
Se dice que B domina extrictamente a A, si A s
olo es equipotente a un subconjunto propio de
B, i.e. si B domina a A pero B no es equipotente a A, se denotar
a por A B.
Proposici
on 5. (Schroder - Cantor - Berstein)
Si A  B y B  A, entonces A B.

4
Demostraci
on. Por hipotesis existen funciones inyectivas
f : A B y g : B A
Sea C0 = A \ g(B) y para cada n N sea Cn+1 = g(f (Cn )).
Sea h : A B definida por

si n N, x Cn
f (x)
h(x) =
1
g (x) si @n N, x Cn
Si @n N tal que x Cn , entonces x
/ C0 , as x g(B), luego !y B tal que g(y) = x y as
h(x) = y.
Sean x1 , x2 A, x1 6= x2
1. Si n, m N tales que x1 Cn y y Cm , entonces
h(x1 ) = f (x1 ) 6= f (x2 ) = h(x2 ).
2. Si no @n, m N tales que x1 Cn y x2 Cm , entonces
h(x1 ) = g 1 (x1 ) 6= g 1 (x2 ) = h(x2 ).
3. Suponga que n N tal que x1 Cn y que @m N tal que x2 Cm , entonces
h(x1 ) = f (x1 ) f (Cn ), h(x2 ) = g 1 (x2 ).
Si h(x1 ) = h(x2 ), entonces g 1 (x2 ) f (Cn )
as u Cn tal que g 1 (x2 ) = f (u).
Con lo anterior se ve que h es inyectiva. Se verifacara que h es sobreyectiva.
Sea y B
1. Si n N tal que y f (Cn ), entonces x Cn tal que y = f (x) = h(x).
2. Si @n N tal que y f (Cn ), entonces g(y)
/ Cn+1 n N y ademas g(y)
/ C0 = A \ g(B),
luego g(y)
/ Cn n N, as h(g(y)) = g 1 (g(y)) = y.
De lo anterior de concluye que h es sobreyedctiva.
h es biyecci
on, i.e. A B.
Comentario: Cantor prueba la proposicion anterior en 1897 usando el axioma de elecci
on.
Proposici
on 6. Sean A, B, C conjuntos tales que A B C.
Si A C, entonces A B y B C.
Demostraci
on. Sabemos que existe f : A C biyeccion.
Sea i : B C la inclusion, luego
f 1 i : B A es inyectiva, as B  A.
Como A B, se tiene que A  B.
Por la Proposi
on 5, B A.
De esta forma se tiene el resultado pues A C y A B, luego B C.
Ejemplo:
El intervalo (a, b) es equipotente a R, pues
xa
es biyeccion, luego (a, b) (0, 1).
g : (a, b) (0, 1) definida por g(x) =
ba

Ahora, considerando f : (0, 1) R definida por f (x) = tang((2x 1) ), vemos que f es

2
biyecci
on, i.e. (0, 1) R.
De donde se obtiene el resultado.
La Proposici
on 3 implica que todo subconjunto de R cuyo dominio es no vaco es equipotente a
R.
En particular, [a, b] (a, b) si a < b.