閉集合・閉集合系

閉集合

実数空間\(\mathbb{R} \)の部分集合\(A\)に対して、その補集合\(A^{c}\)が\(\mathbb{R} \)上の開集合であるならば、すなわち、\begin{equation*}
\forall a\in A^{c},\ \exists \varepsilon >0:U_{\varepsilon }\left( a\right)
\subset A^{c}
\end{equation*}が成り立つ場合には、\(A\)を\(\mathbb{R} \)上の閉集合（closed set on \(\mathbb{R} \)）と呼びます。点の近傍の定義を踏まえると、これは、\begin{equation*}
\forall a\in A^{c},\ \exists \varepsilon >0:\left( a-\varepsilon
,a+\varepsilon \right) \subset A^{c}
\end{equation*}と言い換え可能です。つまり、\(A^{c}\)に属するそれぞれの点について、その点を中心とする有界開区間の中に\(A^{c}\)の部分集合であるようなものが存在するならば\(A\)は閉集合です。定義より、\(\mathbb{R} \)の任意の部分集合\(A\)について、\begin{eqnarray*}
A\text{は}\mathbb{R} \text{上の閉集合} &\Leftrightarrow &A^{c}\text{は}\mathbb{R} \text{上の開集合} \\
A\text{は}\mathbb{R} \text{上の閉集合ではない} &\Leftrightarrow &A^{c}\text{は}\mathbb{R} \text{上の開集合ではない}
\end{eqnarray*}という関係が成り立ちます。

数列を用いた閉集合の定義

閉集合という概念を開集合の補集合として定義しましたが、開集合の概念を経由せずに閉集合を定義できるでしょうか。この問いに答えるために、まずは閉集合の性質を数列を用いて記述します。

実数空間\(\mathbb{R} \)の部分集合\(A\)を任意に選びます。その上で、\(A\)の点を項とするとともに収束する数列\(\left\{ x_{n}\right\} \)を任意に選びます。つまり、\begin{eqnarray*}
&&\left( a\right) \ \forall n\in \mathbb{N} :x_{n}\in A \\
&&\left( b\right) \ \lim_{n\rightarrow \infty }x_{n}\in
\mathbb{R} \text{が存在する}
\end{eqnarray*}をともに満たす数列\(\left\{ x_{n}\right\} \)を任意に選ぶということです。一般には、このような数列の極限は\(A\)の点であるとは限りません。しかし、\(A\)が\(\mathbb{R} \)上の閉集合である場合には、このような数列の極限は必ず\(A\)の点になります。つまり、\begin{equation*}
\left( c\right) \ \lim_{n\rightarrow \infty }x_{n}\in A
\end{equation*}が成り立つということです。証明は以下の通りです。

\(\mathbb{R} \)上の閉集合\(A\)の点を項とする収束列\(\left\{ x_{n}\right\} \)の中に、その極限\(\alpha \in \mathbb{R} \)が\(A\)の点でないようなものが存在するものと仮定して矛盾を導きます。\(\alpha \not\in A\)は\(\alpha \in A^{c}\)を含意しますが、閉集合\(A\)の補集合\(A^{c}\)は開集合であるため、開集合の定義より、\begin{equation}
\exists \varepsilon >0:U_{\varepsilon }\left( \alpha \right) \subset A^{c}
\tag{1}
\end{equation}が成り立ちます。これは、\begin{equation*}
\exists \varepsilon >0:U_{\varepsilon }\left( \alpha \right) \cap A=\phi
\end{equation*}と言い換え可能です。一方、\(\alpha \)は数列\(\left\{ x_{n}\right\} \)の極限であるため、上の\(\varepsilon >0\)に対してある番号\(N\in \mathbb{N} \)が存在して、\(n\geq N\)を満たす任意の\(n\in \mathbb{N} \)に対して、\begin{equation*}
\left\vert x_{n}-\alpha \right\vert <\varepsilon
\end{equation*}が成り立ちます。近傍の定義より、これは、\begin{equation*}
x_{n}\in U_{\varepsilon }\left( \alpha \right)
\end{equation*}と言い換え可能ですが、これと\(\left( 1\right) \)より\(x_{n}\in A^{c}\)すなわち\(x_{n}\not\in A\)が成り立ちます。これは数列\(\left\{ x_{n}\right\} \)の任意の項が\(A\)の点であることと矛盾するため、\(\alpha \in A\)であることが示されました。

上の命題の逆もまた成立します（証明は演習問題にします）。

以上の2つの命題より、数列を用いて閉集合を以下のように定義できます。

