Académique Documents
Professionnel Documents
Culture Documents
Enunciado
1. Sejam E um espa co vectorial real e | | uma norma denida sobre E.
1.1. Supondo que em E est a denido um produto interno , ), cuja norma
associada e a norma | |, prove que para quaisquer dois pares de
elementos x, y E e v alida a identidade do paralelogramo:
(1) |x + y|
2
+|x y|
2
= 2|x|
2
+ 2|y|
2
.
1.2.
1
Mostre que se a identidade do paralelogramo for vericada por quais-
quer dois pares de elementos de E, ent ao existe um produto interno
denido em E cuja norma associada e a norma | |.
Sugest ao: Construa o produto interno a partir da igualdade (1).
1.3. Se sobre E estiver denida uma outra norma ||
, equivalente ` a norma
| |, indique, justicando, qual o valor l ogico (verdadeiro/falso) da
arma c ao seguinte:
| | e norma associada a um produto interno
, ) em E se, e s o se, | |
e norma associada
a um produto interno , )
em E.
2.
2.1.
Se num espa co vectorial real E ,= 0 est a denida
uma norma | |, ent ao E n ao e um subconjunto
limitado de si mesmo (relativamente ` a norma ||).
Por recurso a este resultado, mostre que num espa co vectorial real
E ,= 0 normado pela norma | |, a metrica d denida sobre E por
d(x, y) = min1, |y x|, x, y E,
n ao pode ser uma metrica associada a alguma norma | |
sobre E.
1
Esta alnea, de resolu c ao difcil, complementa a materia te orica apresentada no livro.
Teste Formativo I 2
2.2. Considere uma metrica d denida sobre um espa co vectorial real E.
Verique que d e metrica associada a alguma norma | | denida sobre
E se, e s o se, s ao v alidas as igualdades
(2) d(x + z, y + z) = d(x, y), d(ax, ay) = [a[ d(x, y),
para quaisquer elementos x, y, z E e a R.
2.3. Utilizando o resultado anterior, redemonstre que a metrica d denida
na alnea 2.1 n ao e uma metrica associada a alguma norma | |
sobre
E.
3. Sejam d uma metrica sobre um conjunto X e d
k
: X X R a aplica c ao
denida por
d
k
(x, y) =
3
k
2
1 d(x, y), x, y X.
3.1. Supondo que o conjunto X tem pelo menos dois elementos distin-
tos, indique, justicando, os valores de k para os quais d
k
dene uma
metrica sobre X.
3.2. Que conclus oes poder a tirar se o conjunto X tiver apenas um unico
elemento?
3.3. Dados A ,= um subconjunto de X e x X xos, mostre que
d
3
(x, A) = 2d(x, A).
4. Sejam d uma metrica sobre um conjunto X e d
: X X R a aplica c ao
denida por
d
j
(x
1
, ..., x
n
) = x
j
e contnua.
18. Num conjunto X com mais que um elemento considere a metrica discreta d.
Recorde-se que, por deni c ao,
d(x, y) =
_
0 se x = y
1 se x ,= y
(x, y X).
18.1. Fixado x X, mostre que
B
r
(x) =
_
x se r 1
X se r > 1
.
18.2. Prove que para qualquer espa co metrico Y , toda a aplica c ao f : X
Y e contnua.
19. Dados dois espa cos metricos X e Y , uma aplica c ao contnua f : X Y
diz-se lipschitziana, se existir uma constante c > 0 tal que
d(f(x), f(y)) c d(x, y),
para quaisquer pontos x, y X.
Com base nesta deni c ao, mostre que:
Teste Formativo I 7
19.1. Toda a aplica c ao lipschitziana e uniformemente contnua.
19.2. Fixado no espa co X um subconjunto A ,= , a aplica c ao d
A
: X R
denida por d
A
(x) = d(x, A), x X, e uniformemente contnua.
[Sugest ao: Utilize o Exerccio Resolvido 1.20 do livro]
20. Seja E um espa co vectorial normado pela norma | |. Prove que a aplica c ao
| | e contnua em E.
Teste Formativo I
Exemplo de resolu cao
1.
1.1. Sendo | | a norma associada ao produto interno , ) denido em E
tem-se, por deni c ao,
|x|
2
= x, x), x E.
Assim, e tendo tambem em conta as propriedades de deni c ao de pro-
duto interno, resulta que para quaisquer elementos x, y E,
|x + y|
2
+|x y|
2
=x + y, x + y) +x y, x y)
=x + y, x) +x + y, y)
+x y, x) x y, y)
=x, x) +y, x) +x, y) +y, y)
+x, x) y, x) x, y) +y, y)
=2|x|
2
+ 2|y|
2
,
o que prova a identidade pretendia.
Com utilidade para a alnea seguinte, note que para quaisquer x, y E,
|x + y|
2
|x y|
2
=x + y, x + y) x y, x y)
=(|x|
2
+|y|
2
+ 2x, y))
(|x|
2
+|y|
2
2x, y))
=4x, y),
ou seja,
x, y) =
1
4
_
|x + y|
2
|x y|
2
_
.
1.2. Suponhamos agora que a identidade do paralelogramo e v alida para
quaisquer dois pares de elementos do espa co E. Pretende-se provar a
existencia de um produto interno , ) em E tal que
(1.1) |x| =
_
x, x), x E.
Dena-se a aplica c ao , ) : E E R por
x, y) =
1
4
_
|x + y|
2
|x y|
2
_
, x, y E.
Teste Formativo I 9
O objectivo ser a vericar que a aplica c ao , ) assim denida e um
produto interno em E e que satisfaz a propriedade (1.1). Para tal,
convem come car por notar que da identidade do paralelogramo resul-
tam as seguintes igualdades:
(1.2)
x, y) =
1
4
_
|x + y|
2
|x y|
2
_
=
1
4
_
2|x + y|
2
2|x|
2
2|y|
2
_
=
1
2
_
|x + y|
2
|x|
2
|y|
2
_
, x, y E,
e
(1.3)
x, y) =
1
4
_
|x + y|
2
|x y|
2
_
=
1
4
_
2|x y|
2
+ 2|x|
2
+ 2|y|
2
_
=
1
2
_
|x y|
2
+|x|
2
+|y|
2
_
, x, y E.
A prova que a aplica c ao , ) dene um produto interno em E far-se-
- a por recurso ` a deni c ao. Assim, h a que provar que para quaisquer
x, x
, y, y
) = x, y) +x, y
),
x + x
, y) = x, y) +x
, y),
(ii) x, ay) = ax, y), ax, y) = ax, y),
(iii) x, y) = y, x),
(iv) x, x) 0, e, se x, x) = 0, ent ao x = 0.
Pelas propriedades da norma, resulta imediatamente que
x, y) =
1
4
_
|y + x|
2
|y x|
2
_
= y, x), x, y E,
o que prova (iii); tendo-se, para o caso particular em que x = y E,
x, x) =
1
4
|2x|
2
= |x|
2
0.
Por | | ser uma norma sobre E, conclui-se ent ao que a igualdade
x, x) = |x|
2
= 0 s o e vericada para x = 0, o que completa a
verica c ao de (iv).
Menos imediata e a prova de (i) e (ii). Para a primeira, comecemos
por notar que da identidade do paralelogramo obtem-se
(1.4) |x + y + z|
2
+|x + y z|
2
= 2|x + y|
2
+ 2|z|
2
,
Teste Formativo I 10
(1.5)
|x + y z|
2
+|x y z|
2
=|(x z) + y|
2
+|(x z) y|
2
=2|x z|
2
+ 2|y|
2
,
para quaisquer elementos x, y, z E, o que conduz, por subtrac c ao
membro a membro (1.5) de (1.4), a
(1.6)
4x, y + z) =|x + y + z|
2
|x y z|
2
=2|x + y|
2
2|x z|
2
+ 2|z|
2
2|y|
2
=(2|x + y|
2
2|x|
2
2|y|
2
)
+(2|x z|
2
+ 2|x|
2
+ 2|z|
2
),
onde a ultima express ao do lado direito de (1.6) e igual, por (1.2) e
(1.3), a 4x, y) + 4x, z). Portanto,
x, y + z) = x, y) +x, z), x, y, z E.
Pela simetria da aplica c ao , ) (j a vericada (iii)), resulta ent ao que
x + y, z) =z, x + y) = z, x) +z, y)
=x, z) +y, z), x, y, z E,
o que completa a prova de (i).
Para demonstrar (ii), vamos vericar, sucessivamente, as propriedades
seguintes:
(ii.1) x, y) = x, y),
(ii.2) x, ny) = nx, y), para cada valor inteiro n Z,
(ii.3) x, ay) = ax, y), para cada racional a Q,
(ii.4) x, ay) = ax, y), para cada valor real a R.
Provado (ii.4), a simetria da aplica c ao , ) permitir a ent ao concluir a
validade da propriedade (ii).
(ii.1): Dados x, y E quaisquer,
x, y) =
1
4
_
|x y|
2
|x + y|
2
_
=
1
4
_
|x + y|
2
|x y|
2
_
=x, y).
(ii.2): Para n = 0, e imediato que
x, 0) =
1
4
_
|x|
2
|x|
2
_
= 0 = 0 x, y),
para qualquer elemento y E.
Teste Formativo I 11
Pelo Metodo de Indu c ao Matem atica, provemos agora que
(1.7) n N, x, ny) = nx, y), x, y E.
Tomando n = 2, resulta de (i) que
x, 2y) = x, y + y) = x, y) +x, y) = 2x, y), x, y E.
Como hip otese de indu c ao, supomos que para um certo n umero natural
n, xo arbitrariamente, se verica
x, ny) = nx, y), x, y E.
Assim, considerando n + 1, tem-se, novamente por (i), que
x, (n + 1)y) = x, ny + y) = x, ny) +x, y), x, y E,
em que pela hip otese de indu c ao,
x, ny) = nx, y), x, y E.
Logo,
x, (n + 1)y) = nx, y) +x, y) = (n + 1)x, y), x, y E.
Pelo Princpio de Indu c ao Matem atica, podemos ent ao concluir (1.7).
Para o caso em que n e um n umero inteiro negativo, digamos, n = m,
para m N, tem-se, por (ii.1),
x, ny) = x, my) = x, my), x, y E,
em que, por (1.7), x, my) = mx, y). Donde,
x, ny) = mx, y) = nx, y), x, y E.
Conclus ao:
n Z, x, ny) = nx, y), x, y E.
(ii.3): Comecemos por provar (ii.3) para cada racional a da forma
a = 1/q, q Z 0. Atendendo a que (1/q) y E, para y E
qualquer, resulta de (ii.2),
q
_
x,
1
q
y
_
=
_
x,
q
q
y
_
= x, y) =
q
q
x, y),
o que conduz, por q ,= 0,
(1.8)
_
x,
1
q
y
_
=
1
q
x, y), x, y E.
Teste Formativo I 12
Para o caso geral de um n umero racional da forma generica a = p/q,
p, q Z, q ,= 0, obtem-se
_
x,
p
q
y
_
= p
_
x,
1
q
y
_
=
p
q
x, y), x, y E,
por recurso a (ii.2) e (1.8).
(ii.4): Seja a um qualquer n umero real. Sendo Q denso em R (para
R munido da metrica usual), existe uma sucess ao (a
n
)
nN
de n umeros
racionais a
n
, n N, tal que (a
n
)
nN
converge em R para a. Logo, e
por (ii.3), tem-se que
n N, a
n
x, y) = x, a
n
y), x, y E.
Da continuidade da aplica c ao R x xy R, para y R xo, re-
sulta ent ao a convergencia em R da sucess ao (a
n
x, y))
nN
para ax, y).
Notando que
n N, x, a
n
y) =
1
4
_
|x + (a
n
y)|
2
|x (a
n
y)|
2
_
, x, y E,
a continuidade das aplica c oes R c |x + (cy)|
2
R, R c
|x (cy)|
2
R, x, y E xos, permite concluir a convergencia em R
da sucess ao (x, a
n
y))
nN
para x, ay). Da unicidade do limite, obtem-
-se nalmente
x, ay) = ax, y), x, y E,
como se pretendia.
Provados (i)(iv), podemos concluir que a aplica c ao , ) dene um
produto interno em E. Para a conclus ao do exerccio, resta provar
(1.1). Este, resulta imediatamente da rela c ao anteriormente obtida:
x, x) = |x|
2
0, x E.
As alneas 1.1 e 1.2 deste exerccio fornecem uma condi c ao necess aria e
suciente para que uma norma denida num espa co normado seja associa-
da a um produto interno no mesmo espa co. Como exemplo de aplica c ao,
tem-se a alnea 1.3 seguinte.
1.3. Esta arma c ao e falsa. Consideremos em R
2
as normas euclidiana,
| |, e a do m aximo, | |
M
. Conforme o Lema 1.15, tratam-se de duas
normas equivalentes em R
2
. No entanto, enquanto a norma euclidiana
e a norma associada ao produto interno denido em R
2
por
x, y) = x
1
y
1
+ x
2
y
2
, x = (x
1
, x
2
), y = (y
1
, y
2
) R
2
,
Teste Formativo I 13
(cf. Exemplo 1.7 do livro), a norma do m aximo em R
2
n ao est a associ-
ada a nenhum produto interno em R
2
. A verica c ao faz-se por recurso
` a alnea anterior, mostrando a existencia de um par de elementos de
R
2
que n ao satisfaz a identidade do paralelogramo. Tomando, por
exemplo,
x = (1, 0) e y = (0, 1),
tem-se
|x + y|
2
M
+|x y|
2
M
= 1 + 1 = 2 ,= 4 = 2 + 2 = 2|x|
2
M
+ 2|y|
2
M
,
o que prova o pretendido.
2.
2.1. Tendo em conta que
d(x, y) = min1, |y x| 1, x, y E,
a metrica d n ao pode estar associada a alguma norma | |
denida
sobre E. Se existisse uma tal norma | |
sobre E, ter-se-ia
|x|
= d(x, 0) 1, x E,
pelo que E seria um subconjunto limitado de si pr oprio (relativamente
` a norma | |
k
2
1 d dene uma metrica sobre X h a, ent ao, que analisar para
que valores de k s ao v alidas, simultaneamente, as condi c oes:
(i) d
k
(x, y) 0, x, y X,
(ii) d
k
(x, x) = 0, x X,
(iii) d
k
(x, y) = d
k
(y, x), x, y X,
(iv) d
k
(x, z) d
k
(x, y) + d
k
(y, z), x, y, z X,
(v) d
k
(x, y) = 0 = x = y.
Tendo em conta (i) (e o facto de X ter mais do que um elemento), a
propriedade (i) verica-se para todos os valores de k tais que
3
k
2
1 0,
ou seja, para k pertencente ao conjunto ], 1] [1, +[. Note que
para os valores k = 1 ou k = 1 tem-se
d
k
(x, y) = 0 d(x, y) = 0,
Teste Formativo I 16
para quaisquer elementos x, y X. Logo, para estes dois valores
de k a condi c ao (v) n ao e satisfeita: tomando x, y X quaisquer tais
que x ,= y, tem-se
d
1
(x, y) = 0 e d
1
(x, y) = 0.
No entanto para os restantes valores de k, k ], 1[ ]1, +[, a
propriedade (v) e vericada: sendo
3
k
2
1 ,= 0,
d
k
(x, y) =
3
k
2
1 d(x, y) = 0 = d(x, y) = 0,
o que conduz, por (v), a x = y.
De agora em diante consideramos k ], 1[ ]1, +[. Resulta
imediatamente de (ii) que
d
k
(x, x) =
3
k
2
1 d(x, x) = 0, x X,
o que valida a condi c ao (ii) para estes valores de k xados. Mais, de
(iii) obtem-se
d
k
(x, y) =
3
k
2
1 d(x, y) =
3
k
2
1 d(y, x)
=d
k
(y, x), x, y X,
o que valida a propriedade (iii). Por ultimo, resulta de (iv) que
d
k
(x, z) =
3
k
2
1 d(x, z)
3
k
2
1 (d(x, y) + d(y, z))
=d
k
(x, y) + d
k
(y, z), x, y, z X,
o que permite concluir que a condi c ao (iv) e satisfeita.
Em suma, para cada valor real
k ], 1[ ]1, +[ ,
d
k
dene uma metrica sobre X.
3.2. Se X for um conjunto unit ario, resulta da condi c ao (ii) que d n ao e
mais do que a metrica constantemente igual a 0: para cada x, y X,
d(x, y) = 0 (exactamente por X se reduzir a um ponto). Deste modo,
para cada valor k R, d
k
=
3
k
2
1 d dene uma metrica sobre X,
nomeadamente, a metrica constantemente igual a 0.
3.3. Sejam A um subconjunto n ao vazio de X e x X xos. Por deni c ao
de dist ancia de um ponto a um conjunto, tem-se ent ao
d
3
(x, A) = inf
yA
d
3
(x, y) = inf
yA
_
3
3
2
1d(x, y)
_
=2 inf
yA
d(x, y) = 2d(x, A),
como se pretendia.
Teste Formativo I 17
4. Sendo d uma metrica sobre o conjunto X, por deni c ao de metrica, s ao satis-
feitas as seguintes propriedades:
(i) d(x, y) 0, x, y X,
(ii) d(x, x) = 0, x X,
(iii) d(x, y) = d(y, x), x, y X,
(iv) d(x, z) d(x, y) + d(y, z), x, y, z X,
(v) d(x, y) = 0 = x = y.
Para vericar que d
.
Tendo em conta (i) e as propriedades da fun c ao logartmo, tem-se
1 + d(x, y) 1 = d
.
Para se concluir que d
verica a desigualdade tri angular. Esta e uma consequencia das condi c oes
(iv), (i) e da fun c ao logartmo ser uma fun c ao crescente em R
+
, vericando
ln() = ln() + ln() para todo , R
+
. Dados x, y, z X quaisquer,
tem-se assim
d
(x, y) + d
(y, z),
com o que termina esta parte do exerccio.
Resta agora provar que as metricas d e d
s ao topologicamente equivalentes,
ou seja, que as sucess oes (x
n
)
nN
de elementos de X que convergem para
x X relativamente ` a metrica d s ao as mesmas que convergem para x
Teste Formativo I 18
relativamente ` a metrica d
(x
n
, x))
nN
converge para 0, o
que prova pelo Exerccio Resolvido 2.22 alnea a) a convergencia da sucess ao
(x
n
)
nN
para x relativamente ` a metrica d
.
2.
a
Parte: Suponhamos agora (x
n
)
nN
e uma sucess ao convergente para
x X relativamente ` a metrica d
, i.e., que (d
(x
n
, x))
nN
converge para 0
em R.
Considere-se a fun c ao exponencial denida em R. Tratando-se de uma
fun c ao contnua em R tem-se ent ao a convergencia da sucess ao
_
e
d
(x
n
,x)
_
nN
para e
0
= 1, cf. Proposi c ao 5.4. Por outras palavras, a sucess ao denida
por
e
d
(x
n
,x)
= 1 + d(x
n
, x), n N,
converge para 1, o que implica a convergencia de (d(x
n
, x))
nN
para 0 e,
portanto, a convergencia da sucess ao (x
n
)
nN
para x X relativamente ` a
metrica d.
Fica assim completa a resolu c ao deste exerccio.
5.
5.1. Por deni c ao de dist ancia de um ponto a um conjunto,
d(x, A) = inf
zA
d(x, z), x X.
Desta deni c ao e da desigualdade tri angular resulta ent ao a seguinte
desigualdade
d(x, A) = inf
zA
d(x, z) d(x, z) d(x, y) + d(y, z),
para todo o z A e x, y X arbitr arios. Isto e,
d(x, A) d(x, y) d(y, z), z A,
pelo que, e por deni c ao de nmo,
d(x, A) d(x, y) inf
zA
d(y, z) = d(y, A).
Logo,
d(x, A) d(x, y) + d(y, A).
Teste Formativo I 19
5.2.1. Uma vez que A ad(A) (Proposi c ao 3.3 alnea b)), para cada x X
tem-se que
d(x, ad(A)) = inf
zad(A)
d(x, z) inf
zA
d(x, z) = d(x, A).
Por outro lado, a aplica c ao da desigualdade provada na alnea 5.1 para
y ad(A) conduz a
d(x, A) d(x, y) + d(y, A),
em que d(y, A) = 0 por y ad(A) (cf. Exerccio Resolvido 2.23 do
livro). Logo,
d(x, A) d(x, y), y ad(A),
o que implica, por deni c ao de nmo, a desigualdade
d(x, A) d(x, ad(A)).
5.2.2. Consideremos uma famlia de subconjuntos A
n
,= , n N, de X e
x X. Pretendendo-se provar uma condi c ao necess aria e suciente,
vamos dividir a resolu c ao desta alnea em duas partes.
1.
a
Parte: Suponhamos que a sucess ao de valores reais (d(x, A
n
))
nN
converge para 0. Pretende-se provar a existencia de uma sucess ao
(x
n
)
nN
convergente para x em X tal que x
n
A
n
para cada n N.
Tome-se > 0 qualquer. Da convergencia da sucess ao (d(x, A
n
))
nN
para 0 resulta que
(5.1) n
0
N : n n
0
= d(x, A
n
) <
2
.
Analizemos agora cada elemento d(x, A
n
) = inf
y
n
A
n
d(x, y
n
) da sucess ao.
Por deni c ao de nmo, tem-se que
(5.2) x
n
A
n
: d(x, x
n
) < d(x, A
n
) +
2
.
Tomando todos os elementos x
n
A
n
, n N, assim determinados,
esta parte do exerccio ca concluda se veric armos que a sucess ao
(x
n
)
nN
converge para x. Para tal, note que combinando (5.1) e (5.2)
obtem-se
d(x, x
n
) < d(x, A
n
) +
2
<
2
+
2
= , n n
0
,
o que prova a convergencia pretendida, atendendo ` a arbitariedade de
> 0 tomado.
Teste Formativo I 20
2.
a
Parte: Suponhamos agora que existe uma sucess ao (x
n
)
nN
conver-
gente para x em X e tal que x
n
A
n
para cada n N. Por deni c ao
de convergencia de uma sucess ao para um ponto tem-se ent ao que
> 0 n
0
N : n n
0
= d(x, x
n
) < .
Nesta parte do exerccio pretende-se provar a convergencia da sucess ao
(d(x, A
n
))
nN
para 0. Esta verica c ao faz-se por aplica c ao directa da
desigualdade provada na alnea 5.1. Por esta obtem-se
n N, d(x, A
n
) d(x, x
n
) + d(x
n
, A
n
),
em que d(x
n
, A
n
) = 0 por x
n
A
n
, n N. Assim, combinados os
factos descritos anteriormente concluimos que
> 0 n
0
N : n n
0
= d(x, A
n
) d(x, x
n
) < ,
o que prova a convergencia da sucess ao (d(x, A
n
))
nN
para 0.
6.
6.1. Sendo N uni ao dos subconjuntos N
1
= n N : n 10000 nito
e N
2
= n N : n > 10000 innito, a sucess ao (x
n
)
nN
ter a tantos
sublimites quantos os sublimites da subsucess ao (x
n
)
nN
2
. Para provar
que a subsucess ao (x
n
)
nN
2
n ao tem sublimites em R, vamos fazer
uso do facto que toda a sucess ao de elementos de um espa co metrico
convergente e limitada (Exerccio 2.10 proposto no livro). Para tal,
vamos provar que toda a subsucess ao de (x
n
)
nN
2
e ilimitada. Pelo
resultado acima referido, resultar a ent ao a n ao existencia de alguma
subsucess ao de (x
n
)
nN
2
convergente.
Seja J uma parte innita de N
2
. Para demonstrar que a subsucess ao
(x
n
)
nJ
e ilimitada, h a que vericar que
L > 0, n J : [x
n
[ > L.
Fixe-se L > 0 qualquer. Tomando n
0
N
2
tal que n
0
> L + 1 tem-se
que
n
2
0
n
0
+ 1
>
n
2
0
1
n
0
+ 1
=
(n
0
1)(n
0
+ 1)
n
0
+ 1
= n
0
1 > L.
O facto de J ser innito permite ent ao escolher n
1
J tal que n
1
> n
0
,
tendo-se ainda, e por contas an alogas,
n
2
1
n
1
+ 1
> n
1
1 > n
0
1 > L.
A arbitrariedade de L > 0 tomado permite, assim, concluir que a
subsucess ao (x
n
)
nJ
e ilimitada.
Teste Formativo I 21
6.2. Provado na alnea anterior que a sucess ao (x
n
)
nN
n ao possui um unico
sublimite em R, conclui-se que esta sucess ao n ao e convergente em R.
7.
7.1. Seja (x
n
)
nN
uma sucess ao de valores reais mon otona crescente, isto
e,
x
n
x
n+1
, n N,
e limitada, ou seja,
L > 0 : [x
n
[ L, n N.
Designemos por x
n
o conjunto dos termos da sucess ao (x
n
)
nN
.
Sendo x
n
um subconjunto de R majorado (x
n
[x
n
[ L para
todo o n N) e n ao vazio, o Princpio do Supremo (resultado bem
conhecido em An alise Matem atica) garante a existencia de supremo
(nito) do conjunto x
n
. Denotando por x esse supremo, provemos
que a sucess ao (x
n
)
nN
converge para x.
Fixado > 0, qualquer, por deni c ao de supremo,
p N : x
p
> x .
Como a sucess ao e crescente, tem-se tambem
x < x
p
x
n
, n p.
Por outro lado, sendo x supremo do conjunto x
n
, x e, em particular,
um majorante do mesmo conjunto:
x
n
x, n N.
Assim, para todo o n p tem-se
x < x
p
x
n
x < x + ,
equivalente a [x
n
x[ < . A arbitrariedade de > 0 tomado permite
ent ao concluir, e por deni c ao, a convergencia da sucess ao (x
n
)
nN
para x em R.
7.2. Este resultado e uma consequencia directa do facto de todas as normas
denidas sobre R serem equivalentes (Proposi c ao 7.23). Deste modo,
e atendendendo ` a Proposi c ao 2.6, conclui-se que relativamente a qual-
quer norma xada sobre R toda a sucess ao de valores reais, mon otona
crescente e limitada e sempre convergente.
Teste Formativo I 22
7.3. Para uma metrica generica d denida sobre R n ao e verdade que uma
sucess ao mon otona crescente e limitada seja convergente relativamente
a d. Se d for uma metrica associada a alguma norma sobre R, ent ao
nesta situa c ao, e de acordo com alnea 7.2, toda a sucess ao mon otona
crescente e limitada e convergente relativamente a d. Mas para uma
metrica d generica este resultado e falso. Como contra-exemplo, con-
sideremos, por exemplo, a metrica discreta sobre R. Relativamente a
esta metrica, as unicas sucess ao convergentes s ao as sucess oes cons-
tantes a partir de uma certa ordem, conforme o Exerccio 2.3 do livro.
Deste modo, qualquer sucess ao mon otona estritamente crescente e li-
mitada n ao e convergente relativamente ` a metrica discreta xada sobre
R.
8.
8.1. Consideremos, por exemplo, a sucess ao ((1)
n
)
nN
. Trata-se de uma
sucess ao limitada ([(1)
n
[ = 1 para todo o n N) que possui dois
sublimites distintos em R, 1 e 1, e, portanto, n ao e convergente em
R.
8.2. Qualquer subsucess ao da sucess ao (n)
nN
n ao e limitada. Esta veri-
ca c ao faz-se de modo an alogo ` a efectuada na resolu c ao do exerccio
6.1. Pela mesma raz ao apontada nesse exerccio, conclui-se que (n)
nN
e um exemplo de uma sucess ao sem sublimites em R.
8.3. Tome-se, por exemplo, a sucess ao n ao limitada (x
n
)
nN
denida por
x
n
=
_
n se n par
1 se n mpar
Trata-se de uma sucess ao que possui um unico sublimite em R, 1, e,
no entanto, n ao e convergente em R.
8.4. A sucess ao (sen(
2n
3
))
nN
possui exactamente tres sublimites distintos
em R, a saber, sen(
3
) =
3
2
, sen(0) = 0, sen(
3
) =
3
2
.
9.
9.1. Sendo N uni ao dos conjuntos N
1
= n : n 10 nito e N
2
= n : n >
10 innito, a sucess ao (x
n
)
nN
dada ser a convergente em R se, e s o
se, a subsucess ao (x
n
)
nN
2
o for em R (Proposi c ao 2.21). Convergindo
a sucess ao (1/n)
n>10
para 0 em R, conclui-se pela proposi c ao acima
referida que a sucess ao (x
n
)
nN
converge para 0 em R.
9.2. Para esta quest ao, comece por notar que os sublimites da sucess ao
(x
n
)
nN
em Y se encontram entre os sublimites da mesma sucess ao em
R; dito de outro modo, os sublimites de (x
n
)
nN
em Y s ao sublimites
Teste Formativo I 23
de (x
n
)
nN
em R. Como o unico sublimite de (x
n
)
nN
em R, 0, n ao
pertence a Y = ]0, +[, conclui-se, assim, que a sucess ao dada n ao
possui sublimites em Y . Logo, a op c ao correcta e a arma c ao A.
9.3. Uma vez que a sucess ao (x
n
)
nN
n ao possui sublimites em Y , (x
n
)
nN
n ao e convergente em Y .
10. Num espa co metrico X, consideremos a bola aberta B
r
(x) e a bola fechada
B
r
(x), com centro em x X e raio r > 0.
10.1. Uma vez que por deni c ao de bola aberta e de bola fechada se tem
B
r
(x)
B
r
(x), segue pela Proposi c ao 3.3 que ad(B
r
(x)) ad(
B
r
(x)),
onde ad(
B
r
(x)) coincide com a bola fechada
B
r
(x), por
B
r
(x) ser um
conjunto fechado em X (Proposi c ao 3.9).
10.2. Embora a inclus ao ad(B
r
(x))
B
r
(x) seja sempre v alida, a inclus ao
recproca nem sempre se verica. Para o provar pensemos, por exem-
plo, na metrica discreta denida sobre um conjunto Y com mais que
um elemento:
d(x, y) =
_
1 se x ,= y
0 se x = y
Fixado um elemento x Y e r = 1, tem-se que
B
1
(x) = y Y : d(x, y) < 1 = x,
de aderencia igual a x (Proposi c ao 3.6), e
B
1
(x) = y Y : d(x, y) 1 = Y.
Como o conjunto Y xado n ao e unit ario, tem-se ent ao que
ad(B
1
(x)) = x ,= Y =
B
1
(x).
10.3. Supondo agora que X e um espa co vectorial normado, xemos sobre
X a metrica associada ` a norma denida sobre X.
Provada na primeira alnea a inclus ao ad(B
r
(x))
B
r
(x), resta agora
vericar a inclus ao contr aria,
(10)
B
r
(x) ad(B
r
(x)).
Como, por deni c ao de bola fechada,
B
r
(x) = B
r
(x) y X : d(x, y) = r,
onde B
r
(x) ad(B
r
(x)) (Proposi c ao 3.3), a inclus ao (10) car a pro-
vada se demonstrarmos que
y X : d(x, y) = r ad(B
r
(x)).
Teste Formativo I 24
Fixado qualquer y X tal que |y x| = d(x, y) = r, o objectivo ser a
vericar que
> 0 z B
r
(x) : z B
(y),
ou seja, e pela caracteriza c ao de ponto aderente da Proposi c ao 3.2,
que y ad(B
r
(x)).
Dado > 0 arbitr ario, analizemos, separadamente, dois casos poss-
veis:
0 < r e > r.
Em cada um destes casos pretende-se vericar a existencia de um ele-
mento z B
r
(x) tal que z B
(y).
1.
o
Caso: 0 < r.
Tomemos, por exemplo,
z = x +
_
r
2
_
(y x)
|y x|
= x +
_
r
2
_
(y x)
r
.
Tem-se que
d(x, z)=|z x|
=
_
_
_x +
_
r
2
_
(y x)
r
x
_
_
_
=
_
r
2
_
|y x|
r
=
_
r
2
_
< r,
o que prova que z B
r
(x), e
d(y, z)=|z y|
=
_
_
_x +
_
r
2
_
(y x)
r
y
_
_
_
=
_
_
_x +
_
r
2
_
(y x)
r
_
x + r
(y x)
r
__
_
_
=
_
_
_
2r
(y x)
_
_
_ =
2r
|y x| =
2
< ,
isto e, z B
(y).
2.
o
Caso: > r.
Tendo em conta que x B
r
(x) e que d(x, y) = r < , neste caso
presente z = x e exemplo de um elemento da bola aberta B
r
(x) que
satisfaz o pretendido.
11.
11.1. Gracamente o conjunto A corresponde ` a regi ao do plano compreen-
dida entre a curva y = sen(x), x [0, ], e o eixo dos xx:
Teste Formativo I 25
11.2.
O que se pretende com este exerccio e descrever o raciocnio a efectuar
quando se pretende localizar os pontos interiores, exteriores e fronteiros
a uma regi ao do plano descrita gracamente.
O suporte te orico para o que aqui se vai seguir e a caracte-
riza cao de pontos interiores, exteriores e fronteiros `a custa do
sistema fundamental de vizinhan cas constitudo pelas bolas
abertas em R
2
(cf. Proposi cao 3.30).
1.
o
Passo: Fora das curvas
A
1
=(x, y) : y = sen(x), x [0, ] A,
A
2
=(x, y) : y = 0, x [0, ] A,
considere um ponto a A qualquer, conforme assinalado na gura
seguinte:
Como e f acil constatar pela gura, e sempre possvel escolher r > 0
de modo que a bola B
r
(a) esteja contida em A (por exemplo, r <
Teste Formativo I 26
1/2mind(a, A
1
), d(a, A
2
)). Mais, optando mesmo por quaisquer pon-
tos b A e c A pr oximos das curvas, respectivamente, A
1
e A
2
(ver
gura), e ainda vi avel a escolha de r
e r
< 1/2mind(b, A
1
), d(b, A
2
),
r
< 1/2mind(c, A
1
), d(c, A
2
)). Ou seja, todos os pontos pertencen-
tes ` a regi ao A A
1
A
2
s ao pontos interiores a A.
2.
o
Passo: Considere agora um ponto d A
1
e um outro e A
2
. Por
mais pequena que seja a escolha de um raio r > 0, as bolas B
r
(d),
B
r
(e) ter ao sempre pontos de A e pontos de R
2
A:
Isto e, os pontos dos conjuntos A
1
e A
2
s ao pontos fronteiros a A.
3.
o
Passo: Tomando um qualquer ponto f R
2
A, por mais pr oximo
que esteja do conjunto A, existe sempre r > 0, por mais pequeno que
seja, tal que a bola B
r
(f) est a totalmente contida em R
2
A (por
exemplo, r < 1/2d(f, A)):
Ou seja, os pontos de R
2
A s ao exteriores a A.
Teste Formativo I 27
Resumindo a an alise feita nos tres passos precedentes, tem-se que
int(A) =A A
1
A
2