[31] Axioma de pares: Dado un objeto (un conjunto) A y un objeto

(conjunto) B, existe el conjunto {A, B}.

[32] Definicin: Sea A, B conjuntos. La unin de A y B, denotada A B, es

el conjunto que consta de cada elemento de A y cada elemento de B (y
nada ms). Es decir, un objeto est en A B si y slo s [est en A y/o est
en B]

[33] Axioma de unin (versin incompleta): Dados A, B conjuntos, existe

el conjunto A B.

Ejemplo: Ahora s podemos formar el conjunto {, {}, {{}}}.

Con axioma de conjunto vaco, tenemos .

Con axioma de pares, tenemos {}, {{}}

Con axioma de pares, obtenemos A= {, {}}

Y obtenemos B= {{{}}}

Y con axioma de pares, obtenemos A B = {, {}, {{}}}.

Ejemplo: Si tenemos conjuntos A, B, C, podemos formar {A, B, C} mediante

axiomas de unin y pares = {A} {B} {C} = {A, B, C}

A B = {x:x A x:x B}

Nota: la versin completa del axioma de unin incluye coleccionar

infinitos conjuntos dado un conjunto B (cuyos elementos son conjuntos),
llamamos unin de B a la unin de los elementos B: x B si y slo s B:
x a B para algn a B. Y entonces el axioma dice dado B existe B.

[34] Sean A, B conjuntos. Llamaremos interseccin de A yB, denotada A

B, al conjuntos cuyos elementos son los que pertenecen a A y a B (y
ningn otro objeto)

Ejemplos: (i) {1,2, 3, 4, 5} {4, 5, 6, 7} = {4, 5}

A B = {xA x B}
AB=v

[35] Teorema: Dados conjuntos A, B, C, las operaciones de unin e

interseccin tienen las propiedades siguientes:

(a) Conmutatividad: A B = B A, A B = B A

(b) Asociatividad: A (B C) = (A B) C, A (B C) = (A B) C

(c) Distributividad: A (B C) = (A B) (A C), A (B C) =

(A B) (A C)

(d) Idempotencia: A A = A, A A = A

(e) Absorcin: A (A B) = A, A (A B) = A

(f) Elementos neutro para la unin: A = A

Demostracin: Demostraremos una conmutatividad y una absorcin:

(1) x A B si y slo si (x A) v (x B), si y slo si (x B) v

(x A), si y slo si x (B A)
(2) Mostraremos que A = A (A B):
Demostraremos que si x A, entonces x A (A B) y que s x A,
entonces para cualquier conjunto K se tiene (x A) v (x K), es decir x
A K, en particular, para K = (A B)
Y si x A, entonces no ocurre que x A) (x B), as x (A B).
Entonces, como x no est ni en A ni en (A B), no est en A (A B)
[35] Teorema: Dados A, B, C, las operaciones de unin e interseccin
tienen las siguientes propiedades:
(a) Conmutatividad:
(b) Asociatividad:
(c) Distributividad
(d) Independencia:
(e) Absorcin:
(f) Elemento neutro:
[36] Definicin: Dado un conjunto B, diremos que un conjunto D es un
subconjunto de B si cada elemento de D est tambin en B. En otras
palabras, si no existe un objeto que est en D y no est en B.
Notacin D B.
Entonces D B si y slo si existe un objeto x tal que x D y x B.
Ejemplos: {1, 2, 3} {1, 2, 3, 4, 5}
Si a B, entonces {a} B
Para todo conjunto B se tiene que B B.
Para todo conjunto B, se tiene que B. En efecto, para que eso fuese
falso, debera existir un objeto perteneciente a que no est en B, lo que
no ocurre.
Atencin: Es importante definir entre a B y a B:
(i) {1, 2} {1, 2, 3}, pero {1, 2} {1, 2, 3}
(ii) {1} {1, {1}} y {1} {1, {1}}
(iii) {1, {1}, 2} / {1, {1}, 2, {1, {1}, 2} }

[37] Definicin: Si B es un conjunto, llamaremos conjunto potencia (de B)

