Universidad Abierta y a Distancia de México

MATEMÁTICAS
SEXTO SEMESTRE
ANÁLISIS MATEMÁTICO II

ACTIVIDAD COMPLEMENTARIA

CLAVE:
005143631/06143631

2022-1 - UnADM
UNADM - 2022-1 ANÁLISIS MATEMÁTICO II

Sea (X, Σ, µ) un espacio de medida. Se define el espacio de funciones Lp (X; µ) como

Z
Lp (X; µ) = {f : X −→ R : f es µ − medible y |f |p dµ < ∞}, 1 ≤ p < ∞.

Si se sobreentiende la medida con la que se está trabajando se suele suprimir µ en la notación

anterior y sólo escribir
Z
Lp (X) = {f : X −→ R : f es medible y |f |p dµ < ∞}, 1 ≤ p < ∞

Defina Z 1/p
p
∥f ∥p := |f | dµ

Con esta definición, tenemos que

∥f ∥p = 0 ⇔ f = 0 c.d.q.

(Casi en todas partes ó casi en dondequiera).

Ejercicio 1. Investiga lo siguiente:
Enuncia la desigualdad de Young (no se requiere la prueba, aunque suele haber una muy
intructiva)

Enuncia la desigualdad de Hölder (no se requiere la prueba)

Enuncia y proporciona la prueba de la desigualdad de Minkowski.

Ejercicio 2. Con ayuda de lo anterior, prueba que Lp (X) es un espacio vectorial de funciones
sobre los números reales.

Ejercicio 3. Investiga las definiciones de lo que es una norma y una semi-norma.

Como ya se mencionó ∥f ∥p = 0 si y sólo si f = 0 c.d.q. por lo que ∥·∥p no es una norma,

sino una semi-norma. es decir Lp (X) es un espacio semi-normado. Para trabajar en un espacio
vectorial normado se induce la siguiente relación

f ∼ g ⇔ µ(f ̸= g) = 0

es decir, f está relacionada con g, si el conjunto de puntos donde difieren f y g es un conjunto

de medida cero.
Ejercicio 4. Pruebe que ∼ es una relación de equivalencia, esto es, una relación que es reflexiva,
simétrica y transitiva.

Esta relación de equivalencia permite construir el espacio (vectorial) cociente Lp (X) = Lp (X)/ ∼.
Los elementos de este nuevo espacio son clases de equivalencia que denotaremos por [f ]. Se
define la norma canónica de ese espacio cociente como

∥[f ]∥ = ı́nf{∥g∥p : g ∈ Lp (X), f ∼ g.}

UNADM - 2022-1 ANÁLISIS MATEMÁTICO II

Ejercicio 5. Pruebe que ∥·∥ ası́ definida es una norma.

Comentario final (no es parte de la actividad): Como se habrá observado, se suele denotar
a este espacio vectorial normado por Lp (X) o simplemente por Lp . Se les conoce como espacios
Lp, aunque en algunos textos también se les llama espacios de Lebesgue y tienen mucha
importancia en análisis funcional. Profundizando un poco, se puede mostrar que Lp (X) es un
espacio de Banach y en particular, cuando p = 2, se tiene un espacio de Hilbert, éste último
con aplicaciones en la fı́sica-matemática (mecánica cuántica) o el cálculo estocástico.