閉集合・閉集合系

実数空間 R の部分集合 A に対して、その補集合が R 上の開集合であるならば、A を R 上の閉集合と呼びます。閉集合は収束する数列を使って定義することも可能です。
< 前のページ
次のページ >

閉集合

実数空間\(\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*}という関係が成り立ちます。

例(1点集合は閉集合)
点\(a\in \mathbb{R} \)を任意に選んだ上で、その点だけを要素とする\(\mathbb{R} \)の部分集合\(\left\{ a\right\} \)について考えます。さらに、その補集合\begin{equation*}
\mathbb{R} \backslash \left\{ a\right\} =\left( -\infty ,a\right) \cup \left( a,+\infty
\right)
\end{equation*}をとります。無限区間である\(\left( -\infty ,a\right) \)と\((a,+\infty )\)はともに\(\mathbb{R} \)上の開集合です。開集合どうしの和集合もまた開集合であるため、\(\left( -\infty ,a\right) \cup \left( a,+\infty \right) \)すなわち\(\mathbb{R} \backslash \left\{ a\right\} \)は\(\mathbb{R} \)上の開集合です。したがって、その補集合である\(\{a\}\)は\(\mathbb{R} \)上の閉集合です。\(\mathbb{R} \)上の任意の1点集合は閉集合であるということです。
例(有界閉区間は閉集合)
\(a<b\)を満たす点\(a,b\in \mathbb{R} \)を任意に選んだ上で、それらを端点とする\(\mathbb{R} \)上の有界な閉区間\(\left[ a,b\right] \)について考えます。さらに、その補集合\begin{equation*}
\left[ a,b\right] ^{c}=\left( -\infty ,a\right) \cup \left( b,+\infty
\right)
\end{equation*}をとります。無限区間である\(\left( -\infty ,a\right) \)と\((b,+\infty )\)はともに\(\mathbb{R} \)上の開集合です。開集合どうしの和集合もまた開集合であるため、\(\left( -\infty ,a\right) \cup \left( b,+\infty \right) \)すなわち\(\left[ a,b\right] ^{c}\)は\(\mathbb{R} \)上の開集合です。したがって、その補集合である\(\left[ a,b\right] \)は\(\mathbb{R} \)上の閉集合です。\(\mathbb{R} \)上の任意の有界閉区間は閉集合であるということです。
例(無限半閉区間は閉集合)
点\(a\in \mathbb{R} \)を任意に選んだ上で、それを端点とする\(\mathbb{R} \)上の無限半閉区間\([a,+\infty )\)について考えます。さらに、その補集合\begin{equation*}
\lbrack a,+\infty )^{c}=\left( -\infty ,a\right)
\end{equation*}をとります。無限半開区間は\(\mathbb{R} \)上の開集合であるため、\(\left( -\infty ,a\right) \)すなわち\([a,+\infty )^{c}\)は\(\mathbb{R} \)上の開集合です。したがって、その補集合である\([a,+\infty )\)は\(\mathbb{R} \)上の閉集合です。無限半開区間\((-\infty ,a]\)も同様に\(\mathbb{R} \)上の閉集合です。\(\mathbb{R} \)上の任意の無限半閉区間は閉集合であるということです。
例(無限半開区間は閉集合ではない)
点\(a\in \mathbb{R} \)を任意に選んだ上で、それを端点とする\(\mathbb{R} \)上の無限半開区間\((a,+\infty )\)について考えます。さらに、その補集合\begin{equation*}
\left( a,+\infty \right) ^{c}=(-\infty ,a] \end{equation*}をとります。この無限半閉区間\((-\infty ,a]\)の端点\(a\)に注目すると、\(a\)を中心とする任意の近傍は\((-\infty ,a]\)の部分集合でないため、\((-\infty ,a]\)は開集合ではありません。したがって、その補集合である\(\left( a,+\infty \right) \)は\(\mathbb{R} \)上の閉集合ではありません。無限半開区間\(\left( -\infty ,a\right) \)も同様に\(\mathbb{R} \)上の閉集合ではありません。\(\mathbb{R} \)上の任意の無限半開区間は閉集合ではないということです。
例(有界半閉区間は閉集合ではない)
\(a<b\)を満たす点\(a,b\in \mathbb{R} \)を任意に選んだ上で、それらを端点とする\(\mathbb{R} \)上の有界な半閉区間\([a,b)\)について考えます。さらに、その補集合\begin{equation*}
\lbrack a,b)^{c}=\left( -\infty ,a\right) \cup \lbrack b,+\infty )
\end{equation*}をとります。無限半開区間である\(\left( -\infty ,a\right) \)は開集合、無限半閉区間である\([b,+\infty )\)は閉集合です。さらに\(a<b\)よりこれらは互いに素です。そこで、点\(b\)に注目すると、\(b\)を中心とする任意の近傍は\(\left( -\infty ,a\right) \cup \lbrack b,+\infty )\)の部分集合でないため、\(\left( -\infty ,a\right) \cup \lbrack b,+\infty )\)すなわち\([a,b)^{c}\)は\(\mathbb{R} \)上の開集合ではありません。したがって、その補集合である\([a,b)\)は\(\mathbb{R} \)上の閉集合ではありません。有界半閉区間\((a,b]\)も同様に\(\mathbb{R} \)上の閉区間ではありません。\(\mathbb{R} \)上の任意の有界半閉区間は閉集合ではないということです。

 

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

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