ちなみに、\(\mathbb{R} \)の部分集合\(A\)の点を項とする収束列の中にその極限が\(A\)の点でないようなものが存在する場合、上の命題より、その集合\(A\)は\(\mathbb{R} \)上の閉集合ではありません。ただ、この場合、この集合\(A\)が\(\mathbb{R} \)上の開集合であるとは限りません。以下の例から明らかです。

閉集合系

実数空間\(\mathbb{R} \)上の閉集合をすべて集めてできる集合系を\(\mathbb{R} \)の閉集合系（system of closed sets）と呼び、これを\(\mathcal{A}\)で表します。

\(\mathbb{R} \)の開集合系を\(\mathcal{O}\)、閉集合系を\(\mathcal{A}\)でそれぞれ表します。このとき、\(\mathbb{R} \)の任意の部分集合\(A\)について、\begin{equation*}
A\in \mathcal{A}\Leftrightarrow A^{c}\in \mathcal{O}
\end{equation*}という関係が成り立ちます。つまり、\(A\)が\(\mathbb{R} \)上の閉集合であることと\(A^{c}\)が\(\mathbb{R} \)上の開集合であることは必要十分です。

\(\mathbb{R} \)の閉集合系\(\mathcal{A}\)を特徴づける1つ目の性質は、それが\(\mathbb{R} \)自身や空集合\(\phi \)を要素として持つということです。言い換えると、\(\mathbb{R} \)と\(\phi \)はいずれも\(\mathbb{R} \)上の閉集合であるということです。実際、\(\phi \)と\(\mathbb{R} \)はともに\(\mathbb{R} \)上の開集合であるため、\(\phi \)の補集合である\(\mathbb{R} \)と、\(\mathbb{R} \)の補集合である\(\phi \)はいずれも\(\mathbb{R} \)上の閉集合です。

\(\mathbb{R} \)の閉集合系\(\mathcal{A}\)を特徴づける2つ目の性質は、\(\mathcal{A}\)に属する有限個の集合を任意に選んだとき、それらの和集合もまた\(\mathcal{A}\)に属するということです。言い換えると、有限個の任意の閉集合の和集合もまた閉集合になるということです。証明は以下の通りです。

有限個の閉集合\(A_{1},\cdots ,A_{m}\in \mathcal{A}\)を任意に選んだとき、それらの補集合\(A_{1}^{c},\cdots ,A_{m}^{c}\)はいずれも開集合です。有限個の開集合の共通部分は開集合であるため、\begin{equation*}
\bigcap\limits_{i=1}^{m}A_{i}^{c}
\end{equation*}は開集合です。したがって、その補集合である、\begin{equation*}
\left( \bigcap\limits_{i=1}^{m}A_{i}^{c}\right)
^{c}=\bigcup\limits_{i=1}^{m}A_{i}
\end{equation*}は閉集合であるため目標は達成されました。

上の命題は有限個の閉集合に関して成立する性質であり、無限個の閉集合に関して同様の命題は成り立つとは限りません。つまり、無限個の閉集合を任意に選んだとき、それらの和集合は閉集合であるとは限りません。以下の例から明らかです。

\(\mathbb{R} \)の閉集合系\(\mathcal{A}\)を特徴づける3つ目の性質は、\(\mathcal{A}\)に属する任意個の集合を任意に選んだとき、それらの共通部分もまた\(\mathcal{A}\)に属するということです。言い換えると、任意個の任意の閉集合の共通部分もまた閉集合になるということです。証明は以下の通りです。

任意の\(\lambda \in \Lambda \)に対して\(A_{\lambda }\in \mathcal{A}\)を満たすような集合族\(\left\{ A_{\lambda }\right\} _{\lambda \in \Lambda }\)を任意に選びます。つまり、この集合族に属する任意の集合\(A_{\lambda }\)は閉集合です。添字集合\(\Lambda \)は任意の集合であるため、問題としている開集合の個数は有限、可算、非可算を含めて何個でも構いません。補集合\(A_{\lambda }^{c}\)は開集合ですが、無限個の開集合の和集合は開集合であるため、\begin{equation*}
\bigcup\limits_{\lambda \in \Lambda }A_{\lambda }^{c}
\end{equation*}は開集合です。したがって、その補集合である、\begin{equation*}
\left( \bigcup\limits_{\lambda \in \Lambda }A_{\lambda }^{c}\right)
^{c}=\bigcap\limits_{\lambda \in \Lambda }A_{\lambda }
\end{equation*}は閉集合であるため目標は達成されました。

次回は内点や内部という概念について解説します。