WIIS

位相

ユークリッド空間における開集合・開集合系

目次

Mailで保存
Xで共有

開集合

ユークリッド空間の点\(\boldsymbol{a}\in \mathbb{R} ^{n}\)と正の実数\(\varepsilon >0\)をそれぞれ任意に選んだとき、点\(\boldsymbol{a}\)を中心とする半径\(\varepsilon \)の近傍は、\begin{eqnarray*}N_{\varepsilon }\left( \boldsymbol{a}\right) &=&\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ d\left( \boldsymbol{x},\boldsymbol{a}\right) <\varepsilon \right\}
\\
&=&\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ \sqrt{\sum_{i=1}^{n}\left( x_{i}-a_{i}\right) ^{2}}<\varepsilon
\right\}
\end{eqnarray*}と定義される\(\mathbb{R} ^{n}\)の部分集合です。さて、\(\mathbb{R} ^{n}\)の部分集合\(A\)に属するそれぞれの点\(\boldsymbol{a}\)に対して、その点を中心とする近傍\(N_{\varepsilon}\left( \boldsymbol{a}\right) \)の中に\(A\)の部分集合であるようなものが存在するならば、すなわち、\begin{equation*}\forall \boldsymbol{a}\in A,\ \exists \varepsilon >0:N_{\varepsilon }\left(
\boldsymbol{a}\right) \subset A
\end{equation*}が成り立つ場合には、\(A\)を\(\mathbb{R} ^{n}\)上の開集合(open set on \(\mathbb{R} ^{n}\))と呼びます。

例(点の近傍は開集合)
点\(\boldsymbol{a}\in \mathbb{R} ^{n}\)と正の実数\(\varepsilon >0\)をそれぞれ任意に選んだ上で、点\(\boldsymbol{a}\)を中心とする半径\(\varepsilon \)の近傍\begin{equation*}N_{\varepsilon }\left( \boldsymbol{a}\right) =\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ d\left( \boldsymbol{x},\boldsymbol{a}\right) <\varepsilon \right\}
\end{equation*}をとります。近傍の性質より、\begin{equation*}
\forall \boldsymbol{b}\in N_{\varepsilon }\left( \boldsymbol{a}\right) ,\
\exists \delta >0:N_{\delta }\left( \boldsymbol{b}\right) \subset
N_{\varepsilon }\left( \boldsymbol{a}\right)
\end{equation*}が成り立ちますが、これは\(N_{\varepsilon }\left( \boldsymbol{a}\right) \)が\(\mathbb{R} ^{n}\)上の開集合であることの定義に他なりません。つまり、\(\mathbb{R} ^{n}\)の任意の点を中心とする任意の近傍は\(\mathbb{R} ^{n}\)上の開集合であるということです。具体例を挙げると、\(1\)次元ユークリッド空間の点\(a\in \mathbb{R} \)の近傍は、\begin{eqnarray*}N_{\varepsilon }\left( a\right) &=&\left\{ x\in \mathbb{R} \ |\ \left\vert x-a\right\vert <\varepsilon \right\} \\
&=&\left( a-\varepsilon ,a+\varepsilon \right)
\end{eqnarray*}であり、これは点\(a\)を中心とする有界開区間ですが、先の議論より、これは\(\mathbb{R} \)上の開集合です。また、\(2\)次元ユークリッド空間の点\(\boldsymbol{a}\in \mathbb{R} ^{2}\)の近傍は、\begin{eqnarray*}N_{\varepsilon }\left( \boldsymbol{a}\right) &=&\left\{ \boldsymbol{x}\in \mathbb{R} ^{2}\ |\ \sqrt{\left( x_{1}-a_{1}\right) ^{2}+\left( x_{2}-a_{2}\right) ^{2}}<\varepsilon \right\} \\
&=&\left\{ \boldsymbol{x}\in \mathbb{R} ^{2}\ |\ \left( x_{1}-a_{1}\right) ^{2}+\left( x_{2}-a_{2}\right)
^{2}<\varepsilon ^{2}\right\}
\end{eqnarray*}であり、これは点\(\boldsymbol{a}\)を中心とする円盤の内部ですが、先の議論より、これは\(\mathbb{R} ^{2}\)上の開集合です。また、\(3\)次元ユークリッド空間の点\(\boldsymbol{a}\in \mathbb{R} ^{3}\)の近傍は、\begin{eqnarray*}N_{\varepsilon }\left( \boldsymbol{a}\right) &=&\left\{ \boldsymbol{x}\in \mathbb{R} ^{3}\ |\ \sqrt{\left( x_{1}-a_{1}\right) ^{2}+\left( x_{2}-a_{2}\right)
^{2}+\left( x_{3}-a_{3}\right) ^{2}}<\varepsilon \right\} \\
&=&\left\{ \boldsymbol{x}\in \mathbb{R} ^{3}\ |\ \left( x_{1}-a_{1}\right) ^{2}+\left( x_{2}-a_{2}\right)
^{2}+\left( x_{3}-a_{3}\right) ^{2}<\varepsilon ^{2}\right\}
\end{eqnarray*}であり、これは点\(\boldsymbol{a}\)を中心とする球の内部ですが、先の議論より、これは\(\mathbb{R} ^{3}\)上の開集合です。
例(点の閉近傍の補集合は開集合)
点\(\boldsymbol{a}\in \mathbb{R} ^{n}\)と正の実数\(\varepsilon >0\)をそれぞれ任意に選んだ上で、点\(\boldsymbol{a}\)からの距離が\(\varepsilon \)よりも大きい場所にある\(\mathbb{R} ^{n}\)上の点からなる集合を、\begin{equation*}A_{\varepsilon }\left( \boldsymbol{a}\right) =\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ d\left( \boldsymbol{x},\boldsymbol{a}\right) >\varepsilon \right\}
\end{equation*}と表記します。これは\(\mathbb{R} ^{n}\)上の開集合です(演習問題)。具体例を挙げると、\(1\)次元ユークリッド空間の点\(a\in \mathbb{R} \)に関して、\begin{eqnarray*}A_{\varepsilon }\left( a\right) &=&\left\{ x\in \mathbb{R} \ |\ \left\vert x-a\right\vert >\varepsilon \right\} \\
&=&\left( -\infty ,a-\varepsilon \right) \cup \left( a+\varepsilon ,+\infty
\right)
\end{eqnarray*}であり、これは有界閉区間\(\left[ a-\varepsilon ,a+\varepsilon \right] \)の補集合ですが、先の議論より、これは\(\mathbb{R} \)上の開集合です。また、\(2\)次元ユークリッド空間の点\(\boldsymbol{a}\in \mathbb{R} ^{2}\)に関して、\begin{eqnarray*}A_{\varepsilon }\left( \boldsymbol{a}\right) &=&\left\{ \boldsymbol{x}\in \mathbb{R} ^{2}\ |\ \sqrt{\left( x_{1}-a_{1}\right) ^{2}+\left( x_{2}-a_{2}\right) ^{2}}>\varepsilon \right\} \\
&=&\left\{ \boldsymbol{x}\in \mathbb{R} ^{2}\ |\ \left( x_{1}-a_{1}\right) ^{2}+\left( x_{2}-a_{2}\right)
^{2}>\varepsilon ^{2}\right\}
\end{eqnarray*}であり、これは点\(\boldsymbol{a}\)を中心とする円盤の補集合ですが、先の議論より、これは\(\mathbb{R} ^{2}\)上の開集合です。また、\(3\)次元ユークリッド空間の点\(\boldsymbol{a}\in \mathbb{R} ^{3}\)に関して、\begin{eqnarray*}A_{\varepsilon }\left( \boldsymbol{a}\right) &=&\left\{ \boldsymbol{x}\in \mathbb{R} ^{3}\ |\ \sqrt{\left( x_{1}-a_{1}\right) ^{2}+\left( x_{2}-a_{2}\right)
^{2}+\left( x_{3}-a_{3}\right) ^{2}}>\varepsilon \right\} \\
&=&\left\{ \boldsymbol{x}\in \mathbb{R} ^{3}\ |\ \left( x_{1}-a_{1}\right) ^{2}+\left( x_{2}-a_{2}\right)
^{2}+\left( x_{3}-a_{3}\right) ^{2}>\varepsilon ^{2}\right\}
\end{eqnarray*}であり、これは点\(\boldsymbol{a}\)を中心とする球の補集合ですが、先の議論より、これは\(\mathbb{R} ^{3}\)上の開集合です。
例(1点集合の補集合は開集合)
点\(\boldsymbol{a}\in \mathbb{R} ^{n}\)を任意に選んだ上で、それ以外のすべての点からなる集合\begin{equation*}\mathbb{R} ^{n}\backslash \left\{ \boldsymbol{a}\right\} =\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ \boldsymbol{x}\not=\boldsymbol{a}\right\} \end{equation*}をとります。これは\(\mathbb{R} ^{n}\)上の開集合です(演習問題)。

 

