Tulotopologia

Kohteesta Wikipedia
Loikkaa: valikkoon, hakuun

Joukkojen karteesisen tulon topologia voidaan muodostaa kahdella melko luonnollisella tavalla kerrottavien joukkojen topologioista. Näitä kutsutaan laatikko- ja tulotopologiaksi. Nämä eroavat toisistaan, jos kerrottavia joukkoja on äärettömän monta; äärellisessä tapauksessa eroa ei ole.

Määritelmä[muokkaa | muokkaa wikitekstiä]

Olkoon X karteesinen tulo indeksijoukon I yli:

Joukon X tulotopologia on unionit joukosta , jossa jokainen Ui on avoin joukossa Xi ja Ui ≠ Xi vain äärellisen monta kertaa.

Jos edellä indeksijoukko I on äärellinen, ei määritelmän kohdalla "äärellisen monta" ole merkitystä; tämän vuoksi laatikko- ja tulotopologia eivät eroa äärellisten tulojen tapauksessa.

Esimerkkejä[muokkaa | muokkaa wikitekstiä]

Kerrotaan kaksi Sierpińskin avaruutta keskenään. Nimetään selkeyden vuoksi toisen alkiot ja , toisen ja , jolloin topologiat ovat ja vastaavasti . Avaruuden kannaksi tulee , ja avaruuteen tulee (koko joukon ja tyhjän joukon lisäksi) vielä näistä unioni .

Reaalilukujen, joille on määritelty tavanomainen topologia, äärellinen tulo tuottaa tavanomaisen euklidisen topologian joukolle Rn.

Tavallisella topologialla varustettujen reaalilukujen numeroituvasti äärettömässä tulossa avoin ei ole esimerkiksi jono . Sen sijaan on avoin.

Ominaisuuksia[muokkaa | muokkaa wikitekstiä]

  • Erotteluaksioomat
    • T0-avaruuksien tulo on T0-avaruus.
    • T1-avaruuksien tulo on T1-avaruus.
    • T2-avaruuksien (eli Hausdorffin avaruuksien) tulo on T2-avaruus.

Kirjallisuutta[muokkaa | muokkaa wikitekstiä]

Vertailua laatikkotopologiaan[muokkaa | muokkaa wikitekstiä]

Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.