Академический Документы
Профессиональный Документы
Культура Документы
Claudio Padra
20 de agosto de 2008
Índice general
1. Números cardinales 2
1.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Conjuntos numerables . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Conjuntos con la potencia del continuo . . . . . . . . . . . . 6
1.4. Conjuntos reflexivos . . . . . . . . . . . . . . . . . . . . . . . 7
1
Capı́tulo 1
Números cardinales
1.1. Introducción
Def. Se dice que un conjunto A es equipotente ó coordinable con un conjunto
B, si existe una biyección de A a B. Se indicará por A ∼ B.
Ejercicio: Equipotente es una relación de equivalencia.
Def. El número cardinal de un conjunto A es un conjunto equipotente con
A elegido en la clase de equivalencia de A. Se designará por card (A).
Def. Sea n ∈ IN. In = {k ∈ IN : k ≤ n} se llamará sección inicial ó intervalo
inicial de IN.
Def. Un conjunto A es finito si es vacı́o ó si es equipotente a alguna sección
inicial In de IN. Si el conjunto A no es finito, entonces A es infinito. A los
cardinales de los conjuntos infinitos se los llama transfinitos.
2
CAPÍTULO 1. NÚMEROS CARDINALES 3
Ejercicio:
f : IN → A
Teorema 1.4 IN × IN ∼ IN
Teorema 1.5 ZZ ∼ IN
∞
[
Teorema 1.7 Si An ∼ IN ∀n ∈ IN entonces A = An ∼ IN.
n=1
1. Si Ai ∼ IN ∀i ∈ In entonces A1 × · · · × An ∼ IN.
l ∼ IN
2. Q
l n ∼ IN
3. Q
4. Q[x]
l ∼ IN
U ⊃ I1 ⊃ I2 ⊃ · · · ⊃ In ⊃ In+1 ⊃ . . .
Teorema 1.9 IR ∼ U
t
Dem. Sea f : IR → (−1, 1) definida por f (t) = es biyectiva, pues su
1 + |t|
u
inversa es g(u) = .
1 − |u|
Corolario 1.4 1. T n ∼ U
2. T IN ∼ U
3. IRn ∼ U
4. IRIN ∼ U
Dem.
A1 ⊂ A2 ⇒ Φ(A1 ) ⊂ Φ(A2 )
Φ(A0 ) = A0
Φ(A0 ) ⊂ ∩C = A0
10
CAPÍTULO 2. OPERACIONES ENTRE NÚMEROS CARDINALES 11
Luego Φ(A0 ) = A0 .
α · β = card (A × B)
ℵ0 + ℵ0 = ℵ0 , ℵ0 · ℵ0 = ℵ0
1. m + ℵ0 = ℵ0
2. a + ℵ0 = a
3. a + m = a
1. ab · ac = ab+c
2. (ab )c = ab·c
3. (a · b)c = ac · bc
4. a1 = a, 1a = 1
5. a0 = 1
6. Para a 6= 0 es 0a = 0
Dem. Sea Φ : P(X) → F (X, {0, 1}) definida por Φ(A) = χA donde
0 si x ∈/A
χA (x) =
1 si x ∈ A
Resulta que Φ es una biyección, con lo cual
15
CAPÍTULO 3. APENDICE: EL AXIOMA DE ELECCIÓN 16
Teorema 3.1 Todos los principios anteriores son equivalentes al axioma de elec-
ción.
Ejercicios
17
CAPÍTULO 3. APENDICE: EL AXIOMA DE ELECCIÓN 18
5. Pruebe que