Capı́tulo 7: Los axiomas de separación

Lección 5 : Tietze o extensión de funciones

7.39. Definición. Dados A ⊆ X y una función f : A −→ Y decimos que

la función F : X −→ Y es una extensión de f si y sólo si para cada a ∈ A,
f (a) = F (a).

La anterior definición el lema de Urysohn puede interpretarse como un teo-

rema que garantiza la existencia de la extensión de una función; dados A, B dos
subconjuntos cerrados disyuntos del espacio (X, G) la función f : A∪B −→ [0, 1]
definida como f (x) = 0 si x ∈ A, f (x) = 1 si x ∈ B —es una función continua
definida sobre el subespacio A ∪ B pues A, B son simultáneamente abiertos y
cerrados en este subespacio— admite a la función u : X −→ [0, 1] dada por el
lema de Urysohn como una extensión.

Por supuesto el problema de garantizar la existencia de extensiones de fun-

ciones no es trivial y en general no es posible encontrar tales extensiones. Por
ejemplo para f : (0, 1] −→ R dada por f (x) = sen( x1 ) —la curva seno del
topólogo— es imposible encontrar una extensión continua para el espacio [0, 1],
pues no importa el valor que le asignemos a f (0) siempre es posible encontrar
una sucesión convergente a 0 y cuya imagen no es convergente a f (0) —tomar
lı́neas paralelas al eje x—.

El siguiente teorema garantiza una solución al problema cuando de los espa-

cios normales se trata. Fue demostrado por Urysohn, pero lleva el nombre de
Tietze, ya que fue éste último quien antes lo habı́a demostrado para los espacios
métricos.

7.40. Teorema. Extensión de Tietze. Sea (X, G) un espacio normal. Dada

f : L −→ [a, b] una función continua de un subespacio cerrado L ⊆ X existe
una extensión F de f con F : X −→ [a, b].

Demostración. Sea f : L −→ [−1, 1] continua. Tomamos a [−1, 1] en

lugar de [a, b] y esto no es pérdida de generalidad ya que [a, b] y [−1, 1] son
homeomorfos. A continuación definimos una sucesión de funciones g1 , g2 , . . .
definidas sobre todo
X,
∞
la cual nos defirá a nuestra extensión F de acuerdo a
la formula F (x) = n=1 gn (x) —F (x) es por definición

n el lı́mite de la sucesión
infinita de sumas parciales (sn (x)) con sn (x) = i=1 gi (x)—.

Sean

1
 A0 ={x ∈ L : f (x) ≤ −1/3} = f −1 ([−1, −1/3])
B0 ={x ∈ L : f (x) ≥ 1/3} = f −1 ([1/3, 1]).

A0 , B0 son cerrados y disyuntos.

Por el lema de Urysohn existe g1 : X −→ [−1/3, 1/3] continua y tal que

g1 (A0 ) = −1/3, g1 (B0 ) = 1/3; luego para cada x ∈ L, | f (x) − g1 (x) |≤ 2/3.
Definimos f1 := f − g1 la cual es una función continua con

f1 : L −→ [−2/3, 2/3].

Sean A1 = f1−1 ([−2/3, −1/3(2/3)]), B1 = f1−1 ([1/3(2/3), 2/3]). Nuevamen-

te y como antes, existe

g2 : X −→ [−1/3(2/3), 1/3(2/3)],

con g2 (A1 ) = −1/3(2/3), g2 (B1 ) = 1/3(2/3) y además

| f1 (x) − g2 (x) |≤ (2/3)2 ,

para x ∈ L; esto es, | f (x) − (g1 (x) + g2 (x)) |≤ (2/3)2 .

Supongamos que g1 , g2 , . . . , gn han sido definidas sobre X con la propiedad

n
|f (x) − i=1 gi (x)| ≤ (2/3)n para x ∈ L.

De manera inductiva definimos a

n

fn (x) = f (x) − gi (x).
i=1

Ası́ obtenemos dos conjuntos disyuntos An , Bn definidos como

2
 An =fn−1 ([(−2/3)n , −1/3(2/3)n ])
Bn =fn−1 ([1/3(2/3)n , (2/3)n ])

con lo cual el lema de Urysohn asegura la existencia de

gn+1 : X −→ [−1/3(2/3)n , 1/3(2/3)n ] con | gn+1 (x) | ≤ 1/3(2/3)n

y además

 
 n+1
 
 
f (x) − gi (x) ≤ (2/3)n+1 para x ∈ L.
 
i=1

{g1 , g2 , . . .} es una sucesión de funciones continuas sobre X tal que

| gn (x) |≤ 1/3(2/3)n−1 , x ∈ X (7.1)(1)

 
 n
 
 
f (x) − gi (x) ≤ (2/3)n , x ∈ L. (7.2)(2)
 
i=1

Luego

gn  = sup{|gn (x)| : x ∈ X} ≤ 1/3(2/3)n−1

∞
∞
y como i=0 ( 12 )( 23 )n = 1 tenemos que i=1 gi es

uniformemente conver-
∞
gente y converge a la función F definida como F (x) = i=1 gi (x).

Para ver que F es continua basta notar que
ella es el lı́mite uniforme de la
n
sucesión de funciones continuas sn con sn (x) = i=1 gi (x). Finalmente, por la
desigualdad en (7.2) tenemos que para x ∈ L, F (x) = f (x).

3
7.41. Corolario. Si un espacio topológico (X, G) tiene la propiedad de
extender funciones como en el teorema anterior entonces X es normal.

Demostración. Es suficiente ver que un espacio con esta propiedad

satisface las condiciones en el lema de Urysohn y este último asegura entonces
que X es normal.

7.42. Ejemplo. Existencia de homotopı́as. Sean (X, G) normal y A ⊆ X

cerrado. Dada f : A −→ Rn existe F : X −→ Rn extensión de f ; en efecto, para
cada función coordenada fi = pi ◦ f existe una extensión continua Fi : A −→ R
y por tanto la función F = (Fi )1=1,2,...,n es continua.

El espacio (I × I, usual) es normal y

A = {(x, y) : y = 1} ∪ {(x, y) : y = 0},

es un subconjunto cerrado. Si f : A −→ R2 es continua, existe una extensión

continua F : (I × I, usual) −→ R2 —F es llamada una homotopı́a—.

Si en el teorema anterior omitimos la condición de cerrado para L, entonces el

teorema no se tiene. Por ejemplo para X = [0, 1], L = (0, 1] y f (x) = sen(1/x),
0 < x ≤ 1, ya hemos visto que f no puede ser extendida de manera continua.

Nota. Cuando un espacio topológico Y se comporta como el espacio R

para el teorema de Tietze, lo llamamos un retracto absoluto RA.

7.43. Definición. El espacio (Y, H) es un RA si y sólo si para cada espacio

(Y, H) normal y para cada L ⊆ X cerrado, dada f : L −→ Y continua existe
una extensión continua F : X −→ Y .

Los espacios (Rn , usual) y los cubos de dimensión finita (I n , usual) son
retractos absolutos. Para ver que Rn es un retracto absoluto consideremos
f : L −→ Rn continua. Si pi es la proyección i-ésima entonces fi = pi ◦ f es
continua como función de L en R y sea Fi su extensión a todo X. Si definimos
F : L −→ Rn como F (X) = (F1 (x), . . . , Fn (x)), F es continua y además es
extensión de f .

Curso de Topolologı́a General.

http://www.virtual.unal.edu.co