Ero sivun ”Tulotopologia” versioiden välillä

Kerrotaan kaksi Sierpińskin avaruutta keskenään. Nimetään selkeyden vuoksi toisen alkiot <math>a</math> ja <math>b</math>, toisen <math>0</math> ja <math>1</math>, jolloin topologiat ovat <math>\{\varnothing, \{a\}, \{a,b\}\}</math> ja vastaavasti <math>\{\varnothing, \{0\}, \{0,1\}\}</math>. Avaruuden [[Kanta (topologia)|kannaksi]] tulee <math>\{\{(a,0)\}, \{(a,0), (a,1)\}, \{(a,0), (b,0)\}\}</math>, ja avaruuteen tulee (koko joukon ja tyhjän joukon lisäksi) vielä näistä unioni <math>\{(a,0), (a,1), (b,0)\}</math>.