実数空間上の開集合とユークリッド空間上の開集合の関係

実数空間上の開集合の直積をとれば、それはユークリッド空間上の開集合になります。

命題(実数空間上の開集合とユークリッド空間上の開集合の関係)
実数空間\(\mathbb{R} \)の部分集合\(A_{1},\cdots ,A_{n}\subset \mathbb{R} \)がいずれも\(\mathbb{R} \)上の開集合であるならば、これらの直積\begin{equation*}\prod_{i=1}^{n}A_{i}=A_{1}\times \cdots \times A_{n}
\end{equation*}はユークリッド空間\(\mathbb{R} ^{n}\)上の開集合である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(有界開区間の直積は開集合)
それぞれの番号\(i\ \left( =1,\cdots,n\right) \)に対して、\begin{equation*}a_{i}<b_{i}
\end{equation*}を満たす実数\(a_{i},b_{i}\in \mathbb{R} \)を任意に選んだ上で、これらを端点とする有界開区間\begin{equation*}\left( a_{i},b_{i}\right) =\left\{ x_{i}\in \mathbb{R} \ |\ a_{i}<x_{i}<b_{i}\right\} \quad \left( i=1,\cdots ,n\right)
\end{equation*}をとります。さらに得られた\(n\)個の有界開区間の直積\begin{equation}\prod\limits_{i=1}^{n}\left( a_{i},b_{i}\right) =\left( a_{1},b_{1}\right)
\times \cdots \times \left( a_{n},b_{n}\right) \quad \cdots (1)
\end{equation}をとります。有界開区間\(\left( a_{i},b_{i}\right) \)は\(\mathbb{R} \)上の開集合であるため、先の命題より、これらの直積である\(\left( 1\right) \)は\(\mathbb{R} ^{n}\)上の開集合です。
例(無限開区間の直積は開集合)
それぞれの番号\(i\ \left( =1,\cdots,n\right) \)に対して実数\(a_{i}\in \mathbb{R} \)を任意に選んだ上で、これらを端点とする無限開区間\begin{equation*}\left( a_{i},+\infty \right) =\left\{ x_{i}\in \mathbb{R} \ |\ a_{i}<x_{i}<+\infty \right\} \quad \left( i=1,\cdots ,n\right)
\end{equation*}をとります。さらに得られた\(n\)個の無限開区間の直積\begin{equation}\prod\limits_{i=1}^{n}\left( a_{i},+\infty \right) =\left( a_{1},+\infty
\right) \times \cdots \times \left( a_{n},+\infty \right) \quad \cdots (1)
\end{equation}をとります。無限開区間\(\left( a_{i},+\infty \right) \)は\(\mathbb{R} \)上の開集合であるため、先の命題より、これらの直積である\(\left( 1\right) \)は\(\mathbb{R} ^{n}\)上の開集合です。

 

開集合ではない集合

ユークリッド空間\(\mathbb{R} ^{n}\)の部分集合\(A\)が開集合ではないこととは、開集合の定義の否定に相当する以下の命題\begin{equation*}\exists \boldsymbol{a}\in A,\ \forall \varepsilon >0:N_{\varepsilon }\left(
\boldsymbol{a}\right) \not\subset A
\end{equation*}が成り立つことを意味します。ただしこれは、\begin{equation*}
\exists \boldsymbol{a}\in A,\ \forall \varepsilon >0:N_{\varepsilon }\left(
\boldsymbol{a}\right) \cap A^{c}\not=\phi
\end{equation*}と必要十分です。つまり、\(A\)が開集合でないこととは、\(A\)の少なくとも1つの点について、その点を中心とする任意の近傍が\(A\)の補集合と交わることを意味します。

例(点の閉近傍は開集合ではない)
点\(\boldsymbol{a}\in \mathbb{R} ^{n}\)と正の実数\(\varepsilon >0\)をそれぞれ任意に選んだ上で、点\(\boldsymbol{a}\)からの距離が\(\varepsilon \)以下の場所にある\(\mathbb{R} ^{n}\)上の点からなる集合を、\begin{equation*}C_{\varepsilon }\left( \boldsymbol{a}\right) =\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ d\left( \boldsymbol{x},\boldsymbol{a}\right) \leq \varepsilon
\right\}
\end{equation*}で表記し、これを点\(\boldsymbol{a}\)の閉近傍(closed neighborhood)と呼びます。これは\(\mathbb{R} ^{n}\)上の開集合ではありません(演習問題)。具体例を挙げると、\(1\)次元ユークリッド空間の点\(a\in \mathbb{R} \)の閉近傍は、\begin{eqnarray*}C_{\varepsilon }\left( a\right) &=&\left\{ x\in \mathbb{R} \ |\ \left\vert x-a\right\vert \leq \varepsilon \right\} \\
&=&\left[ a-\varepsilon ,a+\varepsilon \right] \end{eqnarray*}であり、これは点\(a\)を中心とする有界閉区間ですが、先の議論より、これは\(\mathbb{R} \)上の開集合ではありません。また、\(2\)次元ユークリッド空間の点\(\boldsymbol{a}\in \mathbb{R} ^{2}\)の閉近傍は、\begin{eqnarray*}C_{\varepsilon }\left( \boldsymbol{a}\right) &=&\left\{ \boldsymbol{x}\in \mathbb{R} ^{2}\ |\ \sqrt{\left( x_{1}-a_{1}\right) ^{2}+\left( x_{2}-a_{2}\right) ^{2}}\leq \varepsilon \right\} \\
&=&\left\{ \boldsymbol{x}\in \mathbb{R} ^{2}\ |\ \left( x_{1}-a_{1}\right) ^{2}+\left( x_{2}-a_{2}\right) ^{2}\leq
\varepsilon ^{2}\right\}
\end{eqnarray*}であり、これは点\(\boldsymbol{a}\)を中心とする円盤ですが、先の議論より、これは\(\mathbb{R} ^{2}\)上の開集合ではありません。また、\(3\)次元ユークリッド空間の点\(\boldsymbol{a}\in \mathbb{R} ^{3}\)の閉近傍は、\begin{eqnarray*}C_{\varepsilon }\left( \boldsymbol{a}\right) &=&\left\{ \boldsymbol{x}\in \mathbb{R} ^{3}\ |\ \sqrt{\left( x_{1}-a_{1}\right) ^{2}+\left( x_{2}-a_{2}\right)
^{2}+\left( x_{3}-a_{3}\right) ^{2}}\leq \varepsilon \right\} \\
&=&\left\{ \boldsymbol{x}\in \mathbb{R} ^{3}\ |\ \left( x_{1}-a_{1}\right) ^{2}+\left( x_{2}-a_{2}\right)
^{2}+\left( x_{3}-a_{3}\right) ^{2}\leq \varepsilon ^{2}\right\}
\end{eqnarray*}であり、これは点\(\boldsymbol{a}\)を中心とする球ですが、先の議論より、これは\(\mathbb{R} ^{3}\)上の開集合ではありません。
例(有界半開区間の直積は開集合ではない)
それぞれの番号\(i\ \left( =1,\cdots,n\right) \)に対して、\begin{equation*}a_{i}<b_{i}
\end{equation*}を満たす実数\(a_{i},b_{i}\in \mathbb{R} \)を任意に選んだ上で、これらを端点とする有界半開区間\begin{equation*}(a_{i},b_{i}]=\left\{ x_{i}\in \mathbb{R} \ |\ a_{i}<x_{i}\leq b_{i}\right\} \quad \left( i=1,\cdots ,n\right)
\end{equation*}をとります。さらに得られた\(n\)個の有界半開区間の直積\begin{equation*}\prod\limits_{i=1}^{n}(a_{i},b_{i}]=(a_{1},b_{1}]\times \cdots \times
(a_{n},b_{n}] \end{equation*}をとります。これは\(\mathbb{R} ^{n}\)上の開集合ではありません(演習問題)。
例(有界閉区間の直積は開集合ではない)
それぞれの番号\(i\ \left( =1,\cdots,n\right) \)に対して、\begin{equation*}a_{i}<b_{i}
\end{equation*}を満たす実数\(a_{i},b_{i}\in \mathbb{R} \)を任意に選んだ上で、これらを端点とする有界閉区間\begin{equation*}\left[ a_{i},b_{i}\right] =\left\{ x_{i}\in \mathbb{R} \ |\ a_{i}<x_{i}\leq b_{i}\right\} \quad \left( i=1,\cdots ,n\right)
\end{equation*}をとります。さらに得られた\(n\)個の有界半開区間の直積\begin{equation*}\prod\limits_{i=1}^{n}\left[ a_{i},b_{i}\right] =\left[ a_{1},b_{1}\right] \times \cdots \times \left[ a_{n},b_{n}\right] \end{equation*}をとります。これは\(\mathbb{R} ^{n}\)上の開集合ではありません(演習問題)。
例(有理数集合の直積は開集合ではない)
有理数集合の直積\begin{equation*}\mathbb{Q} ^{n}
\end{equation*}は\(\mathbb{R} ^{n}\)の部分集合ですが、これは\(\mathbb{R} ^{n}\)上の開集合ではありません(演習問題)。
例(無理数集合の直積は開集合ではない)
無理数集合の直積\begin{equation*}
\left( \mathbb{R} \backslash \mathbb{Q} \right) ^{n}
\end{equation*}は\(\mathbb{R} ^{n}\)の部分集合ですが、これは\(\mathbb{R} ^{n}\)上の開集合ではありません(演習問題)。
例(1点集合は開集合ではない)
点\(\boldsymbol{a}\in \mathbb{R} ^{n}\)を任意に選んだ上で、それだけを要素として持つ集合\begin{equation*}\left\{ \boldsymbol{a}\right\} =\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ \boldsymbol{x}=\boldsymbol{a}\right\}
\end{equation*}をとります。これは\(\mathbb{R} ^{n}\)上の開集合ではありません(演習問題)。

 

