Análisis Funcional

Espacios Vectoriales Normados

(Prof. Leonardo Alejandro Aguilar)

Geeral Andreé Gómez Buiza

Universidad Nacional Mayor de San Marcos

2021

UNMSM Análisis Funcional

Espacios Vectoriales Normados
Ejercicio 1.8.23

Ejercicio 1.8.23

Sea (X, Σ, µ) un espacio de medida finita y f ∈ L∞ (X, Σ, µ). Muestre

que f ∈ Lp (X, Σ, µ) para todo p ≥ 1 y que lı́mp→∞ ∥f ∥p = ∥f ∥∞ .

UNMSM Análisis Funcional

Espacios Vectoriales Normados
Ejercicio 1.8.23

Solución.
Dado f ∈ L∞ (X, Σ, µ), entonces ∥f ∥∞ < ∞, es decir


∥f ∥∞ = ı́nf a ≥ 0 : µ({x ∈ X : |f (x)| > a}) = 0 < ∞

entonces
|f (x)| ≤ ∥f ∥∞ , µ − ctp x ∈ X

Sea p ≥ 1, luego
Z Z Z
|f |p dµ ≤ ∥f ∥p∞ dµ = ∥f ∥p∞ dµ
| {z } | {z }
∥f ∥p
p µ(X)

UNMSM Análisis Funcional

Espacios Vectoriales Normados
Ejercicio 1.8.23

Solución.
Entonces
1
∥f ∥pp ≤ ∥f ∥p∞ µ(X) ⇒ ∥f ∥p ≤ ∥f ∥∞ µ(X) p
| {z } | {z }
<∞ <∞

Ası́ f ∈ Lp (X, Σ, µ).

UNMSM Análisis Funcional

Espacios Vectoriales Normados
Ejercicio 1.8.23

Solución.
Ahora probaremos que

lı́m ∥f ∥p = ∥f ∥∞
p→∞

Si f = 0, µ−ctp x ∈ X, es evidente.
Para f ̸= 0, por lo anterior, tenemos que

1
∥f ∥p ≤ ∥f ∥∞ µ(X) p

1
y como 0 < µ(X) < ∞, entonces lı́mp→∞ µ(X) p = 1. Luego

lı́m sup∥f ∥p ≤ ∥f ∥∞
p→∞

UNMSM Análisis Funcional

Espacios Vectoriales Normados
Ejercicio 1.8.23

Solución.
Dado ε > 0, definimos el conjunto

A = {x ∈ X : |f (x)| > ∥f ∥∞ − ε}

Es evidente que µ(A) > 0, pues si µ(A) = 0 tenemos por definición


∥f ∥∞ = ı́nf a ≥ 0 : µ({x ∈ X : |f (x)| > a}) = 0

Entonces
∥f ∥∞ ≤ ∥f ∥∞ − ε (⇒⇐)

UNMSM Análisis Funcional

Espacios Vectoriales Normados
Ejercicio 1.8.23

Solución.
Ası́, tenemos
|f (x)| > ∥f ∥∞ − ε, ∀x ∈ A
Z Z
⇒ |f | dµ ≥ (∥f ∥∞ − ε)p dµ
p
A A
Z  p1
1
p
⇒ |f | dµ ≥ (∥f ∥∞ − ε)µ(A) p
A

Entonces
Z  p1 Z  p1
1
p p
∥f ∥p = |f | dµ ≥ |f | dµ ≥ (∥f ∥∞ − ε)µ(A) p
A

UNMSM Análisis Funcional

Espacios Vectoriales Normados
Ejercicio 1.8.23

Solución.
1
Como µ(A) > 0, entonces lı́mp→∞ µ(A) p = 1. Luego

lı́m inf∥f ∥p ≥ ∥f ∥∞ − ε

y dado que el ε > 0 es arbitrario

lı́m inf∥f ∥p ≥ ∥f ∥∞

Finalmente, tenemos

∥f ∥∞ ≤ lı́m inf ∥f ∥p ≤ lı́m sup∥f ∥p ≤ ∥f ∥∞

p→∞ p→∞

UNMSM Análisis Funcional

Espacios Vectoriales Normados
Ejercicio 1.8.23

Solución.
Por lo que existe lı́mite y es

lı́m ∥f ∥p = ∥f ∥∞
p→∞

UNMSM Análisis Funcional