Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1o
PRZESTRZENIETOPOLOGICZNE
każdegoiŚm,awięcFEV(WjWV1j...jWVm).Ustalmyterazdowolne
GEV(WjWV1j...jWVm).Wówczas
GW(WV1)...(WVm)Wj
awięcGEW+.PonadtodlakażdegoiŚmmamyGWVi=ÿ,awięc
GEV1
i,boGW.Azatem,GEW+V1
1...V1
m,codowodzi,żezbiory
postaci(1.3)tworząbazętopologiiVietorisawzbiorzeexp(X).
Zpostacitejbazywynika,żejeśliwszystkiepodzbioryjednopunktowewX
domknięte6,aprzestrzeńXjestwsobiegęsta,toexp(X)takżejestwsobie
gęsta.Faktycznie,ustalmyzbiórbazowyV(UojU1j...jUn)izauważmy,że
zbioryUojU1j...jUnXnieskończone,bowprzeciwnymraziezbiory
jednopunktowebyłybyotwarte.MożemywięcdlakażdegoiŚnznaleźćdwa
różnepunktyxijgiEUi\{xkjgk:k<i}.Wówczaszbiory{xi:iŚn}oraz
{gi:iŚn}należądoV(UojU1j...jUn)iróżne.Tooznacza,żeżaden
zbiórbazowyniejestjednoelementowy,awięczbioryjednopunktowenie
otwarte.
˚
ZpostacibazywtopologiiVietorisawynika,żejeślimocrodzinywszyst-
kichpodzbiorówotwartychwprzestrzeniXjestrównaRÊ,toprzestrzeń
VietorisamabazęmocyconajwyżejR,borodzinawszystkichpodzbiorów
skończonychzbiorunieskończonegomocyRjestmocyR;p.Dodatek,str.533.
Ważnąrolęwtopologiiodgrywaminimalnamocbazyprzestrzeni.
Definicja1.1.11(wagaprzestrzeni).Wagą7przestrzenitopologicznej
nazywamyminimaln!mocbazytejprzestrzeni,tzn.liczbękardynaln!
w(X)=min{|B|:Bjestbaz!przestrzeniX}.
Jeśliw(X)=Ê,tomówisię,żeXspełniadrugiaksjomatprzeli-
czalności.Opróczwagibędąteżomawianeinneliczbykardynalnezwiązane
zprzestrzeniamitopologicznymi8.
Wagaprzestrzenijestjednąznajważniejszychcharakterystykprzestrzeni
topologicznej.JeślitopologiawprzestrzeniXjestgenerowanaprzezrodzinęR
6Oprzestrzeniach,wktórychzbioryjednoelementowedomknięte,czylioprzestrze-
niachtypuT1,piszemynastr.21idalszych.
7Wliteraturzepolskiej,naprzykładw[153],wagęprzestrzenitopologicznejnazywasię
teżciężarem.Wpublikacjachanglojęzycznychnaokreślenieminimalnejmocybazyużywa
sięokreśleniaweight.Ponieważfrazętheweightofsomethingtłumaczymyzwyklejakowaga
czegoś,tosłusznewydajesięużyciewliteraturzepolskiejsłowawaga.Takiejnazwyużywali
m.in.KnasterorazMioduszewski;p.[354].Winnychdziałachmatematyki,naprzykład
wteoriigrafów,teżpojawiasięsłowo„waga”.Zaprzyjęciemnazwywagaprzemawiatakże
powszechnieprzyjęteoznaczeniew(X).
8KompendiumwiedzynatentematznajdujesięwksiążkachEngelkinga[153]iJu-
hásza[250]oraz[251].Nowszewyniki,alebezdowodów,omówionewdwuczęściowym
artykuleTamanoCardinalfunctionsw[211].Niecostarszetwierdzenia(zdowodami)znaj-
dująsięwartykuleprzeglądowymHodelaCardinalfunctionsI,w[293].