al conjunto formado por (todos los) subconjuntos de B (en caso de que
exista tal conjunto). Notacin: P(B)

Ejemplo: Si B = {1, 2}, entonces (todos los) subconjuntos de B son:

{1}, {2}, {1,2}, . As que P(B) ={{1}, {2}, {1,2}, }

B con elemento, tiene 2n subconjuntos.

[38]Axioma del conjunto potencia: Si B es un conjunto, existe P(B)

[39] Definicin: Dado un conjunto B, el conjunto B {B}, que existe por

axioma de pares y axioma de unin, ser llamado sucesor de B.

Ejemplo: Tomemos B = su sucesor es SB = { } = { }

Y si B = { }, entonces su sucesor es SB = {} {{ }} = { , { }}
[40] Axioma del conjunto infinito: Existe un conjunto que contiene al
conjunto vacio, y que contiene al sucesor de cada uno de sus elementos.

Hace que el infinito sea actual y no potencial.

[41] Definicin: Diremos que un conjunto es inductivo si contiene a , y si,

dado un conjunto x en l, el sucesor Sx tambin lo est.

[42] Definicin: Llamaremos al conjunto interseccin de los elementos

{x P(I): x es inductivo} donde I es un conjunto inductivo {que existe por
axioma}

[43]Definiciones: Llamaremos 0 = , 1 = S, 2 = SS, etc.

[44] Axioma de regularidad: Todo conjunto no vaco posee al menos un

elemento con el no tiene elemento alguno en comn.

En otras palabras, para todo A no vaco existe b A tal que A b =

No puede ocurrir que un conjunto tenga un elemento en comn con cada

elemento suyo. Esto est diseado especficamente para evitar algunas
paradojas. Muchas

Gua 2

(1) El singleton se obtiene por axioma de pares

(2) (i) Por axioma del conjunto vaco, existe , (ii) por axioma de
pares existe {}, (ii) por axioma de pare,{{ }}, (iii) por axioma
de unin, {, {}}

4.
(a) Si D A y D B, entonces D A B
Respuesta:
Si x D, entonces x A [porque D A] y x B [porque D B], as que x
AB
(b) A B y B D, entonces A B D
Respuesta:
Sea x A B, es decir x A y/o x B. Si x A, como A D tenemos x D;
y si x B, como B D tenemos x D. En cualquier de los dos casos, x D.

(c) Importante. Si A B y B A, entonces A = B.

Respuesta:
Equivalentemente, demostremos que A B, entonces (A B y/o B A):
Por extensionalidad, A B significa que existe al menos un objeto x tal
que (x A y x B) y/o (x A y x B). Si (x A y x B), entonces A B. Y
si (x A y x B), entonces B A.

Por extensionalidad, A B significa que existe al menos un objeto x que

est en uno y no en el otro. Llamemos V al que x C y D al que x D.

(d) A B si y slo si A B = A
Respuesta:
Primero mostremos A B, entonces A B = A, y despus A B, entonces
A B A.
Si A B, consideremos que x A: entonces x B, es decir x A B; as
que A A B. Y como A B A, tenemos A = A B.

(e) A B si y slo si A B B
(i) Mostraremos A B A B B [A B B]:
Si A B, existe x A tal que x B, as que A B B.
(ii) Mostraremos que A B B A B
Supongamos A B B, de modo que A B B. Entonces existe
x A B, tal que x B. Entonces, por un lado x B y por otro lado (x A
y/o x B). Entonces x B y x A, as que A B.

(f) Si A B y C D, entonces A C B D:
Sea x A C, es decir x A y x C. Como A B, x B; como C D, x D,
As que x B y x D, es decir x B D.
5.
(a) Demostrar: para cualquier A, {} ((A)). Sabemos que A.
Entonces (A). Entonces {} (A). As que {} ((A)).

(b) Si (A) = (B), entonces A = B.

Mostremos A B (A) (B):
Si A B, digamos que x A y x B. Entonces {x} A, es decir {x} (A), y
{x} B, es decir {x} (B).