開集合系

ユークリッド空間\(\mathbb{R} ^{n}\)上の開集合をすべて集めてできる集合族を\(\mathbb{R} ^{n}\)の開集合系(system of opensets)と呼び、これを\(\mathcal{O}\)で表記します。開集合の定義より、\(\mathbb{R} ^{n}\)の部分集合\(A\)を任意に選んだとき、\begin{equation*}A\in \mathcal{O}\Leftrightarrow \forall \boldsymbol{a}\in A,\ \exists
\varepsilon >0:N_{\varepsilon }\left( \boldsymbol{a}\right) \subset A
\end{equation*}という関係が成り立ちます。

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

命題(開集合系の基本性質)
ユークリッド空間\(\mathbb{R} ^{n}\)の開集合系\(\mathcal{O}\)は、\begin{equation*}\left( O_{1}\right) \ \mathbb{R} \in \mathcal{O},\ \phi \in \mathcal{O}
\end{equation*}を満たす。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

\(\mathbb{R} ^{n}\)の開集合系\(\mathcal{O}\)を特徴づける2つ目の性質は、\(\mathcal{O}\)に属する有限個の集合を任意に選んだとき、それらの共通部分もまた\(\mathcal{O}\)に属するということです。言い換えると、有限個の任意の開集合の共通部分もまた開集合になるということです。

命題(開集合系の基本性質)
ユークリッド空間\(\mathbb{R} ^{n}\)の開集合系\(\mathcal{O}\)は、任意の自然数\(m\in \mathbb{N} \)について、\begin{equation*}\left( O_{2}\right) \ A_{1},\cdots ,A_{m}\in \mathcal{O}\Rightarrow
\bigcap\limits_{i=1}^{m}A_{i}\in \mathcal{O}
\end{equation*}を満たす。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

上の命題は有限個の開集合に関して成立する性質であることに注意してください。一方、無限個の開集合を選んだとき、それらの共通部分は開集合になるとは限りません。以下の例より明らかです。

例(無限個の開集合の共通部分)
それぞれの番号\(i\in \mathbb{N} \)に対して、点\(\boldsymbol{0}\in \mathbb{R} ^{n}\)を中心とする半径\(\frac{1}{i}>0\)の近傍\begin{equation*}N_{\frac{1}{i}}\left( \boldsymbol{0}\right) =\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ d\left( \boldsymbol{0},\boldsymbol{x}\right) <\frac{1}{i}\right\}
\end{equation*}をとります。先に示したように\(\mathbb{R} ^{n}\)の点を中心とする近傍は開集合であるため\(N_{\frac{1}{i}}\left( \boldsymbol{0}\right) \)は開集合です。\(\mathbb{N} \)は無限集合であるため\(\left\{ N_{\frac{1}{i}}\right\} _{i\in \mathbb{N} }\)は無限個の開集合を要素として持つ集合族です。この集合族の共通部分は、\begin{equation*}\bigcap\limits_{i\in \mathbb{N} }N_{\frac{1}{i}}\left( \boldsymbol{0}\right) =\left\{ \boldsymbol{0}\right\}
\end{equation*}ですが(演習問題)、先に示したように1点集合は\(\mathbb{R} ^{n}\)上の開集合ではないため、上の共通部分もまた開集合ではありません。

ちなみに、無限個の開集合の共通部分が開集合になる場合もあります。以下の例より明らかです。

