「多様体の基礎」を再び読み直しています。

まずは準備の段階なんですが、開集合、閉集合の話が出てきました。

開集合は近傍の観点から定義されているのに対して、閉集合は点列の収束の観点から定義されているんですよね。

開集合の反対が閉集合という風に簡単に定義することは出来ないんですね。