Espacios de Funciones Lebesgue

Análisis de Fourier
Tema 2: Espacios de funciones
20-25-27 de septiembre y 2-4 de octubre

1 Medida de Lebesgue
2 La integral
3 Espacios de funciones
4 Integrabilidad
5 Aproximación
6 Periodicidad
Medida de Lebesgue La integral Espacios de funciones Integrabilidad Aproximación Periodicidad
La medida de Lebesgue (I)

Definición de la medida de Lebesgue en RN


S = { intervalos acotados en RN }

N
I∈S ⇐⇒ I = ∏ I (k) con I (1) , . . . , I (N) intervalos acotados en R
k=1

N
k=1
N
ρ(I) = ∏ sup I (k) − ı́nf I (k)

∀ I ∈ S \ {0}
/ , / =0
ρ(0)
k=1

N
k=1
N
ρ(I) = ∏ sup I (k) − ı́nf I (k)

∀ I ∈ S \ {0}
/ , / =0
ρ(0)
k=1
Medida exterior de Lebesgue: λ∗ : P (RN ) → [0, ∞]


N
k=1
N
ρ(I) = ∏ sup I (k) − ı́nf I (k)

∀ I ∈ S \ {0}
/ , / =0
ρ(0)
k=1

( )
∞ ∞
λ∗ (W ) = ı́nf ∀W ∈ P (RN )
[
∑ ρ(In ) : In ∈ S ∀ n ∈ N , W ⊂ In
n=1 n=1

N
k=1
N
ρ(I) = ∏ sup I (k) − ı́nf I (k)

∀ I ∈ S \ {0}
/ , / =0
ρ(0)
k=1

( )
∞ ∞
λ∗ (W ) = ı́nf ∀W ∈ P (RN )
[
∑ ρ(In ) : In ∈ S ∀ n ∈ N , W ⊂ In
n=1 n=1
Conjuntos medibles: M ⊂ P (RN )


N
k=1
N
ρ(I) = ∏ sup I (k) − ı́nf I (k)

∀ I ∈ S \ {0}
/ , / =0
ρ(0)
k=1

( )
∞ ∞
λ∗ (W ) = ı́nf ∀W ∈ P (RN )
[
∑ ρ(In ) : In ∈ S ∀ n ∈ N , W ⊂ In
n=1 n=1

E ∈M ⇐⇒ λ∗ (W ) = λ∗ (W ∩ E) + λ∗ (W \ E) ∀W ∈ P (RN )

N
k=1
N
ρ(I) = ∏ sup I (k) − ı́nf I (k)

∀ I ∈ S \ {0}
/ , / =0
ρ(0)
k=1

( )
∞ ∞
λ∗ (W ) = ı́nf ∀W ∈ P (RN )
[
∑ ρ(In ) : In ∈ S ∀ n ∈ N , W ⊂ In
n=1 n=1

E ∈M ⇐⇒ λ∗ (W ) = λ∗ (W ∩ E) + λ∗ (W \ E) ∀W ∈ P (RN )
Medida de Lebesgue: λ : M → [0, ∞]


N
k=1
N
ρ(I) = ∏ sup I (k) − ı́nf I (k)

∀ I ∈ S \ {0}
/ , / =0
ρ(0)
k=1

( )
∞ ∞
λ∗ (W ) = ı́nf ∀W ∈ P (RN )
[
∑ ρ(In ) : In ∈ S ∀ n ∈ N , W ⊂ In
n=1 n=1

E ∈M ⇐⇒ λ∗ (W ) = λ∗ (W ∩ E) + λ∗ (W \ E) ∀W ∈ P (RN )
Medida de Lebesgue: λ : M → [0, ∞]

λ(E) = λ∗ (E) ∀ E ∈ M , es decir, λ = λ∗ M

La medida de Lebesgue (II)

Propiedades conjuntistas
∞ ∞
Wn ∈ P (RN ) ∀ n ∈ N , W ⊂ λ∗ (W ) 6 ∑ λ∗ (Wn )
[
Wn =⇒
n=1 n=1
∞ ∞
Wn ∈ P (RN ) ∀ n ∈ N , W ⊂ λ∗ (W ) 6 ∑ λ∗ (Wn )
[
Wn =⇒
n=1 n=1
E ∈ P (RN ) , λ∗ (E) = 0 =⇒ E ∈ M
∞ ∞
Wn ∈ P (RN ) ∀ n ∈ N , W ⊂ λ∗ (W ) 6 ∑ λ∗ (Wn )
[
Wn =⇒
n=1 n=1
E ∈ P (RN ) , λ∗ (E) = 0 =⇒ E ∈ M
M es una σ-álgebra, es decir:

∞ ∞
Wn ∈ P (RN ) ∀ n ∈ N , W ⊂ λ∗ (W ) 6 ∑ λ∗ (Wn )
[
Wn =⇒
n=1 n=1
E ∈ P (RN ) , λ∗ (E) = 0 =⇒ E ∈ M

RN ∈ M
∞ ∞
Wn ∈ P (RN ) ∀ n ∈ N , W ⊂ λ∗ (W ) 6 ∑ λ∗ (Wn )
[
Wn =⇒
n=1 n=1
E ∈ P (RN ) , λ∗ (E) = 0 =⇒ E ∈ M

RN ∈ M
E ∈ M =⇒ RN \ E ∈ M
∞ ∞
Wn ∈ P (RN ) ∀ n ∈ N , W ⊂ λ∗ (W ) 6 ∑ λ∗ (Wn )
[
Wn =⇒
n=1 n=1
E ∈ P (RN ) , λ∗ (E) = 0 =⇒ E ∈ M

RN ∈ M
E ∈ M =⇒ RN \ E ∈ S
M
En ∈ M ∀ n ∈ N =⇒ n=1 En ∈ M
∞
∞ ∞
Wn ∈ P (RN ) ∀ n ∈ N , W ⊂ λ∗ (W ) 6 ∑ λ∗ (Wn )
[
Wn =⇒
n=1 n=1
E ∈ P (RN ) , λ∗ (E) = 0 =⇒ E ∈ M

RN ∈ M
E ∈ M =⇒ RN \ E ∈ S
M
En ∈ M ∀ n ∈ N =⇒ n=1 En ∈ M
∞
λ es una medida, es decir, está definida en una σ-álgebra, verifica que

/ = 0 y es σ-aditiva:
λ(0)
∞ ∞
Wn ∈ P (RN ) ∀ n ∈ N , W ⊂ λ∗ (W ) 6 ∑ λ∗ (Wn )
[
Wn =⇒
n=1 n=1
E ∈ P (RN ) , λ∗ (E) = 0 =⇒ E ∈ M

RN ∈ M
E ∈ M =⇒ RN \ E ∈ S
M
En ∈ M ∀ n ∈ N =⇒ n=1 En ∈ M
∞

λ(0)
∞
] ∞
En ∈ M ∀ n ∈ N , E = En =⇒ λ(E) = ∑ λ(En )
n=1 n=1
∞ ∞
Wn ∈ P (RN ) ∀ n ∈ N , W ⊂ λ∗ (W ) 6 ∑ λ∗ (Wn )
[
Wn =⇒
n=1 n=1
E ∈ P (RN ) , λ∗ (E) = 0 =⇒ E ∈ M

RN ∈ M
E ∈ M =⇒ RN \ E ∈ S
M
En ∈ M ∀ n ∈ N =⇒ n=1 En ∈ M
∞

λ(0)
∞
] ∞
En ∈ M ∀ n ∈ N , E = En =⇒ λ(E) = ∑ λ(En )
n=1 n=1
S ⊂M y λ(I) = ρ(I) ∀ I ∈ S
∞ ∞
Wn ∈ P (RN ) ∀ n ∈ N , W ⊂ λ∗ (W ) 6 ∑ λ∗ (Wn )
[
Wn =⇒
n=1 n=1
E ∈ P (RN ) , λ∗ (E) = 0 =⇒ E ∈ M

RN ∈ M
E ∈ M =⇒ RN \ E ∈ S
M
En ∈ M ∀ n ∈ N =⇒ n=1 En ∈ M
∞

λ(0)
∞
] ∞
En ∈ M ∀ n ∈ N , E = En =⇒ λ(E) = ∑ λ(En )
n=1 n=1
S ⊂M y λ(I) = ρ(I) ∀ I ∈ S
card M = card P (RN ) = card P (RN ) \ M

∞ ∞
Wn ∈ P (RN ) ∀ n ∈ N , W ⊂ λ∗ (W ) 6 ∑ λ∗ (Wn )
[
Wn =⇒
n=1 n=1
E ∈ P (RN ) , λ∗ (E) = 0 =⇒ E ∈ M

RN ∈ M
E ∈ M =⇒ RN \ E ∈ S
M
En ∈ M ∀ n ∈ N =⇒ n=1 En ∈ M
∞

λ(0)
∞
] ∞
En ∈ M ∀ n ∈ N , E = En =⇒ λ(E) = ∑ λ(En )
n=1 n=1
S ⊂M y λ(I) = ρ(I) ∀ I ∈ S
card M = card P (RN ) = card P (RN ) \ M

La medida de Lebesgue (III)

Propiedades topológicas
λ∗ (W ) = ı́nf λ(G) : W ⊂ G = G ◦ ⊂ RN ∀W ∈ P (RN )


Para E ∈ P (RN ), las siguientes afirmaciones son equivalentes:



E ∈M


E ∈M
∀ ε ∈ R+ ∃ G ∈ P (RN ) : E ⊂ G = G ◦ , λ∗ (G \ E) < ε


E ∈M
∀ ε ∈ R+ ∃ G ∈ P (RN ) : E ⊂ G = G ◦ , λ∗ (G \ E) < ε
∀ ε ∈ R+ ∃ F ∈ P (RN ) : F = F ⊂ E , λ∗ (E \ F) < ε


E ∈M
∀ ε ∈ R+ ∃ G ∈ P (RN ) : E ⊂ G = G ◦ , λ∗ (G \ E) < ε
∀ ε ∈ R+ ∃ F ∈ P (RN ) : F = F ⊂ E , λ∗ (E \ F) < ε
E ⊂ G0 ⊂ RN , λ(G0 \ E) = 0 , G0 = ∩∞ ◦
n=1 Gn , Gn = Gn ∀ n ∈ N


E ∈M
∀ ε ∈ R+ ∃ G ∈ P (RN ) : E ⊂ G = G ◦ , λ∗ (G \ E) < ε
∀ ε ∈ R+ ∃ F ∈ P (RN ) : F = F ⊂ E , λ∗ (E \ F) < ε
E ⊂ G0 ⊂ RN , λ(G0 \ E) = 0 , G0 = ∩∞ ◦
n=1 Gn , Gn = Gn ∀ n ∈ N
F0 ⊂ E , λ(E \ F0 ) = 0 , F0 = ∪∞
n=1 Fn , Fn = Fn ∀ n ∈ N


E ∈M
∀ ε ∈ R+ ∃ G ∈ P (RN ) : E ⊂ G = G ◦ , λ∗ (G \ E) < ε
∀ ε ∈ R+ ∃ F ∈ P (RN ) : F = F ⊂ E , λ∗ (E \ F) < ε
E ⊂ G0 ⊂ RN , λ(G0 \ E) = 0 , G0 = ∩∞ ◦
n=1 Gn , Gn = Gn ∀ n ∈ N
F0 ⊂ E , λ(E \ F0 ) = 0 , F0 = ∪∞
n=1 Fn , Fn = Fn ∀ n ∈ N
Como consecuencia se tiene:

λ(E) = sup λ(K) : K compacto, K ⊂ E ∀E ∈ M


E ∈M
∀ ε ∈ R+ ∃ G ∈ P (RN ) : E ⊂ G = G ◦ , λ∗ (G \ E) < ε
∀ ε ∈ R+ ∃ F ∈ P (RN ) : F = F ⊂ E , λ∗ (E \ F) < ε
E ⊂ G0 ⊂ RN , λ(G0 \ E) = 0 , G0 = ∩∞ ◦
n=1 Gn , Gn = Gn ∀ n ∈ N
F0 ⊂ E , λ(E \ F0 ) = 0 , F0 = ∪∞
n=1 Fn , Fn = Fn ∀ n ∈ N
Como consecuencia se tiene:

λ(E) = sup λ(K) : K compacto, K ⊂ E ∀E ∈ M
La medida de Lebesgue (IV)

Propiedades geométricas
La medida exterior de Lebesgue es invariante por traslaciones:
λ∗ (W + x) = λ∗ (W ) ∀W ∈ P (RN ) ∀ x ∈ RN
λ∗ (W + x) = λ∗ (W ) ∀W ∈ P (RN ) ∀ x ∈ RN
Por tanto, la medida de Lebesgue es invariante por traslaciones:

λ∗ (W + x) = λ∗ (W ) ∀W ∈ P (RN ) ∀ x ∈ RN

E ∈M =⇒ E + x ∈ M y λ(E + x) = λ(E)
λ∗ (W + x) = λ∗ (W ) ∀W ∈ P (RN ) ∀ x ∈ RN

E ∈M =⇒ E + x ∈ M y λ(E + x) = λ(E)
En cierto modo, esta propiedad la caracteriza: λ es la única medida,

definida en M e invariante por traslaciones, que verifica λ [0, 1]N = 1

λ∗ (W + x) = λ∗ (W ) ∀W ∈ P (RN ) ∀ x ∈ RN

E ∈M =⇒ E + x ∈ M y λ(E + x) = λ(E)
En cierto modo, esta propiedad la caracteriza: λ es la única medida,

definida en M e invariante por traslaciones, que verifica λ [0, 1]N = 1

Como consecuencia, la medida de Lebesgue es invariante por isometrı́as

(para la distancia euclı́dea)
Las funciones que por ahora vamos a integrar

Funciones medibles positivas y funciones simples positivas


Función medible positiva:
def
f : RN → [0, ∞] , {x ∈ RN : f (x) < α} ∈ M ∀ α ∈ R+ ⇐⇒ f ∈ L+

def
f : RN → [0, ∞] , {x ∈ RN : f (x) < α} ∈ M ∀ α ∈ R+ ⇐⇒ f ∈ L+
Función simple positiva:

def
s : RN → R + + N
0 , s ∈ L , s(R ) finito ⇐⇒ s ∈ Σ+

def
f : RN → [0, ∞] , {x ∈ RN : f (x) < α} ∈ M ∀ α ∈ R+ ⇐⇒ f ∈ L+

def
s : RN → R + + N
0 , s ∈ L , s(R ) finito ⇐⇒ s ∈ Σ+
Descomposición canónica de una función simple positiva s :


def
f : RN → [0, ∞] , {x ∈ RN : f (x) < α} ∈ M ∀ α ∈ R+ ⇐⇒ f ∈ L+

def
s : RN → R + + N
0 , s ∈ L , s(R ) finito ⇐⇒ s ∈ Σ+

s(RN ) = {α1 < α2 < . . . < αn } , Ak = {x ∈ RN : s(x) = αk } ∈ M
n n
RN =
]
Ak , s= ∑ αk χ Ak
k=1 k=1

def
f : RN → [0, ∞] , {x ∈ RN : f (x) < α} ∈ M ∀ α ∈ R+ ⇐⇒ f ∈ L+

def
s : RN → R + + N
0 , s ∈ L , s(R ) finito ⇐⇒ s ∈ Σ+

s(RN ) = {α1 < α2 < . . . < αn } , Ak = {x ∈ RN : s(x) = αk } ∈ M
n n
RN =
]
Ak , s= ∑ αk χ Ak
k=1 k=1
m
t= ∑ β jχ Bj , m ∈ N , β1 , . . . , βm ∈ R+
0 , B1 , . . . , Bm ∈ M =⇒ t ∈ Σ+
j=1
La idea clave de Lebesgue

Teorema de aproximación de Lebesgue


Toda función medible positiva es lı́mite puntual de
una sucesión creciente de funciones simples positivas.

f ∈ L + , n ∈ N , Fn = {x ∈ RN : f (x) > n} ∈ M

k−1 k
Enk = x ∈ RN : 6 f (x) < ∈M k = 1, 2, . . . , n 2n
2n 2n
n2n
k−1
sn = nχFn + ∑ n
χEnk ∈ Σ+
k=1 2

f ∈ L + , n ∈ N , Fn = {x ∈ RN : f (x) > n} ∈ M

k−1 k
Enk = x ∈ RN : 6 f (x) < ∈M k = 1, 2, . . . , n 2n
2n 2n
n2n
k−1
sn = nχFn + ∑ n
χEnk ∈ Σ+
k=1 2
sn (x) 6 sn+1 (x) ∀ n ∈ N , ∀ x ∈ RN


f ∈ L + , n ∈ N , Fn = {x ∈ RN : f (x) > n} ∈ M

k−1 k
Enk = x ∈ RN : 6 f (x) < ∈M k = 1, 2, . . . , n 2n
2n 2n
n2n
k−1
sn = nχFn + ∑ n
χEnk ∈ Σ+
k=1 2
sn (x) 6 sn+1 (x) ∀ n ∈ N , ∀ x ∈ RN

{sn (x)} → f (x) ∀ x ∈ RN

f ∈ L + , n ∈ N , Fn = {x ∈ RN : f (x) > n} ∈ M

k−1 k
Enk = x ∈ RN : 6 f (x) < ∈M k = 1, 2, . . . , n 2n
2n 2n
n2n
k−1
sn = nχFn + ∑ n
χEnk ∈ Σ+
k=1 2
sn (x) 6 sn+1 (x) ∀ n ∈ N , ∀ x ∈ RN

{sn (x)} → f (x) ∀ x ∈ RN
∃ K ∈ R+ : f (x) 6 K ∀ x ∈ RN =⇒ {sn } → f uniformemente en RN
Propiedades de las funciones medibles positivas

Estabilidad de las funciones medibles positivas


fn ∈ L + ∀ n ∈ N =⇒ g1 , g2 , g3 , g4 ∈ L + donde:

g1 (x) = sup{ fn (x) : n ∈ N} ∀ x ∈ RN

g1 = sup{ fn : n ∈ N}

g1 (x) = sup{ fn (x) : n ∈ N} ∀ x ∈ RN

g1 = sup{ fn : n ∈ N}
g2 (x) = ı́nf{ fn (x) : n ∈ N} ∀ x ∈ RN

g2 = ı́nf{ fn : n ∈ N}

g1 (x) = sup{ fn (x) : n ∈ N} ∀ x ∈ RN

g1 = sup{ fn : n ∈ N}
g2 (x) = ı́nf{ fn (x) : n ∈ N} ∀ x ∈ RN

g2 = ı́nf{ fn : n ∈ N}
g3 (x) = lı́m sup{ fn (x)} ∀ x ∈ RN

g3 = lı́m sup{ fn }

g1 (x) = sup{ fn (x) : n ∈ N} ∀ x ∈ RN

g1 = sup{ fn : n ∈ N}
g2 (x) = ı́nf{ fn (x) : n ∈ N} ∀ x ∈ RN

g2 = ı́nf{ fn : n ∈ N}

g4 (x) = lı́m inf{ fn (x)} ∀ x ∈ RN

g4 = lı́m inf{ fn }

g1 (x) = sup{ fn (x) : n ∈ N} ∀ x ∈ RN

g1 = sup{ fn : n ∈ N}
g2 (x) = ı́nf{ fn (x) : n ∈ N} ∀ x ∈ RN

g2 = ı́nf{ fn : n ∈ N}


Por tanto:

g1 (x) = sup{ fn (x) : n ∈ N} ∀ x ∈ RN

g1 = sup{ fn : n ∈ N}
g2 (x) = ı́nf{ fn (x) : n ∈ N} ∀ x ∈ RN

g2 = ı́nf{ fn : n ∈ N}


Por tanto:
{ fn (x)} → f (x) ∀ x ∈ RN =⇒ f ∈ L+

g1 (x) = sup{ fn (x) : n ∈ N} ∀ x ∈ RN

g1 = sup{ fn : n ∈ N}
g2 (x) = ı́nf{ fn (x) : n ∈ N} ∀ x ∈ RN

g2 = ı́nf{ fn : n ∈ N}


Por tanto:
{ fn (x)} → f (x) ∀ x ∈ RN =⇒ f ∈ L+
f , g ∈ L + =⇒ f + g , f g ∈ L+
Integración de funciones simples positivas

Integral de una función simple positiva


n
s ∈ Σ+ , s= ∑ αk χ Ak descomposición canónica, E ∈M
k=1

n
k=1
Z n
E
s= ∑ αk λ(Ak ∩ E)
k=1

n
k=1
Z n
E
k=1
Primeras propiedades

n
k=1
Z n
E
k=1
Z Z
s ∈ Σ+ , α ∈ R +
0 , E ∈M =⇒ αs = α s
E E

n
k=1
Z n
E
k=1
Z Z
s ∈ Σ+ , α ∈ R +
0 , E ∈M =⇒ αs = α s
E E
Z
s ∈ Σ+ , ϕ(E) = s ∀E ∈ M =⇒ ϕ : M → [0, ∞] es una medida
E

n
k=1
Z n
E
k=1
Z Z
s ∈ Σ+ , α ∈ R +
0 , E ∈M =⇒ αs = α s
E E
Z
s ∈ Σ+ , ϕ(E) = s ∀E ∈ M =⇒ ϕ : M → [0, ∞] es una medida
E
Z Z
s,t ∈ Σ+ , E ∈ M , s(x) 6 t(x) ∀ x ∈ E =⇒ s6 t
E E
Integración de funciones medibles positivas

Integral de una función medible positiva


f ∈ L+ , E ∈M

f ∈ L+ , E ∈ M
Z Z
f = sup s : s ∈ Σ+ , s 6 f
E E

f ∈ L+ , E ∈ M
Z Z
f = sup s : s ∈ Σ+ , s 6 f
E E
Observaciones:

f ∈ L+ , E ∈ M
Z Z
f = sup s : s ∈ Σ+ , s 6 f
E E
Observaciones:
Esta definición extiende la hecha antes para funciones simples

positivas

f ∈ L+ , E ∈ M
Z Z
f = sup s : s ∈ Σ+ , s 6 f
E E
Observaciones:

positivas
Z Z
f= f χE .
E RN

f ∈ L+ , E ∈ M
Z Z
f = sup s : s ∈ Σ+ , s 6 f
E E
Observaciones:

positivas
Z Z Z Z
def
f= f χE . En lo que sigue: f = f
E RN RN

f ∈ L+ , E ∈ M
Z Z
f = sup s : s ∈ Σ+ , s 6 f
E E
Observaciones:

positivas
Z Z Z Z
def
E RN RN
Teorema de la convergencia monótona


f ∈ L+ , E ∈ M
Z Z
f = sup s : s ∈ Σ+ , s 6 f
E E
Observaciones:

positivas
Z Z Z Z
def
E RN RN

Sea { fn } una sucesión creciente de funciones medibles positivas

f ∈ L+ , E ∈ M
Z Z
f = sup s : s ∈ Σ+ , s 6 f
E E
Observaciones:

positivas
Z Z Z Z
def
E RN RN

y sea f (x) = lı́m fn (x) para todo x ∈ RN . Entonces:
n→∞

f ∈ L+ , E ∈ M
Z Z
f = sup s : s ∈ Σ+ , s 6 f
E E
Observaciones:

positivas
Z Z Z Z
def
E RN RN

y sea f (x) = lı́m fn (x) para todo x ∈ RN . Entonces:
n→∞
Z Z
f = lı́m fn
n→∞
Propiedades de la integral (I)

Teorema
Teorema
f ,g ∈ L+ , f 6 g
R R
=⇒ f6 g
Teorema
f ,g ∈ L+ , f 6 g
R R
=⇒ f6 g
f ∈ L + , α ∈ R+
R R
0 =⇒ αf =α f
Teorema
f ,g ∈ L+ , f 6 g
R R
=⇒ f6 g
f ∈ L + , α ∈ R+
R R
0 =⇒ αf =α f
fn ∈ L + ∀ n ∈ N =⇒
R R
∑∞ ∞
n=1 f n = ∑n=1 fn
Teorema
f ,g ∈ L+ , f 6 g
R R
=⇒ f6 g
f ∈ L + , α ∈ R+
R R
0 =⇒ αf =α f
fn ∈ L + ∀ n ∈ N =⇒
R R
∑∞ ∞
n=1 f n = ∑n=1 fn
f ∈ L + , ϕ(E) = f ∀E ∈ M
R
E =⇒ ϕ es σ-aditiva
Teorema
f ,g ∈ L+ , f 6 g
R R
=⇒ f6 g
f ∈ L + , α ∈ R+
R R
0 =⇒ αf =α f
fn ∈ L + ∀ n ∈ N =⇒
R R
∑∞ ∞
n=1 f n = ∑n=1 fn
f ∈ L + , ϕ(E) = f ∀E ∈ M
R
f ∈ L +, E ∈ M :
R
E f = 0 ⇐⇒ λ {x ∈ E : f (x) 6= 0} = 0
Teorema
f ,g ∈ L+ , f 6 g
R R
=⇒ f6 g
f ∈ L + , α ∈ R+
R R
0 =⇒ αf =α f
fn ∈ L + ∀ n ∈ N =⇒
R R
∑∞ ∞
n=1 f n = ∑n=1 fn
f ∈ L + , ϕ(E) = f ∀E ∈ M
R
f ∈ L +, E ∈ M :
R
E f = 0 ⇐⇒ λ {x ∈ E : f (x) 6= 0} = 0
se dice que f (x) = 0 para casi todo (p.c.t.) x ∈ E,
o bien que f = 0 casi por doquier (c.p.d.) en E
Teorema
f ,g ∈ L+ , f 6 g
R R
=⇒ f6 g
f ∈ L + , α ∈ R+
R R
0 =⇒ αf =α f
fn ∈ L + ∀ n ∈ N =⇒
R R
∑∞ ∞
n=1 f n = ∑n=1 fn
f ∈ L + , ϕ(E) = f ∀E ∈ M
R
f ∈ L +, E ∈ M :
R
E f = 0 ⇐⇒ λ {x ∈ E : f (x) 6= 0} = 0
E ∈ M , λ(E) = 0 f = 0 ∀ f ∈ L+
R
En particular: =⇒ E
Teorema
f ,g ∈ L+ , f 6 g
R R
=⇒ f6 g
f ∈ L + , α ∈ R+
R R
0 =⇒ αf =α f
fn ∈ L + ∀ n ∈ N =⇒
R R
∑∞ ∞
n=1 f n = ∑n=1 fn
f ∈ L + , ϕ(E) = f ∀E ∈ M
R
f ∈ L +, E ∈ M :
R
E f = 0 ⇐⇒ λ {x ∈ E : f (x) 6= 0} = 0
E ∈ M , λ(E) = 0 f = 0 ∀ f ∈ L+
R
En particular: =⇒ E
f ∈ L+ , E ∈ M ,
R
E f < ∞ =⇒ λ {x ∈ E : f (x) = ∞} = 0
( f (x) < ∞ p.c.t. x ∈ E , o bien, f < ∞ c.p.d. en E)
Propiedades de la integral (II)

Lema de Fatou
Z Z
fn ∈ L + ∀ n ∈ N =⇒ lı́m inf{ fn } 6 lı́m inf fn
Lema de Fatou
Z Z
Desigualdad de Hölder
Lema de Fatou
Z Z
1 1
1 < p < ∞, + = 1, f ,g ∈ L+
p p∗
Lema de Fatou
Z Z
1 1
1 < p < ∞, + = 1 , f ,g ∈ L+
p p∗
Z Z 1/p Z 1/p∗
p p∗
fg6 f g
Lema de Fatou
Z Z
1 1
1 < p < ∞, + = 1 , f ,g ∈ L+
p p∗
Z Z 1/p Z 1/p∗
p p∗
fg6 f g
Desigualdad de Minkowski
Lema de Fatou
Z Z
1 1
1 < p < ∞, + = 1 , f ,g ∈ L+
p p∗
Z Z 1/p Z 1/p∗
p p∗
fg6 f g
1 6 p < ∞, f ,g ∈ L+
Lema de Fatou
Z Z
1 1
1 < p < ∞, + = 1 , f ,g ∈ L+
p p∗
Z Z 1/p Z 1/p∗
p p∗
fg6 f g
1 6 p < ∞, f ,g ∈ L+
Z 1/p Z 1/p Z 1/p
( f + g) p 6 fp + gp
Noción general de función medible

Función medible con valores en un espacio topológico


X espacio topológico, f : RN → X es medible cuando

U = U ◦ ⊂ X =⇒ f −1 (U) ∈ M

U = U ◦ ⊂ X =⇒ f −1 (U) ∈ M
Observaciones

U = U ◦ ⊂ X =⇒ f −1 (U) ∈ M
Observaciones
X,Y espacios topológicos, f : RN → X , g : X → Y . Entonces:
f medible, g continua =⇒ g ◦ f medible

U = U ◦ ⊂ X =⇒ f −1 (U) ∈ M
Observaciones
( f , g) : RN → R2 es medible si, y sólo si, f , g : RN → R son medibles

U = U ◦ ⊂ X =⇒ f −1 (U) ∈ M
Observaciones
Funciones reales medibles


U = U ◦ ⊂ X =⇒ f −1 (U) ∈ M
Observaciones

f : RN → R : f medible

LR = espacio vectorial real

U = U ◦ ⊂ X =⇒ f −1 (U) ∈ M
Observaciones

f : RN → R : f medible espacio vectorial real

LR =
|f|+ f |f|− f
f : RN → R , f + = , f− =
2 2

U = U ◦ ⊂ X =⇒ f −1 (U) ∈ M
Observaciones


LR =
|f|+ f |f|− f
f : RN → R , f + = , f− =
2 2
f +, f − > 0 , f = f + − f − , | f | = f + + f − , f + f − = 0

U = U ◦ ⊂ X =⇒ f −1 (U) ∈ M
Observaciones


LR =
|f|+ f |f|− f
f : RN → R , f + = , f− =
2 2
f +, f − > 0 , f = f + − f − , | f | = f + + f − , f + f − = 0
f ∈ LR ⇐⇒ f +, f − ∈ L +
Las funciones que nos interesan
Funciones complejas medibles


f : RN → C : f medible

L=


L=
Para f : RN → C se tiene: f ∈L ⇐⇒ Re f , Im f ∈ L R


L=
L es un espacio vectorial complejo



L=

f,g ∈ L =⇒ fg∈L


L=

f , g ∈ L , g(x) 6= 0 ∀ x ∈ RN =⇒ f /g ∈ L


L=

f , g ∈ L , g(x) 6= 0 ∀ x ∈ RN =⇒ f /g ∈ L
f ∈L =⇒ | f | ∈ L+


L=

f , g ∈ L , g(x) 6= 0 ∀ x ∈ RN =⇒ f /g ∈ L
f ∈L =⇒ | f | ∈ L+
fn ∈ L ∀ n ∈ N , { fn (x)} → f (x) ∀ x ∈ RN =⇒ f ∈L
La forma en que vamos a usar las funciones medibles

Las funciones medibles como clases de equivalencia


f : RN → C , f = 0 c.p.d. =⇒ f ∈L

f : RN → C , f = 0 c.p.d. =⇒ f ∈L
def
N = {f : RN → C : f = 0 c.p.d.} es subespacio vectorial de L

f : RN → C , f = 0 c.p.d. =⇒ f ∈L
def
Consideramos el espacio vectorial cociente L = L /N

f : RN → C , f = 0 c.p.d. =⇒ f ∈L
def
En adelante, una función medible es un elemento de L , es decir,

f : RN → C , f = 0 c.p.d. =⇒ f ∈L
def
una clase de equivalencia de elementos de L , entendiendo que,

f : RN → C , f = 0 c.p.d. =⇒ f ∈L
def
dos elementos de L son equivalentes cuando coinciden c.p.d.

f : RN → C , f = 0 c.p.d. =⇒ f ∈L
def
La clase a la que pertenece f ∈ L se denota por f ∈ L

f : RN → C , f = 0 c.p.d. =⇒ f ∈L
def
def
f ∈ LR ⇐⇒ f ∈ L y f (x) ∈ R p.c.t. x ∈ RN

f : RN → C , f = 0 c.p.d. =⇒ f ∈L
def
def
def
f ∈ L+ ⇐⇒ f ∈ L y f (x) ∈ R+
0 p.c.t. x ∈ R
N

f : RN → C , f = 0 c.p.d. =⇒ f ∈L
def
def
def
f ∈ L+ ⇐⇒ f ∈ L y f (x) ∈ R+
0 p.c.t. x ∈ R
N
Funciones medibles definidas c.p.d.


f : RN → C , f = 0 c.p.d. =⇒ f ∈L
def
def
def
f ∈ L+ ⇐⇒ f ∈ L y f (x) ∈ R+
0 p.c.t. x ∈ R
N

E ∈ M , λ(RN \ E) = 0 , f : E → C

f : RN → C , f = 0 c.p.d. =⇒ f ∈L
def
def
def
f ∈ L+ ⇐⇒ f ∈ L y f (x) ∈ R+
0 p.c.t. x ∈ R
N

E ∈ M , λ(RN \ E) = 0 , f : E → C

Para g, h : RN → C con g E = h E se tiene: g ∈ L ⇐⇒ h ∈ L

f : RN → C , f = 0 c.p.d. =⇒ f ∈L
def
def
def
f ∈ L+ ⇐⇒ f ∈ L y f (x) ∈ R+
0 p.c.t. x ∈ R
N

E ∈ M , λ(RN \ E) = 0 , f : E → C


Cuando existe g ∈ L tal que g E = f , tiene sentido escribir f ∈ L ,

f : RN → C , f = 0 c.p.d. =⇒ f ∈L
def
def
def
f ∈ L+ ⇐⇒ f ∈ L y f (x) ∈ R+
0 p.c.t. x ∈ R
N

E ∈ M , λ(RN \ E) = 0 , f : E → C


Cuando existe g ∈ L tal que g E = f , tiene sentido escribir f ∈ L ,
única clase de equivalencia que contiene todas las extensiones de f
Operaciones con funciones medibles y convergencia c.p.d.

Operaciones con (las nuevas) funciones medibles


Todas las operaciones con funciones medibles siguen teniendo sentido:

L es un espacio vectorial complejo y LR un espacio vectorial real

f ∈ L ⇐⇒ Re f , Im f ∈ LR

f ∈ L =⇒ | f | ∈ L+

f ∈ L =⇒ | f | ∈ L+
f ∈ LR ⇐⇒ f + , f − ∈ L+

f ∈ L =⇒ | f | ∈ L+
f ∈ LR ⇐⇒ f + , f − ∈ L+
f , g ∈ L =⇒ fg∈L

f ∈ L =⇒ | f | ∈ L+
f ∈ LR ⇐⇒ f + , f − ∈ L+
f , g ∈ L =⇒ fg∈L
f , g ∈ L , g 6= 0 c.p.d. =⇒ f /g ∈ L

f ∈ L =⇒ | f | ∈ L+
f ∈ LR ⇐⇒ f + , f − ∈ L+
f , g ∈ L =⇒ fg∈L
f , g ∈ L , g 6= 0 c.p.d. =⇒ f /g ∈ L
Convergencia c.p.d.

f ∈ L =⇒ | f | ∈ L+
f ∈ LR ⇐⇒ f + , f − ∈ L+
f , g ∈ L =⇒ fg∈L
f , g ∈ L , g 6= 0 c.p.d. =⇒ f /g ∈ L
Convergencia c.p.d.
La convergencia puntual ha dejado de tener sentido,

f ∈ L =⇒ | f | ∈ L+
f ∈ LR ⇐⇒ f + , f − ∈ L+
f , g ∈ L =⇒ fg∈L
f , g ∈ L , g 6= 0 c.p.d. =⇒ f /g ∈ L
Convergencia c.p.d.
pero tiene sentido la convergencia c.p.d., y es claro que:

f ∈ L =⇒ | f | ∈ L+
f ∈ LR ⇐⇒ f + , f − ∈ L+
f , g ∈ L =⇒ fg∈L
f , g ∈ L , g 6= 0 c.p.d. =⇒ f /g ∈ L
Convergencia c.p.d.
pero tiene sentido la convergencia c.p.d., y es claro que:
fn ∈ L , { fn } → f c.p.d. =⇒ f ∈L
Los espacios L p (RN )

Definición y observaciones
Z
16 p<∞: L p (RN ) = f ∈L : | f |p < ∞
RN
Z
16 p<∞: L p (RN ) = f ∈L : | f |p < ∞
RN
Z 1/p
k · k p : L p (RN ) → R , k f kp = | f |p ∀ f ∈ L p (RN )
RN
Z
16 p<∞: L p (RN ) = f ∈L : | f |p < ∞
RN
Z 1/p
RN
f , g ∈ L p (RN ) =⇒ f + g ∈ L p (RN ) y k f + gk p 6 k f k p + kgk p

Z
16 p<∞: L p (RN ) = f ∈L : | f |p < ∞
RN
Z 1/p
RN

f ∈ L p (RN ) , λ ∈ C =⇒ λ f ∈ L p (RN ) y kλ f k p = |λ| k f k p
Z
16 p<∞: L p (RN ) = f ∈L : | f |p < ∞
RN
Z 1/p
RN

f ∈ Lp (RN ) , k f kp = 0 =⇒ f =0
Z
16 p<∞: L p (RN ) = f ∈L : | f |p < ∞
RN
Z 1/p
RN

f ∈ Lp (RN ) , k f kp = 0 =⇒ f =0
Lp (RN ) , con la norma k · k p , es un espacio normado complejo
Z
16 p<∞: L p (RN ) = f ∈L : | f |p < ∞
RN
Z 1/p
RN

f ∈ Lp (RN ) , k f kp = 0 =⇒ f =0
Lp (RN ) , con la norma k · k p , es un espacio normado complejo
1 1
Hölder: p > 1, + = 1 , f ∈ L p (RN ) , g ∈ L p∗ (RN )
p p∗
=⇒ f g ∈ L1 (RN ) y k f gk1 6 k f k p kgk p∗
Complitud de los espacios L p (RN )

Teorema de Riesz-Fisher
Para 1 6 p < ∞ , L p (RN ) es un espacio de Banach
Si { fn } → f en L p (RN ) , existe una sucesión parcial { fσ(n) } tal que
{ fσ(n) } → f c.p.d.
{ fσ(n) } → f c.p.d.
Funciones medibles esencialmente acotadas

{ fσ(n) } → f c.p.d.

k f k∞ = mı́n {K ∈ [0, ∞] : | f (x)| 6 K p.c.t. x ∈ RN } ∀f ∈L
{ fσ(n) } → f c.p.d.

k f k∞ = mı́n {K ∈ [0, ∞] : | f (x)| 6 K p.c.t. x ∈ RN } ∀f ∈L
{ fσ(n) } → f c.p.d.

k f k∞ = mı́n {K ∈ [0, ∞] : | f (x)| 6 K p.c.t. x ∈ RN } ∀ f ∈ L
L∞ (RN ) = f ∈ L : k f k∞ < ∞

espacio vectorial complejo
{ fσ(n) } → f c.p.d.

L∞ (RN ) = f ∈ L : k f k∞ < ∞

k · k∞ : L∞ (RN ) → R es una norma
{ fσ(n) } → f c.p.d.

L∞ (RN ) = f ∈ L : k f k∞ < ∞

Complitud de L∞ (RN )
{ fσ(n) } → f c.p.d.

L∞ (RN ) = f ∈ L : k f k∞ < ∞

L∞ (RN ) es un espacio de Banach
{ fσ(n) } → f c.p.d.

L∞ (RN ) = f ∈ L : k f k∞ < ∞

La convergencia en L∞ (RN ) es la convergencia uniforme c.p.d.
{ fσ(n) } → f c.p.d.

L∞ (RN ) = f ∈ L : k f k∞ < ∞

∀ ε > 0 ∃ m ∈ N : n > m =⇒ | fn (x) − f (x)| < ε p.c.t. x ∈ RN
{ fσ(n) } → f c.p.d.

L∞ (RN ) = f ∈ L : k f k∞ < ∞

∀ ε > 0 ∃ m ∈ N : n > m =⇒ | fn (x) − f (x)| < ε p.c.t. x ∈ RN
1 6 p 6 ∞ , f ∈ L p (RN ) , g ∈ L∞ (RN ) =⇒
f g ∈ L p (RN ) y k f gk p 6 k f k p kgk∞
Funciones integrables
Definición de la integral
Para f ∈ L1 (RN ) (funciones integrables), definimos:
Z Z Z Z Z
f = (Re f )+ − (Re f )− + i (Im f )+ − (Im f )−
RN RN RN RN RN
Z Z Z Z Z
f = (Re f )+ − (Re f )− + i (Im f )+ − (Im f )−
RN RN RN RN RN
Propiedades inmediatas
Z Z Z Z Z
f = (Re f )+ − (Re f )− + i (Im f )+ − (Im f )−
RN RN RN RN RN
Z
La integral, I : L1 (RN ) → C , I( f ) = f ∀ f ∈ L1 (RN ) , es un funcional
RN
Z Z Z Z Z
f = (Re f )+ − (Re f )− + i (Im f )+ − (Im f )−
RN RN RN RN RN
Z
RN
Lineal: I(α f + βg) = αI( f ) + βI(g) ∀ f , g ∈ L1 (RN ) , ∀ α, β ∈ C
Z Z Z Z Z
f = (Re f )+ − (Re f )− + i (Im f )+ − (Im f )−
RN RN RN RN RN
Z
RN
Positivo: f ∈ L1 (RN ) ∩ L+ =⇒ I( f ) ∈ R+
0
Z Z Z Z Z
f = (Re f )+ − (Re f )− + i (Im f )+ − (Im f )−
RN RN RN RN RN
Z
RN
Positivo: f ∈ L1 (RN ) ∩ L+ =⇒ I( f ) ∈ R+ 0
Continuo: |I( f )| 6 I | f | = k f k1 ∀ f ∈ L1 (RN )

Z Z Z Z Z
f = (Re f )+ − (Re f )− + i (Im f )+ − (Im f )−
RN RN RN RN RN
Z
RN

Teorema de la convergencia dominada

Z Z Z Z Z
f = (Re f )+ − (Re f )− + i (Im f )+ − (Im f )−
RN RN RN RN RN
Z
RN


fn ∈ L ∀ n ∈ N , { fn } → f c.p.d.
Z Z Z Z Z
f = (Re f )+ − (Re f )− + i (Im f )+ − (Im f )−
RN RN RN RN RN
Z
RN


fn ∈ L ∀ n ∈ N , { fn } → f c.p.d.
Si existe g ∈ L1 (RN ) ∩ L+ tal que | fn (x)| 6 g(x) p.c.t. x ∈ RN , entonces:
Z Z Z Z Z
f = (Re f )+ − (Re f )− + i (Im f )+ − (Im f )−
RN RN RN RN RN
Z
RN


fn ∈ L ∀ n ∈ N , { fn } → f c.p.d.
Si existe g ∈ L1 (RN ) ∩ L+ tal que | fn (x)| 6 g(x) N
Z p.c.t. x ∈ ZR , entonces:
{ fn } → f en L1 (RN ) y, por tanto, f = lı́m fn
RN n→∞ RN
Integración en conjuntos medibles

Integral sobre un conjunto medible


Z Z
def
f = χE f ∀ E ∈ M , ∀ f ∈ L1 (RN )
E RN

Z Z
def
f = χE f ∀ E ∈ M , ∀ f ∈ L1 (RN )
E RN
σ-aditividad de la integral

Z Z
def
f = χE f ∀ E ∈ M , ∀ f ∈ L1 (RN )
E RN
En con En ∈ M ∀ n ∈ N , entonces:
U∞
Si E =
Z n=1 ∞ Z
f = ∑ f ∀ f ∈ L1 (RN )
E n=1 En

Z Z
def
f = χE f ∀ E ∈ M , ∀ f ∈ L1 (RN )
E RN
U∞
Si E =
Z n=1 ∞ Z
f = ∑ f ∀ f ∈ L1 (RN )
E n=1 En
Espacios L p (E)

Z Z
def
f = χE f ∀ E ∈ M , ∀ f ∈ L1 (RN )
E RN
U∞
Si E =
Z n=1 ∞ Z
f = ∑ f ∀ f ∈ L1 (RN )
E n=1 En
Espacios L p (E)
Para E ∈ M y 1 6 p 6 ∞ se define:
L p (E) = { f ∈ L p (RN ) : f = χE f }
= { f ∈ L p (RN ) : f (x) = 0 p.c.t. x ∈ RN \ E}

Z Z
def
f = χE f ∀ E ∈ M , ∀ f ∈ L1 (RN )
E RN
U∞
Si E =
Z n=1 ∞ Z
f = ∑ f ∀ f ∈ L1 (RN )
E n=1 En
Espacios L p (E)
L p (E) = { f ∈ L p (RN ) : f = χE f }
= { f ∈ L p (RN ) : f (x) = 0 p.c.t. x ∈ RN \ E}
L p (E) es subespacio cerrado de L p (RN ), luego es un espacio de Banach


Z Z
def
f = χE f ∀ E ∈ M , ∀ f ∈ L1 (RN )
E RN
U∞
Si E =
Z n=1 ∞ Z
f = ∑ f ∀ f ∈ L1 (RN )
E n=1 En
Espacios L p (E)
L p (E) = { f ∈ L p (RN ) : f = χE f }
= { f ∈ L p (RN ) : f (x) = 0 p.c.t. x ∈ RN \ E}
L p (E) es subespacio cerrado de L p (RN ), luego es un espacio de Banach

Vemos f ∈ L p (E) como clase de equivalencia de funciones definidas en E
Aproximación por funciones simples

Funciones simples
Funciones simples
Para A ∈ M se tiene χA ∈ L∞ (RN ) , mientras que
si 1 6 p < ∞ , entonces: χA ∈ L p (RN ) ⇐⇒ λ(A) < ∞
Funciones simples
Funciones simples:
def
S∞ = espacio vectorial engendrado por {χA : A ∈ M }
Funciones simples
Funciones simples:
def
n o
S∞ = ∑nk=1 αk χAk : n ∈ N , αk ∈ C , Ak ∈ M
Funciones simples
Funciones simples:
def
n o
Funciones simples integrables:

def
S = espacio vectorial engendrado por {χA : A ∈ M , λ(A) < ∞}
Funciones simples
Funciones simples:
def
n o

def
n o
S = ∑nk=1 αk χAk : n ∈ N , αk ∈ C , Ak ∈ M , λ(Ak ) < ∞
Funciones simples
Funciones simples:
def
n o

def
n o
S∞ ⊂ L∞ (RN ) y S ⊂ L p (RN ) para 1 6 p < ∞

Funciones simples
Funciones simples:
def
n o

def
n o

Funciones simples
Funciones simples:
def
n o

def
n o

S es denso en L p (RN ) para 1 6 p < ∞
Funciones simples
Funciones simples:
def
n o

def
n o

S es denso en L p (RN ) para 1 6 p < ∞
S∞ es denso en L∞ (RN )
Aproximación por funciones continuas


Funciones continuas de soporte compacto

f : RN → C , sop f = {x ∈ RN : f (x) 6= 0}

f : RN → C , sop f = {x ∈ RN : f (x) 6= 0}
C00 (RN ) = { f : RN → C : f continua, sop f compacto}

f : RN → C , sop f = {x ∈ RN : f (x) 6= 0}
Podemos escribir: C00 (RN ) ⊂ L p (RN ) para 1 6 p 6 ∞

f : RN → C , sop f = {x ∈ RN : f (x) 6= 0}
Si Ω = Ω◦ ⊂ RN , se define:
(RN )

C00 (Ω) = f ∈ C00 : sop f ⊂ Ω} ⊂ L p (Ω)

f : RN → C , sop f = {x ∈ RN : f (x) 6= 0}
(RN )

C00 (Ω) = f ∈ C00 : sop f ⊂ Ω} ⊂ L p (Ω)


f : RN → C , sop f = {x ∈ RN : f (x) 6= 0}
(RN )

C00 (Ω) = f ∈ C00 : sop f ⊂ Ω} ⊂ L p (Ω)

C00 (RN ) es denso en L p (RN ) para 1 6 p < ∞

f : RN → C , sop f = {x ∈ RN : f (x) 6= 0}
(RN )

C00 (Ω) = f ∈ C00 : sop f ⊂ Ω} ⊂ L p (Ω)

De hecho, si Ω = Ω◦ ⊂ RN y 1 6 p < ∞ , C00 (Ω) es denso en L p (Ω)

f : RN → C , sop f = {x ∈ RN : f (x) 6= 0}
(RN )

C00 (Ω) = f ∈ C00 : sop f ⊂ Ω} ⊂ L p (Ω)

Funciones continuas que se anulan en el infinito


f : RN → C , sop f = {x ∈ RN : f (x) 6= 0}
(RN )

C00 (Ω) = f ∈ C00 : sop f ⊂ Ω} ⊂ L p (Ω)


Viendo C00 (RN ) como subespacio de L∞ (RN ) se tiene: C00 (RN ) = C0 (RN ),

f : RN → C , sop f = {x ∈ RN : f (x) 6= 0}
(RN )

C00 (Ω) = f ∈ C00 : sop f ⊂ Ω} ⊂ L p (Ω)


Viendo C00 (RN ) como subespacio de L∞ (RN ) se tiene: C00 (RN ) = C0 (RN ),
el espacio de las funciones continuas f : RN → C que se anulan en el infinito:
lı́m f (x) = 0, es decir: ∀ ε > 0 ∃ M ∈ R+ : kxk > M ⇒ | f (x)| < ε
kxk→∞
Los espacios de funciones periódicas (I)


Funciones periódicas continuas

f : R → C es 2π-periódica cuando f (t + 2π) = f (t) ∀t ∈ R

C(T) = { f : R → C : f continua y 2π-periódica }

C(T) es un espacio de Banach complejo, con la norma k · k∞ dada por:

k f k∞ = máx | f (t)| : t ∈ R = máx | f (t)| : t ∈ [−π, π] ∀ f ∈ C(T)


f : R → C 2π-periódica ←→ f∗ : T → C


f ∗ (z) = f (arg z) ∀ z ∈ T y f (t) = f ∗ (eit ) ∀t ∈ R


f continua ⇐⇒ f ∗ continua


El espacio L∞ (T)


El espacio L∞ (T)
f ∈ L es 2π-periódica cuando f (t + 2π) = f (t) p.c.t. t ∈ R


El espacio L∞ (T)

L∞ (T) = f ∈ L∞ (R) : f 2π − periódica}


El espacio L∞ (T)

L∞ (T) es subespacio cerrado de L∞ (R) , luego es un espacio de Banach con
k f k∞ = mı́n{K ∈ R+
0 : | f (t)| 6 K p.c.t. t ∈ R} ∀ f ∈ L∞ (T)


El espacio L∞ (T)

L∞ (T) es subespacio cerrado de L∞ (R) , luego es un espacio de Banach con
k f k∞ = mı́n{K ∈ R+
0 : | f (t)| 6 K p.c.t. t ∈ R} ∀ f ∈ L∞ (T)
C(T) se identifica totalmente con un subespacio cerrado de L∞ (T)
Los espacios de funciones periódicas (II)

Los espacios L p (T) con 1 6 p < ∞


Z π

L p (T) = f ∈ L : f 2π-periódica, | f (t)| p dt < ∞
−π

Z π

−π
Si χ es la función caracterı́stica de ] − π, π[ , la aplicación

f 7→ χ f , es una biyección lineal de L p (T) sobre L p ] − π, π[

Z π

−π

luego L p (T) es un espacio de Banach con la norma:
1/p
1
Z π
k f kp = | f (t)| p dt ∀ f ∈ L p (T)
2π −π

Z π

−π

1/p
1
Z π
k f kp = | f (t)| p dt ∀ f ∈ L p (T)
2π −π
1 1
Desigualdad de Hölder: 1 < p < ∞ , + = 1 , f ∈ L p (T) g ∈ L p∗ (T)
p p∗
f g ∈ L1 (T) y k f gk1 6 k f k p kgk p∗

Z π

−π

1/p
1
Z π
k f kp = | f (t)| p dt ∀ f ∈ L p (T)
2π −π
1 1
Desigualdad de Hölder: 1 < p < ∞ , + = 1 , f ∈ L p (T) g ∈ L p∗ (T)
p p∗
f g ∈ L1 (T) y k f gk1 6 k f k p kgk p∗
1 6 p 6 ∞ , f ∈ L p (T) , g ∈ L∞ (T) =⇒ f g ∈ L p (T) , k f gk p 6 k f k p kgk∞
Comparación de los espacios L p (T)



C(T) es denso en L p (T) para 1 6 p < ∞

Inclusiones entre los espacios L p (T)



Para 1 6 p < q 6 ∞ se tiene:


f ∈ Lq (T) =⇒ f ∈ L p (T) y k f k p 6 k f kq


Como espacios vectoriales, Lq (T) ⊂ L p (T)
y la identidad Id : Lq (T) → L p (T) es continua, es decir,
{ fn } → f en Lq (T) =⇒ { fn } → f en L p (T)


Como espacios vectoriales, Lq (T) ⊂ L p (T)
y la identidad Id : Lq (T) → L p (T) es continua, es decir,
{ fn } → f en Lq (T) =⇒ { fn } → f en L p (T)
Si 1 6 p < ∞ , existe f ∈ L p (T) tal que, para p < q 6 ∞ , se tiene f ∈
/ Lq (T)

Espacios de Funciones Lebesgue

Transféré par

Informations du document

Description originale:

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Espacios de Funciones Lebesgue

Transféré par

Droits d'auteur :

Formats disponibles

Análisis de Fourier

Tema 2: Espacios de funciones

20-25-27 de septiembre y 2-4 de octubre

La medida de Lebesgue (I)

La medida de Lebesgue (I)

Definición de la medida de Lebesgue en RN

La medida de Lebesgue (I)

Definición de la medida de Lebesgue en RN

La medida de Lebesgue (I)

Definición de la medida de Lebesgue en RN

La medida de Lebesgue (I)

Definición de la medida de Lebesgue en RN

La medida de Lebesgue (I)

Definición de la medida de Lebesgue en RN

Medida exterior de Lebesgue: λ∗ : P (RN ) → [0, ∞]

La medida de Lebesgue (I)

Definición de la medida de Lebesgue en RN

Medida exterior de Lebesgue: λ∗ : P (RN ) → [0, ∞]

La medida de Lebesgue (I)

Definición de la medida de Lebesgue en RN

Medida exterior de Lebesgue: λ∗ : P (RN ) → [0, ∞]

Conjuntos medibles: M ⊂ P (RN )

La medida de Lebesgue (I)

Definición de la medida de Lebesgue en RN

Medida exterior de Lebesgue: λ∗ : P (RN ) → [0, ∞]

Conjuntos medibles: M ⊂ P (RN )

La medida de Lebesgue (I)

Definición de la medida de Lebesgue en RN

Medida exterior de Lebesgue: λ∗ : P (RN ) → [0, ∞]

Conjuntos medibles: M ⊂ P (RN )

Medida de Lebesgue: λ : M → [0, ∞]

La medida de Lebesgue (I)

Definición de la medida de Lebesgue en RN

Medida exterior de Lebesgue: λ∗ : P (RN ) → [0, ∞]

Conjuntos medibles: M ⊂ P (RN )

Medida de Lebesgue: λ : M → [0, ∞]

La medida de Lebesgue (II)

La medida de Lebesgue (II)

La medida de Lebesgue (II)

La medida de Lebesgue (II)

La medida de Lebesgue (II)

M es una σ-álgebra, es decir:

La medida de Lebesgue (II)

M es una σ-álgebra, es decir:

La medida de Lebesgue (II)

M es una σ-álgebra, es decir:

La medida de Lebesgue (II)

M es una σ-álgebra, es decir:

La medida de Lebesgue (II)

M es una σ-álgebra, es decir:

λ es una medida, es decir, está definida en una σ-álgebra, verifica que

La medida de Lebesgue (II)

M es una σ-álgebra, es decir:

λ es una medida, es decir, está definida en una σ-álgebra, verifica que

La medida de Lebesgue (II)

M es una σ-álgebra, es decir:

λ es una medida, es decir, está definida en una σ-álgebra, verifica que

La medida de Lebesgue (II)

M es una σ-álgebra, es decir:

λ es una medida, es decir, está definida en una σ-álgebra, verifica que

card M = card P (RN ) = card P (RN ) \ M

La medida de Lebesgue (II)

M es una σ-álgebra, es decir: