Topologia Fraca em Espaços Normados

Discente: Hamilton Nascimento

Instituto de Ciências Exatas
Universidade Federal do Amazonas

Seminário de Análise Funcional

Prof. Thiago Rodrigo Alves

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 1 / 10

Proposição 6.2.5

Proposição 1 (Proposição 6.2.5)

Seja E um espaço normado.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 2 / 10

Proposição 6.2.5

Proposição 1 (Proposição 6.2.5)

Seja E um espaço normado.
w
(a) Se xn −→ x em E , então a sequência (kxn k)n é limitada e
kxk ≤ lim inf n kxn k.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 2 / 10

Proposição 6.2.5

Proposição 1 (Proposição 6.2.5)

Seja E um espaço normado.
w
(a) Se xn −→ x em E , então a sequência (kxn k)n é limitada e
kxk ≤ lim inf n kxn k.
w
(b) Se xn −→ x em E e ϕn → ϕ em E 0 , então ϕn (xn ) → ϕ(x) em K.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 2 / 10

Demonstração da Proposição 6.2.5 - item (a)

Inicialmente mostraremos que (xn ) é limitada.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 3 / 10

Demonstração da Proposição 6.2.5 - item (a)

Inicialmente mostraremos que (xn ) é limitada. Sejam ϕ ∈ E 0 arbitrário e

X = {xn ; n ∈ N}.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 3 / 10

Demonstração da Proposição 6.2.5 - item (a)

Inicialmente mostraremos que (xn ) é limitada. Sejam ϕ ∈ E 0 arbitrário e

w
X = {xn ; n ∈ N}. Como xn −→ x, segue-se que ϕ(xn ) → ϕ(x).

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 3 / 10

Demonstração da Proposição 6.2.5 - item (a)

Inicialmente mostraremos que (xn ) é limitada. Sejam ϕ ∈ E 0 arbitrário e

w
X = {xn ; n ∈ N}. Como xn −→ x, segue-se que ϕ(xn ) → ϕ(x). Assim,
como ϕ(xn ) é uma sequência em K convergente, existe Kϕ > 0 tal que

|ϕ(xn )| ≤ Kϕ ∀n ∈ N

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 3 / 10

Demonstração da Proposição 6.2.5 - item (a)

Inicialmente mostraremos que (xn ) é limitada. Sejam ϕ ∈ E 0 arbitrário e

w
X = {xn ; n ∈ N}. Como xn −→ x, segue-se que ϕ(xn ) → ϕ(x). Assim,
como ϕ(xn ) é uma sequência em K convergente, existe Kϕ > 0 tal que

|ϕ(xn )| ≤ Kϕ ∀n ∈ N

Deste modo, segue-se que ϕ(X) é limitada qualquer que seja ϕ ∈ E 0 .

Armação 1
Sejam E um espaço normado e X ⊂ E .

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 3 / 10

Demonstração da Proposição 6.2.5 - item (a)

Inicialmente mostraremos que (xn ) é limitada. Sejam ϕ ∈ E 0 arbitrário e

w
X = {xn ; n ∈ N}. Como xn −→ x, segue-se que ϕ(xn ) → ϕ(x). Assim,
como ϕ(xn ) é uma sequência em K convergente, existe Kϕ > 0 tal que

|ϕ(xn )| ≤ Kϕ ∀n ∈ N

Deste modo, segue-se que ϕ(X) é limitada qualquer que seja ϕ ∈ E 0 .

Armação 1
Sejam E um espaço normado e X ⊂ E . Se ϕ(X) é limitada para todo
ϕ ∈ E 0 , então X é limitado.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 3 / 10

Demonstração da Proposição 6.2.5 - item (a)

Inicialmente mostraremos que (xn ) é limitada. Sejam ϕ ∈ E 0 arbitrário e

w
X = {xn ; n ∈ N}. Como xn −→ x, segue-se que ϕ(xn ) → ϕ(x). Assim,
como ϕ(xn ) é uma sequência em K convergente, existe Kϕ > 0 tal que

|ϕ(xn )| ≤ Kϕ ∀n ∈ N

Deste modo, segue-se que ϕ(X) é limitada qualquer que seja ϕ ∈ E 0 .

Armação 1
Sejam E um espaço normado e X ⊂ E . Se ϕ(X) é limitada para todo
ϕ ∈ E 0 , então X é limitado.

Pela Armação 1, segue-se que X é limitado e, portanto, a sequência (xn )

é limitada.
Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 3 / 10
Prova da Armação 1

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 4 / 10

Prova da Armação 1

Sejam E um espaço normado, X ⊂ E e JE : E → E 00 o mergulho canônico

de E .

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 4 / 10

Prova da Armação 1

Sejam E um espaço normado, X ⊂ E e JE : E → E 00 o mergulho canônico

de E . Suponha que ϕ(X) é limitada para todo ϕ ∈ E 0 .

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 4 / 10

Prova da Armação 1

Sejam E um espaço normado, X ⊂ E e JE : E → E 00 o mergulho canônico

de E . Suponha que ϕ(X) é limitada para todo ϕ ∈ E 0 . Ponhamos
M := {JE (x); x ∈ X}.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 4 / 10

Prova da Armação 1

Sejam E um espaço normado, X ⊂ E e JE : E → E 00 o mergulho canônico

de E . Suponha que ϕ(X) é limitada para todo ϕ ∈ E 0 . Ponhamos
M := {JE (x); x ∈ X}. Armamos que M é pontualmente limitado.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 4 / 10

Prova da Armação 1

Sejam E um espaço normado, X ⊂ E e JE : E → E 00 o mergulho canônico

de E . Suponha que ϕ(X) é limitada para todo ϕ ∈ E 0 . Ponhamos
M := {JE (x); x ∈ X}. Armamos que M é pontualmente limitado.

Com efeito, dado ϕ ∈ E 0 existe Kϕ > 0 tal que |ϕ(x)| ≤ Kϕ ∀x ∈ X .

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 4 / 10

Prova da Armação 1

Sejam E um espaço normado, X ⊂ E e JE : E → E 00 o mergulho canônico

de E . Suponha que ϕ(X) é limitada para todo ϕ ∈ E 0 . Ponhamos
M := {JE (x); x ∈ X}. Armamos que M é pontualmente limitado.

Com efeito, dado ϕ ∈ E 0 existe Kϕ > 0 tal que |ϕ(x)| ≤ Kϕ ∀x ∈ X .

Deste modo, temos:

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 4 / 10

Prova da Armação 1

Sejam E um espaço normado, X ⊂ E e JE : E → E 00 o mergulho canônico

de E . Suponha que ϕ(X) é limitada para todo ϕ ∈ E 0 . Ponhamos
M := {JE (x); x ∈ X}. Armamos que M é pontualmente limitado.

Com efeito, dado ϕ ∈ E 0 existe Kϕ > 0 tal que |ϕ(x)| ≤ Kϕ ∀x ∈ X .

Deste modo, temos:

|JE (x)(ϕ)|

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 4 / 10

Prova da Armação 1

Sejam E um espaço normado, X ⊂ E e JE : E → E 00 o mergulho canônico

de E . Suponha que ϕ(X) é limitada para todo ϕ ∈ E 0 . Ponhamos
M := {JE (x); x ∈ X}. Armamos que M é pontualmente limitado.

Com efeito, dado ϕ ∈ E 0 existe Kϕ > 0 tal que |ϕ(x)| ≤ Kϕ ∀x ∈ X .

Deste modo, temos:

|JE (x)(ϕ)| = |ϕ(x)|

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 4 / 10

Prova da Armação 1

Sejam E um espaço normado, X ⊂ E e JE : E → E 00 o mergulho canônico

de E . Suponha que ϕ(X) é limitada para todo ϕ ∈ E 0 . Ponhamos
M := {JE (x); x ∈ X}. Armamos que M é pontualmente limitado.

Com efeito, dado ϕ ∈ E 0 existe Kϕ > 0 tal que |ϕ(x)| ≤ Kϕ ∀x ∈ X .

Deste modo, temos:

|JE (x)(ϕ)| = |ϕ(x)| ≤ Kϕ ∀x ∈ X

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 4 / 10

Prova da Armação 1

Sejam E um espaço normado, X ⊂ E e JE : E → E 00 o mergulho canônico

de E . Suponha que ϕ(X) é limitada para todo ϕ ∈ E 0 . Ponhamos
M := {JE (x); x ∈ X}. Armamos que M é pontualmente limitado.

Com efeito, dado ϕ ∈ E 0 existe Kϕ > 0 tal que |ϕ(x)| ≤ Kϕ ∀x ∈ X .

Deste modo, temos:

|JE (x)(ϕ)| = |ϕ(x)| ≤ Kϕ ∀x ∈ X

Como para todo ψ ∈ M, existe x ∈ X tal que ψ = JE (x), segue-se da

desigualdade acima que:

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 4 / 10

Prova da Armação 1

Sejam E um espaço normado, X ⊂ E e JE : E → E 00 o mergulho canônico

de E . Suponha que ϕ(X) é limitada para todo ϕ ∈ E 0 . Ponhamos
M := {JE (x); x ∈ X}. Armamos que M é pontualmente limitado.

Com efeito, dado ϕ ∈ E 0 existe Kϕ > 0 tal que |ϕ(x)| ≤ Kϕ ∀x ∈ X .

Deste modo, temos:

|JE (x)(ϕ)| = |ϕ(x)| ≤ Kϕ ∀x ∈ X

Como para todo ψ ∈ M, existe x ∈ X tal que ψ = JE (x), segue-se da

desigualdade acima que:

|ψ(ϕ)| ≤ Kϕ ∀ψ ∈ M

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 4 / 10

Prova da Armação 1

Sejam E um espaço normado, X ⊂ E e JE : E → E 00 o mergulho canônico

de E . Suponha que ϕ(X) é limitada para todo ϕ ∈ E 0 . Ponhamos
M := {JE (x); x ∈ X}. Armamos que M é pontualmente limitado.

Com efeito, dado ϕ ∈ E 0 existe Kϕ > 0 tal que |ϕ(x)| ≤ Kϕ ∀x ∈ X .

Deste modo, temos:

|JE (x)(ϕ)| = |ϕ(x)| ≤ Kϕ ∀x ∈ X

Como para todo ψ ∈ M, existe x ∈ X tal que ψ = JE (x), segue-se da

desigualdade acima que:

|ψ(ϕ)| ≤ Kϕ ∀ψ ∈ M

Daí, M é pontualmente limitado.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 4 / 10

Prova da Armação 1

Como M é pontualmente limitado e M ⊂ L(E 0 , K), pelo Teorema de

Banach-Steinhauss, existe K > 0 tal que:

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 5 / 10

Prova da Armação 1

Como M é pontualmente limitado e M ⊂ L(E 0 , K), pelo Teorema de

Banach-Steinhauss, existe K > 0 tal que:

kψk ≤ K ∀ψ ∈ M

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 5 / 10

Prova da Armação 1

Como M é pontualmente limitado e M ⊂ L(E 0 , K), pelo Teorema de

Banach-Steinhauss, existe K > 0 tal que:

kψk ≤ K ∀ψ ∈ M

Portanto,

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 5 / 10

Prova da Armação 1

Como M é pontualmente limitado e M ⊂ L(E 0 , K), pelo Teorema de

Banach-Steinhauss, existe K > 0 tal que:

kψk ≤ K ∀ψ ∈ M

Portanto,

JE (x) ≤ K ∀x ∈ X

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 5 / 10

Prova da Armação 1

Como M é pontualmente limitado e M ⊂ L(E 0 , K), pelo Teorema de

Banach-Steinhauss, existe K > 0 tal que:

kψk ≤ K ∀ψ ∈ M

Portanto,

JE (x) ≤ K ∀x ∈ X

Por m, note que como JE é uma isometria, tem-se:

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 5 / 10

Prova da Armação 1

Como M é pontualmente limitado e M ⊂ L(E 0 , K), pelo Teorema de

Banach-Steinhauss, existe K > 0 tal que:

kψk ≤ K ∀ψ ∈ M

Portanto,

JE (x) ≤ K ∀x ∈ X

