Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1
(b) (t ⊆ s ∧ s ⊆ r) → t ⊆ r (transitividad ⊆). Leyes asociativas
(c) (t ⊆ s ∧ s ⊆ t) ↔ t = s (doble inclusión). (j) t ∪ (s ∪ r) = (t ∪ s) ∪ r.
(d) ∀x(x ∈ t ↔ x ∈ s) ↔ t = s (si x no aparece en t ni (k) t ∩ (s ∩ r) = (t ∩ s) ∩ r.
s). Leyes distributivas
(e) t * s ↔ ∃x ∈ t(x ∈
/ s) (si x no aparece en t ni s). (l) t ∪ (s ∩ r) = (t ∪ s) ∩ (t ∪ r).
(f ) ∅ ⊆ t. (m) t ∩ (s ∪ r) = (t ∩ s) ∪ (t ∩ r).
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
(l) t \ (s ∪ r) = (t \ s) ∩ (t \ r).
propio de) s’ y denota t ⊆ s ∧ t 6= s.
(m) t \ (s ∩ r) = (t \ s) ∪ (t \ r).
Teorema 7. Sean t, s, r términos de ZF:
Teorema 11. Sean t, r y s conjuntos en ZF:
(a) t 6= ∅ ↔ ∅ ( t.
(a) (t ⊆ t ∪ s) ∧ (s ⊆ t ∪ s).
(b) ¬(t ( ∅).
(b) (t ∩ s ⊆ t) ∧ (t ∩ s ⊆ s).
Teorema 8 (Teorema del subconjunto). {x | ϕ(x)} es
(c) t \ s ⊆ t.
conjunto si y solamente si ∃y(∀x(ϕ(x) → x ∈ y)) (es de-
cir, si ∃y({x | ϕ(x)} ⊆ y)). (d) t ⊆ s → t ∪ r ⊆ s ∪ r.
(e) t ⊆ s → t ∩ r ⊆ s ∩ r.
2. Operaciones sobre conjuntos (f ) t ⊆ s → t \ r ⊆ s \ r.
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).
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 Si f es una función con Dom(f ) = A y Ran(f ) ⊆
de R, y se denota Dom(R). Es decir, Dom(R) = B, entonces f = {(x, f (x)) | x ∈ A} y se usa
{x | ∃y((x, y) ∈ R)}. f : A → B para denotar f . En este caso, B es lla-
mado codominio de f .
El rango de R es el conjunto de imágenes de
R, y se denota Ran(R). Es decir, Ran(R) = Una función f = {(x, t(x)) | x ∈ A}, donde t(x) es
{y | ∃x((x, y) ∈ R)}. un término tal que ∀x ∈ A (t(x) ∈ B), se denota:
f :A → B
Teorema 24. Si R es conjunto, Dom(R) y Ran(R) tam-
bién son conjuntos. x 7→ f (x) = t(x)
Teorema 27. Sean f y g funciones, entonces:
Teorema 25. (a) Si R y S son relaciones, entonces
R ∪ S es relación. (a) f ⊆ g ↔ (Dom(f ) ⊆ Dom(g) ∧ ∀x ∈
Dom(f )(f (x) = g(x))).
(b) Si A es un conjunto de relaciones (es decir, si ∀R ∈
S
A(R es relación)), entonces A es relación. (b) f = g ↔ (Dom(f ) = Dom(g) ∧ ∀x ∈
Dom(f )(f (x) = g(x))).
(c) Dom(R ∪ S) = Dom(R) ∪ Dom(S).
Definición 17. Sea f una función:
S S S
(d) Dom( A) = {Dom(R) | R ∈ A} = Dom(R). f es invertible si f −1 también es función.
R∈A
f es inyectiva (o uno a uno) si elementos diferentes
(e) Ran(R ∪ S) = Ran(R) ∪ Ran(S). en el dominio tienen imágenes diferentes (es decir,
si ∀x, y ∈ Dom(f ) (x 6= y → f (x) 6= f (y))).
S S S
(f ) Ran( A) = {Ran(R) | R ∈ A} = Ran(R).
R∈A
Si f : A → B, f es sobreyectiva si Ran(f ) = B
Definición 14. Sean R y S relaciones: (equivalente, si ∀y ∈ B ∃x ∈ A(y = f (x))).
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:
(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:
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:
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 κ, |κ| = κ.
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.
10