Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
3.FUNKCJECIĄGŁE,HOMEOMORFIZMY
35
Wniosek1.3.7.Jeśli(Xjd)i(Yj)s!przestrzeniamimetrycznymiiist-
niejetakastałaL,że
(f(x)jf(g))ŚL·d(xjg)
dladowolnychxjgEX,tofunkcjaf:XæYjestci!gła.
(1.18)
Jesttoznanetwierdzenieanalizymatematycznejmówiące,żefunkcjespeł-
niającewarunekLipschitza,tzn.warunek(1.18),zdowolnąstałąciągłe.
ZtwierdzeniaLagrange’aowartościśredniejwynika,żekażdafunkcjatypu
RwRopochodnejograniczonejmastałąLipschitza.Wtrakciedowoduko-
lejnegotwierdzeniapokażemy,żeodległośćpunktuodzbioru(patrzstr.31),
jestprzykłademfunkcjispełniającejwarunekLipschitzazestałąL=1.
Twierdzenie1.3.8.JeśliXjestprzestrzeni!metryczn!,todlakażdego
zbioruniepustegoAXfunkcjaf:XæRokreślonawzorem
f(x)=dist(xjA)
jestci!gła.WszczególnościdlakażdegoustalonegopunktuaEXfunkcjadana
wzoremf(x)=d(xja)jestci!gła.
Dowód.Wykażemy,żedladowolnychxjgEXzachodzinierówność
|dist(xjA)dist(gjA)|Śd(xjg)j
(ú)
przyczymdist(xjA)=inf{d(xjg):gEA},gdziedjestmetrykąwX.Dla
każdegozEAmamydist(xjA)Śd(xjz),awięcnamocywłasnościtrójkąta
dist(xjA)Śd(xjg)+d(gjz).Wobectego
dist(xjA)d(xjg)Śinf{d(gjz):zEA}=dist(gjA).
Stądwynika,żedist(xjA)dist(gjA)Śd(xjg).Zamieniającxnag,do-
stajemydist(xjA)+dist(gjA)Śd(gjx)=d(xjg),codajenierówność(ú).
Bezpośrednioznierówności(ú)iwniosku1.3.7wynikatezatwierdzenia.Do-
datkowątezęotrzymamy,przyjmującA={a}.
Jakwynikaztwierdzenia1.2.3kuleotwartewtopologiimetrycznej
zbioramiotwartymi.Wprzestrzenimetrycznej(Xjd)rozważasięteżniekiedy
kuledomknięte,czylizbiorypostaci
Bd(xj5)={gEX:d(xjg)Ś5}.
Ponieważprzeciwobrazzbiorudomkniętegoprzezfunkcjęciągłąjestzbiorem
domkniętym(p.twierdzenie1.3.2(7)),toztwierdzenia1.3.8dostajemynastę-
pującywniosek.
Wniosek1.3.9.Każdakuladomkniętajestzbioremdomkniętym.
Kolejnetwierdzenieopisujeprostą,azarazemważnąwłasnośćfunkcjicią-
głychprzyjmującychwartościwprzestrzeniachHausdorIa.Wynikazniej
wszczególności,żezbiórwszystkichpunktówstałychdowolnejfunkcjicią-
głejodwzorowującejprzestrzeńHausdorIawsiebiejestdomknięty.