Por m, note que como JE é uma isometria, tem-se:

kxk = JE (x) ≤ K ∀x ∈ X

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 5 / 10

Prova da Armação 1

Como M é pontualmente limitado e M ⊂ L(E 0 , K), pelo Teorema de

Banach-Steinhauss, existe K > 0 tal que:

kψk ≤ K ∀ψ ∈ M

Portanto,

JE (x) ≤ K ∀x ∈ X

Por m, note que como JE é uma isometria, tem-se:

kxk = JE (x) ≤ K ∀x ∈ X

Logo, X é limitado, demonstrando a armação.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 5 / 10

Agora mostraremos que kxk ≤ lim inf n kxn k.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 6 / 10

Agora mostraremos que kxk ≤ lim inf n kxn k.

Seja ϕ ∈ E 0 arbitrário.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 6 / 10

Agora mostraremos que kxk ≤ lim inf n kxn k.
w
Seja ϕ ∈ E 0 arbitrário. Como xn −→ x, pela Proposição 6.2.2* sabemos
que ϕ(xn ) → ϕ(x).

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 6 / 10

Agora mostraremos que kxk ≤ lim inf n kxn k.
w
Seja ϕ ∈ E 0 arbitrário. Como xn −→ x, pela Proposição 6.2.2* sabemos
que ϕ(xn ) → ϕ(x). Deste modo, é claro que |ϕ(xn )| → |ϕ(x)|.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 6 / 10

Agora mostraremos que kxk ≤ lim inf n kxn k.
w
Seja ϕ ∈ E 0 arbitrário. Como xn −→ x, pela Proposição 6.2.2* sabemos
que ϕ(xn ) → ϕ(x). Deste modo, é claro que |ϕ(xn )| → |ϕ(x)|. Assim:

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 6 / 10

Agora mostraremos que kxk ≤ lim inf n kxn k.
w
Seja ϕ ∈ E 0 arbitrário. Como xn −→ x, pela Proposição 6.2.2* sabemos
que ϕ(xn ) → ϕ(x). Deste modo, é claro que |ϕ(xn )| → |ϕ(x)|. Assim:

|ϕ(x)|

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 6 / 10

Agora mostraremos que kxk ≤ lim inf n kxn k.
w
Seja ϕ ∈ E 0 arbitrário. Como xn −→ x, pela Proposição 6.2.2* sabemos
que ϕ(xn ) → ϕ(x). Deste modo, é claro que |ϕ(xn )| → |ϕ(x)|. Assim:

|ϕ(x)| = lim |ϕ(xn )|

n→∞

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 6 / 10

Agora mostraremos que kxk ≤ lim inf n kxn k.
w
Seja ϕ ∈ E 0 arbitrário. Como xn −→ x, pela Proposição 6.2.2* sabemos
que ϕ(xn ) → ϕ(x). Deste modo, é claro que |ϕ(xn )| → |ϕ(x)|. Assim:

|ϕ(x)| = lim |ϕ(xn )| = lim inf |ϕ(xn )|

n→∞ n

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 6 / 10

Agora mostraremos que kxk ≤ lim inf n kxn k.
w
Seja ϕ ∈ E 0 arbitrário. Como xn −→ x, pela Proposição 6.2.2* sabemos
que ϕ(xn ) → ϕ(x). Deste modo, é claro que |ϕ(xn )| → |ϕ(x)|. Assim:

|ϕ(x)| = lim |ϕ(xn )| = lim inf |ϕ(xn )|

n→∞ n

Pela continuidade de ϕ, sabemos que |ϕ(xn )| ≤ kϕkkxn k para todo n ∈ N.

Então, lim inf n |ϕ(xn )| ≤ lim inf n kϕkkxn k para todo n ∈ N.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 6 / 10

Agora mostraremos que kxk ≤ lim inf n kxn k.
w
Seja ϕ ∈ E 0 arbitrário. Como xn −→ x, pela Proposição 6.2.2* sabemos
que ϕ(xn ) → ϕ(x). Deste modo, é claro que |ϕ(xn )| → |ϕ(x)|. Assim:

