Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
38
PRZESTRZENIETOPOLOGICZNE
przestrzeńdyskretnamocyRoznaczanasymbolemD(R).Istniejąteżmniej
oczywisteprzykładyhomeomorfizmów.
Przykad1.3.19.Wszystkieprzestrzeniezjednympunktemskupienia,
któretejsamejmocy,zesobąhomeomorficzne.Przestrzeniete,oznacza-
nesymbolemA(R),byłyjużomawianewprzykładzie1.1.2.NiechxoEXoraz
goEYbędąjedynymipunktamiskupieniaodpowiednioprzestrzeniXiY,
przyczym|X|=|Y|=RÊ.Wówczaskażdatakabijekcjaf:XæY,przy
którejf(xo)=go,jesthomeomorfizmem.Faktycznie,punktyróżneodxoigo
izolowane,aotoczeniapunktówwyróżnionychmajądopełnieniaskończone.
Ponieważkażdabijekcjaprzeprowadzazbioryskończonenazbioryskończo-
ne,tofunkcjafprzeprowadzaotoczeniapunktuxonaotoczeniapunktugo.
Funkcjafjestzatemhomeomorfizmem.WszczególnościprzestrzeńA(Ê)jest
homeomorficznazprzestrzenią{0}fi{1
n:nEN}Rztopologiądziedziczoną
zprzestrzeniR.
˚
Przykad1.3.20.Przestrzeń(NXN){xo}zprzykładu1.2.36jestho-
meomorficznazpewnąpodprzestrzeniąprzestrzeniX/Fzprzykładu1.3.5,
wktórymX={(njx)ER2:nENorazxE[0j1]},aF={(nj0):nEN}.
RozważmyY={(njx)EX:xE{0}{1
m:mEN}}.Wykażemy,żefunkcja
h:(NXN){xo}æY/F,dlaktórejh(xo)=go=F,orazh(njm)=(nj1
m)
dlakażdego(njm)ENXNjesthomeomorfizmem.PunktyzbioruNXN
izolowane,azatemwystarczysprawdzićciągłośćfunkcjihwpunkciexoicią-
głośćfunkcjih11wpunkciego.Przyjęliśmy,żeotoczeniabazowepunktuxo
postaci
Uf={xo}{(njk)ENXN:nENorazk>f(n)}j
przyczymfENN.Zauważmy,żejeśli(njk)EUf,toh(njk)=(nj1
k)EY.
Rozważmyciąga=(an)Œ
n11(0j1)taki,żean=
f(n).Zgodniezdefinicjąto-
1
pologiiwprzestrzeniY/Fotoczeniamibazowymipunktugozbiorypostaci
Va={go}{(njx)ENXN:nENorazxE(0jan)},azatemh[Uf]=Va
orazh11[Va]=Uf.Stądwynika,żehprzeprowadzawsposóbwzajemnie
jednoznacznyotoczeniabazowepunktuxonaotoczeniabazowepunktygo.
Ponieważinnepunktyizolowane,tohjesthomeomorfizmem.
Wprzykładzie1.2.36pokazanoteż,żeprzestrzeń(NXN){xo}ma
wpunkciexocharakternieprzeliczalny.Stądwynika,żejejobrazhomeomor-
ficzny,awięcprzestrzeńYmacharakternieprzeliczalnywpunkciego.Wkon-
sekwencjitakżeprzestrzeńX/Fzprzykładu1.3.5macharakternieprzeliczal-
nywpunkcie,którypowstajezezlepieniazbioruFdopunku.Stądwynika,
żeilorazowanianiezachowującharakterupunktów.
˚
Zhomeomorfizmamizwiązanezanurzeniatopologiczne.
Definicja1.3.21.Jeślifunkcjaf:XæYjesthomeomorfizmemprze-
strzeniXnazbiórf[X]Yztopologi!dziedziczon!zY,tomówimy,żef