例(無限個の開集合の共通部分)
\(a<b\)を満たす点\(a,b\in \mathbb{R} \)を任意に選んだ上で、それぞれの番号\(i\in \mathbb{N} \)に対して、\begin{equation*}A_{i}=\left( a-i,b+i\right) \times \cdots \times \left( a-i,b+i\right)
\end{equation*}という\(\mathbb{R} ^{n}\)の部分集合を定義します。先に示したように有界な開区間どうしの直積は開集合であるため\(A_{i}\)は\(\mathbb{R} ^{n}\)上の開集合です。\(\mathbb{N} \)は無限集合であるため\(\left\{ A_{i}\right\} _{i\in \mathbb{N} }\)は無限個の開集合を要素として持つ集合族です。この集合族に関しては、\begin{equation*}A_{1}\subset A_{2}\subset \cdots
\end{equation*}が成り立つため、共通部分は、\begin{eqnarray*}
\bigcap\limits_{i\in \mathbb{N} }A_{i} &=&A_{1} \\
&=&\left( a-1,b+1\right) \times \cdots \times \left( a-1,b+1\right)
\end{eqnarray*}となりますが、有界な開区間どうしの直積は開集合であるため、上の共通部分もまた開集合です。

\(\mathbb{R} ^{n}\)の開集合系\(\mathcal{O}\)を特徴づける3つ目の性質は、\(\mathcal{O}\)に属する任意個の集合を任意に選んだとき、それらの和集合もまた\(\mathcal{O}\)に属するということです。言い換えると、任意個の任意の開集合の和集合もまた開集合になるということです。

命題(開集合系の基本性質)
ユークリッド空間\(\mathbb{R} ^{n}\)の開集合系\(\mathcal{O}\)は、\begin{equation*}\left( O_{3}\right) \ \left( \forall \lambda \in \Lambda :A_{\lambda }\in
\mathcal{O}\right) \Rightarrow \bigcup\limits_{\lambda \in \Lambda
}A_{\lambda }\in \mathcal{O}
\end{equation*}を満たす。ただし、\(\Lambda \)は任意の集合である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

上の命題中の集合\(\Lambda \)は任意です。\(\Lambda \)として有限集合を採用した場合、上の命題の主張は「有限個の開集合の和集合は開集合」というものになります。一方、\(\Lambda \)として可算集合や非可算集合などの無限集合を採用した場合、上の命題の主張は「無限個の開集合の和集合は開集合」という主張になります。先に例を通じて確認したように、無限個の開集合の共通部分は開集合になるとは限りません。一方、無限個の開集合の和集合は開集合になることが保証されます。

例(非整数集合の直積は開集合)
整数ではない実数からなる集合\(\mathbb{R} \backslash \mathbb{Z} \)の直積に関して、以下の関係\begin{equation*}\left( \mathbb{R} \backslash \mathbb{Z} \right) ^{n}=\bigcup_{z_{1}\in \mathbb{Z} }\cdots \bigcup_{z_{n}\in \mathbb{Z} }\left( z_{1},z_{1}+1\right) \times \cdots \times \left(
z_{n},z_{n}+1\right)
\end{equation*}が成り立ちます。有界開区間どうしの直積\begin{equation*}
\left( z_{1},z_{1}+1\right) \times \cdots \times \left( z_{n},z_{n}+1\right)
\end{equation*}は\(\mathbb{R} ^{n}\)上の開集合であるため、上の関係より、\(\left( \mathbb{R} \backslash \mathbb{Z} \right) ^{n}\)は開集合どうしの和集合であり、したがって先の命題よりこれは\(\mathbb{R} ^{n}\)上の開集合です。以上より、\(\left( \mathbb{R} \backslash \mathbb{Z} \right) ^{n}\)が\(\mathbb{R} ^{n}\)上の開集合であることが明らかになりました。

 

部分距離空間上の開集合

ユークリッド空間\(\left( \mathbb{R} ^{n},d\right) \)が与えられているものとします。つまり、ユークリッド距離関数\(d:\mathbb{R} ^{n}\times \mathbb{R} ^{n}\rightarrow \mathbb{R} \)はベクトルを成分とするそれぞれの順序対\(\left( \boldsymbol{x},\boldsymbol{y}\right) \in \mathbb{R} ^{n}\times \mathbb{R} ^{n}\)に対して、\begin{equation*}d\left( \boldsymbol{x},\boldsymbol{y}\right) =\left\vert \boldsymbol{x}-\boldsymbol{y}\right\vert
\end{equation*}を定めます。距離関数\(d\)は以下の性質\begin{eqnarray*}&&\left( M_{1}\right) \ \forall \boldsymbol{x},\boldsymbol{y}\in \mathbb{R} :d\left( \boldsymbol{x},\boldsymbol{y}\right) \geq 0 \\
&&\left( M_{2}\right) \ \forall \boldsymbol{x},\boldsymbol{y}\in \mathbb{R} :\left[ d(\boldsymbol{x},\boldsymbol{y})=0\Leftrightarrow \boldsymbol{x}=\boldsymbol{y}\right] \\
&&\left( M_{3}\right) \ \forall \boldsymbol{x},\boldsymbol{y}\in \mathbb{R} :d(\boldsymbol{x},\boldsymbol{y})=d\left( \boldsymbol{y},\boldsymbol{x}\right) \\
&&\left( M_{4}\right) \ \forall \boldsymbol{x},\boldsymbol{y},\boldsymbol{z}\in \mathbb{R} :d\left( \boldsymbol{x},\boldsymbol{z}\right) \leq d\left( \boldsymbol{x},\boldsymbol{y}\right) +d\left( \boldsymbol{y},\boldsymbol{z}\right)
\end{eqnarray*}を満たします。

