Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
44
PRZESTRZENIETOPOLOGICZNE
Zauważmy,żerodzina{Vn:nEN}składasięzezbiorówparamiroz-
łącznych.Faktycznie,jeślin<k,toVkUn,aVnUn=ÿ.Otrzymana
sprzecznośćkończydowód.
Jeślizkażdegoelementurodzinyzbiorówotwartychniepustychparami
rozłącznychwybierzemypunkt,tootrzymamyzbiór,któryrozważanyztopo-
logiądziedziczonąjestdyskretny.Ztwierdzenia1.4.9wypływawięcnastępu-
jącywniosek.
Wniosek1.4.10.KażdanieskończonaprzestrzeńHausdorfiazawierapod-
przestrzeńnieskończon!dyskretn!.
Będziemyrozważaćjedynieprzypadki,gdyliczbaSuslinajestnieskoń-
czona.Namocywarunku(1.22)dlaprzestrzeninieskończonychmamyzatem
następującenierówności
c(X)Śd(X)Św(X)Św(X).
(1.23)
Pierwszanierównośćwynikaztego,żejeśliRjestrodzinązbiorówniepustych
otwartychwX,paramirozłącznych,aDXjestzbioremgęstym,tokażdy
elementrodzinyRzawierapewienelementzbioruD,przyczymróżnezbiory
zawierająróżneelementyzbioruD,azatem|R|Ś|D|.Druganierównośćwy-
nikaztego,żejeślizkażdegoelementu-bazywybierzemypojednympunk-
cie,todostaniemyzbiórgęsty.Trzecianierównośćwynikazwarunku(1.6).
Zwarunku(1.23)wynikawszczególności,żeliczbaSuslinaprzestrzeniRjest
przeliczalna,bozbiórliczbwymiernychjestgęstywtejprzestrzeni.Funkcje
ciągłezachowująliczbęSuslina.Mamybowiemnastępującylemat.
Lemat1.4.11.Jeślif:XæYjestci!gł!surjekcj!,toc(Y)Śc(X).
Dowódjestoczywisty.JeśliDjestrodzinązbiorówparamirozłącznych
otwartychwY,to{f11[U]:UED}jestrodzinązbiorówparamirozłącznych
otwartychwX.Przeciwieństwemzbiorówgęstychzbiorybrzegowe.
Definicja1.4.12(zbiórbrzegowy).ZbiórAXnazywamybrzego-
wym,jeśliIntA=ÿjtzn.gdyAniezawierażadnegozbioruotwartegoniepu-
stego.
Zauważmy,żebrzegzbioru,czylizbiórBdA(p.definicja1.2.26)niemusi
byćzbiorembrzegowym.Faktycznie,jeślizbioryAiX\Abrzegowe,to
BdA=X;p.wzór(1.14).PrzykłademjestzbiórQR.
Lemat1.4.13.Zbiórjestbrzegowywtedyitylkowtedy,gdyjegodopełnie-
niejestzbioremgęstym.
DowódlematuwynikabezpośredniozrównościIntA=X\cl(X\A);
patrzstr.24.Dlazbiorówdomkniętychmamyjednakfaktnastępujący.
Lemat1.4.14.ZbiórAXjestzarazembrzegowyidomkniętywtedy
itylkowtedy,gdyBdA=A.