Avaa päävalikko

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

Sisällysluettelo

MääritelmäMuokkaa

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

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.

OminaisuuksiaMuokkaa

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

LähteetMuokkaa

  1. Suominen, Kalevi & Vala, Klaus: Topologia, s. 119–120. Gaudeamus, 1965. ISBN 951-662-050-7.

KirjallisuuttaMuokkaa

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