Documentos de Académico
Documentos de Profesional
Documentos de Cultura
6378
Resumen
En este trabajo se hace un repaso a diferentes demostraciones que
ha tenido el Teorema de extensin de Tietze, debidas a Hausdor, Bohr,
Urysohn y Mandelkern (esta ltima es la ms simple y reciente).
Palabras y frases clave: Teorema de Tietze; Hausdor; Bohr; Urysohn; Mandelkern.
Abstract
In this paper we survey dierent proofs of Tietze's extension Theorem due to Hausdor, Bohr, Urysohn and Mandelkern (the last one is
the simplest and more recent).
Key words and phrases: Tietze's Theorem; Hausdor; Bohr; Urysohn;
Mandelkern.
1 Introduccin
El teorema de extensin de Tietze caracteriza los espacios topolgicos en los
que es posible extender al espacio total una funcin continua denida en un
cerrado. Al principio el teorema era ms modesto: simplemente armaba que
dicha extensin era posible en ciertos espacios; solo ms tarde aspir a caracterizarlos. La primera demostracin vlida (para el caso de R2 ) es la que
Lebesgue present en 1907 en [2]. La primera prueba vlida en espacios mtricos es la que dio Tietze en 1915 en [6] y por ello toma su nombre el teorema.
Recibido 2001/10/22. Aceptado 2002/04/03.
MSC (2000): Primary 54C20, 54-01.
64
F. G. Arenas y M. L. Puertas
65
g(x) =
d(x)
x (r)
dr
d(x)
2d(x)
d(x)
x0 (r + )
dr;
d(x)
x0 (r + )
dr.
d(x0 )
g(x)
d(x0 )
x0 (r + )
dr
d(x0 )
d(x)
d(x0 )
x0 (r + )
dr +
d(x0 )
2d(x)
2d(x0 )
x0 (r + )
dr.
d(x0 )
66
F. G. Arenas y M. L. Puertas
g(x)
d(x0 )
x0 (r)
dr
d(x0 )
d(x)
d(x0 )
0
dr +
d(x0 )
2d(x)
1
dr
d(x0 )
2d(x0 )
1
(g(x0 )d(x0 ) + (2d(x) 2d(x0 ) + ))
d(x0 )
1
(g(x0 )d(x0 ) + 2(d(x) d(x0 )) + )
d(x0 )
1
(3 + g(x0 ))
(g(x0 )d(x0 ) + 3) g(x0 ) =
.
d(x0 )
d(x0 )
g(x) =
d(x)
2d(x0 )+
x0 (r )
dr +
d(x0 ) +
d(x0 )+
2d(x0 )
d(x0 )
x0 (r)
dr +
d(x0 ) +
=
x (r)
dr >
d(x)
d(x)
d(x0 )+
d(x)
d(x0 )+
2d(x)
d(x)
x0 (r )
dr
d(x0 ) +
x0 (r )
dr
d(x0 ) +
0
dr
d(x0 ) +
2d(x)
2d(x0 )+
2d(x)
2d(x0 )+
x0 (r )
dr
d(x0 ) +
1
dr
d(x0 ) +
1
(g(x0 )d(x0 ) (2d(x0 ) + 2d(x)))
d(x0 ) +
1
(g(x0 )d(x0 ) + 2(d(x) d(x0 ))
d(x0 ) +
1
(g(x0 )d(x0 ) 3) g(x0 )
d(x0 ) +
(3 + g(x0 ))
(3 + g(x0 ))
>
.
d(x0 ) +
d(x0 )
67
(3 + g(x0 ))
d(x0 )
y esa cota puede hacerse siempre < , ya que viene dada slo en funcin de
valores concretos de g y d en x0 y de , as que basta hacer sucientemente
pequeo para que sea eso < .
Veamos ahora que la imagen de g est contenida en [0,1]. Como f est
acotada por 1, tambin lo est x (r) que se construye tomando supremos de
valores de f , luego
2d(x)
g(x)
d(x)
1
2d(x) d(x)
dr =
= 1,
d(x)
d(x)
F (x) =
f (x) si
g(x) si
xA
xX \A
Claramente F es una funcin denida en todo X , cuya imagen est contenida en [0,1] y que extiende a f . Resta ver que F es continua en todo punto
de X , es decir, dado x0 X y para todo > 0, existe > 0 tal que si x X
verica d(x, x0 ) < , entonces |F (x) F (x0 )| < . Sabemos que sus restricciones a A y a X \ A son continuas, as que el nico caso por considerar es que
x0 A y x X \ A (o viceversa), en cuyo caso hay que probar que si x0 A
y para todo > 0, existe > 0 tal que si x X \ A verica d(x, x0 ) < ,
entonces |g(x) f (x0 )| < .
Para ello, como x creciente y como r 2d(x) entonces
2d(x)
g(x)
d(x)
x (2d(x))
2d(x) d(x)
dr =
x (2d(x)) = x (2d(x)).
d(x)
d(x)
Por otro lado B2d(x) (x) B3 (x0 ) (si y B2d(x) (x), entonces d(y, x) <
2d(x), luego d(y, x0 ) d(y, x) + d(x, x0 ) < 2d(x) + , y como x0 A, d(x) <
d(x, x0 ) < , de donde d(y, x0 ) < 3 ). De esa inclusin de conjuntos sale al
tomar supremos x (2d(x)) x0 (3), luego g(x) Sup {f (y) : y A
B3 (x0 )}.
Analogamente se obtiene g(x) Inf {f (y) : y A B3 (x0 )} ya que
x (r) = Sup {f (y) : y A Br (x)} Inf {f (y) : y A Br (x)} pues el
supremo es siempre mayor que el nmo, y eso a su vez es mayor o igual que
Divulgaciones Matemticas Vol. 10 No. 1 (2002), pp. 6378
68
F. G. Arenas y M. L. Puertas
=
que
con
que
69
3
construimos U 4 . Tenemos as que: A U 1 ; U 1 (X \ U 1 ) = , o lo que es lo
4
4
2
mismo, U 1 U 1 ; U 1 U 3 .
4
2
2
4
Tenemos ya construidos los abiertos correspondientes a los nmeros didicos con n = 1, 2; procedamos ahora por induccin sobre n para construir el
resto.
1
1
2
La hiptesis de induccin es: A U n1 ; U n1 U n1 ; . . . ; U 2n1 2
2
2n1
U 2n1 1 ; U 2n1 1 B = .
2n1
2n1
de A y X U
de U
1
2n1
y X U
1
2n1
2
2n1
.
.
.
de U 2n1 2 y X U 2n1 1
2n1
2n1
de U 2n1 1 y B
2n1
2n1
2n1
f (x) =
1
si x
/
Inf {r D : x Ur } si x
Ur
rD Ur .
rD
70
F. G. Arenas y M. L. Puertas
71
Denicin 3.3. Dada una sucesin de nmeros reales {an }, se llama serie
Lema 3.4.
1. Dados a, z R, si |z| < 1, entonces la serie (que se llama serie geom
a
trica) n0 az n es convergente y adems n=0 az n = 1z .
2. Si para dos series dadas n1 an y n1 bn existe N N tal que, si
n N , an = bn , entonces una serie es convergente si y slo si lo es la
otra.
3. Si n1 an y n1 bn son dos series convergente y c R entonces
las series n1 can y n1 (an + bn ) tambin son convergentes y su
sumas verican: can = c an y (an + bn ) = an +
n=1
n=1
n=1
n=1
n=1 bn .
4. Una serie de numeros reales n1 an se dice que es absolutamente convergente si la serie n1 |an | es convergente; una serie absolutamente
convergente es convergente.
5. (Criterio de comparacin.) Sean 0 an bn , para cada n N;
si n1 bn es convergente entonces n1 an tambin es convergente y
en tal caso las sumas de ambas series verican la siguiente relacin:
n=1 an
n=1 bn .
Divulgaciones Matemticas Vol. 10 No. 1 (2002), pp. 6378
72
F. G. Arenas y M. L. Puertas
1
0
si x B
si x A
A1 = {x A : f (x)
1
}
3
B1 = {x A : f (x)
1
}.
3
A2 = {x A : g1 (x)
2
}
9
B2 = {x A : g1 (x)
2
}.
9
De nuevo el corolario 3.2 aplicado a estos dos cerrados disjuntos nos proporciona una funcin f2 : X [ 2 , 2 ], continua y tal que f2 (A2 ) = 2 y
9 9
9
f2 (B2 ) = 2 . Claramente, ahora |(f f1 ) f2 | 4 = ( 2 )2 .
9
9
3
Para continuar el proceso por induccin, formulamos la siguiente hiptesis:
sea n N, con n 3, supongamos que para cada k {1, . . . , n} hemos
Divulgaciones Matemticas Vol. 10 No. 1 (2002), pp. 6378
73
1
denido una aplicacin fk : X [ 1 ( 2 )k1 , 3 ( 2 )k1 ], continua, tal que,
3 3
3
k1
1
si Ak = {x A : (f i=1 fi )(x) 3 ( 2 )k1 } y Bk = {x A : (f
3
k1
1 2 k1
2
}, entonces fk (Ak ) = 1 ( 3 )k1 , fk (Bk ) = 1 ( 2 )k1
i=1 fi )(x) 3 ( 3 )
3
3 3
n
2 n
y |f (x) k=1 fk (x)| ( 3 ) , para cada x A.
An+1 = {x A : (f
fk )(x)
k=1
n
Bn+1 = {x A : (f
fi )(x)
i=1
1 2 n
( ) }
3 3
1 2 n
( ) }.
3 3
1
El corolario 3.2 nos proporciona una aplicacin fn+1 : X [ 1 ( 2 )n , 3 ( 2 )n ],
3 3
3
1 2 n
1 2 n
continua, tal que fn+1 (An+1 ) = 3 ( 3 ) y fn+1 (Bn+1 ) = 3 ( 3 ) . Adems, pan
2
ra x An+1 , fn+1 (x) = 1 ( 2 )n y ( 2 )n f (x) k=1 fk (x) 1 ( 3 )n , por lo
3 3
3
3
n
n+1
2 n 1 2 n
tanto |f (x) k=1 fk (x)| = |(f (x) k=1 fk (x))fn+1 (x)| ( 3 ) 3 ( 3 ) =
n+1
2
( 3 )n+1 . Anlogamente |f (x) k=1 fk (x)| ( 2 )n+1 para cada x A. Esto
3
concluye la induccin.
Hemos obtenido, pues, una sucesin de funciones continuas {fn }nN , tales
n
1
que |fn (x)| 3 ( 2 )n1 para cada x X y |f (x) k=1 fk (x)| ( 2 )n , para
3
3
cada x A.
vergente y su suma verica n=1 fn (x) n=1 |fn (x)| n=1 1 ( 2 )n1 =
3 3
1 2 m
1 1
m=0 3 ( 3 ) = 3 1 2 = 1.
3
2 n
< 2 (lo que es posible al ser la serie convergente).
tal que
n=N +1 ( 3 )
Dado que cada fn es continua, para cada n {1, . . . , N } elegimos un abier
to Un en X con x Un y tal que fn (Un ) Bfn (x) ( 2N ). Entonces U =
U1 Un es un abierto de X con x U y tal que, para cada y U
N
|F (x) F (y)| n=1 |fn (x) fn (y)| + | n=N +1 fn (x) n=N +1 fn (y)| <
2 n
n=N +1 ( 3 ) 2 + 2 = .
2 +
Divulgaciones Matemticas Vol. 10 No. 1 (2002), pp. 6378
74
F. G. Arenas y M. L. Puertas
75
(r, s) P
entonces claramente Cr Us , pues si f (x) r < s, entonces es falso que
f (x) s.
Puesto que Q Q es numerable, se sigue que P es un conjunto numerable
(y obviamente innito). Por tanto podemos escribir P como una sucesin
P = {(rn , sn ) : n N. Construimos inductivamente una sucesin de conjuntos
cerrados H(rn , sn ) con las siguientes propiedades para todo n N :
(1)
(2)
76
F. G. Arenas y M. L. Puertas
{H(rj , sj ) : j Jk }
{H(ri , si ) : i Lk }
Cr k
{H(rj , sj ) : j Jk } Usk
{H(ri , si ) : i Lk }.
Cr k
{H(ri , si ) : i Lk }
Cr H(r, s) H(r, s) Us ,
(3)
H(r, s) H(p, q)
(4)
Xr Xs si r, s Q y 0 r < s 1.
(5)
77
Xr C = Cr si r Q [0, 1].
(6)
Cr C X r C
{Us : s > r} = Cr
As obtenemos 6.
Finalmente, sea F : X [0, 1] la funcin
F 1 (]a, b[) =
F 1 ([0, b[) =
F 1 (]a, 1]) =
(7)
(8)
(9)
Veamos por ejemplo 7 (los otros dos casos son anlogos) Tomamos p, q Q
con a < p < F (x) < q < b. Dado que p < F (x) se tiene que x Xp por la
/
denicin de F . Igualmente, debe existir t Q con F (x) < t < q y x Xt ,
Divulgaciones Matemticas Vol. 10 No. 1 (2002), pp. 6378
78
F. G. Arenas y M. L. Puertas
x (Xq \ Xp ) .
Recprocamente, si x (Xs \ Xr ) con a < r < s < b tenemos que
F (x) > r > a por denicin de F y la propiedad 5 y F (x) s < b por
denicin de F tambin, luego x F 1 (]a, b[).
Esto concluye la demostracin.
Referencias
[1] F. Hausdor, ber halbstetige Funktionen und deren Verallgemeinerung,
Math. Zeitschr. 5(1919), 292309.
[2] H. Lebesgue, Sur le problme de Dirichlet, Rend. del Circ. Mat. di Palermo
24 (1907), 371-402.
[3] M. Mandelkern, A short proof of the Tietze-Urysohn extension theorem,
Arch. Math. 60(1993), 364366.
[4] J. Margalef y E. Outerelo, Introduccin a la topologa, Ed. Complutense,
1993.
[5] K. R. Stromberg, An introduction to classical real analysis, Wadsworth
International Group, 1981.
[6] H. Tietze, ber Funktionen, die auf einer abgeschlossenen Menge stetig
sind, J. fr die reine und angew. Math. 145(1915), 914.
[7] P. Urysohn, ber die Mchtigkeit der zusammenhngenden Mengen, Math.
Ann. 94 (1925), 262295.