非空な部分集合\(X\subset \mathbb{R} ^{n}\)を任意に選んだ上で、それにあわせて距離関数\(d:\mathbb{R} ^{n}\times \mathbb{R} ^{n}\rightarrow \mathbb{R} \)の定義域を\(X\times X\)へ制限して\(d_{X}:X\times X\rightarrow \mathbb{R} \)とすれば、すなわち、\begin{equation*}\forall \left( \boldsymbol{x},\boldsymbol{y}\right) \in X\times
X:d_{X}\left( \boldsymbol{x},\boldsymbol{y}\right) =d\left( \boldsymbol{x},\boldsymbol{y}\right)
\end{equation*}を満たすものとして\(d_{X}\)を定義すれば、この\(d_{X}\)もまた距離関数としての性質\begin{eqnarray*}&&\left( M_{1}\right) \ \forall \boldsymbol{x},\boldsymbol{y}\in
X:d_{X}\left( \boldsymbol{x},\boldsymbol{y}\right) \geq 0 \\
&&\left( M_{2}\right) \ \forall \boldsymbol{x},\boldsymbol{y}\in X:\left[
d_{X}(\boldsymbol{x},\boldsymbol{y})=0\Leftrightarrow \boldsymbol{x}=\boldsymbol{y}\right] \\
&&\left( M_{3}\right) \ \forall \boldsymbol{x},\boldsymbol{y}\in X:d_{X}(\boldsymbol{x},\boldsymbol{y})=d_{X}\left( \boldsymbol{y},\boldsymbol{x}\right) \\
&&\left( M_{4}\right) \ \forall \boldsymbol{x},\boldsymbol{y},\boldsymbol{z}\in X:d_{X}\left( \boldsymbol{x},\boldsymbol{z}\right) \leq d_{X}\left(
\boldsymbol{x},\boldsymbol{y}\right) +d_{X}\left( \boldsymbol{y},\boldsymbol{z}\right)
\end{eqnarray*}を満たすため、\begin{equation*}
\left( X,d_{X}\right)
\end{equation*}もまた距離空間になります。これをもとの空間\(\left( \mathbb{R} ^{n},d\right) \)の部分距離空間と呼びます。集合\(X\)上に距離関数\(d_{X}\)が定義されていることが文脈から明らかである場合には、部分距離空間\(\left( X,d_{X}\right) \)をシンプルに、\begin{equation*}X
\end{equation*}と表記できるものと定めます。

部分距離空間は距離空間であるため、部分距離空間においても、その部分集合が開集合であるか検討できます。具体的には以下の通りです。

ユークリッド空間\(\left( \mathbb{R} ^{n},d\right) \)の部分距離空間\(\left( X,d_{X}\right) \)が与えられている状況を想定します。部分距離空間の点\(\boldsymbol{a}\in X\)を中心とする半径\(\varepsilon >0\)の近傍とは、点\(\boldsymbol{a}\)からの距離が\(\varepsilon \)よりも小さい場所にある\(X\)の点からなる集合であり、これを、\begin{eqnarray*}N_{\varepsilon }^{X}\left( \boldsymbol{a}\right) &=&\left\{ \boldsymbol{x}\in X\ |\ d_{X}\left( \boldsymbol{x},\boldsymbol{a}\right) <\varepsilon
\right\} \\
&=&\left\{ \boldsymbol{x}\in X\ |\ d\left( \boldsymbol{x},\boldsymbol{a}\right) <\varepsilon \right\} \\
&=&X\cap N_{\varepsilon }\left( \boldsymbol{a}\right)
\end{eqnarray*}で表記します。部分距離空間の部分集合\(A\subset X\)が\(X\)上の開集合であることは、\begin{equation*}\forall \boldsymbol{a}\in A,\ \exists \varepsilon >0:N_{\varepsilon
}^{X}\left( \boldsymbol{a}\right) \subset A
\end{equation*}が成り立つこととして定義されます。つまり、\(A\)の点\(\boldsymbol{a}\)を任意に選んだときに、点\(\boldsymbol{a}\)を中心とする近傍\(N_{\varepsilon }^{X}\left( \boldsymbol{a}\right) \)の中に\(A\)の部分集合であるようなものが存在するならば\(A\)は\(X\)上の開集合です。ただし、上の定義で用いている近傍\(N_{\varepsilon }^{X}\left( \boldsymbol{a}\right) \)は部分距離空間\(X\)における点\(\boldsymbol{a}\)の近傍であり、もとの空間\(\mathbb{R} ^{n}\)における点\(\boldsymbol{a}\)の近傍\begin{equation*}N_{\varepsilon }\left( \boldsymbol{a}\right) =\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ d\left( \boldsymbol{x},\boldsymbol{a}\right) <\varepsilon \right\}
\end{equation*}ではないことに注意してください。

ユークリッド空間\(\left( \mathbb{R} ^{n},d\right) \)の部分距離空間\(\left( X,d_{X}\right) \)が与えられているとき、\(X\)上の開集合をすべて集めてできる集合族を\(X\)の開集合系と呼び、これを、\begin{equation*}\mathcal{O}\left( X\right)
\end{equation*}で表記するものと定めます。開集合の定義より、\(X\)の部分集合\(A\)を任意に選んだとき、\begin{equation*}A\in \mathcal{O}\left( X\right) \Leftrightarrow \forall \boldsymbol{a}\in
A,\ \exists \varepsilon >0:N_{\varepsilon }^{X}\left( \boldsymbol{a}\right)
\subset A
\end{equation*}という関係が成り立ちます。

