Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
4
PRZESTRZENIETOPOLOGICZNE
Rozwójmatematyki,aszczególnieanalizymatematycznej,wXIXwie-
kuspowodowałpotrzebędoprecyzowaniapewnychpojęć(takichjakciągłość,
zbieżność,dowolnieblisko,nieskończeniemałe,liczbyniewymierne)opartych
wcześniejnaintuicjachgeometrycznychorazfizycznych.Todoprowadziłodo
koniecznościstworzenianowychpodstawmatematyki,którymiokazałysię
topologiaiteoriamnogości.Przyjmujesię,żepierwszawpełniprecyzyjna
iogólnadefinicjatopologiizostałasformułowanawksiążceGrundzügeder
MengenlehreHausdorIa[215]w1914r.Pierwsząksiążkęotopologiiwjęzyku
polskimnapisałSierpiński[432]w1928r.Termintopologiazostałwprowadzo-
nyprzezListinga,uczniaGaussa,jużw1847r.Badaczehistoriimatematyki
odnajdująjednakpoczątkitopologiiwpismachEuleraorazGaussa,anawet
Leibniza1.Orozwojupojęćtopologicznychorazichgeneziemożnaprzeczy-
tać,opróczwspomnianejjużwewstępieksiążkiJamesa[240],wmonografiach
AullaiLowena[21],orazEngelkinga[153].
Definicja1.1.1(topologia).JeśliXjestzbioremniepustym,torodzinę
TD(X)nazywamytopologiąnaX,gdyspełniones!następuj!cewarunki:
(a)XET;
(b)jeśliUjVET,toUVET;
(c)jeśliRT,totRET.
Parę(XjT)nazywamywówczasprzestrzeniątopologiczną.
Mniejformalnie,przestrzeńtopologicznajesttozbiórwrazzpewnątopo-
logią,którajestnanimokreślona.Namocyzasadyindukcjimatematycznej
warunek(b)możnauogólnićnadowolnąskończonąliczbęelementówrodziny
T.Zauważmy,żedokażdejtopologiinazbiorzeXopróczzbioruXnależy
takżezbiórpusty,bojeśliwwarunku(c)przyjmiemyR=ÿ,tootrzymamy
ÿ=tRET.Nadanymzbiorzeistniejezwyklewieletopologii.Jeślitopolo-
giaTwprzestrzeni(XjT)jestustalona,tozamiast„przestrzeńtopologicz-
na(XjT)”piszemykrótko„przestrzeńX
.ElementytopologiiTnazywamy
zbioramiotwartymi(wdanejtopologii),aichdopełnieniazbioramido-
mkniętymi.ZbiórXjestzatemotwarty,przecięcieskończeniewieluzbiorów
otwartychjestzbioremotwartymisumadowolniewieluzbiorówotwartych
takżejestzbioremotwartym.Podobnieÿjestzbioremdomkniętym,suma
skończeniewieluzbiorówdomkniętychjestzbioremdomkniętymiprzecięcie
dowolnejrodzinyzbiorówdomkniętychtakżejestzbioremdomkniętym.
Zbiór,któryjestzarazemdomkniętyiotwarty,nazywamydomknięto-
otwartym.ZbioryÿiXdomknięto-otwartewkażdejtopologiinaX.Niech
CO(X)oznaczarodzinęwszystkichzbiorówdomknięto-otwartychwprzestrze-
niX.RodzinaCO(X)jestciałemzbiorów,czylijestzamkniętazewzględu
naskończonesumyiiloczyny2.
1WliteraturzepolskiejohistoriimatematykimożnaprzeczytaćwksiążceJuszkiewi-
cza[255],atakżewksiążkachKordosa[280]iMioduszewskiego[353]oraz[355].
2Ciałazbiorów,oprócztopologii,występująteżwinnychdziałachmatematyki,takich
jakteoriamnogości,teoriamiaryikombinatoryka.Przypomnijmy,żerodzinaRP(X)