Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1.GENEROWANIETOPOLOGII,BAZYIPODBAZY
5
RodzinaT=D(X)jestwoczywistysposóbtopologiąnaX.Wtejtopolo-
giikażdypodzbiórzbioruXjestotwartyizarazemdomknięty.Takątopologię
nazywamydyskretną.Zbiórztopologiądyskretnąnazywamyprzestrzenią
dyskretną.Naprzeciwnymkrańcutopologieantydyskretne,czylitakie,
wktórychjedynymizbioramiotwartymiXorazÿ.PunktxEXnazy-
wamypunktemizolowanym,gdy{x}ET,tzn.gdyzbiórzłożonyjedynie
zpunktuxjestotwarty.Wprzestrzenidyskretnejwszystkiepunktyzatem
izolowane.PunktprzestrzeniX,któryniejestizolowany,nazywamypunk-
temskupieniaprzestrzeniX.Zilustrujemytepojęciaprostymiprzykładami.
Przykad1.1.2(przestrzeńzjednympunktemskupienia).WzbiorzeX
mocyRÊustalmypunktxoiokreślmytopologięnaXwzorem
T={UX:xo/
EUlub|X\U|<Ê}.
RodzinaTjesttopologią,bozbiórpustyjestskończony,sumadwóchzbiorów
skończonychjestzbioremskończonym,apodzbiórzbioruskończonegotak-
żejestskończony.DlakażdegoxEX\{xo}zbiórjednopunktowy{x}jest
otwarty,awięckażdypunktpozapunktemxojestizolowany.Przestrzenie
zjednympunktemskupieniamocyRÊoznaczamysymbolemA(R).Poka-
żemypóźniej(p.przykład1.3.19),żewłasnościtopologicznetychprzestrzeni
zależątylkoodichmocy.
˚
Więcejoprzestrzeniachzjednympunktemskupienianapiszemywprzy-
kładach1.2.7,1.3.19oraz1.7.4.Jeśliwprzestrzeniniepustejniemapunktów
izolowanych,tomówimy,żejestonawsobiegęsta.Przykładprzestrzeni
wsobiegęstej,któryterazopiszemy,pochodzizpracy3Furstenberga[177].
Przykad1.1.3(przestrzeńFurstenberga).WzbiorzeZwszystkichliczb
całkowitychdladowolnychxEZoraznEN,określamynieskończonypostęp
arytmetycznywzorem
x+nZ={x+na:aEZ}.
TopologiaFurstenbergazadanajestnazbiorzeZwzorem
T={UZ:(VxEU)(÷nEN)(x+nZU)}.
Zdefinicjiwynika,żeZEToraztRETdladowolnejrodzinyRT.
Ponadto,jeśliUjVET,toUVET.Faktycznie,dlakażdegoxEUV
istniejątakienjmEN,żex+nZUorazx+mZV.Wówczas
x+nmZ(x+nZ)(x+mZ)UV.
ZbioryniepusteotwartewtopologiiFurstenberganieskończone,awięc
zbioryjednopunktowynieotwarte,czyliprzestrzeńtajestwsobiegęsta.
˚
jestciałemzbiorów,gdyXœR,adladowolnychUjVœRtakżeU\VœR.WtedyÿœR,
azprawdeMorganawynika,żewówczastakżeX\VjUVjUVœR.
3CelempracyFurstenberga,któramazaledwie12wierszy(nielicząctytułuinazwiska
autora),byłtopologicznydowódtwierdzenia,żezbiórliczbpierwszychjestnieskończony;
p.przykład1.1.15,atakżeAigneriZiegler[3],str.15.