部分距離空間\(X\subset \mathbb{R} ^{n}\)上の開集合系\(\mathcal{O}\left(X\right) \)と区別するために、もとの空間\(\mathbb{R} ^{n}\)上の開集合系\(\mathcal{O}\)を、\begin{equation*}\mathcal{O}\left( \mathbb{R} ^{n}\right) =\mathcal{O}
\end{equation*}と表現できるものと定めます。開集合の定義より、\(\mathbb{R} ^{n}\)の部分集合\(A\)を任意に選んだとき、\begin{equation*}A\in \mathcal{O}\left( \mathbb{R} ^{n}\right) \Leftrightarrow \forall \boldsymbol{a}\in A,\ \exists
\varepsilon >0:N_{\varepsilon }\left( \boldsymbol{a}\right) \subset A
\end{equation*}という関係が成り立ちます。

ユークリッド空間\(\left( \mathbb{R} ^{n},d\right) \)の部分距離空間\(\left( X,d_{X}\right) \)が与えられているものとします。部分距離空間の部分集合\(A\subset X\)が\(X\)上の開集合であるものとします。\(X\subset \mathbb{R} ^{n}\)ゆえに\(A\subset \mathbb{R} ^{n}\)であるため、この集合\(A\)がもとの空間\(\mathbb{R} ^{n}\)上においても開集合であるか検討できますが、\(A\)は\(\mathbb{R} ^{n}\)上の開集合であるとは限りません。つまり、\(A\subset X\)について、\begin{equation*}A\in \mathcal{O}\left( X\right) \Rightarrow A\in \mathcal{O}\left( \mathbb{R} ^{n}\right)
\end{equation*}は成り立つとは限りません。以下の例より明らかです。

例(部分距離空間上の開集合)
1次元ユークリッド空間\(\mathbb{R} \)の部分集合\begin{equation*}X=\left[ 0,1\right] \end{equation*}に注目した上で部分距離空間\(\left( X,d_{X}\right) \)をとります。以下の集合\begin{equation*}\left[ 0,\frac{1}{2}\right) \subset X
\end{equation*}は\(X\)上の開集合である一方で、もとの空間\(\mathbb{R} \)上において開集合ではありません(演習問題)。

ユークリッド空間\(\left( \mathbb{R} ^{n},d\right) \)の部分距離空間\(\left( X,d_{X}\right) \)が与えられているものとします。部分距離空間の部分集合\(A\subset X\)が\(X\)上の開集合であるものとします。つまり、\(A\in \mathcal{O}\left(X\right) \)が成り立つということです。この場合には、もとの空間\(\mathbb{R} ^{n}\)上の何らかの開集合\(B\in \mathcal{O}\left( \mathbb{R} ^{n}\right) \)を用いて、\begin{equation*}A=B\cap X
\end{equation*}と表現できることが保証されます。つまり、部分距離空間\(X\)上の開集合\(A\)は、もとの空間\(\mathbb{R} ^{n}\)上の何らかの開集合\(B\)と部分距離空間\(X\)の共通部分として表すことができるということです。逆も成立するため以下を得ます。

命題(部分距離空間上の開集合の特徴づけ)
ユークリッド空間\(\left( \mathbb{R} ^{n},d\right) \)の部分距離空間\(\left( X,d_{X}\right) \)が与えられているものとする。部分距離空間の部分集合\(A\subset X\)を任意に選んだとき、以下\begin{equation*}A\in \mathcal{O}\left( X\right) \Leftrightarrow \exists B\in \mathcal{O}\left( \mathbb{R} ^{n}\right) :A=B\cap X
\end{equation*}が成立する。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(部分距離空間上の開集合の特徴づけ)
1次元ユークリッド空間\(\mathbb{R} \)の部分集合\begin{equation*}X=\left[ 0,1\right] \end{equation*}に注目した上で部分距離空間\(\left( X,d_{X}\right) \)をとります。以下の集合\begin{equation*}\left[ 0,\frac{1}{2}\right) \subset X
\end{equation*}に注目します。有界開区間\(\left( -\frac{1}{2},\frac{1}{2}\right) \)はもとの空間\(\mathbb{R} ^{n}\)上の開集合であるとともに、\begin{equation*}\left[ 0,\frac{1}{2}\right) =\left( -\frac{1}{2},\frac{1}{2}\right) \cap \left[ 0,1\right] \end{equation*}が成立します。つまり、\begin{equation*}
\exists \left( -\frac{1}{2},\frac{1}{2}\right) \in \mathcal{O}\left( \mathbb{R} \right) :\left[ 0,\frac{1}{2}\right) =\left( -\frac{1}{2},\frac{1}{2}\right)
\cap X
\end{equation*}が成り立つため、先の命題より\(\left[ 0,\frac{1}{2}\right) \)は部分距離空間\(X\)上の開集合であることが明らかになりました。

 

演習問題