実数空間\(\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\)であることが示されました。

命題(閉集合であるための必要条件)
実数空間\(\mathbb{R} \)上の閉集合\(A\)が与えられたとき、\(A\)の点を項とする任意の収束列\(\left\{ x_{n}\right\} \)の極限もまた\(A\)の点になる。
証明を見る(プレミアム会員限定)

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

命題(閉集合であるための十分条件)
実数空間\(\mathbb{R} \)の部分集合\(A\)が与えられたとき、\(A\)の点を項とする任意の収束列\(\left\{ x_{n}\right\} \)の極限もまた\(A\)の点であるならば、\(A\)は\(\mathbb{R} \)上の閉集合になる。
証明を見る(プレミアム会員限定)

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

命題(数列を用いた閉集合の定義)
実数空間\(\mathbb{R} \)の部分集合\(A\)が与えられたとき、\(A\)の点を項とする任意の収束列\(\left\{ x_{n}\right\} \)の極限もまた\(A\)の点であることは、\(A\)が\(\mathbb{R} \)上の閉集合であるための必要十分条件である。
例(数列を用いた閉集合の定義)
点\(a\in \mathbb{R} \)を任意に選んだ上で、その点だけを要素とする\(\mathbb{R} \)の部分集合\(\left\{ a\right\} \)について考えます。この集合の要素からなる数列\(\left\{ x_{n}\right\} \)としては、任意の\(n\in \mathbb{N} \)について\(x_{n}=a\)を満たすものだけが存在します。さらに、\begin{equation*}
\lim_{n\rightarrow \infty }x_{n}=\lim_{n\rightarrow \infty }a=a
\end{equation*}となりますが、これは\(\left\{ a\right\} \)の点であるため、先の命題より、\(\left\{ a\right\} \)は\(\mathbb{R} \)上の閉集合です。

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

例(半開区間)
\(\mathbb{R} \)上の区間\((0,1]\)について考えます。数列\(\left\{ x_{n}\right\} \)の一般項が、\begin{equation*}
x_{n}=\frac{1}{n}
\end{equation*}として与えられているとき、この数列の任意の項は\((0,1]\)の要素であるとともに、この数列は収束し、その極限は、\begin{equation*}
\lim_{n\rightarrow \infty }x_{n}=\lim_{n\rightarrow \infty }\frac{1}{n}=0
\end{equation*}を満たします。つまり、この数列\(\left\{ x_{n}\right\} \)の極限\(0\)は\((0,1]\)の要素ではありません。一方、先に示したように、\(\mathbb{R} \)上の有界な半閉区間は閉集合でないため、\((0,1]\)もまた閉集合ではありません。

 

