閉包と導集合

こんにちは．みるか（ @mirucaaura ）です．
タイトルをつけるのが難しいですね．今回は，悩んだことのメモとなります．早速ですが，次の命題について考えます．

この命題を証明するにあたって，$\overline{A} \subset A \cup A^d$かつ$A \cup A^d \subset \overline{A}$であることを示せばよいわけですが，$\overline{A} \subset A \cup A^d$を示すにあたって書籍[1]には次のように書かれていました．

$\overline{A} \subset A \cup A^d$を示すためには，$\overline{A}$の定義より，$A \cup A^d$が閉集合であることを示せばよい．

恥ずかしながら，この一行にかなりの時間を費やしてしまったので，備忘として本記事に残しておきたいと思った次第です．結論としては，以下の通りです：

うーん...言われてみると確かにそうですね．ただ，自分でこの論法を思いつくのは厳しいかも．そして論理を追うのが自分だけでは厳しかった...教えてくださった方々ありがとうございました．

さて，本記事で$A\cup A^d$が閉集合であることを実際に示すことはしませんが，より自然な方法で$\overline{A} \subset A \cup A^d$を示しておきたいと思います．なお，以下では閉包の定義として補遺に示した定義を用いることに注意されたい．

$\overline{A} \subset A \cup A^d$であることを示すためには，任意の$x\in\overline{A}$が$x\in A \cup A^d$となることを示せばよいです．

まず，$x\in A$のときは$x \in A \cup A^d$となるので問題ありません．一方，$x \notin A$のときは閉包の定義より，$x$は$A$の触点全体の集合に含まれるので．任意の$\varepsilon > 0$に対して，
\begin{align} B(x, \varepsilon) \cap \left( A \setminus \{x\}\right) = B(x, \varepsilon) \cap A \neq \emptyset \end{align}
が成り立ちます．一つ目の等号が成り立つのは，いま$x\notin A$より，集合$A$は点$x$を含まないので，$A\setminus\{x\} = A$が成り立つからです．集積点の定義より，点$x$は$A$の集積点であり，$x\in A^d \subset A \cup A^d$となります．

以上より，任意の$x \in \overline{A}$に対して$x \in A \cup A^d$であることが示されたので，$\overline{A} \subset A \cup A^d$となります．

Reference

• 『 工学のための関数解析 』（山田）

補遺

「導集合」や「閉包」や「集積点」などと言った用語が出てきたので定義をまとめておきます．以下では，距離空間$(X.d)$の部分集合$A\subset X$について考えます．一般の位相空間にも拡張できる話ではあると思いますが，距離空間ということにしておきます．