Teorı́a axiomática de conjuntos

(Resumen: definiciones y teoremas)

1. Axiomas de ZF Observación: si {x | ϕ(x)} es conjunto en ZF, {x | ϕ(x)}

representa un término de ZF y t ∈ {x | ϕ(x)} ↔ ϕ(t/x),
ZF es una teorı́a de primer orden, sobre el lenguaje para todo término t.
LZF = {=, ∈} (donde = y ∈ son sı́mbolos de predica-
do de aridad 2), que se obtiene al adicionar a LC = los Teorema 1. La clase de Russell {x | x ∈
/ x} es clase
axiomas: propia.
Axioma de extensión: si dos conjuntos tienen los Teorema 2. La clase de todos los conjuntos es clase
mismos elementos entonces son iguales. propia (es decir, ¬∃x∀y(y ∈ x)).
∀x∀y(∀z(z ∈ x ↔ z ∈ y) → x = y). Teorema 3 (Existencia del vacı́o). Existe un conjunto
sin elementos (∃x∀y(y ∈
/ x)).
Esquema axiomático de comprensión: para cual-
quier conjunto x y propiedad ϕ, existe un conjunto Notación: ∃!x(α(x)) se lee ‘existe exactamen-
y = {z | z ∈ x ∧ ϕ(z)}. te un x tal que α(x)’ y denota la fórmula
∃x(α(x)) ∧ ∀x∀y((α(x) ∧ α(y/x)) → x = y), donde y
∀x∃y(∀z(z ∈ y ↔ (z ∈ x ∧ ϕ(z)))), es una variable que no aparece en α(x).
donde ϕ(z) es una fórmula de F orm(LZF ), donde Teorema 4 (Unicidad del conjunto vacı́o). Existe exac-
y no aparece libre. tamente un conjunto sin elementos ∃!x∀y(y ∈ / x).
Axioma de pares: para todo par de conjuntos x y
Definición 2. Al único conjunto sin elementos se le lla-
y, existe un conjunto z cuyos elementos son x y y
ma conjunto vacı́o y se denota ∅.
(es decir, z = {x, y} = {w | w = x ∨ w = y} es
conjunto). Teorema 5. Para cualquier término t (es decir, para
∀x∀y∃z(∀w(w ∈ z ↔ (w = x ∨ w = y))). cualquier conjunto):
(a) t ∈
/ ∅.
Axioma de unión: si x es conjunto, existe un con-
junto y que es la unión de los elementos de x (es (b) t = ∅ ↔ ∀x(x ∈
/ t).
decir, y = {z | ∃w(w ∈ x ∧ z ∈ w)} es conjunto). Notación: para cualquier término t:
∀x∃y(∀z(z ∈ y ↔ ∃w(w ∈ x ∧ z ∈ w))). ∀x ∈ t(α(x)) se lee ‘para todo x en t, se tiene que
α(x)’ y denota la fórmula ∀x(x ∈ t → α(x)).
Axioma de partes: si x es conjunto, existe un con-
junto y cuyos elementos son los subconjuntos de x ∃x ∈ t(α(x)) se lee ‘existe un x en t tal que α(x)’
(es decir, y = {z | z ⊆ x} es conjunto). y denota la fórmula ∃x(x ∈ t ∧ α(x)).
Siguiendo las definiciones anteriores se tiene que:
∀x∃y(∀z(z ∈ y ↔ z ⊆ x)).
`LC ¬∀x ∈ t(α(x)) ↔ ∃x ∈ t(¬α(x)).
Axioma del infinito.
`LC ¬∃x ∈ t(α(x)) ↔ ∀x ∈ t(¬α(x)).
Esquema axiomático de reemplazo.
Definición 3 (Relación de contención). t ⊆ s se lee
Axioma de regularidad. ‘t está contenido en (o es subconjunto de) s’ y denota
Definición 1. Una colección de objetos y = {x | ϕ(x)} ∀x ∈ t(x ∈ s) (para cualquier par de términos t, s). t * s
es conjunto en ZF si la fórmula ∃y∀x(x ∈ y ↔ ϕ(x)) es denota ¬(t ⊆ s).
demostrable en ZF. Si por el contrario se muestra en ZF
Teorema 6. Sean t, s, r términos de ZF:
la fórmula ¬∃y∀x(x ∈ y ↔ ϕ(x)), se dice que la colección
y = {x | ϕ(x)} es una clase propia. (a) t ⊆ t (reflexividad ⊆).