|ϕ(x)| = lim |ϕ(xn )| = lim inf |ϕ(xn )|

n→∞ n

Pela continuidade de ϕ, sabemos que |ϕ(xn )| ≤ kϕkkxn k para todo n ∈ N.

Então, lim inf n |ϕ(xn )| ≤ lim inf n kϕkkxn k para todo n ∈ N. Daí, como
kφk ≥ 0, pelo que obtivemos acima:

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 6 / 10

Agora mostraremos que kxk ≤ lim inf n kxn k.
w
Seja ϕ ∈ E 0 arbitrário. Como xn −→ x, pela Proposição 6.2.2* sabemos
que ϕ(xn ) → ϕ(x). Deste modo, é claro que |ϕ(xn )| → |ϕ(x)|. Assim:

|ϕ(x)| = lim |ϕ(xn )| = lim inf |ϕ(xn )|

n→∞ n

Pela continuidade de ϕ, sabemos que |ϕ(xn )| ≤ kϕkkxn k para todo n ∈ N.

Então, lim inf n |ϕ(xn )| ≤ lim inf n kϕkkxn k para todo n ∈ N. Daí, como
kφk ≥ 0, pelo que obtivemos acima:

|ϕ(x)| = lim |ϕ(xn )| = lim inf |ϕ(xn )|

n→∞ n

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 6 / 10

Agora mostraremos que kxk ≤ lim inf n kxn k.
w
Seja ϕ ∈ E 0 arbitrário. Como xn −→ x, pela Proposição 6.2.2* sabemos
que ϕ(xn ) → ϕ(x). Deste modo, é claro que |ϕ(xn )| → |ϕ(x)|. Assim:

|ϕ(x)| = lim |ϕ(xn )| = lim inf |ϕ(xn )|

n→∞ n

Pela continuidade de ϕ, sabemos que |ϕ(xn )| ≤ kϕkkxn k para todo n ∈ N.

Então, lim inf n |ϕ(xn )| ≤ lim inf n kϕkkxn k para todo n ∈ N. Daí, como
kφk ≥ 0, pelo que obtivemos acima:

|ϕ(x)| = lim |ϕ(xn )| = lim inf |ϕ(xn )| ≤ lim inf kϕkkxn k = kϕk lim inf kxn k
n→∞ n n n

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 6 / 10

Agora mostraremos que kxk ≤ lim inf n kxn k.
w
Seja ϕ ∈ E 0 arbitrário. Como xn −→ x, pela Proposição 6.2.2* sabemos
que ϕ(xn ) → ϕ(x). Deste modo, é claro que |ϕ(xn )| → |ϕ(x)|. Assim:

|ϕ(x)| = lim |ϕ(xn )| = lim inf |ϕ(xn )|

n→∞ n

Pela continuidade de ϕ, sabemos que |ϕ(xn )| ≤ kϕkkxn k para todo n ∈ N.

Então, lim inf n |ϕ(xn )| ≤ lim inf n kϕkkxn k para todo n ∈ N. Daí, como
kφk ≥ 0, pelo que obtivemos acima:

|ϕ(x)| = lim |ϕ(xn )| = lim inf |ϕ(xn )| ≤ lim inf kϕkkxn k = kϕk lim inf kxn k
n→∞ n n n

Deste modo,

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 6 / 10

Agora mostraremos que kxk ≤ lim inf n kxn k.
w
Seja ϕ ∈ E 0 arbitrário. Como xn −→ x, pela Proposição 6.2.2* sabemos
que ϕ(xn ) → ϕ(x). Deste modo, é claro que |ϕ(xn )| → |ϕ(x)|. Assim:

|ϕ(x)| = lim |ϕ(xn )| = lim inf |ϕ(xn )|

n→∞ n

Pela continuidade de ϕ, sabemos que |ϕ(xn )| ≤ kϕkkxn k para todo n ∈ N.

Então, lim inf n |ϕ(xn )| ≤ lim inf n kϕkkxn k para todo n ∈ N. Daí, como
kφk ≥ 0, pelo que obtivemos acima:

|ϕ(x)| = lim |ϕ(xn )| = lim inf |ϕ(xn )| ≤ lim inf kϕkkxn k = kϕk lim inf kxn k
n→∞ n n n

