定理 (Kuratowski, 1922) を位相空間とする。このとき、の部分集合に対して閉包および補集合を取る操作を繰り返しても高々14個の集合しか得られない。また、実際に相異なる14個の集合が得られる例がある。この定理の証明を解説します。 Kuratowskiモノイド …