Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
34
PRZESTRZENIETOPOLOGICZNE
ztopologiądziedziczonązpłaszczyznyR2;p.przykład1.2.2.PrzestrzeńX
składasięwięczpionowychodcinkówdługości1napłaszczyźniewystawio-
nychwpunktach27opierwszejwspółrzędnejbędącejliczbąnaturalną.Przyj-
mijmyF={(nj0):nEN}.WówczasprzestrzeńilorazowaX/Fjestwyni-
kiemsklejeniawszystkichpunktównaturalnychnaosix-ówdojednegopunktu
go=F.ZbiórFjestdomkniętywX,awszystkieklasyabstrakcjizwyjąt-
kiemzbioruFjednoelementowe.Stądwynika,żeX/Fjestprzestrzenią
HausdorIa.ZdefinicjiprzestrzeniX/Fwynika,żeotoczeniamipunktugo
zbiorypostaci{go}V,przyczymVXjestzbioremotwartymzawierają-
cymF.Otoczenia(bazowe)punktu0naodcinku[0j1]postaci[0ja),przy
czymaE(0j1).Stądwynika,żeotoczeniabazowepunktugomająpostać
Va=F{(njx):nENorazxE(0jan)}j
przyczyma=(an)Œ
n11jestdowolnymciągiempunktówprzedziału(0j1).˚
Przedstawimypóźniejinnejeszczeprzykładyprzestrzeniilorazowych28;
p.przykład1.5.14(długalinia),atakżeprzykład1.6.7(grupaokręgu).Wprzy-
padkuprzestrzenimetrycznychkryteriumciągłościmożnasformułowaćwter-
minachciągówzbieżnych.
Twierdzenie1.3.6(kryteriumHeinego).JeśliXiYs!przestrzeniami
metrycznymi,tofunkcjaf:XæYjestci!gławtedyitylkowtedy,gdydla
każdegoci!guzbieżnego(xn)Œ
n11Xci!g(f(xn))Œ
n11jestzbieżnyizachodzi
równość
næŒ
lim
f(xn)=f(lim
næŒ
xn).
Dowód.Załóżmy,żefunkcjafjestciągłaorazlim
næŒ
xn=xEX.Na
mocytwierdzenia1.3.2(3)dlakażdegootoczeniaVpunktuf(x)istniejetakie
otoczenieUpunktux,żef[U]V.SkoroUzawieraprawiewszystkiewyrazy
ciągu(xn)Œ
n11,toVzawieraprawiewszystkiewyrazyciągu(f(xn))Œ
n11,awięc
næŒ
lim
f(xn)=f(x).
Wdowodzieimplikacjiodwrotnejskorzystamyztwierdzenia1.3.2(4).Wy-
każemy,żejeślixEclA,tof(x)Eclf[A].Namocylematu1.2.33istnieje
takiciąg(xn)Œ
n11Ajżelim
næŒ
xn=x.Wówczasciąg(f(xn))Œ
n11jestzbieżny
orazlim
næŒ
f(xn)=f(x).Azatemf(x)Eclf[A],bo(f(xn))Œ
n11f[A].
Namocylematu1.2.37dlakażdegociągu(xn)Œ
n11punktówprzestrzeni
(Xjd)mamylim
næŒ
xn=xwtedyitylkowtedy,gdylim
næŒ
d(xnjx)=0.Stąd
iztwierdzenia1.3.6otrzymujemynastępującywniosek.
27Punktynapłaszczyźnie,podobniejakprzedziałyotwarte,oznaczamyzapomocąna-
wiasówokrągłych,comożeprowadzićdonieporozumień.Jednakzwyklezkontekstujasno
wynika,czychodzioprzedział,czyopunktpłaszczyzny.
28OróżnychkonstrukcjachwykorzystującychilorazowaniepiszeTanakaw[211]war-
tykuleQuotientspacesanddecompositions.