Deste modo,

|ϕ(x)| ≤ kϕk lim inf kxn k ∀ϕ ∈ E 0

n

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 6 / 10

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 7 / 10
Pelo Corolário 3 do Teorema de Hanh-Banach, sabemos que existe ϕ ∈ E 0 ,
com kϕk = 1 tal que |ϕ(x)| = kxk.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 7 / 10

Pelo Corolário 3 do Teorema de Hanh-Banach, sabemos que existe ϕ ∈ E 0 ,
com kϕk = 1 tal que |ϕ(x)| = kxk. Assim, pela desigualdade anterior
segue-se que:

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 7 / 10

Pelo Corolário 3 do Teorema de Hanh-Banach, sabemos que existe ϕ ∈ E 0 ,
com kϕk = 1 tal que |ϕ(x)| = kxk. Assim, pela desigualdade anterior
segue-se que:

kxk

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 7 / 10

Pelo Corolário 3 do Teorema de Hanh-Banach, sabemos que existe ϕ ∈ E 0 ,
com kϕk = 1 tal que |ϕ(x)| = kxk. Assim, pela desigualdade anterior
segue-se que:

kxk = |ϕ(x)|

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 7 / 10

Pelo Corolário 3 do Teorema de Hanh-Banach, sabemos que existe ϕ ∈ E 0 ,
com kϕk = 1 tal que |ϕ(x)| = kxk. Assim, pela desigualdade anterior
segue-se que:

kxk = |ϕ(x)| ≤ 1 · lim inf kxn k

n

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 7 / 10

Pelo Corolário 3 do Teorema de Hanh-Banach, sabemos que existe ϕ ∈ E 0 ,
com kϕk = 1 tal que |ϕ(x)| = kxk. Assim, pela desigualdade anterior
segue-se que:

kxk = |ϕ(x)| ≤ 1 · lim inf kxn k

n

Logo, kxk ≤ lim inf n kxn k.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 7 / 10

Demonstração da Proposição 6.2.5 - item (b)

w
Agora mostraremos que se xn −→ x em E e ϕn → ϕ em E 0 , então
ϕn (xn ) → ϕ(x) em K.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 8 / 10

 w
De fato, como xn −→ x, sabemos que existe M > 0 tal que
kxn k ≤ M ∀n ∈ N.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 9 / 10

 w
De fato, como xn −→ x, sabemos que existe M > 0 tal que
kxn k ≤ M ∀n ∈ N. Também pela Proposição 6.2.2 segue-se que
limn→∞ ϕ(xn ) = ϕ(x).

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 9 / 10

 w
De fato, como xn −→ x, sabemos que existe M > 0 tal que
kxn k ≤ M ∀n ∈ N. Também pela Proposição 6.2.2 segue-se que
limn→∞ ϕ(xn ) = ϕ(x). Daí, aplicando-se a desigualdade triangular:

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 9 / 10

 w
De fato, como xn −→ x, sabemos que existe M > 0 tal que
kxn k ≤ M ∀n ∈ N. Também pela Proposição 6.2.2 segue-se que
limn→∞ ϕ(xn ) = ϕ(x). Daí, aplicando-se a desigualdade triangular:

|ϕn (xn ) − ϕ(x)|

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 9 / 10

 w
De fato, como xn −→ x, sabemos que existe M > 0 tal que
kxn k ≤ M ∀n ∈ N. Também pela Proposição 6.2.2 segue-se que
limn→∞ ϕ(xn ) = ϕ(x). Daí, aplicando-se a desigualdade triangular:

|ϕn (xn ) − ϕ(x)| ≤ |ϕn (xn ) − ϕ(xn )| + |ϕ(xn ) − ϕ(x)|

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 9 / 10

 w
De fato, como xn −→ x, sabemos que existe M > 0 tal que
kxn k ≤ M ∀n ∈ N. Também pela Proposição 6.2.2 segue-se que
limn→∞ ϕ(xn ) = ϕ(x). Daí, aplicando-se a desigualdade triangular:

