Propiedades adicionales del espacio de funciones

continuas

Análisis Matemático 2
Prof. J. Rivera Noriega

ITAM

Otoño de 2023

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 1 / 21

Tópicos a cubrir

Teorema de extensión de Tietze

Más sobre funciones continuas lineales por pedazos
El primer teorema provee condiciones que implican que una función continua en
un subconjunto de Rp pueda extenderse como una función continua a todo Rp .
En el segundo punto revisaremos una caracerización de funciones continuas
lineales por pedazos por medio de combinaciones del valor abosluto.

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 2 / 21

TEOREMA DE EXTENSIÓN DE TIETZE

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 3 / 21

Un ejemplo básico de teorema de extensión – 1

Bajo la hipótesis de que f : [0, 1] → R es continua, y f (0) = f (1) = 0 podemos

extender la definición de f a todo R como

f (x) si x ∈ [0, 1]
F (x) =
0 si x 6∈ [0, 1]

y afirmamos que F era uniformemente continua en R.

En efecto, dada  > 0 y x, y ∈ R tenemos varios casos:
Si x, y 6∈ [0, 1] entonces F (x) = F (y ) = 0 y no hay nada qué probar
Si x, y ∈ [0, 1] entonces se sabe de la existencia de δ1 > 0 tal que
|x − y | < δ1 implica |f (x) − f (y )| < .
Si x ∈ [0, 1] y y 6∈ [0, 1] entonces |F (x) − F (y )| = |f (x)| = |f (x) − f (1)| y de
nuevo basta tomar la δ1 > 0 de la continuidad uniforme en [0, 1].

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 4 / 21

Un ejemplo básico de un teorema de extensión – 2

Sean A, B ⊂ Rp conjuntos cerrados y disjuntos.

Supóngase que tenemos ϕ : A ∪ B → R definida como

0 si x ∈ A
ϕ(x) =
1 si x ∈ B

y se quiere “extender” a esta función para tener una ϕ̃ : Rp → R de manera que

sea continua en todo Rp , cumpliendo además

ϕ̃(x) = ϕ(x) si x ∈ A ∪ B, 0 ≤ ϕ̃(x) ≤ 1 para toda x ∈ Rp

 
Definamos d(x, A) = ı́nf kx − y k : y ∈ A , d(x, B) = ı́nf kx − y k : y ∈ B y

d(x, A)
ϕ̃(x) =
d(x, A) + d(x, B)

es la solución al problema planteado.

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 5 / 21

Teorema de extensión de Tietze

Teorema
Sea f : D ⊂ Rp → R continua y acotada, con D ⊂ Rp cerrado. Entonces existe
g : Rp → R tal que g (x) = f (x) para x ∈ D, y tal que kg k∞ = kf k∞,D es decir

sup |g (x)| : x ∈ Rp = sup |f (x)| : x ∈ D

 


Como f es acotada podemos definir M = sup |f (x)| : x ∈ D , y considerar
 
A1 = x ∈ D : f (x) ≤ −M/3 , B1 = x ∈ D : f (x) ≥ M/3

Nótese que A1 y B1 son cerrados en Rp , por los teoremas de continuidad.

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 6 / 21

Demostración del Teorema de Tietze
Definamos 
−M/3 si x ∈ A1
f˜(x) =
M/3 si x ∈ B1

M/3 f˜

B1
A1

f˜ −M/3

f
−M

Figura: Aspecto general de f y los conjuntos A1 y B1

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 7 / 21

Demostración del Teorema de Tietze
3 ˜ 
Definiendo ϕ̃1 (x) = f (x) + M/3 tenemos que
2M

0 si x ∈ A1
ϕ̃1 (x) = 0 ≤ ϕ̃1 (x) ≤ 1
1 si x ∈ B1

1 ϕ̃1

ϕ̃1

Figura: Esquema de la gráfica de ϕ̃1

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 8 / 21

Demostración del Teorema de Tietze
De acuerdo al Ejemplo Básico anterior existe ψ1 : Rp → R que extiende a ϕ̃1
M

M/3 ϕ1

ϕ1 −M/3

f
−M

Figura: Esquema de la gráfica de ϕ1

2M M
Sea ϕ1 (x) = ψ1 (x) − , definida para toda x ∈ Rp .
3 3
MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 9 / 21
Demostración del Teorema de Tietze
Nótese que se cumple

−M/3 si x ∈ A1 −M M
ϕ1 (x) = ≤ ϕ1 (x) ≤
M/3 si x ∈ B1 3 3

Sea ahora f2 = f − ϕ1 .
 2M
Entonces f2 es continua en D y sup |f2 (x)| : x ∈ D ≤ porque:
3
Para x 6∈ A1 ∪ B1 sabemos |f (x)| ≤ M/3 y |ϕ1 (x)| ≤ M/3;
Para x ∈ A1 ∪ B1 , digamos x ∈ B1 , tenemos que

ϕ1 (x) = M/3, por lo que |f (x) − ϕ1 (x)| = f (x) − M/3 ≤ 2M/3;

Un argumento similar funciona para el caso x ∈ A1 :

ϕ1 (x) = −M/3, |f (x) − ϕ1 (x)| = −M/3 − f (x) ≤ −M/3 + M = 2M/3

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 10 / 21

Demostración del Teorema de Tietze

Si repetimos el procedimiento anterior con f2 , tenemos ahora una función con

“estatura” igual a 2M/3.
Al tomarle
  1/3 a esta cantidad tendremos que considerar truncaciones a la altura
M 2
. Definimos entonces
3 3
     
M 2 M 2
A2 = x ∈ D : f (x) ≤ − , B2 = x ∈ D : f (x) ≥
3 3 3 3

