Escolar Documentos
Profissional Documentos
Cultura Documentos
Antes de definirmos o espaço lp , que será exaustivamente utilizado durante o curso, demostra-
remos três desigualdades. Em particular, a última será essencial na demonstração de que lp é um
espaço métrico.
ϕ(t) = αt − tα , t ≥ 0. (3)
Então (
< 0 para 0 < t < 1
0 α−1 1
ϕ (t) = α − αt =α 1− (4)
t1−α > 0 para t > 1.
Com isso vemos que ϕ(t) ≥ ϕ(1). Portanto
Podemos brevemente definir o espaço lp . Para p ≥ 1 número real fixo, dizemos que a sequência
x = (ξ1 , ξ2 , . . . ) pertence a lp se
∞
X
|ξj |p converge. (10)
j=1
Ainda não temos uma métrica em lp . Para isso devemos provar ainda duas desigualdades.
1
b) Disugualdade de Hölder: Sejam x = (ξj ) ∈ lp e y = (ηj ) ∈ lq com
1 1
+ = 1. (11)
p q
Então 1 1
∞ ∞ p ∞ q
X X X
p q
|ξj ηj | ≤ |ξj | |ηj | (12)
j=1 j=1 j=1
|ξj | |ηj |
Demonstração: Sejam A = Pn 1 eB= Pn 1 com n ∈ N fixo. Pela desigual-
( j=1 |ξj | )
p p
( j=1 |ηj |q ) q
dade de Young
|ξj ||ηi | 1 |ξj |p 1 |ηj |q
P 1 P 1 ≤ p Pn |ξ |p + q Pn |η |q . (13)
n p p n q q j=1 j j=1 j
j=1 |ξj | j=1 |ηj |
Portanto
1 1 1 1
n n p n q ∞ p ∞ q
X X X X X
p q p q
|ξj ηj | ≤ |ξj | |ηj | ≤ |ξj | |ηj | < ∞, (15)
j=1 j=1 j=1 j=1 j=1
1 1
∞ ∞ p ∞ q
X X X
p q
|ξj ηj | ≤ |ξj | |ηj | . (17)
j=1 j=1 j=1
Demonstração: Se p = 1 temos
∞
X ∞
X ∞
X
|ξj + ηj | ≤ |ξj | + |ηj | =⇒ |ξj + ηj | ≤ |ξj | + |ηj |. (19)
j=1 j=1 j=1
2
Se p > 1, temos
n
X n
X n
X n
X
p p−1 p−1
|ξj + ηj | = |ξj + ηj ||ξj + ηj | ≤ |ξj ||ξj − ηj | + |ηj ||ξj − ηj |p−1 , (20)
j=1 j=1 j=1 j=1
e, analogamente,
1 1
n n p n q
X X X
|ηj ||ξj + ηj |p−1 ≤ |ηj | p
|ξj + ηj | p
. (23)
j=1 j=1 j=1
Passando o último termo dividindo do lado esquerdo, temos (com 1 − 1/q = 1/p)
1/p 1/p 1/p
Xn Xn X n
|ξj + ηj |p ≤ |ξj |p + |ηj |p . (25)
j=1 j=1 j=1
3
1)
1/p
X∞
|ξj − ηj |p converge por Minkowski, (29)
j=1