カテゴリー: 補有限位相
有限補有限位相は離散位相
\[
\left|X\right|<\infty\leftrightarrow\left(X,\mathcal{O}_{c}\right)=\left(X,2^{X}\right)
\]
実数では補有限位相は通常位相より弱い
\[
\mathcal{O}_{c}\subseteq\mathcal{O}_{n}
\]
補有限位相の定義
\[
\mathcal{O}_{c}=\left\{ A\subseteq X;\left|A^{c}\right|<\infty\right\} \land\left\{ \emptyset\right\}
\]