Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1.GENEROWANIETOPOLOGII,BAZYIPODBAZY
11
ijestnieskończona9,tozgodnieztwierdzeniem1.1.7w(X)Ś|R|.Zauważmy,
żew(R)=Ê.Wynikatozdefinicjitopologiinazbiorzeliniowouporządko-
wanym(p.przykład1.1.4)istąd,żekażdyprzedziałotwartywRjestsumą
przeliczalniewieluprzedziałówokońcachwymiernych,bopomiędzykażdymi
dwomaliczbamirzeczywistymijestliczbawymierna.Odnotujmydwieważne
własnościbazy.
Lemat1.1.12.JeśliRjestrodzin!zbiorówotwartychwprzestrzeniX,to
istniejetakapodrodzinaWR,że|W|Św(X)oraztW=tR.
Dowód.NiechBbędzietakąbaząwprzestrzeniX,że|B|=w(X).Dla
każdegoxEtRwybierzmytakieUER,żexEU,itakieotoczenieUxEB
punktux,żexEUxU.Skoro|B|=w(X),toU={Ux:xEtR}jestmocy
conajwyżejw(X).PonieważkażdyzezbiorówUxjestzawartywpewnym
elemencierodzinyR,todlakażdegoUEUmożemywybraćdokładniejedno
takieW(U)ER,żeUW(U).WówczasrodzinaW={W(U):UEU}jest
mocyconajwyżejw(X)oraztW=tR.
Lemat1.1.13.Jeśliw(X)Ê,todlakażdejbazyBwprzestrzeniX
istniejetakabazaBÕB,że|BÕ|=w(X).
Dowód.NiechSbędzietakąbaząwX,że|S|=w(X).Namocylema-
tu1.1.12dlakażdegoUESmożemywybraćtakieBUB,że|BU|Św(X)
orazU=tBU.WówczasBÕ=t{BU:UES}jestbaząwprzestrzeniX,
ajednocześnie|BÕ|Św(X)·w(X)=w(X).
Definicja1.1.14(przestrzeńzerowymiarowa).Przestrzeń,którejtopolo-
giamabazęzłożon!zezbiorówdomknięto-otwartych,nazywamyprzestrzeni!
zerowymiarową1o.
Każdaprzestrzeńdyskretnajestzerowymiarowa.Takżeprzestrzeńzjed-
nympunktemskupieniaopisanawprzykładzie1.1.2jestzerowymiarowa,bo
wszystkiezbioryjednopunktowe,zwyjątkiemxo,domknięto-otwarte,ado-
pełnieniaotoczeńpunktuxotakżeotwarte.Przestrzeniązerowymiarową
jesttakżezbiórliczbrzeczywistychztopologiąSorgenfreya(p.przykład1.1.8).
Kolejnyprzekładprzestrzenizerowymiarowejjestmniejoczywisty.
Przykad1.1.15(przestrzeńFurstenbergajestzerowymiarowa).Zdefi-
nicjitopologiiFurstenberga(przykład1.1.3)wynika,żerodzina
B={x+nZ:xEZoraznEN}
9Nazbiorzeskończonymkażdatopologiamaskończeniewieleelementów.Abyniewcho-
dzićwzagadnieniakombinatoryczne,będziemyzakładali,żewszystkierozważanetuprze-
strzenienieskończone,awszystkieliczbykardynalneznimizwiązane,takiejaknaprzy-
kładwaga,takżenieskończone.
1oPrzestrzeniezerowymiaroweodgrywająważnąrolewlogice,teoriimnogościorazteorii
algebrBoole’a;p.artykułBalcaraiCoplákovejZero–DimensionalSpacesw[211].