Problema x2.

9
Kevin Steven Ardila Plata 2171564
Universidad Industrial de Santander
Escuela de Matemáticas
Bucaramanga

1. Problema x2.9.
1.1. El conjunto C[0, 1] de todas las funciones continuas en el intervalo
[0, 1] ⊂ R es equipotente con R.
C[0, 1] = {f ∈ P ([0, 1] × R)|f es una f unción continua}

1.2. Demostración
i) Veamos que R ≤c C[0, 1].
Sea φ : R → C[0, 1] con φ(r) = f donde f : [0, 1] → R dada por f (x) = r para todo x ∈ [0, 1],f ∈
C[0, 1] pues f es continua.
Sea r1 , r2 ∈ R si r1 = r2 entonces φ(r1 ) = g ∧ f = φ(r2 ), donde g : [0, 1] → R y f : [0, 1] → R
son dadas por g(x) = r1 , f (x) = r2 para toda x ∈ [0, 1] de donde g(x) = f (x) pues r1 = r2 y así
φ(r1 ) = φ(r2 ).

Ahora suponga que φ(r1 ) = φ(r2 ) enotnces g = φ(r1 ) y f = φ(r2 ) con g(x) = r1 y f (x) = r1
ya que f (x) = g(x) se tiene que r1 = r2 .

De esta forma se tiene que φ es una función inyectiva.

ii) Veamos que C[0, 1] ≤c RQ∩[0,1] .

Sea Φ ⊂ C[0, 1] × RQ∩[0,1] tal que Φ(f ) = f |Q donde f ∈ C[0, 1] y f |Q : [0, 1] ∩ Q → R.

Sea f, g ∈ C[0, 1] entonces se tiene que:

(I). Si f = g entonces f |Q = g|Q lo que implica que Φ(f ) = Φ(g).

(II). Si Φ(f ) = Φ(g) entonces f |Q = g|Q.

Veamos que f = g, tenemos que para x ∈ [0, 1] ∩ Q, f (x) = g(x).
Sea x ∈ [0, 1]\Q, por resultados del curso de análisis real tenemos que existe una sucesión de
racionales (qn )∞
n=1 que converge a x. Así como f y g son continuas se tiene que

f (x) = f ( lı́m qn ) = lı́m f (qn ) = lı́m g(qn ) = g( lı́m qn ) = g(x).

n→∞ n→∞ n→∞ n→∞

De donde se tiene que f (x) = g(x) para todo x ∈ [0, 1].

Por (I) y (II) se tiene que Φ es una función inyectiva.

Ya que de resultados anteriores tenemos que RQ∩[0,1] =c RQ =c RN =c R, entonces por i), ii)
y el Teorema (Schröder-Bernstein) se tiene que C[0, 1] =c R.

Referencias
Notes on Set Theory, Editorial Springer, 2th edition.