1
(b) (t ⊆ s ∧ s ⊆ r) → t ⊆ r (transitividad ⊆).
(c) (t ⊆ s ∧ s ⊆ t) ↔ t = s (doble inclusión).
(d) ∀x(x ∈ t ↔ x ∈ s) ↔ t = s (si x no aparece en t ni
s).
(e) t * s ↔ ∃x ∈ t(x ∈
/ s) (si x no aparece en t ni s).
(f ) ∅ ⊆ t.
Definición 4 (Relación de contención propia). t ( s se Leyes de De Morgan
lee ‘t está contenido propiamente en (o es subconjunto
propio de) s’ y denota t ⊆ s ∧ t 6= s.
Teorema 7. Sean t, s, r términos de ZF:
(a) t 6= ∅ ↔ ∅ ( t.
(b) ¬(t ( ∅).
Teorema 8 (Teorema del subconjunto). {x | ϕ(x)} es
conjunto si y solamente si ∃y(∀x(ϕ(x) → x ∈ y)) (es de-
cir, si ∃y({x | ϕ(x)} ⊆ y)).
2. Operaciones sobre conjuntos
Leyes asociativas
(j) t ∪ (s ∪ r) = (t ∪ s) ∪ r.
(k) t ∩ (s ∩ r) = (t ∩ s) ∩ r.
Leyes distributivas
(l) t ∪ (s ∩ r) = (t ∪ s) ∩ (t ∪ r).
(m) t ∩ (s ∪ r) = (t ∩ s) ∪ (t ∩ r).
(l) t \ (s ∪ r) = (t \ s) ∩ (t \ r).
(m) t \ (s ∩ r) = (t \ s) ∪ (t \ r).
Teorema 11. Sean t, r y s conjuntos en ZF:
(a) (t ⊆ t ∪ s) ∧ (s ⊆ t ∪ s).
(b) (t ∩ s ⊆ t) ∧ (t ∩ s ⊆ s).
(c) t \ s ⊆ t.
(d) t ⊆ s → t ∪ r ⊆ s ∪ r.
(e) t ⊆ s → t ∩ r ⊆ s ∩ r.
(f ) t ⊆ s → t \ r ⊆ s \ r.

Definición 5. Sean t, s términos de ZF, donde x no apa- (g) t ⊆ s → r \ s ⊆ r \ t.

rece libre: (h) t ⊆ s ↔ t ∪ s = s.
{t, s} = {x | x = t ∨ x = s} (i) t ⊆ s ↔ t ∩ s = t.
{t} = {x | x = t} (j) (t ⊆ r ∧ s ⊆ r) ↔ t ∪ s ⊆ r.
t ∪ s = {x | x ∈ t ∨ x ∈ s} (k) (r ⊆ t ∧ r ⊆ s) ↔ r ⊆ t ∩ s.
t ∩ s = {x ∈ t | x ∈ s} = {x | x ∈ t ∧ x ∈ s}
Teorema 12. Sean t y s conjuntos en ZF:
t \ s = {x ∈ t | x ∈
/ s} = {x | x ∈ t ∧ x ∈
/ s}
(a) ∅ ∈ P(t).
P(t) = {x | x ⊆ t}
(b) t ∈ P(t).
Notación: t \ s también se denota t − s.
(c) P(t) 6= ∅.
Teorema 9. Si t y s son conjuntos en ZF, también lo (d) t ⊆ s ↔ P(t) ⊆ P(s).
son {t, s}, {t}, t ∪ s, t ∩ s, t \ s y P(t).
(e) t = s ↔ P(t) = P(s).
Teorema 10. Sean t, r y s conjuntos en ZF:
(f ) P(t ∩ s) = P(t) ∩ P(s).
Leyes de Idempotencia
(g) P(t) ∪ P(s) ⊆ P(t ∪ s).
(a) t ∪ t = t.
(b) t ∩ t = t. Definición 6. Sea u un conjunto de ZF. Para un con-
junto t ⊆ u el complemento de t respecto a u es t0 = u \ t.
Propiedades del vacı́o
Teorema 13. Sea u un conjunto, y t, s subconjuntos de
(c) t ∪ ∅ = t. u:
(d) t ∩ ∅ = ∅. (a) u0 = ∅.
(e) t \ ∅ = t. (b) ∅0 = u.
(f ) ∅ \ t = ∅. (c) (t0 )0 = t.
(g) t \ t = ∅. (d) t ∪ t0 = u.
Leyes conmutativas (e) t ∩ t0 = ∅.
(h) t ∪ s = s ∪ t. (f ) (t ∪ s)0 = t0 ∩ s0 .
(i) t ∩ s = s ∩ t. (g) (t ∩ s)0 = t0 ∪ s0 .

2
(h) t ⊆ s ↔ s0 ⊆ t0 . 3. Relaciones y Funciones
Definición 7. Sea t un conjunto:
[ Definición 10 (Par ordenado). Dados conjuntos t y s,
t = {x | ∃y ∈ t(x ∈ y)} el par ordenado de t y s es el conjunto:
\
t = {x | ∀y ∈ t(x ∈ y)} (t, s) = {{t}, {t, s}}.
Si t = {a, b}:
[ [ \ \ t es llamado primer componente (o coordenada) y s es
t = {a, b} = a ∪ b. t= {a, b} = a ∩ b. llamado segunda componente (o coordenada) de (t, s).

Si t = {a1 , . . . , an }: Teorema 19. Si t y s son conjuntos, entonces el par

[ [ ordenado (t, s) es conjunto.
t = {a1 , . . . , an } = a1 ∪ . . . ∪ an .
\ \
t = {a1 , . . . , an } = a1 ∩ . . . ∩ an . Teorema 20 (Propiedad fundamental de los pares orde-
nados). Sean t, s, a y b conjuntos. (t, s) = (a, b) si y solo
Teorema 14. Si t es conjunto, entonces: si t = a y s = b.
S
(a) t es conjunto.
T Definición 11 (Relación). Un conjunto t es una relación
(b) t es conjunto si y solo si t 6= ∅.
(binaria) si todos sus elementos son pares ordenados. Es
Teorema 15. Sean t y s conjuntos: decir, si ∀x ∈ t ∃r, s(x = (r, s)).
S
(a) x ∈ t → x ⊆ t.
T Notación: ∀x1 , . . . , xs denota ∀x1 . . . ∀xs y ∃x1 , . . . , xs
(b) x ∈ t → t ⊆ x. denota ∃x1 . . . ∃xs .
Notación: si R es una relación, xRy denota (x, y) ∈ R.
S
(c) ∀x ∈ t(x ⊆ s) ↔ t ⊆ s.
T
(d) ∀x ∈ t(s ⊆ x) ↔ s ⊆ t.
S Teorema 21. Sean R y S relaciones, entonces:
(e) t ⊆ P( t).
S (a) R ⊆ S ↔ ∀x, y(xRy → xSy).
(f ) P(t) = t.
(b) R = S ↔ ∀x, y(xRy ↔ xSy).
S S
(g) t ⊆ s → t ⊆ s.
T T
(h) t ⊆ s → s ⊆ t.
Definición 12 (Producto cartesiano). Sean t y s con-
Definición 8 (Colecciones definidas por términos). Sea juntos, el producto cartesiano de t y s es la colección:
t(x) un término (que ‘depende’ de x) y a un conjunto de
ZF: t × s = {(x, y) | x ∈ t ∧ y ∈ s}.
{t(x) | x ∈ a} = {y | ∃x ∈ a(y = t(x))}.
Teorema 16. Sea t(x) un término y a un conjunto de Teorema 22. Si t y s son conjuntos, entonces t × s es
ZF. La colección {t(x) | x ∈ a} es conjunto si y solo si conjunto, y es relación.
∃y∀x ∈ a(t(x) ∈ y).
Teorema 23. Sean t, s y r son conjuntos:
Definición 9. Sea t(x) un término y a un conjunto de
ZF: (a) t × s = ∅ ↔ (t = ∅ ∨ s = ∅)
[ [
t(x) = {t(x) | x ∈ a} (b) t ⊆ s → t × r ⊆ s × r.
x∈a
\ \ (c) t ⊆ s → r × t ⊆ r × s.
t(x) = {t(x) | x ∈ a}
x∈a
(d) Si r 6= ∅, entonces t × r ⊆ s × r → t ⊆ s.
Teorema 17. Sea t(x) un término y a un conjunto de
ZF: (e) Si r 6= ∅, entonces r × t ⊆ r × s → t ⊆ s.
S
(a) z ∈ t(x) ↔ ∃x ∈ a(z ∈ t(x)). (f ) t × (s ∪ r) = (t × s) ∪ (t × r).
x∈a
(g) t × (s ∩ r) = (t × s) ∩ (t × r).
T
(b) z ∈ t(x) ↔ ∀x ∈ a(z ∈ t(x))
x∈a

Teorema 18. Sean a y b conjuntos: Definición 13. Sea R un conjunto (usualmente una re-
(a) b ∩
S
t(x) =
S
(b ∩ t(x)). lación):
x∈a x∈a
T T Si (x, y) ∈ R, se dice que y es imagen de x bajo R
(b) b ∪ t(x) = (b ∪ t(x)). y que x es preimagen de y bajo R.
x∈a x∈a

3
 El dominio de R es el conjunto de preimágenes
de R, y se denota Dom(R). Es decir, Dom(R) =
{x | ∃y((x, y) ∈ R)}.
El rango de R es el conjunto de imágenes de
R, y se denota Ran(R). Es decir, Ran(R) =
{y | ∃x((x, y) ∈ R)}.
Teorema 24. Si R es conjunto, Dom(R) y Ran(R) tam-
bién son conjuntos.
Teorema 25. (a) Si R y S son relaciones, entonces
R ∪ S es relación.
(b) Si A es un conjunto de relaciones (es decir, si ∀R ∈
S
A(R es relación)), entonces A es relación.
(c) Dom(R ∪ S) = Dom(R) ∪ Dom(S).
S S S
(d) Dom( A) = {Dom(R) | R ∈ A} = Dom(R).
R∈A
(e) Ran(R ∪ S) = Ran(R) ∪ Ran(S).
S S S
(f ) Ran( A) = {Ran(R) | R ∈ A} = Ran(R).
R∈A
Definición 14. Sean R y S relaciones:
Si f es una función con Dom(f ) = A y Ran(f ) ⊆
B, entonces f = {(x, f (x)) | x ∈ A} y se usa
f : A → B para denotar f . En este caso, B es lla-
mado codominio de f .
Una función f = {(x, t(x)) | x ∈ A}, donde t(x) es
un término tal que ∀x ∈ A (t(x) ∈ B), se denota:
f :A → B
x 7→ f (x) = t(x)
Teorema 27. Sean f y g funciones, entonces:
(a) f ⊆ g ↔ (Dom(f ) ⊆ Dom(g) ∧ ∀x ∈
Dom(f )(f (x) = g(x))).
(b) f = g ↔ (Dom(f ) = Dom(g) ∧ ∀x ∈
Dom(f )(f (x) = g(x))).
Definición 17. Sea f una función:
f es invertible si f −1 también es función.
f es inyectiva (o uno a uno) si elementos diferentes
en el dominio tienen imágenes diferentes (es decir,
si ∀x, y ∈ Dom(f ) (x 6= y → f (x) 6= f (y))).
Si f : A → B, f es sobreyectiva si Ran(f ) = B
(equivalente, si ∀y ∈ B ∃x ∈ A(y = f (x))).

La relación inversa de R es R−1 = Si f : A → B, f es biyectiva si es inyectiva y sobre-

{(y, x) | (x, y) ∈ R}. yectiva.
Teorema 28. Una función f es invertible si y solo si es
La composición de R y S es S ◦ R = inyectiva.
{(x, y) | ∃z((x, z) ∈ R ∧ (z, y) ∈ S)}.
Teorema 29. Sean f y g funciones. Entonces:
Definición 15. Si R ⊆ A × B, se dice que R es una (a) g ◦ f es función. Además, Dom(g ◦ f ) ⊆ Dom(f ),
relación de A en B, y si R ⊆ A × A, se dice que R es una Ran(g ◦ f ) ⊆ Ran(g) y ∀x ∈ Dom(g ◦ f )((g ◦ f )(x) =
relación en A. g(f (x))).
Teorema 26. Sean R, S, T relaciones y A, B conjuntos: (b) Si Ran(f ) ⊆ Dom(g), entonces Dom(g ◦ f ) =
−1
Dom(f ).
(a) IA = IA .
(c) Si f : A → B y g : B → C, entonces g ◦ f : A → C.
(b) Si R es una relación de A en B, R◦IA = R = IB ◦R.
Teorema 30. Si f es invertible:
(c) (R−1 )−1 = R. (a) ∀x ∈ Dom(f )(f −1 (f (x)) = x).
(d) Dom(R−1 ) = Ran(R) y Ran(R−1 ) = Dom(R). (b) f −1 ◦ f = IDom(f ) .
(e) (S ◦ R)−1 = R−1 ◦ S −1 . (c) ∀y ∈ Ran(f )(f (f −1 (y)) = y).
(d) f ◦ f −1 = IRan(f ) .
(f ) T ◦ (S ◦ R) = (T ◦ S) ◦ R.
(e) Si f : A → B es biyectiva, entonces f −1 : B → A es
(g) Dom(S ◦ R) ⊆ Dom(R) y Ran(S ◦ R) ⊆ Ran(S). biyectiva, f −1 ◦ f = IA y f ◦ f −1 = IB .
(h) Si Ran(R) ⊆ Dom(S), entonces Dom(S ◦ R) = Definición 18.
Dom(R).
Dos funciones f y g son compatibles si ∀x ∈
Definición 16. Una función es una relación donde todos (Dom(f ) ∩ Dom(g))(f (x) = g(x)).
los elementos del dominio tienen una única imagen. Es Sea A un conjunto (o familia) de funciones (es de-
decir, f es función f es relación y ∀x ∈ Dom(f ) ∃!y(xf y). cir, ∀f ∈ A (f es función)). Se dice que A es un
sistema (o conjunto) compatible de funciones si
Notación: cualquier par de funciones en A son compatibles
Si f es función y x ∈ Dom(f ), a la (única) imagen (es decir, si ∀f, g ∈ A (f y g son compatibles)).
de x se le llama valor de f en x y se denota f (x). Teorema 31. Sean f y g funciones:

4
(a) Si Dom(f ) ∩ Dom(g) = ∅, entonces f y g son com- Teorema 36. Sea f una función y A ⊆ Dom(f ):
patibles.
(a) f A es función, además:
(b) f y g son funciones compatibles si y solo si f ∪ g es
función. f A :A → f [A]
x 7→ (f A)(x) = f (x)
(c) Si f ∪ g es función, Dom(f ∪ g) = Dom(f ) ∪ Dom(g),
Ran(f ∪ g) = Ran(f ) ∪ Ran(g), y: y es sobreyectiva.
(b) f [A] = {f (x) | x ∈ A}.
(
f (x) si x ∈ Dom(f ),
(f ∪ g)(x) =
g(x) si x ∈ Dom(g). (c) f −1 [A] = {x ∈ Dom(f ) | f (x) ∈ A}.
(d) Si Dom(f ) ⊆ A, entonces f [A] = Ran(f ).
Teorema 32. Sea A un conjunto de funciones:
Teorema 37. Sean R, S relaciones y A, B conjuntos:
(a) A
S es un sistema compatible de funciones si y solo si
A es función. (a) R[A ∪ B] = R[A] ∪ R[B].
S S S
(b) Si A es función, Dom( A) = Dom(f ), (b) R[A ∩ B] ⊆ R[A] ∩ R[B].
f ∈A
S
Ran( A) =
S
Ran(f ), y (f ∈ A ∧ x ∈ (c) (S ◦ R)[A] = S[R[A]].
S f ∈A (d) (S ◦ R)−1 [A] = R−1 [S −1 [A]].
Dom(f )) → (( A)(x) = f (x)).
(e) Dom(S ◦ R) = R−1 [Dom(S)].
Definición 19. Sea f : A → B:
(f ) Ran(S ◦ R) = S[Ran(R)].
g es inversa a izquierda de f si g: B → A y
g ◦ f = IA .
g es inversa a derecha de f si g: B → A y
4. Relaciones de equivalencia y
f ◦ g = IB . particiones
Teorema 33. Sea f : A → B: Definición 21. Sea A un conjunto y R una relación en
(a) Si f tiene inversa a izquierda entonces es inyectiva. A:

(b) Si f tiene inversa a derecha entonces es sobreyectiva. R es reflexiva en A si ∀x ∈ A(xRx).

(c) Si g es inversa a izquierda y derecha de f entonces R es simétrica en A si ∀x, y ∈ A(xRy → yRx).

f es biyectiva y f −1 = g. R es transitiva en A si ∀x, y, z ∈
A((xRy ∧ yRz) → xRz).
Definición 20. Sea R una relación y A un conjunto:
R es relación de equivalencia en A si R es reflexiva,
La imagen (directa) de A bajo R es el conjunto simétrica y transitiva en A.
de imágenes de elementos de A bajo la relación
R, y se denota R[A]. Es decir, R[A] = {y | ∃x ∈ Definición 22. Sea R una relación de equivalencia en
A ((x, y) ∈ R))}. un conjunto A y sea a ∈ A. La clase de equivalencia de
La imagen inversa de A bajo R es el conjunto de a módulo R es el conjunto:
preimágenes de elementos de A bajo la relación R, [a]R = {x | xRa}.
y se denota R−1 [A]. Es decir, R−1 [A] = {x | ∃y ∈
A ((x, y) ∈ R))}. Al conjunto de las clases de equivalencia de elementos de
Si R es función. La restricción de R a A es el con- A módulo R se le llama cociente de A módulo R (o A
junto RA = {(x, y) ∈ R | x ∈ A}. partido R), y se denota A/R. Es decir:

Teorema 34. Si R es una relación y A es un conjunto, A/R = {[a]R | a ∈ A}.

R−1 [A] = (R−1 )[A]. Teorema 38. Sea R una relación de equivalencia en un
Teorema 35. Sea f una función y A un conjunto: conjunto A:

(a) Dom(f A) = A ∩ Dom(f ). (a) ∀x, y ∈ A (xRy ↔ [x]R = [y]R ).

(b) Si A ⊆ Dom(f ), Dom(f A) = A. (b) ∀a ∈ A ([a]R 6= ∅).

(c) f [A] = Ran(f A). (c) ∀x, y ∈ A ([x]R 6= [y]R → [x]R ∩ [y]R = ∅).
S S
(d) f −1 [A] = (f −1 )[A]. (d) A/R = [x]R = A.
x∈A

5
Definición 23. Sea A un conjunto. Un conjunto P es Teorema 44. Si S es un orden parcial estricto en A,
partición de A si: entonces la relación R definida por:
(a) ∀x ∈ P (x 6= ∅).
xRy ⇔ xSy ∨ x = y, x, y ∈ A,
(b) ∀x, y ∈ P (x 6= y → x ∩ y = ∅).
S es un orden parcial en A.
(c) P = A.
Teorema 39. Si P es una partición de A, entonces Se dice que S es el orden parcial estricto correspondiente
∀x ∈ P (x ⊆ A). al orden parcial R, y viceversa.

Teorema 40. Si R es una relación de equivalencia en Definición 28. Sea (A, ≤) un CPO y x, y ∈ A. Se dice
A, entonces A/R es una partición de A. que x y y son comparables en el orden ≤ si:
Definición 24. Sea P una partición de A. La relación x ≤ y ∨ y ≤ x.
EP ‘inducida’ por P es definida por:
Observación: en un orden parcial estricto <, dos elemen-
EP = {(x, y) ∈ A × A | ∃B ∈ P (x ∈ B ∧ y ∈ B)}. tos x y y son comparables si son comparables en el or-
Teorema 41. Sea P una partición de A, entonces EP es den parcial ≤ correspondiente a < (equivalentemente, si
una relación de equivalencia en A. Además, A/EP = P . x < y ∨ y < x ∨ x = y).
Definición 29. Sea (A, ≤) un CPO y B ⊆ A. Se dice
5. Relaciones de orden que B es una cadena en (A, ≤) si cualquier par de ele-
mentos en B son comparables (es decir, si ∀x, y ∈ B(x ≤
Definición 25. Sea A un conjunto y R una relación en y ∨ y ≤ x)).
A:
Observación: un conjunto B es una cadena en un OPE
R es antisimétrica en A si ∀x, y ∈ (A, <) si B es una cadena en (A, ≤), donde ≤ es el orden
A((xRy ∧ yRx) → x = y). parcial correspondiente a <.
R es un orden parcial en A si R es reflexiva, an-
tisimétrica y transitiva en A. Si R es un orden Definición 30. Si ≤ es un orden parcial en A, se dice
parcial en A, al par (A, R) se le llama conjunto que ≤ es un orden total (o un orden lineal ) si A es ca-
parcialmente ordenado (CPO). dena en A (es decir, si ∀x, y ∈ A(x ≤ y ∨ y ≤ x)). Si ≤
es un orden total en A, al par (A, ≤) se le llama conjun-
Definición 26. Sea A un conjunto y R una relación en to totalmente ordenado (CTO) (o conjunto linealmente
A: ordenado).
R es asimétrica en A si ∀x, y ∈ A(xRy → ¬(yRx)).
Observación: un OPE (A, <) es un orden total estricto
R es un orden parcial estricto (OPE) en A si R (OTE) si (A, ≤) es un CTO, donde ≤ es el orden parcial
es asimétrica y transitiva en A. Si R es un orden correspondiente a <.
parcial estricto en A, al par (A, R) también se le
llama orden parcial estricto. Definición 31. Sea (A, ≤) un CPO y sea B ⊆ A:

Definición 27. Sea A un conjunto y R una relación en b es elemento mı́nimo de B en el orden ≤ si b ∈ B

A. R es irreflexiva en A si ∀x ∈ A(¬(xRx)). y ∀x ∈ B(b ≤ x).

Teorema 42. Sea A un conjunto y R una relación en b es un elemento minimal de B en el orden ≤ si

A: b ∈ B y ¬∃x ∈ B(x < b).

(a) Si R es asimétrica en A, entonces R es irreflexiva b es elemento máximo de B en el orden ≤ si b ∈ B

en A. y ∀x ∈ B(x ≤ b).
(b) Si R es transitiva e irreflexiva en A, entonces R es b es un elemento maximal de B en el orden ≤ si
asimétrica en A. b ∈ B y ¬∃x ∈ B(b < x).
(c) R es orden parcial estricto en A si y solo si R es Teorema 45. Sea (A, ≤) un CPO y sea B ⊆ A:
transitiva e irreflexiva en A.
(a) Si B tiene elemento mı́nimo, éste es único.
Teorema 43. Si R es un orden parcial en A, entonces
la relación S definida por: (b) Si b es elemento mı́nimo de B, entonces b es elemen-
to minimal de B.
xSy ⇔ xRy ∧ x 6= y, x, y ∈ A,
(c) Si B es una cadena, entonces todo elemento minimal
es un orden parcial estricto en A. de B es también un mı́nimo.

6
Observación: el teorema anterior también vale si se cam- f es creciente si ∀x, y ∈ A(x ≤A y → f (x) ≤B
bia ‘mı́nimo’ por ‘máximo’ y ‘minimal’ por ‘maximal’. f (y)).
Notación: si B tiene elemento mı́nimo este se denota f es estrictamente creciente si ∀x, y ∈ A(x <A
mı́n B y si tiene elemento máximo este se denota máx B. y → f (x) <B f (y)).
Definición 32. Sea (A, ≤) un CPO y sea B ⊆ A: f es un isomorfismo entre (A, ≤A ) y (B, ≤B ) si:
a es cota inferior de B en (A, ≤) si a ∈ A y (a) f : A → B es biyectiva y
∀x ∈ B(a ≤ x). (b) ∀x, y ∈ A(x ≤A y ↔ f (x) ≤B f (y)).
a es el ı́nfimo de B en (A, ≤) si a es el elemento Si existe un isomorfismo f : A → B entre (A, ≤A ) y
máximo del conjunto de cotas inferiores de B en (B, ≤B ) se dice que (A, ≤A ) y (B, ≤B ) son ordenes
(A, ≤) (en el caso en que dicho elemento exista). isomorfos y se denota (A, ≤A ) ∼ = (B, ≤B ).
a es cota superior de B en (A, ≤) si a ∈ A y Teorema 50. Sean (A, ≤ ) y (B, ≤ ) CPO y f : A →
A B
∀x ∈ B(x ≤ a). B:
a es el supremo de B en (A, ≤) si a es el elemento (a) Si f es estrictamente creciente, entonces f es cre-
mı́nimo del conjunto de cotas superiores de B en ciente.
(A, ≤) (en el caso en que dicho elemento exista).
(b) Si f es creciente e inyectiva, entonces f es estricta-
Notación: si B tiene ı́nfimo este se denota ı́nf B y si tiene mente creciente.
supremo este se denota sup B. (c) Si f es isomorfismo, entonces f es estrictamente cre-
Teorema 46. Sea (A, ≤) un CPO y sea B ⊆ A: ciente.
(d) Si (A, ≤A ) es CTO:
(a) Si b es elemento mı́nimo de B, entonces b es ı́nfimo
de B. (i) Si f es estrictamente creciente, entonces es in-
(b) Si b es ı́nfimo de B y b ∈ B, entonces b es elemento yectiva y ∀x, y ∈ A(x ≤A y ↔ f (x) ≤B f (y)).
mı́nimo de B. (ii) f es isomorfismo si y solo si es biyectiva y es-
trictamente creciente.
Observación: el teorema anterior también vale si se cam-
bia ‘mı́nimo’ por ‘máximo’ e ‘ı́nfimo’ por ‘supremo’. Teorema 51. Sean (A, ≤A ), (B, ≤B ) y (C, ≤C ) CPO:
(a) IA : A → A es isomorfismo (luego (A, ≤A ) ∼= (A, ≤A
Definición 33. Si ≤ es un orden parcial en A, se dice )).
que ≤ es un buen orden si todo subconjunto no vacı́o −1
de A tiene elemento mı́nimo (es decir, si ∀B ⊆ A(B 6= (b) Si f : A → B es isomorfismo, entonces f : B → A
∼
es isomorfismo (luego, si (A, ≤A ) = (B, ≤B ), enton-
∅ → ∃m ∈ B ∀x ∈ B(m ≤ x))). Si ≤ es un buen orden
en A, al par (A, ≤) se le llama conjunto bien ordenado ces (B, ≤B ) ∼
= (A, ≤A )).
(CBO). (c) Si f : A → B y g: B → C son isomorfismos,
entonces g ◦ f : A → C es isomorfismo (luego, si
Teorema 47. Si (A, ≤) es un CBO, entonces (A, ≤) es (A, ≤A ) ∼
= (B, ≤B ) y (B, ≤B ) ∼
= (C, ≤C ), entonces
un CTO. ∼
(A, ≤A ) = (C, ≤C )).
Definición 34. Sea (A, ≤) un CPO y a ∈ A. El segmen- Teorema 52. Sean (A, ≤A ) y (B, ≤B ) CPO:
to inicial determinado por a en (A, ≤) es el conjunto
(a) Sea f : A → B isomorfismo:
Sa = {x ∈ A | x < a}.
(i) Si D ⊆ A tiene elemento mı́nimo, entonces
Definición 35. Un CPO (A, ≤) satisface el principio f [D] tiene elemento mı́nimo.
de inducción generalizado si ∀x ∈ A(Sx ⊆ T → x ∈ T )
implica T = A, para todo T ⊆ A. (ii) Si D ⊆ A tiene cota inferior, entonces f [D]
tiene cota inferior.
Teorema 48. Si (A, ≤) es un CPO que satisface el prin- (b) Sea (A, ≤ ) ∼ (B, ≤ ):
A = B
cipio de inducción generalizado, entonces ∀x ∈ A(∀y <
x(ϕ(y/x)) → ϕ(x)) implica ∀x ∈ A(ϕ(x)), para cualquier (i) Si (A, ≤A ) es CTO, entonces (B, ≤B ) es CTO.
fórmula ϕ(x) de ZF. (ii) Si (A, ≤A ) es CBO, entonces (B, ≤B ) es CBO.
Teorema 49. Todo CBO satisface el principio de induc- Teorema 53. Sea (A, ≤) un CBO y f : A → A:
ción generalizado. (a) Si f es estrictamente creciente, entonces ∀x ∈ A(x ≤
Definición 36. Sean (A, ≤ ) y (B, ≤ ) CPO y f : A → f (x)).
A B
B: (b) Si f es isomorfismo, entonces f = IA .

7
6. Formalización de los naturales (a) ϕ(0) y
en ZF (b) ∀x ∈ N(ϕ(x) → ϕ(S(x)/x)),
entonces ∀x ∈ N(ϕ(x)).
Por convención:
Definición 40. La relación < es definida en N por:
0=∅ x < y si y solo si x ∈ y.
1 = {0} = {∅} Teorema 58. (a) ∀n ∈ N(n < S(n)).
2 = {0, 1} = {∅, {∅}} (b) ∀n ∈ N(0 ≤ n).
..
. (c) ∀n, k ∈ N(k < S(n) ↔ k ≤ n).
n + 1 = {0, 1, . . . , n} (d) < es transitiva en N.
.. (e) < es irreflexiva en N.
.
(f ) ∀n, m, k ∈ N((n ≤ m ∧ m < k) → n < k).
Definición 37. El sucesor de un conjunto x es el con- (g) ∀n, m, k ∈ N((n < m ∧ m ≤ k) → n < k).
junto S(x) = x ∪ {x}.
(h) ∀n, k ∈ N(k < n ↔ S(k) ≤ n).
Definición 38. Un conjunto I es inductivo si:
(i) (N, <) es OTE.
(a) 0 ∈ I. Teorema 59. (N, ≤) satisface el principio de inducción
(b) ∀x ∈ I(S(x) ∈ I). generalizado (es decir, ∀x ∈ N(Sx ⊆ T → x ∈ T ) implica
T = N, para todo T ⊆ N).
Definición 39. Los números naturales en ZF se definen
como la colección: Corolario 1. En (N, ≤), si ∀x ∈ N(∀y <
x(ϕ(y/x)) → ϕ(x)), entonces ∀x ∈ N(ϕ(x)), para cual-
N = {x | ∀I(I es inductivo → x ∈ I)}. quier fórmula ϕ(x) de ZF.
Corolario 2. (N, ≤) es CBO.
Axioma del infinito: existe un conjunto inductivo (es de-
cir, ∃I(0 ∈ I ∧ ∀x ∈ I(S(x) ∈ I))). Teorema 60. Los naturales en ZF satisfacen (P2). Es
decir, ∀x, y ∈ N(S(x) = S(y) → x = y) es teorema de
Teorema 54. N es conjunto en ZF. ZF.
Teorema 55. N es inductivo y N ⊆ I para todo conjunto Teorema 61 (de la Recursión). Para cualquier conjunto
inductivo I. A, cualquier a ∈ A (llamado término inicial) y cualquier
función g:A × N→A (llamada operación de recursión),
La aritmética de Peano es una teorı́a de primer orden existe una única función f :N→A tal que:
con igualdad, sobre el lenguaje LP = {=,S, +, ·} (donde
S es sı́mbolo de función de aridad 1 y +, · son sı́mbolos (a) f (0) = a, y
de función de aridad 2), que se obtiene al adicionar a (b) f (S(n)) = g(f (n), n), para todo n ∈ N.
LC = los axiomas:

∀x(0 6= S(x)), (P1) Teorema 62 (de la Recursión (paramétrica)). Para

∀x, y(S(x) = S(y) → x = y),
∀x(x + 0 = x),
∀x, y(x + S(y) = S(x + y)),
∀x(x · 0 = 0),
∀x, y(x · S(y) = x · y + x)
cualquier par de conjuntos A y P , y cualquier par de
(P2)
funciones a:P →A (llamada función de términos inicia-
(P3) les) y g:P × A × N→A (llamada operación de recursión),
(P4) existe una única función f :P × N→A tal que:
(P5) (a) f (p, 0) = a(p), para todo p ∈ P , y
(P6) (b) f (p, S(n)) = g(p, f (p, n), n), para todo n ∈ N.

y el esquema axiomático de inducción: Corolario 3. La función de suma en N existe en ZF y

satisface (P3) y (P4).
(ϕ(0) ∧ ∀x(ϕ(x) → ϕ(S(x)/x))) → ∀x(ϕ(x)), (P7)
Corolario 4. La función de producto en N existe en ZF
para toda fórmula ϕ. y satisface (P5) y (P6).
Teorema 63. (a) ∀m ∈ N(m + 1 = S(m)).
Teorema 56. Los naturales en ZF satisfacen (P1). Es
decir, ∀x ∈ N(0 6= S(x)) es teorema de ZF. (b) ∀m ∈ N(0 + m = m).

Teorema 57. Los naturales en ZF satisfacen (P7). Es (c) ∀m, n, p ∈ N(m + (n + p) = (m + n) + p).
decir, si ϕ(x) es una fórmula de ZF tal que: (d) ∀m, n ∈ N(m + n = n + m).

8
7. Equipotencia y cardinalidad (a) Para cualquier conjunto A, existe un único cardinal
κ = |A|.
Definición 41. Dos conjuntos A y B son equipotentes,
lo que se denota A ≈ B, si existe una función biyectiva (b) A ≈ B ↔ |A| = |B|.
f :A→B. Si A y B no son equipotentes se denota A 6≈ B. (c) Para cualquier cardinal κ, |κ| = κ.

Teorema 64. Sean A, B y C conjuntos: Observaciones:

(a) A ≈ A. El supuesto anterior puede ser probado en ZF +
AC.
(b) Si A ≈ B, entonces B ≈ A.
Para el caso de los conjuntos finitos, el cardinal
(c) Si A ≈ B y B ≈ C, entonces A ≈ C. coincide con la definición dada anteriormente.
Definición 42. Sea A un conjunto, A es finito si existe Definición 44. Un cardinal κ es finito si κ ∈ N, y es
n ∈ N tal que A ≈ n, y A es infinito si A no es finito. infinito en caso contrario.
Teorema 65 (Principio del palomar). Si n ∈ N y x ( n, Convención: |N| = ℵ0 .
entonces no existe una función inyectiva f :n→x. Por lo
tanto, n 6≈ x. Definición 45. Dados A y B conjuntos, A B = {f | f :
A→B}.
Corolario 5. Sea A un conjunto:
Teorema 70. Sean A, B, C y D conjuntos tales que
(a) Si A es finito, entonces ¬∃B ( A(A ≈ B). A ≈ C y B ≈ D:
(b) Si ∃B ( A(A ≈ B), entonces A es infinito. (a) Si A ∩ B = C ∩ D = ∅, entonces A ∪ B ≈ C ∪ D.
(c) N es infinito. (b) A × B ≈ C × D.
A
Teorema 66. (a) ∀n, m ∈ N(n ≈ m ↔ n = m). (c) B ≈ C D.
(b) Si A es finito, entonces ∃!n ∈ N(A ≈ n). Definición 46. Dados cardinales κ y λ:
Definición 43. Si A es un conjunto finito y n es el úni- κ + λ = |K ∪ L|, donde K y L son conjuntos tales
co número natural tal que A ≈ n, se dice que A tiene n que |K| = κ, |L| = λ y K ∩ L = ∅.
elementos, o que el cardinal de A es n, lo que se denota κ · λ = |K × L|, donde K y L son conjuntos tales
|A| = n. que |K| = κ y |L| = λ.
Teorema 67. (a) ∀n ∈ N(|n| = n). κλ = |L K|, donde K y L son conjuntos tales que
|K| = κ y |L| = λ.
(b) Si A y B son conjuntos finitos, entonces |A| =
|B| ↔ A ≈ B. Observación: las operaciones de suma, producto y expo-
nenciación de cardinales finitos coinciden con las respec-
Teorema 68. Si n ∈ N y A ( n, entonces ∃m ∈ N(m <
tivas operaciones de suma, producto y exponenciación en
n ∧ A ≈ m).
N.
Corolario 6. Sean A y B conjuntos:
Teorema 71. Sean A, B y C conjuntos:
(a) Si A ⊆ B y B es finito, entonces A es finito y (a) A × {x} ≈ A, para cualquier x.
|A| ≤ |B|.
(b) A × B ≈ B × A.
(b) Si A ⊆ B y A es infinito, entonces B es infinito.
(c) Si A ∩ B = ∅, entonces A∪B C ≈ A C × B C.
(c) Z, Q, R y C son infinitos.
(d) P(A) ≈ A 2.
Teorema 69. Sean A y B conjuntos finitos:
Corolario 7. Sean κ, λ y µ cardinales:
(a) Si A ∩ B = ∅, entonces A ∪ B es finito y |A ∪ B| =
|A| + |B|. (a) κ · 1 = κ.

(b) A ∪ B es finito y |A ∪ B| ≤ |A| + |B|. (b) κ · λ = λ · κ.

(c) A × B es finito y |A × B| = |A| · |B|. (c) µκ+λ = µκ · µλ .

(d) P(A) es finito y |P(A)| = 2|A| . (d) |P(A)| = 2|A| .

Teorema 72. (a) N × N ≈ N.
Supuesto: Existen conjuntos llamados cardinales, que
satisfacen las siguientes propiedades: (b) R 6≈ N (Cantor).

9
(c) R ≈ (− π2 , π2 ). (b) κ ≤ λ → κ + µ ≤ λ + µ.
(d) (a, b) ≈ (0, 1), para todo a, b ∈ R con a < b. (c) κ ≤ λ → κ · µ ≤ λ · µ.
Teorema 73 (Cantor). A 6≈ P(A), para cualquier con- (d) κ ≤ λ → κµ ≤ λµ .
junto A.
Teorema 77. (a) |Q| = ℵ0 .
Definición 47. Sean A y B conjuntos. A es domina-
ℵ
do por B si existe f :A→B inyectiva, lo que se denota (b) |R| = 2 0 .
A 4 B, y A es dominado estrictamente por B si A 4 B
(c) R ≈ P(N).
y A 6≈ B, lo que se denota A ≺ B.
(d) C ≈ R.
Teorema 74 (Cantor). A ≺ P(A), para cualquier con-
junto A. Hipótesis del continuo: no existe un cardinal κ tal
que ℵ0 < κ < 2ℵ0 .
Lema 1. Si A, B, C y D son conjuntos tales que A ≈ C
y B ≈ D, entonces A 4 B ↔ C 4 D.
Hipótesis generalizada del continuo: si κ es un car-
Teorema 75. Sean A, B y C conjuntos: dinal infinito, no existe un cardinal λ tal que κ < λ < 2κ .
(a) A 4 A. Definición 49. Un conjunto A es numerable si |A| = ℵ0
(b) Si A 4 B y B 4 C, entonces A 4 C. y es contable (o a lo sumo numerable) si |A| ≤ ℵ0 .

(c) A 4 B si y solamente si ∃C ⊆ B(A ≈ C). Teorema 78. Todo subconjunto de un conjunto contable
(d) Si A ⊆ B ⊆ C y A ≈ C, entonces A ≈ B ≈ C. es contable.

(e) Si A 4 B y B 4 A, entonces A ≈ B (Cantor- Teorema 79. Sean A y B conjuntos:

Bernstein-Schröder).
Definición 48. Dados cardinales κ y λ, κ ≤ λ si existen
conjuntos K y L tales que |K| = κ, |L| = λ y K 4 L, y
κ < λ si κ ≤ λ y κ 6= λ.
Corolario 8. La ‘relación’ ≤ definida anteriormente es
un orden parcial en la clase de todos los conjuntos.
Teorema 76. Sean κ, λ y µ cardinales:
(a) 0 ≤ κ.
(a) Si existe f :N→A sobreyectiva, entonces A es conta-
ble.
(b) Si A 6= ∅ es contable, entonces existe f :N→A sobre-
yectiva.
(c) Si f es una función, A ⊆ Dom(f ) y A es contable,
entonces f [A] es contable.
(d) Si A y B son contables, entonces A ∪ B y A × B son
contables.

10