hk
Q1 ) Given anon-emptysetA.defineitsspaaofbomdedfmction.BA ) as
BIA ) = { f : A → R | f isbomdd !
彐 M > osuhthatVXEA.lt MKM }
asarealvectorspaeecnderpointwiseadditioncnd.sc alarmultiplication
Nlbi BIA)
asllflb-ilfmll.showthatlBIAI.IN
Definethesupnorm → R
)
isanormedspace 。
,
Soll Idea
Pwvebythedefinition
ofnormedspace.RecallthevectorspaustwctueofBH.hu
:
opointwiseaddition Hfg
EBAY.defineftgiA-Rasltgliflxitgs.sc
:
alarmultiplicationilfxc-RHfEBAI.def.in edf :
A →
Rashfnifn
NotethatifM.NO
satistyVXEA.HN EMcndlgMEN.tn
① Vx EA
l [email protected]
,
| 人 如川
HMIEHIM-xfEBH.Also.defineconstmtzenofmctioufiA-Ra.tl
= 。 = 1人1
x) = 0 . HIEBLAD
Exercise ( B ( A) t.olisaredvectorspacewithf.us thezenovecton
,
ShowinglBIAI.MN isanormedspacei
Vf EBIA ) ,
llflliipexistsbycompletenessoflR.lt
{1-1}
(M) Vf EBAY.VXGA.HMIZO.illfll.to ;
Also.IHIb-OGVXGA.lflxilosf-fo.IN
2
showing
) Vf EBIA ) ,
VXER , lldflkklllflb :
lflMEllfl o.i.BO.lldfllfkll flb.EIVXEA.ldl flxsl-lx.HN/ldfllxikl xflb.
[E] Notethat VXEA ,
i.lldflliklllflb.IN
》 Vfg
EBAY.showingllftglbsllfllillgll.iNotethatlfxEA.lt
Mkllflb : 19 心 1
Ellglb.i.BY , llftglbsllfllillglb 。
Rmk This
isaprototypicalexampleof Tmctionspaceswithsynorm
"
˙
indcingthefollowingexampksasnormedspace.si
① tlab ] ) ,
thespaceofcontinuousfmctionsonh.bz Hbomded )
② EM.thespauofbomdedcontinuousfmctionsoname.tn spacelxd ) ,
③ li BUN ) thespaceofbomdedseqvencesofreulnmbers
, .
QDGivenametricspaalX.dladachosenpointpEX.io
foreachxEX.definefxiX-Rasfxlzs-dlz.xl-dlz.pl
(a) Showthatfxisbomdedmdlipschitzcontinuouslhenaf.EU lxx
d aszcxs-fx.Showthatzisanisometricemhed ingilfx.XEX.d.la
(b) Define Tlxd ) → 心心 ,
,
平 (刈 一
llfifxh dcxi
Hena.showthattisinjectiveandcontinuovs.SI
(C)
他 以
mdlX.djrepeatedly.la
) Ideai Applythetrimgleinequalitiesof ,
) Bomddilfz EX 1 大心 | ,
=
ldlzidlz.pk dap 、
④ Lipschitz Gutinuovsi 彐 L> 0 suchthatkztc-X.HM-fxlzslSL.dk 到 ,
,
大叫 |(
dlz.D-dcz.pl-ldlzixj.dz/pDlEIdlz,x)-dlz'.x)ltId(zip)-dcz,plEdlz,z')+dlz,z')=
Notethat Hdz) 一
=
2 dlz.zs.in Chou L = 2
.
(b) lfx.XEX.showingllfifxlb-dlx.si
k) ilfzEX.lfxh-ffzil-kdlz.xs-dlz.pD-ldlzi-dlz.PH
=
ldcz.xj-dcz-lsdlxs.illfx-f.lk Edlxy
illfx-fdbzfxl-fy-dlxixrdlxixndlxxj.hu
[ 2]
,
在 isanisometricemhedding 。
isinjectiveiIfx.XEXswhthatfx-fx.thendcx.xj-llfifx.lk
(c) Showing 正
Hence 正
isinjective.Showingziscontinwusilfxc-X.VE
'
0 ⇒ ㄨ = ㄨ
,
> 0 ,
chose S = E > 0
,
then V x
'
E Xwithdlxik 8 llfifxllidlxik S =
E
, .
iscontinuous.tl?mkuQ2b,cimplyXisisometricisomorphiitoZlX)E
i.
CNN.l.Hena.everymetricspace.is
ametricsubspaaofacertainfmctionspaceo
analternativewaytoaonstnctaiompletionofxasTECM.tk
Thisprovides
dosweos 正比 ) incblx ) ,
