Beruflich Dokumente
Kultur Dokumente
Definimos
C = {A ⊆ N | ∃n ∈ A, ∀m > n, m ∈ A ⇒ m + 1 ∈ A } ∪ φ
Es decir, C contiene todos los subconjuntos de N que contiene a todos los
naturales a partir de un cierto n, unido a φ
Análogamente, definimos
C’ = {(an ) ∈ {0, 1}N | ∃k ∈ N, ∀j > k, aj = 1 ⇒ aj+1 = 1 }∪{(0)n }
como todas las sucesiones de ceros y unos que a partir de cierto momento
contienen sólo unos, agregando la sucesión constante nula.
1
Notamos que ϕ : f −1 o g −1 o h−1 es una biyección de R a P (N ) \ C
(Es decir, la sucesión de conjuntos obtenida sacando cada vez el mı́nimo del
conjunto anterior). Esto siempre se puede hacer, ya que (N, ≤) está bien orde-
nado.
Esto es, o quien tiene menor cardinalidad, o comparar sus mı́nimos hasta dar
con una diferencia. Es fácil notar que es un buen orden:
P (N ) = {{1}, {2}, ..., {1, 2}, {1, 3}, ..., {2, 3}, ..., {1, 2, 3}, ..., N, ...}
a ≤0 b ⇔ ϕ(a) ≤0 ϕ(b)
Al escoger un subconjunto cualquiera A de R, basta tomar su imagen, la
cual tiene un mı́nimo, para encontrar el mı́nimo en A.
2
Lema: g, definida anteriormente, es biyectiva.
Inyectividad:
P∞ P∞
Sean S1 = k=1 a2kk , S2 = k=1 bk
2k
, con (an ), (bn ) ∈ {0, 1}N \ C 0 .
pdq: S1 = S2 ⇒ (an )n = (bn )n
∞ ∞ ∞
1 X ak X bk X 1 1
⇒ k0 + =0+ ≤ = k0
2 2k 2k 2k 2
k=k0 +1 k=k0 +1 k=k0 +1
⇒ ∀k > k0 , ak = 0 ∧ bk = 1 ⇒ b ∈ C 0
→←
donde
1, k ∈ (kn )
(ak ) =
0, k ∈
/ (kn )
3
Vemos que (an )n ∈ {0, 1}N \ C 0 . Basta notar que está en {0, 1}N y que si
está en C 0 ,
∃k 0 ∈ N, ak0 = 0 ∧ ∀k > k 0 , ak = 1
Pero entonces g(ak ) = g(bk ), con
ak , k < k 0 − 1
(bk ) = 1, k = k 0
0, k ≥ k 0