Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1.GENEROWANIETOPOLOGII,BAZYIPODBAZY
13
Zdefinicjiwynika,żekażdypodzbiórprzestrzenitopologicznejXjestprze-
strzeniątopologicznąztopologiądziedziczonązprzestrzeniX.JeśliYX
jestpodzbioremotwartym(domkniętym),tomówimyteż,żeYjestpodprze-
strzeniąotwartą(domkniętą).Podobnie,jeśliYztopologiądziedziczo-
zXjestprzestrzeniądyskretną,tomówimy,żeYjestpodprzestrzenią
dyskretną.Zauważmy,żetopologianaturalnawzbiorzeliczbnaturalnych
NdziedziczonazRjestdyskretna,bodlakażdejliczbynaturalnejistnieje
przedziałotwarty,któryzawieratylkojednąliczbę.Przecięciazbiorówba-
zowychwXzpodprzestrzeniąYtworząbazęwpodprzestrzeniY,aprzecięcia
zbiorówpodbazowychzpodprzestrzeniątworząpodbazęwtejpodprzestrzeni.
Przykad1.1.17(przestrzeńliczbwymiernychiniewymiernych).Ponie-
ważwkażdymniepustymprzedzialeotwartymjestliczbaniewymierna,to
przestrzeńliczbwymiernychztopologiądziedziczonązRmabazęzłożoną
zezbiorówpostaci(xjg)Q,gdziexjgEP=R\Q.Skorojednakxig
niewymierne,to(xjg)Q=[xjg]Q,awięcQmabazęzłożonązezbiorów
domknięto-otwartych.Jestzatemprzestrzeniązerowymiarową.PrzestrzeńQ
mateżbazęzłożonązezbiorówpostaci(Tjw)Q,gdzieTjwEQ,awięcma
bazęprzeliczalną.Zlematu1.1.13wynikawięc,żeQmabazęprzeliczalną
złożonązezbiorówdomknięto-otwartych.Argumentującpodobnie,stwierdza-
my,żetakżeprzestrzeńPliczbniewymiernychjestzerowymiarowaimabazę
przeliczalną.
˚
TopologianaturalnawzbiorzeRobciętadoprzedziałuI=[0j1]jesttaka
samajaktopologiawyznaczonaprzezporządekwprzedziale[0j1].Podbazę
tejtopologiitworzyrodzinaprzedziałów
{[0ja):aE(0j1)}{(bj1]:bE(0j1)}.
(1.5)
Nietrudnozauważyć,żejesttorodzinawszystkichprzecięćzbioru[0j1]zprze-
działamipostaci(Ωja)oraz(bjæ),któretworząpodbazętopologiinaturalnej
wR.NaogółtopologiaporządkowanazbiorzeXobciętadopodzbioruYX
możemiećwięcejzbiorówotwartychniżtopologiaporządkowawyznaczona
przeztensamporządeknazbiorzeY,którywyznaczałtopologięnaX12.Na
przykład,wtopologiiprzestrzeniY={≠1}(0j1]X=Rdziedziczo-
nejzprzestrzeniRpunktx=1jestizolowany,awtopologiiporządkowej
wyznaczonejprzezporządekdziedziczonyzRjestpunktemskupieniatego
zbioru.
Ważnymprzykłademtopologiiwyznaczonejprzezporządekjestprzestrzeń
opisanaporazpierwszywpracyAleksandrowaiUrysohna[10]w1929r.,
atakżejejpodprzestrzeńnazywanastrzałką13.Wykorzystamypóźniejdo
zilustrowaniakilkupojęćtopologicznych.Terazjeszczejednadefinicja.
12Wieleinformacjioprzestrzeniachliniowouporządkowanychiichpodprzestrzeniach
możnaznaleźćwartykuleBennettaiLutzeraw[236].
13TasamaprzestrzeńzostałaponownieodkrytaprzezSorgenfreyawpracy[451],wktó-
rejopisanowielejejwłasności;p.przykład1.1.8.Więcejinformacjinatentematmożna
znaleźćwartykuleCameronaw[21],str.791–796.