コンパクトからHausdorffの連続全単射は同相であることの代数的な証明

コンパクト空間$X$からHausdorff空間$Y$への連続全単射が同相であることは位相空間論で有名な命題であるが、これはフィルターの収束という概念を用いれば"代数的"に示すことができる。フィルターによる位相空間論については[1]などによくまとまっていて、以下で引用する命題の証明などもそこを参照されたい。ただし、宗教上の理由により$f:X\to Y$と$X$上のフィルター$\mathcal{F}$に対して順像フィルターを$f_{\ast }[\mathcal{F}]$と表し、また$Y$上のフィルター$\mathcal{G}$に対して逆像フィルターを$f^{\ast }[\mathcal{G}]$と以下では表している。

以下に群の場合の全単射群準同型が同型であることの証明を見てみよう。

このように証明にアナロジーがあることが分かるだろう。これらはモナド上の代数の言葉を使えば部分的に説明できる。群の圏$\mathsf{Grp}$とコンパクトHausdorff空間の圏$\mathsf{CHaus}$どちらの$\mathsf{Set}$への忘却関手もモナディックであることが背景にある。すなわち群の圏やコンパクトHausdorffの圏もあるモナド上の代数の圏と同値になる。群の場合は自由群モナドと呼ばれる、集合$X$から$X$で生成された自由群$F(X)$の台集合を返すモナドであり、コンパクトHausdorff空間の場合は超フィルターモナド$\beta$と呼ばれる集合$X$から$X$上の超フィルター全体$\beta (X)$を返すモナドとなる。具体的に代数としてはコンパクトHausdorff空間の場合、任意の超フィルターは収束先が一意に存在することから超フィルターを受け取って収束先を返すという無限項の演算を構造として持った代数として理解できる。そのような一般の$\mathsf{Set}$上のモナドの代数の圏に対して全単射準同型は同型であることが示せる。その証明を修正したものが上の証明になっている。

一般に位相空間をフィルターの収束により圏論的に扱う方法として関係$\beta$加群 (relational $\beta$ module) というのがBarr[2]によって考えられており、また倍圏$\mathbb{R}\mathsf{el}$上の超フィルターモナド$\beta$による$\beta$-モノイドとして扱えるため、豊穣圏や多重圏、距離空間などと統一的に扱うフレームワークも考えられているらしい[3]。