|ϕn (xn ) − ϕ(x)| ≤ |ϕn (xn ) − ϕ(xn )| + |ϕ(xn ) − ϕ(x)| =

≤ |(ϕn − ϕ)xn | + |ϕ(xn ) − ϕ(x)|

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 9 / 10

 w
De fato, como xn −→ x, sabemos que existe M > 0 tal que
kxn k ≤ M ∀n ∈ N. Também pela Proposição 6.2.2 segue-se que
limn→∞ ϕ(xn ) = ϕ(x). Daí, aplicando-se a desigualdade triangular:

|ϕn (xn ) − ϕ(x)| ≤ |ϕn (xn ) − ϕ(xn )| + |ϕ(xn ) − ϕ(x)| =

≤ |(ϕn − ϕ)xn | + |ϕ(xn ) − ϕ(x)|
≤ kϕn − ϕkkxn k + |ϕ(xn ) − ϕ(x)

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 9 / 10

 w
De fato, como xn −→ x, sabemos que existe M > 0 tal que
kxn k ≤ M ∀n ∈ N. Também pela Proposição 6.2.2 segue-se que
limn→∞ ϕ(xn ) = ϕ(x). Daí, aplicando-se a desigualdade triangular:

|ϕn (xn ) − ϕ(x)| ≤ |ϕn (xn ) − ϕ(xn )| + |ϕ(xn ) − ϕ(x)| =

≤ |(ϕn − ϕ)xn | + |ϕ(xn ) − ϕ(x)|
≤ kϕn − ϕkkxn k + |ϕ(xn ) − ϕ(x)
≤ kϕn − ϕk · M + |ϕ(xn ) − ϕ(x)| ∀n ∈ N

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 9 / 10

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 10 / 10
Deste modo,

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 10 / 10

Deste modo,

0 ≤ |ϕn (xn ) − ϕ(x)| ≤ kϕn − ϕk · M + |ϕ(xn ) − ϕ(x)|

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 10 / 10

Deste modo,

0 ≤ |ϕn (xn ) − ϕ(x)| ≤ kϕn − ϕk · M + |ϕ(xn ) − ϕ(x)|

Note que:

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 10 / 10

Deste modo,

0 ≤ |ϕn (xn ) − ϕ(x)| ≤ kϕn − ϕk · M + |ϕ(xn ) − ϕ(x)|

Note que:

lim kϕn − ϕk · M + |ϕ(xn ) − ϕ(x)| = 0

n→∞

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 10 / 10

Deste modo,

0 ≤ |ϕn (xn ) − ϕ(x)| ≤ kϕn − ϕk · M + |ϕ(xn ) − ϕ(x)|

Note que:

lim kϕn − ϕk · M + |ϕ(xn ) − ϕ(x)| = 0,

n→∞

pois limn→∞ kϕn − ϕk = 0 e limn→∞ |ϕ(xn ) − ϕ(x)| = 0.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 10 / 10

Deste modo,

0 ≤ |ϕn (xn ) − ϕ(x)| ≤ kϕn − ϕk · M + |ϕ(xn ) − ϕ(x)|

Note que:

lim kϕn − ϕk · M + |ϕ(xn ) − ϕ(x)| = 0,

n→∞

pois limn→∞ kϕn − ϕk = 0 e limn→∞ |ϕ(xn ) − ϕ(x)| = 0.

Assim, tem-se limn→∞ |ϕn (xn ) − ϕ(x)| = 0.

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 10 / 10

Deste modo,

0 ≤ |ϕn (xn ) − ϕ(x)| ≤ kϕn − ϕk · M + |ϕ(xn ) − ϕ(x)|

Note que:

lim kϕn − ϕk · M + |ϕ(xn ) − ϕ(x)| = 0,

n→∞

pois limn→∞ kϕn − ϕk = 0 e limn→∞ |ϕ(xn ) − ϕ(x)| = 0.

Assim, tem-se limn→∞ |ϕn (xn ) − ϕ(x)| = 0.

Logo, limn→∞ ϕn (xn ) = ϕ(x).

Nascimento, Hamilton (UFAM) Topologia Fraca em Espaços Normados I Junho - 2021 10 / 10