Vous êtes sur la page 1sur 36

Teste Formativo I

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

(x, y) = ln(1 + d(x, y)), x, y X.


Mostre que d

dene uma metrica sobre X topologicamente equivalente a


d.
5. Sejam d uma metrica sobre um conjunto X e A X um subconjunto n ao
vazio.
5.1. Prove que para quaisquer elementos x, y X e v alida a desigualdade
d(x, A) d(x, y) + d(y, A).
5.2. Por recurso ` a alnea anterior, mostre que:
5.2.1. Para cada x X tem-se
d(x, A) = d(x, ad(A)).
Teste Formativo I 3
5.2.2. Dados ,= A
n
X, n N, e x X, verica-se
d(x, A
n
) 0
se, e s o se, existe uma sucess ao (x
n
)
nN
tal que x
n
A
n
, n N, e
(x
n
)
nN
converge para x em X.
6. No espa co metrico R, com a metrica usual, considere a seguinte sucess ao
(x
n
)
nN
,
x
n
=
_
n
2
n+1
se n > 10000
n
n+1
se n 10000
.
6.1. Das seguintes arma c oes indique, justicando, qual e a verdadeira:
A) (x
n
)
nN
n ao tem sublimites.
B) (x
n
)
nN
tem um unico sublimite.
C) (x
n
)
nN
tem dois sublimites.
6.2. Estude a sucess ao (x
n
)
nN
quanto ` a sua convergencia em R indicando
se e ou n ao convergente e, em caso armativo, qual o seu limite.
7. Considere o conjunto R.
7.1. Relativamente ` a norma euclidiana sobre R, mostre que toda a sucess ao
mon otona crescente e limitada e convergente.
7.2. Mostre que o resultado da alnea 7.1 e ainda v alido para qualquer
norma denida sobre R.
7.3. Ser a que o resultado da alnea 7.1 ainda se verica para uma metrica
generica denida sobre R? Justique.
8. No quadro do espa co metrico R com a metrica usual de um exemplo de:
8.1. Uma sucess ao limitada que n ao seja convergente.
8.2. Uma sucess ao que n ao admita algum sublimite.
8.3. Uma sucess ao que admita um unico sublimite x, mas n ao convirja
para x.
8.4. Uma sucess ao que admita tres, e s o tres, sublimites.
9. No espa co metrico R, com a metrica usual, considere o subconjunto Y =
]0, +[ e a sucess ao (x
n
)
nN
de n umeros reais positivos denida por
x
n
=
_
1
n
se n > 10
n se n 10
Teste Formativo I 4
9.1. Estude a sucess ao (x
n
)
nN
quanto ` a sua convergencia em R indicando
se e ou n ao convergente em R e, em caso armativo, qual o seu limite.
Justique.
9.2. Das seguintes arma c oes, indique qual e a verdadeira:
A) (x
n
)
nN
n ao tem sublimites em Y .
B) (x
n
)
nN
tem um unico sublimite em Y .
C) (x
n
)
nN
tem dois sublimites em Y .
9.3. Que conclus oes se podem tirar quanto ` a convergencia da sucess ao
(x
n
)
nN
em Y ? Justique.
10. Dados X um espa co metrico, x X e r > 0, considere a bola aberta B
r
(x)
e a bola fechada

B
r
(x), com centro em x e raio r.
10.1. Verique que ad(B
r
(x))

B
r
(x).
10.2. De um exemplo de um espa co metrico e de uma bola particulares,
tais que se tenha ad(B
r
(x)) ,=

B
r
(x).
10.3. Mostre que, no caso em que X e um espa co vectorial normado, com
a metrica associada, tem-se a igualdade ad(B
r
(x)) =

B
r
(x).
11. No espa co metrico R
2
com a metrica usual, considere o conjunto
A = (x, y) R
2
: x [0, ] , 0 y sen(x).
11.1. Descreva geometricamente o conjunto A.
11.2. Determine o conjunto dos pontos interiores, exteriores e fronteiros a
A. Conclua que A e um subconjunto fechado de R
2
.
12. Considere o espa co metrico R
2
com a metrica usual. Tomando
Y = (x, y) R
2
: max[x[, [y[ 2
como subespa co metrico de R
2
, considere o subconjunto A de Y denido
por
A = [2, 0[ [2, 2] .
12.1. Represente gracamente os conjuntos Y e A.
12.2. Das seguintes arma c oes indique, justicando, qual e a verdadeira:
A) A e fechado em Y e e simultaneamente aberto e fechado em R
2
.
B) A e aberto em Y mas n ao e nem aberto nem fechado em R
2
.
C) A n ao e aberto nem fechado, quer em Y , quer em R
2
.
Teste Formativo I 5
13. Considere o espa co metrico R
2
com a metrica usual. Tomando
Y = (x, y) R
2
: [x[ +[y[ 2
como subespa co, seja A o subconjunto de Y denido por
A = (x, y) Y : y > 1.
13.1. Represente gracamente os conjuntos Y e A.
13.2. Das seguintes arma c oes indique qual e a verdadeira:
A) A e aberto em Y .
B) A e simultaneamente aberto e fechado em Y .
C) A n ao e nem aberto nem fechado em Y .
13.3. Identique os conjuntos dos pontos interiores, fronteiros e aderentes
a A em R
2
e em Y .
14. Sejam X um espa co metrico e Y X um subespa co metrico. Dado A Y ,
mostre que
ad
Y
(A) = Y ad
X
(A).
15. No espa co metrico R, com a metrica usual, considere o conjunto
A =
_
1,
1
2
,
1
3
,
1
4
, ...,
1
n
, ...
_
.
15.1. Indique os conjuntos dos pontos interiores e fronteiros a A em R.
15.2. Das seguintes arma c oes indique qual e a verdadeira:
A) A e aberto em R.
B) A e fechado em R.
C) A n ao e nem aberto nem fechado em R.
15.3. Tomando o conjunto dos n umeros racionais positivos, Q
+
, como sub-
espa co de R, indique, justicando, o conjunto dos pontos aderentes a
A em Q
+
.
16. Considere o espa co metrico R com a metrica usual.
16.1. Seja X um espa co metrico que e uni ao dos subconjuntos fechados X
1
e X
2
, n ao necessariamente disjuntos. Dada uma aplica c ao f : X R
tal que as restri c oes f
|X
1
: X
1
R e f
|X
2
: X
2
R s ao aplica c oes
contnuas, mostre que f e contnua.
Teste Formativo I 6
16.2. Verique que a aplica c ao f : R
2
R denida por
f(x, y) =
_
2
xy
se xy 1
2 se xy < 1
.
e contnua.
17. Dados dois espa cos vectoriais reais E e F, uma aplica c ao f : E F diz-se
linear se, para quaisquer x, y E e a R, tem-se
f(x + y) = f(x) + f(y) e f(ax) = af(x).
Com base nesta deni c ao, mostre que:
17.1. f(0) = 0.
17.2. Se E e F s ao espa cos vectoriais normados, ent ao as seguintes arma c oes
s ao equivalentes:
A) f e contnua.
B) f e contnua no ponto 0 E.
C) Existe c > 0 tal que |f(x)| c|x| para todo o x E.
17.3. Toda a aplica c ao linear f : R
n
F, n 1, com valores num espa co
vectorial normado F e contnua.
17.4. A aplica c ao projec c ao
j
: R
n
R (1 j n) denida por

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

E, a R, a aplica c ao , ) satisfaz as condi c oes:


(i) 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 | |

) o que contradiz o resultado apresentado no enunciado


desta quest ao.
2.2. 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 existe uma norma | | sobre E relativa-
mente ` a qual d e a metrica associada, i.e.,
d(x, y) = |y x|, x, y E.
Tomados x, y, z E e a R quaisquer, resulta da deni c ao de norma
que
d(x + z, y + z) = |(y + z) (x + z)| =|yx| = d(x, y),
d(ax, ay) = |a(y x)| = [a[ |y x| = [a[ d(x, y),
o que prova as rela c oes (2) do enunciado.
2.
a
Parte: Suponhamos agora que s ao v alidas as duas igualdades em
(2). Pretende-se provar a existencia de uma norma | | sobre E tal
que
() d(x, y) = |y x|, x, y E.
Teste Formativo I 14
Dena-se a aplica c ao | | : E R por
|x| = d(x, 0), x E.
O objectivo e vericar que a aplica c ao | | assim denida e uma
norma sobre E e que satisfaz a propriedade (). Com este intuito,
e recorrendo ` a deni c ao de norma, comecemos por provar que para
quaisquer x, y E, a R, a aplica c ao | | satisfaz as condi c oes:
(i) |x| 0,
(ii) |ax| = [a[|x|,
(iii) |x + y| |x| +|y|,
(iv) Se |x| = 0, ent ao x = 0.
Por deni c ao de metrica, resulta directamente que a aplica c ao | |
toma valores reais n ao negativos o que prova (i) tendo-se
|x| = d(x, 0) = 0 = x = 0,
o que prova que a propriedade (iv) e vericada.
Relativamente ` as restantes condi c oes, (ii) e (iii), deduz-se das igualda-
des (2) do enunciado que
|ax| = d(ax, 0) = d(ax, a 0) = [a[ d(x, 0) = [a[|x|,
o que valida (ii), e
|x + y| =d(x + y, 0) = d(x + y y, y) = d(x, y)
d(x, 0) + d(0, y) = d(x, 0) + d(y, 0)
=d(x, 0) +[ 1[ d(y, 0) = |x| +|y|,
o que prova a condi c ao (iii).
Provados (i)(iv), podemos assim concluir que a aplica c ao | | dene
uma norma sobre E. Para a verica c ao de (), observe que pelas
igualdades (2) do enunciado tem-se que
d(x, y) = d(y, x) = d(y x, xx) = d(y x, 0) = |y x|, x, y E,
o que completa a resolu c ao deste exerccio.
Este exerccio fornece uma condi c ao necess aria e suciente para que uma
metrica denida sobre um espa co vectorial real seja metrica associada
a alguma norma sobre esse espa co. Como exemplo de aplica c ao deste
resultado, vejam-se as alneas 2.3 seguinte e 2.2 do Teste Formativo II.
Teste Formativo I 15
2.3. Fixados dois quaisquer elementos x, y E distintos, consideremos os
elementos
z
1
=
x
|y x|
, z
2
=
y
|y x|
E.
Para cada valor real a tal que [a[ > 1, tem-se ent ao
d(az
1
, az
2
) = min1, [a[ |z
2
z
1
| = min
_
1, [a[
|y x|
|y x|
_
= 1
diferente do valor
[a[ d(z
1
, z
2
) = [a[min
_
1,
|y x|
|y x|
_
= [a[,
o que conrma a conclus ao da alnea 2.1 sobre a metrica d.
3.
3.1. Sendo d uma metrica sobre o conjunto X, por deni c ao de metrica,
s ao satisfeitas 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 determinar os valores de k R para os quais a aplica c ao d
k
=
3

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

e uma metrica sobre X h a que provar que as mesmas


cinco condi c oes (i)(v) s ao vericadas pela aplica c ao d

.
Tendo em conta (i) e as propriedades da fun c ao logartmo, tem-se
1 + d(x, y) 1 = d

(x, y) = ln(1 + d(x, y)) 0,


o que prova (i) para d

. Ainda as propriedades da fun c ao logartmo e (ii) e


(v) conduzem, respectivamente, a
d

(x, x) = ln(1 + d(x, x)) = ln(1) = 0


e
d

(x, y) = ln(1 + d(x, y)) = 0 =


1 + d(x, y) = 1 d(x, y) = 0 = x = y,
validando as condi c oes (ii) e (v) para d

. Da simetria da metrica d (propri-


edade (iii)) resulta ainda, e directamente, a simetria da aplica c ao d

.
Para se concluir que d

dene uma metrica sobre X resta ent ao provar 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, z) =ln(1 + d(x, z)) ln(1 + d(x, y) + d(y, z))


ln(1 + d(x, y) + d(y, z) + d(x, y)d(y, z))
=ln((1 + d(x, y))(1 + d(y, z)))
=ln(1 + d(x, y)) + ln(1 + d(y, z)) = 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

. F a-lo-emos em duas partes fazendo uso do


Exerccio Resolvido 2.22 alnea a) do livro.
1.
a
Parte: Seja (x
n
)
nN
uma sucess ao de elementos de X convergente para
x X relativamente ` a metrica d, isto e, e de acordo com o Exerccio Resol-
vido acima referido, (d(x
n
, x))
nN
converge para 0 em R. Da continuidade
da fun c ao logartmo em R
+
resulta ent ao que (ln(1+d(x
n
, x)))
nN
converge
em R para ln(1) = 0; ou seja, a sucess ao (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

positivos, por mais pequenos


que sejam, de tal forma que as bolas B
r
(b) e B
r
(c) estejam ainda to-
talmente contidas em A (s ao exemplos, 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

=(x, y) : x ]0, [ , 0 < y < sen(),


ext(A) =R
2
A,
fr(A) =A
1
A
2
.
Uma vez que A = int(A) fr(A) = ad(A), conclui-se que o conjunto
A e fechado em R
2
.
12.
12.1. A gura seguinte descreve gracamente os conjuntos, respectiva-
mente, Y e A. Em rela c ao ao conjunto Y , observe que a sua express ao
analtica corresponde ` a descri c ao da bola fechada em R
2
de centro no
ponto (0, 0) e raio 2, quando xada a norma do m aximo sobre R
2
(ver
gura 1 na p ag. 21 do livro Topologia).
y
x
2
2
2
2
2
y
x
A
Y
12.2. Sendo A intersec c ao de Y e do aberto de R
2
, ]3, 0[ ]3, 3[, A
e aberto em Y (Proposi c ao 4.7). Logo B e a op c ao correcta. Para
vericar que A n ao e nem aberto nem fechado em R
2
, efectue uma
an alise em todo an aloga ` a realizada no exerccio 11. Conclui que
int
R
2(A) =]2, 0[ ]2, 2[ ,
ext
R
2(A) =R
2
([2, 0] [2, 2]),
fr
R
2(A) =(x, y) : (x = 2 x = 0) 2 y 2
(x, y) : 2 x 0 (y = 2 y = 2).
Assim, ad
R
2(A) = [2, 0] [2, 2] ,= A e int
R
2(A) ,= A.
Este exerccio, e o anterior, s ao exemplicativos da necessidade da tradu-
c ao gr aca de um conjunto inicialmente apresentado na forma analtica.
Teste Formativo I 28
13.
13.1. Na gura seguinte, a regi ao inscrita no quadrado ilustra gracamente
o conjunto Y e a regi ao a sombreado o conjunto A. Em rela c ao ao con-
junto Y , observe que a sua express ao analtica corresponde ` a descri c ao
da bola fechada em R
2
de centro no ponto (0, 0) e raio 2, quando se
considera em R
2
a norma da soma (ver gura 1 na p ag. 21 do livro
Topologia).
13.2. A arma c ao verdadeira e a primeira. Com efeito, sendo A intersec c ao
do conjunto Y com o conjunto R]1, +[, aberto em R
2
, A e aberto
em Y (Proposi c ao 4.7).
13.3. Por um raciocnio an alogo ao descrito no exerccio 11 obtem-se
int
R
2(A) =(x, y) R
2
: [x[ +[y[ < 2, y > 1,
fr
R
2(A) =(x, y) R
2
: [x[ +[y[ = 2, x [1, 1] , y 0
(x, y) R
2
: x [1, 1] , y = 1.
Logo,
ad
R
2(A) = (x, y) Y : y 1.
Relativamente ao subespa co metrico Y , deduz-se directamente da al-
nea anterior que
int
Y
(A) = A.
Para o conjunto de pontos fronteiros a A em Y , tem-se que
fr
Y
(A) = (x, y) R
2
: x [1, 1] , y = 1.
Mais uma vez, o raciocnio que conduz ` a identica c ao do conjunto
fr
Y
(A) e o do exerccio 11, tendo agora em aten c ao que, como estamos
Teste Formativo I 29
a trabalhar com o subespa co Y , as bolas que se consideram s ao as
bolas em Y , i.e., os conjuntos
B
Y
r
(x) = y Y : d(x, y) < r = Y B
r
(x), x Y, r > 0,
em que B
r
(x) denota a bola aberta de centro em x e raio r no espa co
R
2
:
B
r
(x) = y R
2
: d(x, y) < r.
Assim, considerando um ponto (x, 1), x ]1, 1[ qualquer, como o
ilustrado na gura seguinte,
e f acil constatar pela gura, que por mais pequena que seja a escolha
de um raio r > 0, a bola B
Y
r
(x, 1) tem sempre pontos de A e pontos
de Y A. Logo, os pontos (x, 1) com x ]1, 1[ s ao pontos fronteiros
a A em Y .
Considerando agora os pontos (1, 1) e (1, 1), as bolas B
Y
r
(1, 1),
B
Y
r
(1, 1) assumem agora a representa c ao gr aca descrita na gura se-
guinte,
Teste Formativo I 30
Por mais pequeno que seja o raio r > 0 tomado, as bolas B
Y
r
(1, 1),
B
Y
r
(1, 1) tem sempre pontos de A e pontos de Y A. Assim, (1, 1) e
(1, 1) s ao tambem pontos fronteiros a A em Y .
Localizados os pontos interiores e fronteiros de A em Y , tem-se ent ao
que
ad
Y
(A) = A (x, y) R
2
: x [1, 1] , y = 1.
Observa c ao: Para a caracteriza c ao do conjunto int
Y
(A) enveredou-se
por uma resolu c ao que dispensa a an alise geometrica. Se se tivesse
enveredado por esta an alise, o raciocnio seria identico ao descrito an-
teriormente. Tomando um ponto a A (x, y) R
2
: [x[ +[y[ = 2,
e sempre possvel tomar um raio r > 0, por mais pequeno que seja, de
modo que B
Y
r
(a) esteja contido em A:
Quanto aos pontos a (x, y) A : [x[ +[y[ = 2, note que e possvel
tomar r > 0 de modo que a bola B
Y
r
(a) s o contenha pontos de A:
Teste Formativo I 31
Geometricamente, cam assim identicados os pontos interiores a A
relativamente a Y .
14. Pretendendo-se provar uma igualdade de conjuntos, vamos resolver este exer-
ccio em duas partes.
1.
a
Parte: Provemos que ad
Y
(A) Y ad
X
(A).
Dado x ad
Y
(A) qualquer tem-se, por um lado, x Y e, por outro lado,
a existencia de uma sucess ao (x
n
)
nN
de elementos de A convergente para
x em Y (cf. Deni c ao 3.1 de ponto aderente). De acordo com a Proposi c ao
4.2, a sucess ao (x
n
)
nN
tambem converge para x em X, o que implica que
x ad
X
(A). Como x Y , ca assim provado que x Y ad
X
(A). A
arbitrariedade de x inicialmente tomado permite ent ao concluir a inclus ao
pretendida.
2.
a
Parte: Provemos que Y ad
X
(A) ad
Y
(A).
Analogamente, para cada x Y ad
X
(A) tem-se, por um lado, x Y
e, por outro lado, a existencia de uma sucess ao (x
n
)
nN
de elementos de
A convergente para x em X. Ainda pela Proposi c ao 4.2, tem-se ent ao a
convergencia de (x
n
)
nN
para x em Y , o que conduz a x ad
Y
(A). Devido
` a arbitrariedade de x tomado, ca assim provada a inclus ao requerida.
Provadas as inclus oes ad
Y
(A) Y ad
X
(A) e Y ad
X
(A) ad
Y
(A),
obtem-se a igualdade de conjuntos ad
Y
(A) = Y ad
X
(A).
15.
15.1. Comecemos por determinar o conjunto de pontos fronteiros a A em
R. Tome-se x A. Para cada r > 0, a bola de centro em x e raio
r contem sempre pontos de A (nomeadamente, o pr oprio ponto x)
Teste Formativo I 32
e pontos de R A. Deste modo se conclui que todos os pontos de
A s ao fronteiros a A. Por outro lado, (1/n)
nN
e uma sucess ao de
pontos de A convergente para 0 em R. Logo, 0 ad
R
(A). Como
ad
R
(A) = int
R
(A) fr
R
(A), com int
R
(A) fr
R
(A) = , e int
R
(A) A,
conclui-se que 0 tem de ser um ponto fronteiro a A em R. Assim,
fr
R
(A) = A 0.
Por int
R
(A) fr
R
(A) = e int
R
(A) A, conclui-se ainda que
int
R
(A) = .
15.2. Uma vez que
ad
R
(A) = int
R
(A) fr
R
(A) = A 0 ,= A
e
int
R
(A) = ,= A
conclui-se daqui, respectivamente, que A n ao e fechado em R e que A
n ao e aberto em R. A arma c ao correcta e assim a C.
15.3. Este exerccio resolve-se por aplica c ao directa da igualdade provada
no exerccio 14 para X = R, Y = Q
+
e A = 1, 1/2, 1/3, 1/4, ..., 1/n, ....
Obtem-se ent ao
ad
Q
+(A) = Q
+
ad
R
(A) = Q
+
(A 0) = A.
16.
16.1. Para provar a continuidade da aplica c ao f vamos vericar que a
imagem inversa f
1
(B) de qualquer subconjunto B fechado em R e
fechada em X (cf. Proposi c ao 5.20 alnea a)).
Por X = X
1
X
2
, para cada B R (fechado em R), tem-se
(16) f
1
(B) =
_
f
|X
1
_
1
(B)
_
f
|X
2
_
1
(B).
Com efeito, sendo
f
1
(B) = x X : f(x) B,
_
f
|X
i
_
1
(B) = x X
i
: f(x) B, i = 1, 2,
e imediato que a uni ao dos conjuntos (f
|X
i
)
1
(B), i = 1, 2, est a con-
tida em f
1
(B). Para vericar a inclus ao contr aria, note que se
x f
1
(B) X ent ao, por se ter X = X
1
X
2
, tem-se x X
1
ou x X
2
. Logo,
x
_
f
|X
1
_
1
(B)
_
f
|X
2
_
1
(B).
Teste Formativo I 33
Provada a igualdade (16), a conclus ao e agora imediata. Sendo f
|X
1
e f
|X
2
duas aplica c oes contnuas, (f
|X
1
)
1
(B) e (f
|X
2
)
1
(B) s ao sub-
conjuntos fechados, respectivamente, de X
1
e de X
2
(Proposi c ao 5.18
alnea a)). Mais, por X
1
e X
2
serem fechados em X, tem-se mesmo
que (f
|X
1
)
1
(B) e (f
|X
2
)
1
(B) s ao ambos fechados em X (Corol ario
4.6). Logo, e pela Proposi c ao 3.5 alnea b), f
1
(B) e fechado em X.
16.2. A verica c ao pedida nesta quest ao faz-se por aplica c ao directa da
alnea anterior. O ponto essencial para a aplicabilidade da alnea 16.1
e o facto de f(x, y) = 2 no caso em que xy = 1.
Sendo contnua a aplica c ao h : R
2
R denida por h(x, y) = xy,
(x, y) R
2
, deduzimos da Proposi c ao 5.18 que s ao fechados em R
2
os
subconjuntos
X
1
=(x, y) R
2
: xy 1 = h
1
([1, +[),
X
2
=(x, y) R
2
: xy 1 = h
1
(], 1]),
tendo-se R
2
= X
1
X
2
.
Pela alnea anterior, basta ent ao vericar a continuidade das aplica c oes
f
|X
1
e f
|X
2
para se concluir que a aplica c ao f e contnua. Relativamente
` a segunda, a verica c ao e imediata por f
|X
2
ser uma aplica c ao de valor
constante. Em rela c ao ` a primeira, note que f
|X
1
e igual ` a composi c ao
das aplica c oes contnuas R0 x 2/x R e h
|X
1
: X
1
R0
(Proposi c oes 5.8 e 5.9). Logo, f
|X
1
e contnua.
17.
17.1. Sendo E um espa co vectorial, tem-se x x = 0 E para qualquer
elemento x E. Por deni c ao de aplica c ao linear resulta directamente
que
f(0) = f(x x) = f(x) f(x) = 0.
17.2. Para vericar a equivalencia das arma c oes A, B e C, vamos provar
as seguintes implica c oes:
A = B = C = A.
1.
a
Implica c ao: Se f e contnua em todos os pontos x E, em parti-
cular, f e contnua no ponto 0 E.
2.
a
Implica c ao: Suponhamos que a condi c ao B e vericada. Por de-
ni c ao de aplica c ao contnua num ponto, dado = 1 sabemos que
> 0 : |x| < = |f(x)| = |f(x) f(0)| < 1,
Teste Formativo I 34
onde utiliz amos a igualdade provada na alnea anterior. Fixemos agora
um n umero c qualquer tal que 0 < 1/c < . Logo, para qualquer
0 ,= x E, tem-se
_
_
_
x
c|x|
_
_
_ =
1
c
< ,
pelo que
_
_
_f
_
x
c|x|
__
_
_ < 1.
Da linearidade da aplica c ao f, conclui-se ent ao
|f(x)| =
_
_
_c|x|f
_
x
c|x|
__
_
_ = c|x|
_
_
_f
_
x
c|x|
__
_
_ < c|x|.
Note que para x = 0 tem-se f(0) = 0 e, consequentemente, |f(0)|
c|0|.
Em suma, para todo o elemento x E tem-se
|f(x)| c|x|.
3.
a
Implica c ao: Suponhamos agora que a condi c ao C e vericada.
Pretendendo-se provar a continuidade de f em qualquer ponto de E,
tome-se x E qualquer. Assim, xado > 0 ao arbtrio, tem-se
|f(y) f(x)| = |f(y x)| c|y x|,
em que o lado direito e menor que para todo o y E tal que
|y x| < para /c. A arbitrariedade de > 0 xado permite
concluir, por deni c ao, a continuidade da aplica c ao f no ponto x.
De acordo com este exerccio, uma aplica c ao linear denida num espa co
vectorial normado E e com valores num espa co vectorial normado e
contnua em todos os pontos de E se, e s o se, for contnua no ponto
0 E. Para E = R
n
, n N, uma aplica c ao linear denida em R
n
e
com valores num espa co vectorial normado e sempre contnua, conforme
o exerccio 17.3 seguinte.
17.3. Esta prova far-se- a por recurso ao seguinte resultado bem conhecido
de

Algebra Linear:
Fixada a base can onica e
1
, ..., e
n
do espa co R
n
, uma
aplica c ao linear f : R
n
F ca perfeitamente de-
nida pelas imagens f(e
1
), ..., f(e
n
) F.
Teste Formativo I 35
Isto e, podendo cada elemento x = (x
1
, ..., x
n
) R
n
ser escrito na
forma x = x
1
e
1
+ ... + x
n
e
n
, a linearidade da aplica c ao f conduz a
f(x) = x
1
f(e
1
) + ... + x
n
f(e
n
). Assim, conhecidos f(e
1
), ..., f(e
n
),
conhecemos f(x) para qualquer x R
n
.
A cada aplica c ao linear f : R
n
F tem-se assim associada a aplica c ao
R
n
(x
1
, ..., x
n
) x
1
f(e
1
) + ... + x
n
f(e
n
) F.
Fixada uma qualquer norma sobre R
n
, a continuidade de f resulta,
ent ao, como uma consequencia da Proposi c ao 5.15.
17.4. Este exerccio prova-se por aplica c ao directa da alnea anterior, bas-
tando notar que as aplica c oes projec c oes s ao aplica c oes lineares.
18.
18.1. Por deni c ao,
B
r
(x) = y X : d(x, y) < r.
Logo, xados r 1 e y B
r
(x), o unico valor que d(x, y) pode tomar
e o 0. Mas por deni c ao de metrica,
d(x, y) = 0 = y = x.
Conclus ao,
B
r
(x) = x se r 1.
Se r > 1, ent ao dado y X, qualquer, tem-se pela deni c ao de metrica
discreta que
d(x, y) 1 < r,
isto e, y B
r
(x). Provou-se assim que
X B
r
(x) se r > 1;
ou seja, para r > 1, B
r
(x) coincide com o pr oprio conjunto X.
18.2. Para provar que a aplica c ao f : X Y e contnua num qualquer
ponto x X xo, utilizaremos a caracteriza c ao de continuidade por
sistemas fundamentais de vizinhan cas (cf. Proposi c ao 5.23). Para o
espa co metrico Y xaremos como sistema fundamental de vizinhan cas
as classes das vizinhan cas de cada ponto de Y , e para X as classes das
bolas abertas centradas em cada elemento de X.
Seja V uma vizinhan ca de f(x) em Y distinta de Y . Ent ao, e pela
Proposi c ao 3.27 (alnea c)), f(x) V , ou seja,
0 < r 1, f(B
r
(x)) = f(x) V.
Teste Formativo I 36
Para o caso de V coincidir com o pr oprio Y (Proposi c ao 3.27 alnea
b)), comece por notar que se tem sempre f(X) Y , pelo que,
r > 1, f(B
r
(x)) = f(X) Y.
Conclus ao: para toda a vizinhan ca V de f(x) em Y , existe sempre
r > 0 tal que f(B
r
(x)) V . Isto prova a continuidade da aplica c ao f
no ponto x (pela Proposi c ao 5.23).
19.
19.1. Fixado arbitrariamente > 0, h a que provar a existencia de > 0
tal que, para quaisquer elementos x, y X com d(x, y) < , se tenha
d(f(x), f(y)) < . Tome-se /c. Obtem-se,
d(f(x), f(y)) c d(x, y) < c c

c
= ,
para todo o par de elementos x, y X tal que d(x, y) < .
A arbitrariedade de > 0 tomado permite concluir, por deni c ao, a
continuidade uniforme da aplica c ao lipschitziana f.
19.2. Pelo Exerccio Resolvido 1.20 (do livro) tem-se que
[d
A
(x) d
A
(y)[ = [d(x, A) d(y, A)[ d(x, y), x, y X,
o que permite concluir que a aplica c ao d
A
e lipschitziana. Pela alnea
anterior resulta imediatamente que a aplica c ao d
A
e uniformemente
contnua.
20. Para a resolu c ao deste exerccio basta considerar na alnea 19.2 do exerccio
anterior o conjunto A = 0 e notar que |x| = d(x, 0) = d
{0}
(x), para cada
x E. Pelo exerccio anterior resulta que a aplica c ao | |, alem de contnua
em E, e mesmo uniformemente contnua.

Vous aimerez peut-être aussi