外点
ユークリッド空間\(\mathbb{R} ^{n}\)の部分集合\(A\)が与えられたとき、点\(a\in \mathbb{R} ^{n}\)の近傍の中に\(A\)の補集合\(A^{c}\)の部分集合であるようなものが存在するならば、すなわち、\begin{equation*}
\exists \varepsilon >0:U_{\varepsilon }\left( a\right) \subset A^{c}
\end{equation*}が成り立つならば、\(a\)を\(A\)の外点(exterior point)と呼びます。ただし、\(U_{\varepsilon }\left( a\right) \)は点\(a\)を中心とする半径\(\varepsilon \)の近傍であり、\begin{equation*}
U_{\varepsilon }\left( a\right) =\left\{ x\in
\mathbb{R} ^{n}\ |\ d\left( x,a\right) <\varepsilon \right\}
\end{equation*}と定義されます。
一般に、集合\(X\)が集合\(Y\)の部分集合であることは\(X\)が\(Y\)の補集合\(Y^{c}\)と交わらないことと同義です。したがって、点\(a\)が集合\(A\)の外点であることを、\begin{equation*}
\exists \varepsilon >0:U_{\varepsilon }\left( a\right) \cap A=\phi
\end{equation*}と表現することもできます。つまり、点\(a\)の近傍の中に\(A\)と交わらないものが存在するならば\(a\)は\(A\)の外点です。
集合\(A\)の外点\(a\)が与えられたとき、定義より、\begin{equation*}
\exists \varepsilon >0:U_{\varepsilon }\left( a\right) \subset A^{c}
\end{equation*}が成り立ちます。近傍\(U_{\varepsilon }\left( a\right) \)はその中心\(a\)を要素として含むため、これと上の命題より、\(a\)は\(A^{c}\)の要素でもあります。つまり、集合\(A\)の外点は補集合\(A^{c}\)の要素であるということです。言い換えると、\(A^{c}\)の要素ではない点は\(A\)の外点になり得ません。
U_{\varepsilon }\left( a\right) =\left\{ x\in
\mathbb{R} ^{n}\ |\ d\left( x,a\right) <\varepsilon \right\}
\end{equation*}と定義されます。この近傍の補集合に属する点\(b\in \left( U_{\varepsilon }\left( a\right) \right) ^{c}\)を任意に選びます。\(d\left( b,a\right) >\varepsilon \)を満たす場合、\(\delta =d\left( b,a\right) -\varepsilon >0\)とおけば\(U_{\delta }\left( b\right) \)は\(\left( U_{\varepsilon }\left( a\right) \right) ^{c}\)の部分集合になるため(確認してください)、このような\(b\)は\(U_{\varepsilon }\left( a\right) \)の外点です。一方、\(d\left( b,a\right) =\varepsilon \)を満たす場合、任意の\(\delta >0\)に対して\(U_{\delta }\left( b\right) \)は\(U_{\varepsilon }\left( a\right) \)と交わるため(確認してください)、このような\(b\)は\(U_{\varepsilon }\left( a\right) \)の外点ではありません。また、\(U_{\varepsilon }\left( a\right) \)の任意の点は\(U_{\varepsilon }\left( a\right) \)の外点ではありません。以上より、\(\mathbb{R} ^{n}\)の点の近傍\(U_{\varepsilon }\left( a\right) \)が与えられたとき、その外点は\(d\left( b,a\right) >\varepsilon \)を満たす任意の点\(b\)です。
D_{\varepsilon }\left( a\right) =\left\{ x\in
\mathbb{R} ^{n}\ |\ d\left( x,a\right) \leq \varepsilon \right\}
\end{equation*}と定義されます。この閉近傍の補集合に属する点\(b\in \left( D_{\varepsilon }\left( a\right) \right) ^{c}\)を任意に選びます。\(d\left( b,a\right) >\varepsilon \)が成り立つため、\(\delta =d\left( b,a\right) -\varepsilon >0\)とおけば\(U_{\delta }\left( b\right) \)は\(\left( D_{\varepsilon }\left( a\right) \right) ^{c}\)の部分集合になります(確認してください)。したがって、このような\(b\)は\(D_{\varepsilon }\left( a\right) \)の外点です。また、\(D_{\varepsilon }\left( a\right) \)の任意の点は\(D_{\varepsilon }\left( a\right) \)の外点ではありません。以上より、\(\mathbb{R} ^{n}\)の点の閉近傍\(D_{\varepsilon }\left( a\right) \)が与えられたとき、その外点は\(d\left( b,a\right) >\varepsilon \)を満たす任意の点\(b\)、すなわち\(\left( D_{\varepsilon }\left( a\right) \right) ^{c}\)の任意の点です。
U_{\varepsilon }\left( a\right) \subset \phi
\end{equation*}は明らかに成り立たないため、\(a\)は\(\mathbb{R} ^{n}\)の外点ではありません。\(\mathbb{R} ^{n}\)は外点を持たない集合です。
外部
ユークリッド空間\(\mathbb{R} ^{n}\)の部分集合\(A\)のすべての外点からなる集合を\(A\)の外部(exterior)と呼び、\begin{equation*}
A^{e},\quad \mathrm{ext}\left( A\right)
\end{equation*}などで表記します。定義より、任意の\(x\in \mathbb{R} ^{n}\)に対して、\begin{eqnarray*}
x\in A^{e} &\Leftrightarrow &\exists \varepsilon >0:U_{\varepsilon }\left(
x\right) \subset A^{c}\quad \because \text{外部の定義} \\
&\Leftrightarrow &\exists \varepsilon >0:U_{\varepsilon }(x)\cap A\not=\phi
\quad \because \subset \text{の定義}
\end{eqnarray*}などの関係が成り立ちます。
\left( U_{\varepsilon }\left( a\right) \right) ^{e}=\left( D_{\varepsilon
}\left( a\right) \right) ^{c}
\end{equation*}となります。
\left( D_{\varepsilon }\left( a\right) \right) ^{e}=\left( D_{\varepsilon
}\left( a\right) \right) ^{c}
\end{equation*}となります。
\left( \mathbb{R} ^{n}\right) ^{e}=\phi
\end{equation*}となります。
先に示したように、\(\mathbb{R} ^{n}\)の部分集合\(A\)の外点は\(A^{c}\)の要素であるため、\(A\)の外部は\(A^{c}\)の部分集合です。
A^{e}\subset A^{c}
\end{equation*}が成り立つ。
逆に、\(A^{c}\subset A^{e}\)は成り立つでしょうか。以下の例が示唆するように、この関係は成立するとは限りません。
外部と内部の関係
ユークリッド空間\(\mathbb{R} ^{n}\)の部分集合\(A\)が与えられたとき、任意の点\(x\in \mathbb{R} ^{n}\)に対して、\begin{align*}
x\in A^{i}& \Leftrightarrow \exists \varepsilon >0:U_{\varepsilon
}(x)\subset A\quad \because \text{内部の定義}
\\
& \Leftrightarrow \exists \varepsilon >0:U_{\varepsilon }(x)\subset
(A^{c})^{c}\quad \because A=(A^{c})^{c} \\
& \Leftrightarrow \ x\in (A^{c})^{e}\quad \because \text{外部の定義}
\end{align*}となるため\(A^{i}=\left( A^{c}\right) ^{e}\)が成り立ちます。つまり、\begin{equation*}
x\text{は}A\text{の内点}\Leftrightarrow x\text{は}A^{c}\text{の外点}
\end{equation*}という関係が成り立つということです。また、\begin{align*}
x\in A^{e}& \Leftrightarrow \exists \varepsilon >0:U_{\varepsilon
}(x)\subset A^{c}\quad \because \text{外部の定義} \\
& \Leftrightarrow \ x\in (A^{c})^{i}\quad \because \text{内部の定義}
\end{align*}となるため\(A^{e}=\left( A^{c}\right) ^{i}\)も成り立ちます。つまり、\begin{equation*}
x\text{は}A\text{の外点}\Leftrightarrow x\text{は}A^{c}\text{の内点}
\end{equation*}という関係が成り立つということです。以上の事実を命題としてまとめておきます。
&&\left( a\right) \ A^{i}=\left( A^{c}\right) ^{e} \\
&&\left( b\right) \ A^{e}=\left( A^{c}\right) ^{i}
\end{eqnarray*}が成り立つ。
\(\mathbb{R} ^{n}\)の部分集合の内部という概念は\(\mathbb{R} ^{n}\)の開集合系\(\mathcal{O}\)から定義可能であることを以前に指摘しました。さらに内部が定義されれば、上の命題より、外部という概念を間接的に定義することもできます。つまり\(\mathbb{R} ^{n}\)の部分集合\(A\)の外部を、補集合\(A^{c}\)の内部として定義できるということです。したがって、\(\mathbb{R} ^{n}\)の部分集合の外部という概念もまた\(\mathbb{R} ^{n}\)の開集合系\(\mathcal{O}\)から定義可能です。
外部と開集合の関係
以前に示したように、ユークリッド空間\(\mathbb{R} ^{n}\)の部分集合\(A\)が与えられたとき、\(A\)が\(\mathbb{R} ^{n}\)上の開集合であることと\(A=A^{i}\)が成り立つことは必要十分です。また、先に示したように、内部と外部の間には\(A^{i}=\left( A^{c}\right) ^{e}\)が成り立つため、\(A\)が開集合であることと\(A=\left( A^{c}\right) ^{e}\)が成り立つこともまた必要十分です。
\(\mathbb{R} ^{n}\)の部分集合\(A\)が与えられたとき、先に示した内部と外部の関係より\(A^{e}=\left( A^{c}\right) ^{i}\)が成り立ちます。\(\left( A^{c}\right) ^{i}\)は\(\mathbb{R} ^{n}\)の部分集合である\(A^{c}\)の内部ですが、以前に示したように、\(\mathbb{R} ^{n}\)の部分集合の内部は\(\mathbb{R} ^{n}\)上の開集合であるため、\(\left( A^{c}\right) ^{i}\)もまた開集合です。したがって、それと等しい\(A^{e}\)もまた開集合です。\(\mathbb{R} ^{n}\)の部分集合の外部は開集合であるということです。
先に示したように、\(\mathbb{R} ^{n}\)の部分集合\(A\)の外部\(A^{e}\)は\(A^{c}\)の部分集合ですが、\(A^{e}\)は\(A^{c}\)の部分集合であるような開集合の中でも最大のものです。つまり、\(\mathbb{R} ^{n}\)の開集合系を\(\mathcal{O}\)で表すとき、\(A^{e}\in \mathcal{O}\)であるとともに、\begin{equation*}
\left( \forall B\in \mathcal{O}:B\subset A^{c}\right) \Rightarrow B\subset
A^{e}
\end{equation*}が成り立つということです。実際、先に示した内部と外部の関係を用いて上の命題を言い換えると、\begin{equation*}
\left( \forall B\in \mathcal{O}:B\subset A^{c}\right) \Rightarrow B\subset
\left( A^{c}\right) ^{i}
\end{equation*}となりますが、開集合系による内部の特徴づけに関する命題よりこれは真です(確認してください)。
\left( \forall B\in \mathcal{O}:B\subset A^{c}\right) \Rightarrow B\subset
A^{e}
\end{equation*}が成り立つ。
\(\mathbb{R} ^{n}\)の開集合系\(\mathcal{O}\)と部分集合\(A\)が与えられたとしましょう。このとき、\(\mathcal{O}\)に属する\(\mathbb{R} ^{n}\)の開集合の中でも、\(A^{c}\)の部分集合でありなおかつその中で最大のものをとればそれは\(A\)の外部\(A^{e}\)になります。したがって\(\mathbb{R} ^{n}\)の部分集合の外部という概念は、\(\mathbb{R} ^{n}\)の開集合系\(\mathcal{O}\)から間接的に定義することも可能です。
外部と集合演算
ユークリッド空間\(\mathbb{R} ^{n}\)の部分集合\(A,B\)を任意に選びます。\(A\subset B\)が成り立つ場合、これは\(B^{c}\subset A^{c}\)と必要十分です。このとき、包含関係と内部の関係より\(\left( B^{c}\right) ^{i}\subset \left( A^{c}\right) ^{i}\)を得ます。内部と外部の関係を用いてこれを言い換えると\(B^{e}\subset A^{e}\)を得ます。
ユークリッド空間\(\mathbb{R} ^{n}\)の部分集合\(A,B\)を任意に選んだとき、\begin{equation*}
A\subset B\Rightarrow B^{e}\subset A^{e}
\end{equation*}が成り立つ。
ユークリッド空間\(\mathbb{R} ^{n}\)の部分集合\(A,B\)を任意に選びます。このとき、\begin{eqnarray*}
\left( A\cup B\right) ^{e} &=&\left( \left( A\cup B\right) ^{c}\right)
^{i}\quad \because \text{内部と外部の関係} \\
&=&\left( A^{c}\cap B^{c}\right) ^{i}\quad \because \text{ド・モルガンの法則} \\
&=&\left( A^{c}\right) ^{i}\cap \left( B^{c}\right) ^{i}\quad \because \text{共通部分と内部} \\
&=&A^{e}\cap B^{e}\quad \because \text{内部と外部の関係}
\end{eqnarray*}となるため、\begin{equation*}
\left( A\cup B\right) ^{e}=A^{e}\cap B^{e}
\end{equation*}が成り立つことが明らかになりました。2つの集合について、それらの和集合の外部は、個々の集合の外部の共通部分と一致するということです。
ユークリッド空間\(\mathbb{R} ^{n}\)の部分集合\(A,B\)を任意に選んだとき、\begin{equation*}
\left( A\cup B\right) ^{e}=A^{e}\cap B^{e}
\end{equation*}が成り立つ。
次回はユークリッド空間における境界点や境界について学びます。
次へ進む 質問・コメント(プレミアム会員限定) 演習問題(プレミアム会員限定)
プレミアム会員だけが質問やコメントを投稿・閲覧できます。