>>146 つづき

自然数全体の成す離散空間の可算無限個のコピーの直積は、無理数全体の成す空間に同相であり、同相写像は連分数展開によって与えられる。二点から成る離散空間 {0, 1} の可算無限個のコピーの直積はカントール集合に同相であり、この直積に直積一様系を考えれば、実は一様同相になる。この同相写像は三進展開から得られる（カントール空間を参照）。

数学基礎論において、{0, 1} の積のコンパクト性の研究は、（選択公理よりも弱い）超フィルター原理への位相的取り組みにおいて中心的である。

密着位相
詳細は「密着空間」を参照
離散空間の対極にあるのが密着空間である（密着空間の位相は自明位相とも呼ばれる）。これは開集合の数が可能な限り最小（つまり空集合と全体集合のみ）となるような空間である。離散位相が始対象・自由対象であるのに対して、密着位相は終対象・余自由対象になる。つまり、位相空間「から」密着空間「への」任意の写像は連続になる、などの性質がなりたつ。

つづく