Funciones Lipschitz continuas

y funciones Hölder continuas

Objetivos. Definir los conceptos de funciones Lipschitz continuas y Hölder continuas,

estudiar sus propiedades básicas.

Prerrequisitos. Funciones uniformemente continuas, el indicador de continuidad unifor-

me, la definición de la derivada, el teorema del valor medio.

1 Definición (función Lipschitz continua). Sean (X, dX ), (Y, dY ) espacios métricos y sea
f : X → Y . Se dice que f es Lipschitz continua, si existe un número L ≥ 0 tal que para
cada a, b en X
dY (f (a), f (b)) ≤ L dX (a, b).

Denotamos por Lip(X, Y ) el conjunto de las funciones Lipschitz continuas X → Y . En

otras palabras,
n o
X
Lip(X, Y ) := f ∈ Y : ∃L ≥ 0 ∀a, b ∈ X dY (f (a), f (b)) ≤ L dX (a, b) .

2 Ejercicio (criterio de función Lipschitz continua en términos del supremo de un co-

ciente). Sean (X, dX ), (Y, dY ) espacios métricos y sea f : X → Y . Mostrar que

dY (f (a), f (b))
f ∈ Lip(X, Y ) ⇐⇒ sup < +∞.
a,b∈X dX (a, b)
a̸=b

Recordemos que el indicador de continuidad uniforme de f es la función ωf : (0, +∞) →

[0, +∞] definida mediante la siguiente regla:
n o
ωf (η) := sup dY (f (a), f (b)) : a, b ∈ X, dX (a, b) ≤ η .

3 Proposición (criterio de función Lipschitz continua en términos de su indicador de

continuidad uniforme). Sean (X, dX ), (Y, dY ) espacios métricos y sea f : X → Y . En-
tonces f es Lipschitz continua si, y solo sı́, existe L ≥ 0 tal que ωf (η) ≤ Lη para cada
η > 0.

Funciones Lipschitz y Hölder continuas, página 1 de 3

Demostración. ⇒. Supongamos que f es Lipschitz continua con coeficiente L. Si a, b ∈ X
y dX (a, b) ≤ η, entonces dY (f (a), f (b)) ≤ Lη. Hemos mostrado que Lη es una cota superior
del conjunto n o
dY (f (a), f (b)) : a, b ∈ X, dX (a, b) ≤ η .
Por lo tanto, ωf (η) ≤ Lη.

⇐. Supongamos que existe L ≥ 0 tal que ωf (η) ≤ Lη para cada η > 0. Dados p, q en X
con dX (p, q) > 0, pongamos η = dX (p, q) y obtenemos
(p, q) ∈ (a, b) ∈ X 2 : dX (a, b) ≤ η .


Por eso n o
dY (f (p), f (q)) ∈ dY (f (a), f (b)) : a, b ∈ X, dX (a, b) ≤ η ,
y
n o
dY (f (p), f (q)) ≤ sup dY (f (a), f (b)) : a, b ∈ X, dX (a, b) ≤ η
= ωf (η) ≤ Lη = LdX (p, q).
En el caso dX (p, q) = 0, para cada ε > 0 hacemos un razonamiento similar con η =
dX (p, q) + ε. Obtenemos
dY (f (p), f (q)) ≤ L(dX (p, q) + ε),
y pasamos al lı́mite cuando ε tiende a 0. Este razonamiento es válido también para espacios
pseudométricos.

4 Corolario. Sean (X, dX ), (Y, dY ) espacios métricos. Entonces Lip(X, Y ) ⊆ Cu (X, Y ).

5 Ejercicio. Sea (X, dX ) un espacio métrico. Demostrar que Lip(X, C) es un subespacio

del espacio vectorial Cu (X, C).

6 Ejercicio (la seminorma canónica y la norma canónica en el espacio de funciones Lips-

chitz continuas). Sea (X, dX ) un espacio métrico. Se define NLip : Lip(X, C) → [0, +∞),
|f (a) − f (b)|
NLip (f ) := sup .
a,b∈X dX (a, b)
a̸=b

Demostrar que NLip es una seminorma. Se define ∥ · ∥Lip en Lip(X, C),

∥f ∥Lip := NLip (f ) + ∥f ∥sup .
Demostar que ∥ · ∥Lip es una norma.

Funciones Lipschitz y Hölder continuas, página 2 de 3

7 Ejercicio. Sea (X, dX ) un espacio métrico. Demostrar que Lip(X, C) con la norma
∥ · ∥Lip es un espacio de Banach.

8 Ejercicio. Sea X un intervalo abierto de R y sea f : X → R una función diferenciable

en cada punto de X. Demostrar que

f ∈ Lip(X, Y ) ⇐⇒ sup |f ′ | < +∞.

X

El siguiente ejercicio es más complicado que el anterior y requiere el “teorema de Lagran-

ge” (“la desigualdad del valor medio”) para las funciones complejas.

9 Ejercicio. Sea X un intervalo de R y sea f : X → R una función continua en X y

diferenciable en cada punto de int(X). Demostrar que

f ∈ Lip(X, Y ) ⇐⇒ sup |f ′ | < +∞.

int(X)

10 Definición (función α-Hölder continua). Sean (X, dX ), (Y, dY ) espacios métricos, sea
α > 0 y sea f : X → Y . Se dice que f es Hölder continua continua con exponente α o
α-Hölder continua, si existe un número L ≥ 0 tal que para cada a, b en X

dY (f (a), f (b)) ≤ L (dX (a, b))α .

Denotamos por Hölα (X, Y ) el conjunto de las funciones α-Hölder continuas X → Y . En

otras palabras,
n o
Hölα (X, Y ) := f ∈ Y X : ∃L ≥ 0 ∀a, b ∈ X dY (f (a), f (b)) ≤ L (dX (a, b))α .

11 Ejercicio. Para las funciones α-Hölder continuas demostrar análogos de las propie-
dades 2, 3, 4, 5, 6, 7 que hemos enunciado para las funciones Lipschitz continuas.

√
12 Ejemplo. Consideramos f : [0, 1] → R, f (x) := x. Demostrar que f ∈ Höl1/2 ([0, 1], R),
pero f ∈
/ Lip([0, 1], R).

Funciones Lipschitz y Hölder continuas, página 3 de 3