(u0 ) = inf .
X
1
Demonstracao:
S
X= n=1 1 (n, );
Entao
[ 1
X= 1 (c + , )
n=1
n
e portanto
k
[ 1
X= 1 (c + , )
n=1
n
1
para algum natural k. Deste modo (u) > c + k
para todo u X. Isto e uma contradicao
pois c = inf X .
(u0 ) = inf .
E
2
Demonstracao:
e portanto, a restricao
: BR (0) R e w-s.c.i.
Deste modo,
Teo.I.1 u0 BR (0) tal que (u0 ) = inf
BR (0)
isto e,
(u0 ) (u), u E com kuk R.
e
(u0 ) (u), u E.