COn el procedimiento anterior obtenemos ahora una función ϕ2 : Rp → R tal que

  
−(M/3)(2/3) si x ∈ A2 M 2
ϕ2 (x) = |ϕ2 (x)| ≤
(M/3)(2/3) si x ∈ B2 3 3

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 11 / 21

Demostración del Teorema de Tietze
Si definimos f3 = f2 − ϕ2 = f − ϕ1 − ϕ2 = f − (ϕ1 + ϕ2 ), se observa que f3 es
continua en D y que
 2  
 2 2M
sup |f3 (x)| : x ∈ D ≤ M=2 .
3 3 3

Esto es cierto porque:

Para x 6∈ A2 ∪ B2 sabemos |f2 (x)| ≤ (M/3)(2/3) y |ϕ2 (x)| ≤ (M/3)(2/3);
Para x ∈ A2 ∪ B2 , digamos x ∈ B2 , tenemos que ϕ2 (x) = (M/3)(2/3) y
         
M 2 M M 2 2M
|f2 (x) − ϕ2 (x)| = f2 (x) − ≤2 − =2 ;
3 3 3 3 3 3 3
Un argumento similar funciona para el caso x ∈ A1 , pues en este caso
ϕ2 (x) = −M/3 y
         
M 2 M 2 M 2M
|f2 (x) − ϕ2 (x)| = − − f2 (x) ≤ − +2 =2
3 3 3 3 3 3 3

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 12 / 21

Demostración del Teorema de Tietze

Con
la construcción anterior repetida recursivamente obtenemos una sucesión

ϕn definidas en Rp cumpliendo
 n

2
f (x) − ϕ1 (x) + · · · + ϕn (x) ≤ M para toda x ∈ D, (*)
3
 n−1
M 2
|ϕn (x)| ≤ para toda x ∈ Rp . (**)
3 3

Definimos la función continua gn = ϕ1 + ϕ2 + · · · + ϕn . Entonces para m ≥ n y

x ∈ Rp tenemos por (**)
 n "  2 #
M 2 2 2
|gn (x) − gm (x)| = |ϕn+1 (x) + · · · + ϕm (x)| ≤ 1+ + + ···
3 3 3 3
 n
2
En conclusión |gn (x) − gm (x)| ≤ M para toda x ∈ Rp .
3

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 13 / 21

Demostración del Teorema de Tietze - 4

De lo anterior concluimos que (gn ) es de Cauchy uniformemente, y uniformemente

acotada, por lo que existe g continua y acotada en todo Rp que es el lı́mite
uniforme de la sucesión (gn ).
Como cada gn es continua y acotada en Rp entonces g es continua en todo Rp .

n
Por la condición (∗) tenemos además que |f (x) − gn (x)| ≤ 23 M para x ∈ D.
Por unicidad de lı́mites f (x) ≡ g (x) para toda x ∈ D, y entonces
kf k∞,D = kg k∞,D .
Finalmente por la condición (**) tenemos que para x ∈ Rp
"  2  n−1 #
M 2 2 2
|gn (x)| ≤ 1+ + + ··· + <M
3 3 3 3

lo cual implica que |g (x)| ≤ M para x ∈ Rp . En conclusión kg k∞ ≤ M.

Como además es claro que kg k∞ ≥ M entonces concluimos kg k∞ = M 

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 14 / 21

FUNCIONES CONTINUAS LINEALES POR PEDAZOS

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 15 / 21

Translaciones de la función Valor Absoluto
Definamos

abs(x) = |x|, absa (x) = |x − a| para x ∈ I, a ∈ R.

Figura: Gráficas de y = abs(x − a) con a = 0, 3, −1/2

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 16 / 21

El resultado principal

El resultado que queremos establecer es el siguiente:

Teorema
Si f : I → R es continua y lineal por pedazos, entonces f es combinación lineal de
funciones absa para ciertas a ∈ I.

Por hipótesis existen 0 = x0 < x1 < · · · < xn = 1 de manera que f es lineal en

cada subintervalo Ik = [xk−1 , xk ], k = 1, . . . , n.

Definamos S = span absxk : 0 ≤ k ≤ n . Entonces S es un subespacio vectorial
de C [0, 1]
Incidentalmente, nótese que las funciones constantes pertenecen a S pues para
x ∈ I tenemos
absx0 (x) − absxn (x) = x + (1 − x) = 1

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 17 / 21

Demostración del teorema
Haremos tres modificaciones a la función absxk (x).
Definamos

1
0 si x ≤ xk
Rk (x) = absxk (x) + (x − xk ) =
2 x − xk si x > xk

Figura: Gráfica de Rk con xk = 0,2

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 18 / 21

Demostración del teorema
Ahora definimos

Rk − Rk−1 0 si j < k
Jk = y notamos que Jk (xj ) =
xk − xk−1 1 si j ≥ k

Figura: Gráfica de Jk con xk = 0,2, suponiendo que xk−1 = 0,1

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 19 / 21

Demostración del teorema
Finalmente definimos

1 si k = j
Hk = Jk − Jk+1 y notamos que Hk (xj ) =
0 si j 6= k

Figura: Gráfica de Hk con xk = 0,2, suponiendo que xk−1 = 0,1 y xk+1 = 0,3

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 20 / 21

Demostración del teorema

Obsérvese que Rk , Jk , Hk ∈ S, y además

n
X
f (xk )Hk
k=0

es una función lineal por pedazos que coincide con f en todo xk .

Debe entonces ocurrir que
n
X
f (x) = f (xk )Hk (x) para todo x ∈ I.
k=0

Por tanto f ∈ S 

MAT24630 (ITAM) Espacio de funciones continuas Otoño de 2023 21 / 21