Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
2.METRYKA,WNĘTRZEIDOMKNIĘCIEZBIORU
27
Punktxnależyzatemdobrzeguzbioruwtedyitylkowtedy,gdykażde
jegootoczenieprzecinazarównoA,jakiX\A.Ponieważnamocywzoru(1.12)
mamyclA=X\Int(X\A)orazcl(X\A)=X\IntA,tonamocyprawa
deMorganadostajemyX\BdA=(X\clA)(X\cl(X\A)),awięc
BdAIntAInt(X\A)=X.
Ponieważ(p.wzór(1.12))cl(X\A)=X\IntA,tomamyteż
BdA=clA\IntA.
(1.14)
(1.15)
Zewzoru(1.13)wynika,żebrzegzbiorujestzbioremdomkniętymijest
takisamjakbrzegjegodopełnieniaorazże
clA=ABdA.
(1.16)
Faktycznie,jeślixEclAix/
EA,toxEclA(X\A)clAcl(X\A)=BdA.
Inkluzjaodwrotnajestoczywista,boAclAorazBdAclA.
Lemat1.2.27.ZbiórUXjestdomknięto-otwartywXwtedyitylko
wtedy,gdyBdU=ÿ.
Dowód.JeśliBdU=clUcl(X\U)=ÿ,tonamocywzoru(1.12)
mamyUclUX\cl(X\U)=IntUU,awięcU=clU=IntU.Zbiór
Ujestzatemdomknięto-otwarty.Implikacjaodwrotnajestoczywista.
Przypomnijmy,że(patrzstr.5)punktskupieniaprzestrzenitotakipunkt,
któryniejestizolowany.Relatywizująctopojęciedopodprzestrzeniikorzy-
stajączlematu1.2.25,otrzymujemynastępującądefinicję.
Definicja1.2.28(pochodnazbioru).PunktxEXnazywamypunktem
skupieniazbioruA,jeśliU(A\{x})=ÿdlakażdegootoczeniaUX
punktux,tzn.gdyxEcl(A\{x}).Zbiórwszystkichpunktówskupieniazbioru
AXoznaczamysymbolemAdinazywamypochodną21zbioruA.Punkt,
któryniejestpunktemskupieniacałejprzestrzeni,nazywamyizolowanym.
Zdefinicjiwynika,żeprzestrzeńXjestwsobiegęsta,gdyXd=X,
aprzestrzeńXjestdyskretna,gdyXd=ÿ.
Lemat1.2.29.Operacjapochodnejmanastępuj!cewłasności:
(1)clA=AAd;
(2)jeśliAB,toAdBd;
(3)(AB)d=AdBd.
Lemat1.2.29łatwowynikazdefinicjiizlematu1.2.25.Pozostawiamygo
więcbezdowodu.Wprzestrzeniachmetrycznychdomknięciezbioruipochod-
zbiorumożnaopisaćzapomocągranicciągów.
21Tanazwamożebudzićbłędneskojarzeniezpochodnąfunkcji.Jednakangielskiede-
rivedsettrudnoinaczejprzetłumaczyćnajęzykpolski.