問題(点の閉近傍の補集合は開集合)
点\(\boldsymbol{a}\in \mathbb{R} ^{n}\)と正の実数\(\varepsilon >0\)をそれぞれ任意に選んだ上で、点\(\boldsymbol{a}\)からの距離が\(\varepsilon \)よりも大きい場所にある\(\mathbb{R} ^{n}\)上の点からなる集合を、\begin{equation*}A_{\varepsilon }\left( \boldsymbol{a}\right) =\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ d\left( \boldsymbol{x},\boldsymbol{a}\right) >\varepsilon \right\}
\end{equation*}と表記します。これが\(\mathbb{R} ^{n}\)上の開集合であることを証明してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(1点集合の補集合は開集合)
点\(\boldsymbol{a}\in \mathbb{R} ^{n}\)を任意に選んだ上で、それ以外のすべての点からなる集合\begin{equation*}\mathbb{R} ^{n}\backslash \left\{ \boldsymbol{a}\right\} =\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ \boldsymbol{x}\not=\boldsymbol{a}\right\} \end{equation*}をとります。これが\(\mathbb{R} ^{n}\)上の開集合であることを証明してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(点の閉近傍は開集合ではない)
点\(\boldsymbol{a}\in \mathbb{R} ^{n}\)と正の実数\(\varepsilon >0\)をそれぞれ任意に選んだ上で、点\(\boldsymbol{a}\)からの距離が\(\varepsilon \)以下の場所にある\(\mathbb{R} ^{n}\)上の点からなる集合を、\begin{equation*}C_{\varepsilon }\left( \boldsymbol{a}\right) =\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ d\left( \boldsymbol{x},\boldsymbol{a}\right) \leq \varepsilon
\right\}
\end{equation*}で表記し、これを点\(\boldsymbol{a}\)の閉近傍と呼びます。これが\(\mathbb{R} ^{n}\)上の開集合ではないことを証明してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(半開区間の直積は開集合ではない)
それぞれの番号\(i\ \left( =1,\cdots,n\right) \)に対して、\begin{equation*}a_{i}<b_{i}
\end{equation*}を満たす実数\(a_{i},b_{i}\in \mathbb{R} \)を任意に選んだ上で、これらを端点とする有界半開区間\begin{equation*}(a_{i},b_{i}]=\left\{ x_{i}\in \mathbb{R} \ |\ a_{i}<x_{i}\leq b_{i}\right\} \quad \left( i=1,\cdots ,n\right)
\end{equation*}をとります。さらに得られた\(n\)個の有界半開区間の直積\begin{equation*}\prod\limits_{i=1}^{n}(a_{i},b_{i}]=(a_{1},b_{1}]\times \cdots \times
(a_{n},b_{n}] \end{equation*}をとります。これは\(\mathbb{R} ^{n}\)上の開集合ではないことを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(閉区間の直積は開集合ではない)
それぞれの番号\(i\ \left( =1,\cdots,n\right) \)に対して、\begin{equation*}a_{i}<b_{i}
\end{equation*}を満たす実数\(a_{i},b_{i}\in \mathbb{R} \)を任意に選んだ上で、これらを端点とする有界閉区間\begin{equation*}\left[ a_{i},b_{i}\right] =\left\{ x_{i}\in \mathbb{R} \ |\ a_{i}<x_{i}\leq b_{i}\right\} \quad \left( i=1,\cdots ,n\right)
\end{equation*}をとります。さらに得られた\(n\)個の有界半開区間の直積\begin{equation*}\prod\limits_{i=1}^{n}\left[ a_{i},b_{i}\right] =\left[ a_{1},b_{1}\right] \times \cdots \times \left[ a_{n},b_{n}\right] \end{equation*}をとります。これは\(\mathbb{R} ^{n}\)上の開集合ではないことを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(有理数集合の直積は開集合ではない)
有理数集合の直積\begin{equation*}\mathbb{Q} ^{n}
\end{equation*}が\(\mathbb{R} ^{n}\)上の開集合ではないことを証明してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(無理数集合の直積は開集合ではない)
無理数集合の直積\begin{equation*}
\left( \mathbb{R} \backslash \mathbb{Q} \right) ^{n}
\end{equation*}が\(\mathbb{R} ^{n}\)上の開集合ではないことを証明してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(1点集合は開集合ではない)
点\(\boldsymbol{a}\in \mathbb{R} ^{n}\)を任意に選んだ上で、それだけを要素として持つ集合\begin{equation*}\left\{ \boldsymbol{a}\right\} =\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ \boldsymbol{x}=\boldsymbol{a}\right\}
\end{equation*}をとります。これは\(\mathbb{R} ^{n}\)上の開集合ではないことを証明してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(開集合)
\(\mathbb{R} ^{n}\)の以下の部分集合\begin{equation*}A=\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ 0<x_{1}<+\infty \right\}
\end{equation*}が\(\mathbb{R} ^{n}\)上の開集合であることを証明してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(無限個の開集合の共通部分)
それぞれの番号\(i\in \mathbb{N} \)に対して、点\(0\in \mathbb{R} ^{n}\)を中心とする半径\(\frac{1}{i}>0\)の近傍\begin{equation*}N_{\frac{1}{i}}\left( 0\right) =\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ d\left( 0,\boldsymbol{x}\right) <\frac{1}{i}\right\}
\end{equation*}を定義します。可算集合族\(\left\{ N_{\frac{1}{i}}\left( 0\right) \right\}_{i\in \mathbb{N} }\)の共通部分は、\begin{equation*}\bigcap\limits_{i\in \mathbb{N} }N_{\frac{1}{i}}\left( 0\right) =\left\{ 0\right\}
\end{equation*}であることを証明してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(開集合は集合に依存する)
\(\mathbb{R} \)の部分集合\begin{equation*}X=\left[ 0,1\right] \end{equation*}に注目した上で部分距離空間\(\left( X,d_{X}\right) \)をとります。以下の集合\begin{equation*}\left[ 0,\frac{1}{2}\right) \subset X
\end{equation*}は\(X\)上の開集合である一方で、もとの空間\(\mathbb{R} \)上において開集合ではないことを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

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

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

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

プレミアム会員専用コンテンツです
ログイン】【会員登録