閉集合系

実数空間\(\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}\)は、\begin{equation*}
\left( A_{1}\right) \
\mathbb{R} \in \mathcal{A},\ \phi \in \mathcal{A}
\end{equation*}を満たす。
証明を見る(プレミアム会員限定)

\(\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}\)は、\begin{equation*}
\left( A_{2}\right) \ A_{1},\cdots ,A_{m}\in \mathcal{A}\Rightarrow
\bigcup\limits_{i=1}^{m}A_{i}\in \mathcal{A}
\end{equation*}を満たす。
証明を見る(プレミアム会員限定)

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

例(無限個の閉集合の和集合)
\(a<b\)を満たす点\(a,b\in \mathbb{R} \)を任意に選んだ上で、それぞれの番号\(i\in \mathbb{N} \)に対して、\begin{equation*}
A_{i}=\left( a-\frac{1}{i},b+\frac{1}{i}\right)
\end{equation*}という有界な開区間を定義します。有界な開区間は\(\mathbb{R} \)上の開集合であるため、\(A_{i}\)もまた\(\mathbb{R} \)上の開集合です。ゆえに補集合\(A_{i}^{c}\)は\(\mathbb{R} \)上の閉集合です。無限個の閉集合\(A_{i}^{c}\)の和集合が閉集合でないことを示すことが目標になります。具体的には、ド・モルガンの定理より、\begin{equation*}
\left( \bigcup\limits_{i\in \mathbb{N} }A_{i}^{c}\right) ^{c}=\bigcap\limits_{i\in \mathbb{N} }A_{i}
\end{equation*}となりますが、\(\bigcap\limits_{i\in \mathbb{N} }A_{i}\)が\(\mathbb{R} \)上の開集合でないことは以前に示した通りです。したがって、その補集合である\(\bigcup\limits_{i\in \mathbb{N} }A_{i}^{c}\)は\(\mathbb{R} \)上の閉集合ではありません。

\(\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*}は閉集合であるため目標は達成されました。

命題(閉集合系の基本性質)
実数空間\(\mathbb{R} \)の閉集合系\(\mathcal{A}\)は、\begin{equation*}
\left( A_{3}\right) \ \left( \forall \lambda \in \Lambda :A_{\lambda }\in
\mathcal{A}\right) \Rightarrow \bigcap\limits_{\lambda \in \Lambda
}A_{\lambda }\in \mathcal{A}
\end{equation*}を満たす。
証明を見る(プレミアム会員限定)

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

次へ進む 質問・コメント(プレミアム会員限定) 演習問題(プレミアム会員限定)
Share on facebook
Share on twitter
Share on email
< 前のページ
次のページ >

プレミアム会員になると、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。プレミアム会員の方は以下からログインしてください。

会員登録 | パスワードを忘れましたか?

有料のプレミアム会員になると、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

本サイトは MathJax を実装しているため、コメント文中で LaTex コマンドを利用することで美しい数式を入力できます。その際、インライン数式は\(数式\)で、ディスプレイ数式は$$数式$$という形式でそれぞれ入力してください。 例えば、\(ax^{2}+bx+c=0\)と入力すると\(ax^{2}+bx+c=0\)と表示され、$$ax^{2}+bx+c=0$$と入力すると$$ax^{2}+bx+c=0$$と表示されます。MathJax(LaTex)の文法については次のサイト( https://easy-copy-mathjax.xxxx7.com )などを参照してください。 紙に手書きした数式や図をカメラやスマホで撮影した上で、コメント欄に張り付けることもできます。その場合、コメント入力欄にある「ファイルを選択」ボタンをクリックした上で画像をアップロードしてください。アップロード可能な画像フォーマットは jpg, gif, png の 3 種類、ファイルサイズの上限は 5 MB です。PDF ファイルの添付も可能です。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員だけが質問やコメントを投稿・閲覧できます。

アカウント
ログイン