Lista I de MT40l

-
solugo
Cdigo do autor
l"'f
4
p
Cdigo do conetor
l:- 3 14.
Problemas 1.1.
2. Does d(x, y): (x
-
y)2 define a metric on the set of all real numbers?
No poisno satisfaz a desigualdade do aingulo. Basta dar um contra-exemplo.
4. Find all metrics on a set X consisting of two points. C.onsisting of one
point.
Para cada par de elementos de X, a mtrica um nmero real. Se X tem apenas dois
elementos, s possvel ter uma mtrica discret, isto d(a,a)=0=d(b,b) e
d(a,b):D:d(b,a),
para algum valor real Dl propriedades Ml, M2 e M3 da mtrica
so satisfeitas,
por construgo. E a desigualdade do tridngulo trivial.
Se X tiver apenas um elemento, a nica mhica
possvel o zero.
6. Show that d in 1.1-6 satisfres the triangle inequality'
ISTO :
such that for
^ll
i:1,2,
' ' ' we have
l 6l 5
c'
where c" is a real number which may depend on x, but does not
depend on
i.
We choose the metric defined by
(9) d(r,
Y)
=
st,
6
-
*,
i - -
As primeiras propriedades
da mtrica seo obviamente satisfeitas por esta fungio. E a
desigualdade do tringulo segue facilmente da seguinte igualdade e desigualdade dos
nmeros (reais ou complexos):
lE,-
n,l=lE,-
"
+ o -4jl<lEr- dl+ld-
4rl
Considerando o supremo na desigualdade acima, obtemos a desigualdade para a
mtrica proposta,
8. Show that another metric on the set X n 1.1-7 is defined bv
(,,
lx(r)
- y(t)l
da
Devemos mostra a fungo proposta uma mtrica para X que o conjunto das
funges contnuas em
[a,b].
De fato, ela finita
fuois
as fun96es so definidaq contnuas no intervalo
considerado), simtrica, nula para o rnesmo elemento. E a desigualdade do tringulo
segue asslm:
I . Vul -
y
t , l ,
=
! " l x
(t \ -
z(t )+ z(r)- y(t )l dt <l b"l , . (- z (t )l +| "(t \ - y(t )l at
O integrando contnuo em todas as integrages acima. A desigualdade utilizada a
dos reais (ou complex) para
cada t fixo. Assim a fungAo proposta tambm uma
mtrica para
as funqes contnuas
10. (Harnmhg
rfbtence) Let X be the set of all ordered hiples of zeros
and ones, Show that X consists of eight elements and a metric d on X
is defined by d(x, y)
=
66"r of places
where x and y have different
enies. (This
space and simfar spaces of n-tuples play
a role in
switching and automata theory and coding. d( y) is called the Ham-
ming distan e between and y;
cf, the paper by R. W. Hamming
(1950)
listed in Appendix 3.)
Cada elemento de X consiste de trios de dois valores: zero ou um.
para
cada entrda
do trio, h dois valores possveis.
Ento h 23
=8
elementos em X. Seiam
tr=f
I
r=(sr.s2.s3)
,
y=(t,,t2,tl l
e
z=(uj .u2.ux\
ento a mtri ca proposta pode ser
representada por d
(r,
1)=ls,-r,l+ls,-rrl+ls,-r.l Esta fungo real no negativa;
finita - tem valor mximo 3; nula se e somente se r=/,' simtrica; e satisfaz a
desigualdade do tringulo pois
Irltr-rrl=),l"r-
u,+u,-t,l<Z,ls
i-",1+l lut-t,l
12.
(Tringle inequaltty) The triangle inequality has several useful conse-
quences. For instance, using (1), show that
ld(x,
y) - d(2, w)l= d(x, z) + il(Y, w) .
where
From
(M4)
we obtain by induction the genetalized tiangle in-
equality
(1) d(xt x^)<- d(xt , xz) + d(x2, xr)* ' ' ' +d("-r' ").
Podemos usa esta desigualdade
generalizada para obter as seguintes desigualdades:
0<d( x,
y\ <d ( x, z) + d( z
, w\ +d
( w
,
y\
O<d( z , w\ sd( z ,
x' ) +d( x ,
y\ +d ( y
, w)
Na primeira equago subtramos d(z,w) e da segunda, dll)' Vamos usar tambm a
simeta d(wy)=d(y,w) etc. Assim temos:
- d( z ,
w) < d( x
,
y\ - d ( z, w\ <d( x, z\ +d( Y
' w\
- d
( x
,
y) sd
\ z
, w\ - dl x ,
y\ <d
( x
, z) +d
( y
' w)
Na segunda desigualdade
podemos mudar os sinais. Desta forma temos os dois casos
possveis para o mdulo da diferenga. Isto
d( x
,
y) - d
( z
, w) <d
( x,
z\ + d ( Y
, w\
d
( x, y) - d
( z
, w) > - d
( x, z) - d
( Y
, w)
14.
(Axioms
ol e metric)
(M1)
to
(M4)
could be replaced by other axioms
(without
changing the definition). For instance, show that
(M3)
and
(M4)
could be obtained from
(M2)
and
tl(x'
Y)=
17' 1a 1"'
'1'
A proposta usar os axiomas Ml, M2 e a desigualdade acima.
Desses axiomas devemos provar a simetria M3. Com efeito usando a desigualdade
acima com z:/ temos
d
(x, y\<d (t
,x\+0 Igualmente fazendo z=: na desigualdade proposta mas com a
troca de r por/ temos
d
(y,
)<d(,.v)+0 As duas desigualdades implicarn apenas
na igualdade. Isto , a simetria es! provada.
A desigualdade do ingulo M4 segue da desigualdade proposta e da simetria M3
que foi provada.
Problemas 1,2.
2. Using
(6),
show that the geometric mean of two positive numbers does
not exceed the arithmetic mean.
(6)
Basta usar a desigualdade (6) para
q='[q, p=J6, p=q=2 para obter lG=#
t ^' o\ 2
Pode-se tambm desenvolver
(TJ
"
u.". u aesigualdade
(6) para p=2:q e obter
taiil=ff
dB
s
l"
r-L dt +
l'
uq-'\ du
--f
.ff.
Concluso: A mdia seomtrica no supera a mdia aritmtica.
4.
(Space
lP) Find a sequence which converges to 0, but is not in any
space lP, where 1<p<+4,
selam a sequencra
paraj natural e a sequencia nula y=(0). Ambas
'=F)
convergem para zero, mas pela mtr ca de lp teramos
d (t'
r)o=I,
I
que a srie harm6nica. Assim x no pode ser elemento de ,P
F)"=r,j
6.
(Dimeter,
bomded set)' The iliameter 6(A) of a nonempty set A in a
metric space
(X,
d) is defined to be
a(a):;3 a(x'
r)'
A is said to be bowtded if 6(A)<-. Show that AcB implies
6( A) 6( B) .
Vamos assumir
lc Bgx, usar a mesma mtrica de Xe usar as restrigoes de
conjuntos com a definigo do supremo:
6(B\=sup,."."d
(x, y)> sup,.".r.nd
l x ,
y\>sup,.r.r.nd(x
,
y)=6(Al
8.
@istnce
between sets) The ilistance D(4, B) between two
nonempty subsets A and B of a metric space
(X d) is defined to be
D(A' B)= inf d(4" b)'
iz;
Show that D does no define a metric on the
power set of X.
(For this
reason we use another symbol, D, but one that still reminds us of d.)
As propriedades Ml, M3 da definigo da fungo mtrica no seria problema' No
entanto se
AB+g e
l+B teramos pela definigo acima
D(A,B)'O e portanto
no satisfaz o axioma M2.
11. If
(X,
d) is any metric space, show that another metric on X is defined
by
a<' ' vl=ffi
and X is bounded in the metric .
(M1)
to
(M3)
are obvious.
(M4)
has the form
d( x, y)
-
d( x, z) d( z, Y)
t + d( r , y) - l + d( x, z) 1+ d( 2,
y)
and follows from
(M4)
for d and the argument used in 1'2-1"
Boundedness of X follows from d(x,
y)< 1.
12. Show that the union of two bounded sets A and B in a metric space is
a bounded set.
(Definition in Prob' .)
Sejam
r,./,4u,Bex
,
u,weAgx r,zeBgx e considere a desigualdade
generalizada do tringulo
d
(x, y\ < d
(x,
u)+ d
(u, vt\ + d
(w, v)+ d (v, z) + d
(z, y)
Agora vamos pegar o supremo
apropriado na desigualdade acima, isto ,
sup,,
".nr"d
(x
,
y)< sup,.uu
u.".nd
(x
,
u\+ sup,.r,,."d
(u
,
w)4 sup".,t.,.ad l w ,vl
t:^t.
+sup".u,,."d(v
,
z)+ sup
,.s.". ru
d ( z
, !)
definigo de didmetro de um conjunto temos
6( Au B\<sup,.nuu.,.nd
(x
,
u)+ 6(A)+ sup,rn,.ud
(w
,
v)+ 6
(B\* sup".".r.nu
ud
l z
'
y)
s
como a mtrica neo negativa, temos a seguinte desigualdade:
6(Au 8)<6(A)+
(B)
Como,
por hiptese
.4
e
sAo limitados, segue que
lu B tmbm .
14. Show that another metric on X in Prob. 13 is defined by
(*,

:
J,@,, v,Y
+ "(*",.
wnere
(Product of mealc
E)cs)
The Cartesian product X
=
X1
x
X2 of two
metric spaces
(Xt, dJ and
(X2, ilt) an be made into a metric space
(X,
d) in many ways. For instance, show that a metric d is defined by
*sts
=(xt,
x"), y
:(yt,
yr).
A fungo propost satisfaz os axiomas Ml, M2 e M3 da definigo de mtrica,
j que
d
t a
d
z so mtricas. Resta mostrar a desigualdade do tringulo. Com efeilo,
seja
z=\zt, z)
ento

(,,
")
*
(
",
y
)
aMGI
"l
{aIl,
",\f
+''MI
",,
v
+
\
aI
+' v
Podemos usar a desigualdade de Minkowski
para somas (finitas ou sries). Veja
(c)
We now prove the MinLowski inequelity
for
sums
(rz\
(i
te,*n,r)""=(i tar)""*(,Lr-r)""
\ j - r I
where =(6)e and y=(r)ele, and p>1. For finite surns this
inequality was given by H. Minkowski
(1896).
Basta fazer
p=2,\r=d
,l xr.zr\,l r=
d.r(xr.z
r)
,
qr= d
r(z|
y
r\
,rtr=d
r(22.
y2)
E nos
somatrios na desigualdade v6o variar de I a 2 apenas e no de 1 a infinito. Ento
1\n,4n;
*
GG
"

*|j",,
v8'
Jt,*',,f
i.,o ,
-
, l Z, l e, +n, )' =, 11ax, . 2, )+d, (2, , y, \ )' +\ d, (x, , 2, )+d, (2, , y, ))' cadamt ri caporsuavez
satisfaz a desigualdade do triengulo. Portnto
E, te .'[,a u'; t
d=

(,
v ) Assim mostramos
que
0,")+k,y\r(x,y) e portanto a fungo proposta satisfaz os axiomas de uma
metrica.
15. Sbow that a third metric on X in Prob. 13 is defined bv
e
d(x, y)
=
max
I
dt(xs
yt),
dr(xz,
yr)f.
Novamente o nico axioma no bvio para mostrar o da desigualdade do
tringulo.Com efeilo, seja
z=(4, zz)
ento

Q,
"\+
Q, fl =naxfd,(x,,
z,); d,(x,, z2))+ nsxl d
Jz t,
y); d,(zr, yrl l O l ado di rei to
deve ser a soma de dois valores reais no negativos, Pelas propriedades do mximo
podemos escrever como sendo o valor mximo de um conjrmto de quatro elementos:
noxl d
r ( x, ,
z, ) + d, ( 2, , y. , ) ; d
r ( x,
z
r ) +
dr ( "r , yr ) ; dr ( x, ,
", ) +
dr ( "", yr ) : dr ( xr ,
"") +d, ( zr ,
y, ) l
Na primeira e na segunda somas usamos a desigualdade do tringulo para as
respectivas mtricas. Assim temos

g,
" +
1",
y . . axf d
r ( xr ,
y, ) ; dr ( xr ,
/ 2) ; d r ( xr , z r ) +
dr ( zr , yr ) ; d
, ( xr ,
zr ) + d
r ( 2,
y
r \ l
Em geral o mximo de quatro elementos no inferior ao mximo de apenas dois
elementos. Ento

f t ,
"\ +
k,
yJ>^sxl d, ( x, , y, ) : d. . l x1, yr ) l =
G , y)
E portanto tambm uma fungo mtrica para o produto catesiano
Problemas 1.3.
2. What is an open ball B(xo; 1) on R? In C?
(Cf. 1.1-5') In
4a,
bl?
A bola aberta na reta real pela mtrica do mdulo um segmento de reta tambm
representada por
(.ro- 1,.x0* I
)
A bola aberta no plano complexo pela mtrica do mdulo um crculo de raio
unitrrio tambm representada poJ
lz-rol<1
Abola aberta em C
[a,/
pela mtrica do supremo pode ser representada por uma
faixa em um grfico produto cartesiano x times y de comprimento vertical 2'
A fisura 8
um exemplo desta faixa.
4. Show that any nonempty set A
c (X
d) is open if and only if it is a
union of open balls.
$s
A+8
um subconjunto aberto emx, ento todos os seus elementos
a,{ so
centros de bolas abertas que esto contidas eml, isto
B(a,r")cA,YaeA
,
para
raios
r,
apropriados,I o conjunto de todos os elementos a, isto ,
A= .u B
\q , r
,) . Portanto o subconjunto I uma unio de bolas aberts.
Se
A*g
uma unio de bolas abefs em Xento todos os elementos del estdo
em alguma bola aberta e assim, por definigo, I aberto em X.
6. If xo is an accumulation
point of a set Ac(X,d), show that any
neighborhood of xe contains infinitely many
points of A.
Pela definigo de ponto de acumulago
ftln.R(oo) para um
o>0
Considere
a bola aberta
alxo.er=|)
. Novamente
SxreAnB(xo,er)
Assim podemos conskuir
uma sequencia infinita de pontos x
^e
ln a( x
".1\
de I que esto na vizinhanga do
ponto de acumulageo
xoex - A
12.
(Spce
Blc,bll Show that Bla,bl, <b, is not separable.
A definigo desse espago
1.2-2 Space B(A) ol bounded fmctions. By definition, each element
ets(A) is a function defined and bounded on a given set A, and the
metric is defined by
d(x,
y): sup
l x
() - y(01,
where sup denotes the supremum
(cf.
the footnote in 1.1-). We write
B[a, b] for B(A) in the case of an interval A:[4, b]cR.
Um espago mtric o (X,d) sepavel se X tiver um subconjunto enwnervel
que
denso em X
X is said to be separable if it has a countable subset which is dense in
X.
(For
the definition of a counfable set, see A1.1 in Appendix 1 if
Assim, um espago mtrico no separvel se no no tiver nenhum
subconiunto
enumervel denso em X.
possvel demonsnar
que B(A), com a mtrica do sup, no separvel, usando os
mesmos
passos da demonstrago
de que /'
no separvel. Isto ' Para cada
te[a, ] 1smq5 ssquincias limitadas e a colego
(em
t) destas sequncias so
fi.m96es limitadas. A demonstrago estr reproduzida na
prxima pgina'
Uma maneira direta de mostrar
que as funges limitadas com a mtrica do sup no
sepanvel a seguinte:
Sej a
a fun9o
6(-h) que val e l se
r=l o
sS5s
r*f
sendo
que
t
' toel a' bl
Assim a mtrica do sup toma-se equivalente mtrica discreta'
d
(' )=0 e
d
(x, y\=1 para )c*y . Assim temos uma fungo
para cada ponto
roela' J
e
portanto essa colego de funges no enumervel. Ano separabilidade
segue do
teorema abaixo. Observe
que as bolas abertas cenadas em qualquer uma destas
funges e de raio estritamente
menor
que um sio disjuntas'
13-8 Dlscete metlc space. A discret metic space X is separable if
and only if X is counnble.
(Cf. 1.1-8.)
hoof. Tlr'e kind of metric implies that no ptoper subset of X can
be dense in X. Hence the onlv dense set in X is X itself, and the
statement follows.
1.3-9 Space l-. The space I* is twt separable.
(Cf. 1.1-6.)
Proof. Let
!:(ntnz,
q,'
' ' ) be a sequence of zeros and ones.
Then
y
e -. With
y
we associate the real number
f
whose binary
representation is
We now use the facts that the set of points in the interval
[0,
1] is
uncountable, each

e
[0,
1] has a binary representation, and different
f's
have different binary representations. Hence there are uncountably
many sequences of zeros and ones. The metric on l- shows that any
two of them which are not equal must be of distance 1 apart. If we let
each of these sequences be the center of a small ball, say, of radius
U3,
these balls do not intersect and we have uncountably many of them. If
M is any dense set in l-, each of these nonintersecting balls must
contain an element of M. Hence M cannot be countable. Since M was
an arbitrary dense set, this shows that l' cannot have dense subsets
which are countable. Consequently, l- is not separable.
14.
(Contlnuoue
'rrpping)
Show that a mapping T: X -+
Y is continu-
ous if and only if the inverse image of any closed set Mc Y is a closed
set in X.
=>T
contnua!
Y-M
aberlo ern
I
.Assim
x -r1(M)=T-' (v
*
M)

aberto
(pelo teorema de
que
aplicago contnua "leva abertos em abertos").
Portanto
r' (M)
fechado.
7lt
,
llz
,
tlt
,
Ti *i 7' r
"'
<=
r' ' (M)
fechado! Se
u
aberto ento
M=Y-U
fechado em
r-' @)
aberto e assim
r
Ento
x-T-t(u)=T-t(M
) fechado. Assm
?
contnua.
Problemas 1.4.
4.
(Boundedness)
Show that a Cauchy sequence is bounded.
Se
(,)
satisfaz o critrio de Cauchy, s1i6
r,B(.x,,e (N))
para m,n>N.
Consi dere o conj unto das di stnci as l d(x-
x,) nel N,r> N
' x,eB(x^,c)l
El e fmi to,
isto , contm apenas n<N elementos. Se esse conjunto for vazio, significa que temos
uma "bola
muito grande" mas toda a sequencia est na bola e assim a sequencia
limitada pelo raio da bola. Se n>0, mas finita, ento o conjunto (ordenvel) tem um
valor mximo e um valor mnimo. E assim uma sequencia de Cauchy limitada
(mas nem toda sequencia limitada satisfaz o critrio de Cauchy).
6. If
(")
and
(y") are Cauchy sequences in a metric space
(X, d), show
that
(o"),
where ": d(&,
y"), conveges. Give illustrative examples.
Temos que
(4")eR
e 616 a mtrica mdulo de reais, podemos usar a completude
de
R
e assim a sequencia
(a,)
vai convergir se satisfizer o critrio de Cauchy.
Por hiptese x e y so sequncias de Cauchy! Digamos
d
lx..
x-l<|

a0",v").i Ym'n>N Assim, vamos usar a desigualdade do tringulo

generalizada duas vezes:
d
\ x", t ) <dl x",
x. ) + d( x, ,
r . l +
d ( y, , y, )
d
l x.,
y-)<d
l x,.
x,)+ d
(x,, y,)+ d(y,, y.)
de onde obtemos
Vm,n>N que
It
(x,, y.\-d(x^, y,)l<d (x^, x)+a
9,,
y"1.1+9r=,
isto
la--c,l<ev
m,n>N
isro
, sstisfaz o critrio de Cauchy nos Reais, que completo, de forma que sequncias
de Cauchy convergem.
Exemplos. H vrios exemplos em espagos mtricos completos. Se todas as
sequncias consideradas convergirem para zero (ou um mesmo valor real) feremos
exemplos mais ou menos triviais.
Considere ento as sequencias convergentes
t,=l
e v,=# com amtrica
. 11
, l I
usual em
R
. Enl o
d( x, , v, ) =l - - : , ; l =. . , . . ,
-
que
uma sequnct as
l n
n+t l n\ n+Ll
convergente
(paa zero) com a mhica usual em
R
Observe
que no h necessidade de que as sequencias
x,
e /' sejam
convergentes. Elas so Cauchy!
@xemplo
6.8.6 de Searcid, Metric Spaces) Considere X o conjunto das frmges
conti nuas em
[0,1]
e a mtri ca d(f .
d=l ' ,l f
U\- c|)l dt
. (X,d) umespago
mico (i mostrado). Construa as sequencias /,(r)=r
para
0<r']
e
t l
f^\t)=-,se
n<r<l
. fci l ver que
"/,eX
Vamos cal cul ar as di stnci as
1t , h-
a
(I
. . f
"l =
J
"l f
, l t )- f
^t t yat
Vamos assumir
/> e assim
l=*
. Rrrirn
podemos dividir o intervalo
[0,1]
n- m'
em trs partes e usar a definigo das sequencias:
t ( n' - n' ) seo<t
<j
f , ( t ) - f . ( t ) =
j-t n' t").t.\f
e assim a inteeral fica fcil
para obter a
o""l <t < t
distiincia
d
(f
",
f
^\=il+-*)
Se abandonarmos a restrigo de que t?>,'
,
temos
<6
d(f
.,f .)=tl+-*l
d(f
",f
_\=11*-*l
Assim dado e >0
for tu, > M temos
que
e portanto uma sequencia de Cauchy (mas lo convergem
em X).
Agora vamos construir outras sequencias
de Cauchy (mas esta converge em X).
s-(t\=:::---:- Essa seouencia tambm
' n
Com um pouco mais de trabalho dr pra mostra que as distncias
d (g,,
,/,) tmbm
de Cauchy (e converge pra zero). Confirmem.
10. Using the completeness of R,
prove completeness of C.
Vamos usar o mdulo dos complexos para a fungo mtrica. Assim paxa ,yc
temos d
(x, y)=1Efillfallllfr 6dg
x=frx*i3x Vamos assumir sequencias
de Cauchy em
c
e mostrar
que elas convergem
pois sequencias de Cauchy em
R
convergem com a sua mtrica usual, Com efeito, dado
>0, 3f tal
que
d(x,,x.)<e param,n>N- Isto ,
E
(r,-.r")'+31x,-x.\2 <e2
pofrnto temos que
cada termo sepaadamente satisfaz a desigualdade de Cauchy, a saber
8lx"-x.\2<e2 e
3(x,-x.f <e' par:a m,n>N. Essas sequencias convergem pois
cada uma est em
R que completo. Digamos
Er,"+4
e
3r'--e5x
. Portanto
as sequencias de Cauchy em o tambm convergem
,-'E.x+iSt
Problemas 1.5.
2. l,et X be the space of all otdered n-tuples x=(&,.
'.,f,)
of real
numbers and
d('
Y):
max
16
-
nl
t
where y:(r'). Show that
(X
d) is complete.
Vamos usar que R aompleto com a maica usual. Assim, uma sequencia de Cauchy em X com
a mtrica do mximo das componentes tal que, dado e > 0,31y' tal que
d(x,,xr)<eY
j ,k>f
.Isto, nec,l E(,tt -E|)F.V j ,,l r>l Se o mrxi mo de todas as
(diferengas das) componentes no excede e
,
ento cada diferenga d comPonente tampouco, isto
,
l!)-El*)l.e ,
V
,V
j,k>N cada componente ento converge (pela mtica usual em R
),
digamos
!,il --+6, ,Y
i Assim, a sequencia de Cauchy converge para um
ponto x in X. Pofianto
X completo.
6. Show that the set of all real numbers constitutes an inoomplete metric
space if we choose
d(a y):
larc
tan x -arc tan
yl.
Esta fungo satisfaz os axiomas da mtrica: finita
(pois so arcos), simtrica,
nula apenas quando .r=y e satisfaz a desigualdade do tringulo
(some e subtraia
arctanz e tse a desigualdade do tingulo de nmeros reais).
Um critrio para o espago mtrico ser completo que as sequencias de Cauchy
convirjam. Vamos construir uma sequencia de Cauchy que no converge. Com efeito
seja
x,=n
,
entiio dado
e>0
,
3.1 tal que
d(r,,r.)<e para m,n>N. lsto
larctar
n- arctatml<e para m,n>N, Ywnos assumir z<m. A fungo tangente
montona crescente. Enteo
tan
(a/c tan m-arctwrn\<tate e assim, por identidade
trisonomtrica temos
I + tan
(arc
ran r) tan (arc
tan n)
ta\l
qrc
tan m\-lan(arc farr n\
=*.tunu
e portanto
podemos ter
-.ffi.^,
ou melhor
l*-*.,*.
para m,n>N. Portaro
so sequencias de Cauchy. No entanto
,=t
no converge. Conclusdo. Esse espago
mtrico
(R, d)
no completo.
E.
(Spsce
Cla, bll Show that the subspace YcCla,bl consisting of all
xeCla,bl such that x(a): x(b) is complete.
Neste contexto podemos assumir que C[a,b] completo com a mtrica do supremo.
Assim, basta mostrar que sequencias em Y convergem em Y A nica novidade que
x(a\=16
. Assi m as sequenci as
x,(a)=,16
.
g
r,(t)-+r(t)eCl a,l
onde.
Resta saber os valores de
(a)
e
()
dessa fungo para a qual a sequencia
convergiu. Observe que a distncia
d (x(a), x(b\)<d (x(a' , x"(a\)+d
$"(a\,
x^(b))+d
(x^(b),x(b))
se anul a no l ado di rei to
no limite
-'co
. O primeiro e o ltimo termo pela convergncia do valor da fimgo
continua para x(q\
e
x(bl respectivamente. O segundo termo
por que
xr(a)=x,(bl
Mas a fungAo mtrica no negativa. Assim
0<d((a), ())<0
De
onde se concl ui oue
(4)=r()
10,
@iscrete
metrlc) Show that a discrete metric space
(cf
. 1.1-8) is
complete.
Uma sequencia de Cauchy em um espago mtrico discreto vai ser tal que dado
0<6<l
,
ff
tal que
d(x",x^\<e
para m,n>N. Estas sequencias vo convergir
paftr uma sequencia constante, isto ,
d (t,, ")=0 para m,n>N. Como a sequencia
de Cauchy converge para o conjunto do espago mtrico discreto, ento ele
comoleto.
14. Show that the Cauchy sequence in Prob. 13 does not converge.
O
problema 13
13. Show that in 1.5-9, another Cauchy sequence is
(x"),
where
q( r ) =n i f 0=r =n- 2, a( ) =
- 1 i f . n- 2=t <1.
Basta calcular a distncia:
By di rect cal cul ati on,
d(xn, x^)
-
m-1
-
n-r
(m < n)'
E a referncia 1.5-9
1.5-9 Continuous
imctions. l,et X be the set of all continuous
real-valued functions
on J
=
[0,
1], and let
f r
d(x, Y):
I l x(t )-Y()l
d'
Jo
This metric space
(X d) is not complete'
De fato a sequencia no converge em
x,pois
t,(])=n
no converge' enquanto
t,t,l-* para o<r<l Isto , a fungo convergente
no contnua e no esta
definidaem
(o)