Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
2.METRYKA,WNĘTRZEIDOMKNIĘCIEZBIORU
25
NietrudnowskazaćpodzbiórzbioruRliczbrzeczywistychztopologiąnatu-
ralną,którytorealizuje.Jestnimnaprzykładzbiór
A=((1j1)\{0})((2j3)Q){4}.
Lemat1.2.19jestmotywacjądlanastępującejdefinicji.
Definicja1.2.20(zbioryregularnieotwarte,regularniedomknięte).Zbiór
UXjestregularnieotwartywprzestrzeniX,gdyIntclU=UjaFX
jestregularniedomknięty,gdyclIntF=F.Rodzinęwszystkichpodzbio-
rówregularnieotwartychwprzestrzeniXoznaczamyjakoRO(X),arodzinę
wszystkichpodzbiorówregularniedomkniętychjakoRC(X).
Zbioryregularnieotwarteiregularniedomknięte19zostaływprowadzone
w1922r.przezKuratowskiego[294]iodgrywająważnąrolęwtopologiiiteorii
mnogości.Zauważmy,żeelementyrodzinyRO(X)zbioramiotwartymi,
aelementyrodzinyRC(X)zbioramidomkniętymi.
Lemat1.2.21.JeśliUERO(X),toX\UERC(X),ajeśliFERC(X),
toX\FERO(X).
Dowód.Załóżmy,żezbiórUXjestregularnieotwarty.Wówczasna
mocylematu1.2.18zachodzirównośćU=IntclU=X\cl(X\clU),awięc
X\U=cl(X\clU).Jednocześnienamocytegosamegolematumamy
clInt(X\U)=cl(X\cl(X\(X\U)))=cl(X\clU)j
awięcclInt(X\U)=X\U.Drugączęśćtezydowodzisięanalogicznie.
Zlematu1.2.19wynikanastępującywniosek.
Wniosek1.2.22.JeśliFjestzbioremdomkniętym,aUzbioremotwar-
tym,toIntFERO(X),aclUERC(X).
Dowód.Faktycznie,skoroclF=F,to
IntclIntF=IntclIntclF=IntclF=IntFj
cokończydowód.
Domknięcieiloczynuzbiorówniejesttymsamym,coiloczynichdomknięć.
WidaćtowprzestrzeniRnaprzykładziedwóchprzedziałówotwartychstyka-
jącychsiękońcami.Tosamodotyczywnętrzasumyzbiorów.Zachodzijednak
następującyważnyzwiązekmiędzytymioperacjami.
Twierdzenie1.2.23.JeślizbioryUjVXs!otwarte,to
Intcl(UV)=IntclUIntclV.
19WksiążceEngelkinga[153]zbiorytenazywaneodpowiedniodziedzinamiotwartymi
idziedzinamidomkniętymi.