複素数集合の触点と閉包
複素平面上の点\(a\in \mathbb{C} \)と正の実数\(\varepsilon >0\)が与えられたとき、点\(a\)を中心とする半径\(\varepsilon \)の近傍とは、点\(a\)からの距離が\(\varepsilon \)よりも短い場所にある\(\mathbb{C} \)上の点からなる集合\begin{equation*}N_{\varepsilon }\left( a\right) =\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert <\varepsilon \right\}
\end{equation*}として定義されます。複素平面\(\mathbb{C} \)の部分集合\(A\)が与えられたとき、点\(a\in \mathbb{C} \)の任意の近傍が\(A\)と交わるならば、すなわち、\begin{equation*}\forall \varepsilon >0:N_{\varepsilon }\left( a\right) \cap A\not=\phi
\end{equation*}が成り立つならば、\(a\)を\(A\)の触点(adherent point)と呼びます。つまり、点\(a\)が集合\(A\)の触点であることとは、点\(a\)からいくらでも近い場所に\(A\)の要素が存在することを意味します。
逆に、点\(a\in \mathbb{C} \)が集合\(A\subset \mathbb{C} \)の触点ではないことは、\begin{equation*}\exists \varepsilon >0:N_{\varepsilon }\left( a\right) \cap A=\phi
\end{equation*}が成り立つことを意味します。つまり、点\(a\)が集合\(A\)の触点ではないこととは、点\(a\)から十分近い場所に\(A\)の点が存在しないことを意味します。
複素平面\(\mathbb{C} \)の部分集合\(A\)のすべての触点からなる集合を\(A\)の閉包(closure)と呼び、\begin{equation*}A^{a},\quad \mathrm{cl}\left( A\right)
\end{equation*}などで表記します。閉包の定義より、任意の点\(z\in \mathbb{C} \)に対して、以下の関係\begin{equation*}x\in A^{a}\Leftrightarrow N_{\varepsilon }\left( x\right) \cap A\not=\phi
\end{equation*}が成り立ちます。
点\(a\in \mathbb{C} \)が集合\(A\subset \mathbb{C} \)の触点ではないことは、\begin{equation*}\exists \varepsilon >0:N_{\varepsilon }\left( a\right) \cap A=\phi
\end{equation*}が成り立つことを意味しますが、これは、\begin{equation*}
\exists \varepsilon >0:N_{\varepsilon }\left( a\right) \subset A^{c}
\end{equation*}と必要十分です。これは\(a\)が\(A\)の外点であることの定義に他なりません。以上より、以下の関係\begin{equation*}a\not\in A^{a}\Leftrightarrow a\in A^{e}
\end{equation*}が成り立つことが明らかになりました。したがって、\begin{equation*}
a\in A^{a}\Leftrightarrow a\not\in A^{e}
\end{equation*}すなわち、\begin{equation*}
A^{a}=\left( A^{e}\right) ^{c}
\end{equation*}を得ます。つまり、点\(a\)が集合\(A\)の触点であることと\(a\)が\(A\)の外点ではないことは必要十分であるため、\(A\)の閉包は\(A\)の外部の補集合と一致します。
さらに、点\(a\)が集合\(A\)の外点でないことと\(a\)が\(A\)の内点または境界点であることは必要十分であるため、すなわち、\begin{equation*}a\not\in A^{e}\Leftrightarrow a\in A^{i}\cup A^{f}
\end{equation*}すなわち、\begin{equation*}
\left( A^{e}\right) ^{c}=A^{i}\cup A^{f}
\end{equation*}が成り立つため、\begin{equation*}
A^{a}=A^{i}\cup A^{f}
\end{equation*}を得ます。つまり、点\(a\)が集合\(A\)の触点であることと\(a\)が\(A\)の内点または境界点であることは必要十分であるため、\(A\)の閉包は\(A\)の内部と境界の和集合と一致します。
複素平面\(\mathbb{C} \)の任意の部分集合\(A\)に対して、\begin{equation*}A^{a}=A^{i}\cup A^{f}=\left( A^{e}\right) ^{c}
\end{equation*}が成り立つ。ただし、\(A^{a}\)は\(A\)の閉包、\(A^{i}\)は\(A\)の内部、\(A^{f}\)は\(A\)の境界、\(A^{e}\)は\(A\)の外部である。
以上の命題より、\(\mathbb{C} \)の部分集合\(A\)のすべての触点を特定するためには、\(A\)のすべての内点と境界点を特定してもよいことが明らかになりました。もしくは、集合\(A\)の外点をすべて特定すれば、それ以外のすべての点が\(A\)のすべての触点になります。
\end{equation*}を定義します。この集合の閉包は、\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{a}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \leq \varepsilon \right\}
\end{equation*}となります(演習問題)。
\end{equation*}を定義します。この集合の閉包は、\begin{equation*}
\left( C_{\varepsilon }\left( a\right) \right) ^{a}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \leq \varepsilon \right\}
\end{equation*}となります(演習問題)。
\end{equation*}を定義します。この集合の閉包は、\begin{equation*}
\left\{ a\right\} ^{a}=\left\{ a\right\}
\end{equation*}となります(演習問題)。
\left( \mathbb{C} \backslash \left\{ a\right\} \right) ^{a}=\mathbb{C} \end{equation*}となります(演習問題)。
\end{equation*}を定義します。この集合の閉包は、\begin{equation*}
A^{a}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \geq \varepsilon \right\}
\end{equation*}となります(演習問題)。
A=\left\{ z\in \mathbb{C} \ |\ \mathrm{Im}\left( z\right) <0\right\}
\end{equation*}の閉包は、\begin{equation*}
A^{a}=\left\{ z\in \mathbb{C} \ |\ \mathrm{Im}\left( z\right) \leq 0\right\}
\end{equation*}となります(演習問題)。
A=\left\{ z\in \mathbb{C} \ |\ -1<\mathrm{Re}\left( z\right) <1\right\}
\end{equation*}の閉包は、\begin{equation*}
A^{a}=\left\{ z\in \mathbb{C} \ |\ -1\leq \mathrm{Re}\left( z\right) \leq 1\right\}
\end{equation*}となります(演習問題)。
\end{equation*}となります(演習問題)。
複素数列を用いた触点の定義
複素平面\(\mathbb{C} \)の部分集合\(A\)が与えられたとき、点\(a\in \mathbb{C} \)が\(A\)の触点であることを判定する方法としては、触点の定義に照らし合わせて確認する方法や、\(a\)が\(A\)の外点でないことを示す方法、もしくは\(a\)が\(A\)の内点または外点であることを示す方法などがあります。ただ、触点は複素数列の極限を用いて表現することもでき、そちらの定義を利用した方が触点であることを容易に判定できることがあります。順を追って説明します。
複素平面\(\mathbb{C} \)の部分集合\(A\)と点\(a\in \mathbb{C} \)が与えられた状況を想定します。一般に、\(A\)の要素を項とするとともに点\(a\)に収束する複素数列\(\left\{ z_{n}\right\} \)は存在するとは限りません。つまり、以下の条件\begin{eqnarray*}&&\left( a\right) \ \forall n\in \mathbb{N} :z_{n}\in A \\
&&\left( b\right) \ \lim_{n\rightarrow \infty }z_{n}=a
\end{eqnarray*}をともに満たす複素数列\(\left\{ z_{n}\right\} \)は存在するとは限らないということです。しかし、点\(a\)が集合\(A\)の触点である場合には、以上の性質を満たす複素数列\(\left\{ z_{n}\right\} \)が必ず存在します。
複素平面\(\mathbb{C} \)の部分集合\(A\)と点\(a\in \mathbb{C} \)が与えられたとき、\(a\)が\(A\)の触点であるならば、\(A\)の要素を項とするとともに\(a\)へ収束する複素数列が存在する。
上の命題の逆もまた成立します。つまり、\(\mathbb{C} \)の部分集合\(A\)と点\(a\in \mathbb{C} \)が与えられたとき、\(A\)の点を項とするとともに点\(a\)へ収束する複素数列\(\left\{ z_{n}\right\} \)が存在する場合には、すなわち、以下の条件\begin{eqnarray*}&&\left( a\right) \ \forall n\in \mathbb{N} :z_{n}\in A \\
&&\left( b\right) \ \lim_{n\rightarrow \infty }z_{n}=a
\end{eqnarray*}をともに満たす複素数列\(\left\{ z_{n}\right\} \)が存在する場合、この点\(a\)は集合\(A\)の触点になることが保証されます。
複素平面\(\mathbb{C} \)の部分集合\(A\)と点\(a\in \mathbb{C} \)が与えられたとき、\(A\)の要素を項とするとともに\(a\)へ収束する複素数列が存在するならば、\(a\)は\(A\)の触点である。
以上の2つの命題より、触点という概念は複素数列の収束概念を用いて以下のように特徴づけられることが明らかになりました。
複素平面\(\mathbb{C} \)の部分集合\(A\)の要素を項とし点\(a\)へ収束する複素数列\(\left\{ z_{n}\right\} \)が存在する場合、極限に相当する点\(a\)のいくらでも近い場所に\(\left\{z_{n}\right\} \)の点が無数に存在します。したがって、\(a\)が\(A\)の触点であることは、\(A\)上の点をたどりながら点\(a\)へ限りなく近づくことが必ず可能であることを意味します。
複素数列を用いて触点であることを判定する
先の命題より、触点に関する議論を複素数列の収束に関する議論に置き換えることができます。つまり、\(\mathbb{C} \)の部分集合\(A\)が与えられたとき、点\(a\in \mathbb{C} \)が\(A\)の触点であることを示すためには、\(A\)の要素を項とするとともに\(a\)へ収束する複素数列を具体的に提示すればよいということになります。
\end{equation*}を定義します。先に示したように、\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{a}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \leq \varepsilon \right\}
\end{equation*}ですが、同じことを複素数列を用いて示します。まずは、点\(a\in \mathbb{C} \)が\(N_{\varepsilon }\left( a\right) \)の触点であることを示します。そこで、\(\left\vert a-b\right\vert=\varepsilon \)を満たす\(b\in \mathbb{C} \)を選んだ上で、一般項が、\begin{equation*}z_{n}=a+\frac{b-a}{n+1}
\end{equation*}である複素数列\(\left\{z_{n}\right\} \)に注目します。\begin{eqnarray*}\left\vert z_{n}-a\right\vert &=&\left\vert a+\frac{b-a}{n+1}-a\right\vert
\\
&=&\left\vert \frac{b-a}{n+1}\right\vert \\
&=&\frac{\varepsilon }{n+1}\quad \because \left\vert a-b\right\vert
=\varepsilon \\
&<&\varepsilon
\end{eqnarray*}であるため\(\left\{ z_{n}\right\} \)は\(N_{\varepsilon }\left( a\right) \)上の複素数列です。しかも、\begin{eqnarray*}\lim_{n\rightarrow +\infty }z_{n} &=&\lim_{n\rightarrow +\infty }\left( a+\frac{b-a}{n+1}\right) \\
&=&a
\end{eqnarray*}が成り立つため、\(a\)は\(N_{\varepsilon }\left( a\right) \)の触点です。続いて、\(\left\vert b-a\right\vert \leq\varepsilon \)かつ\(b\not=a\)を満たす点\(b\in \mathbb{C} \)が\(N_{\varepsilon }\left( a\right) \)の触点であることを示します。そこで、一般項が、\begin{equation*}z_{n}=b+\frac{a-b}{n+1}
\end{equation*}である複素数列\(\left\{z_{n}\right\} \)に注目します。\begin{eqnarray*}\left\vert z_{n}-a\right\vert &=&\left\vert b+\frac{a-b}{n+1}-a\right\vert
\\
&=&\left\vert \frac{\left( b-a\right) n}{n+1}\right\vert \\
&\leq &\varepsilon \cdot \frac{n}{n+1}\quad \because \left\vert
b-a\right\vert \leq \varepsilon \\
&<&\varepsilon
\end{eqnarray*}であるため\(\left\{ z_{n}\right\} \)は\(N_{\varepsilon }\left( a\right) \)上の複素数列です。しかも、\begin{eqnarray*}\lim_{n\rightarrow +\infty }z_{n} &=&\lim_{n\rightarrow +\infty }\left( b+\frac{a-b}{n+1}\right) \\
&=&b
\end{eqnarray*}が成り立つため、\(b\)は\(N_{\varepsilon }\left( a\right) \)の触点です。以上より、\(\left\vert z-a\right\vert\leq \varepsilon \)を満たす任意の\(z\in \mathbb{C} \)が\(N_{\varepsilon }\left( a\right) \)の触点であることが明らかになりました。
複素数列を用いて触点ではないことを判定する
繰り返しになりますが、複素平面\(\mathbb{C} \)の部分集合\(A\)と点\(a\in \mathbb{C} \)について、\(a\)が\(A\)の触点であることは、\(A\)の要素を項とするとともに\(a\)へ収束する複素数列が存在することと必要十分です。したがって、\(A\)の点を項とするとともに\(a\)へ収束する複素数列が存在しないことを示せば、\(a\)は\(A\)の触点ではないことを示したことになります。もしくは、\(A\)の点を項とするとともに\(a\)へ収束する複素数列が存在するものと仮定して矛盾を導けば、背理法より、\(a\)は\(A\)の触点ではないことになります。
\end{equation*}を定義します。以下の集合\begin{equation*}
A=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert >\varepsilon \right\}
\end{equation*}上の任意の点が\(N_{\varepsilon}\left( a\right) \)の触点ではないことを複素数列を用いて示します。そこで、点\(b\in A\)を任意に選びます。\(A\)の定義より、\begin{equation}\left\vert b-a\right\vert >\varepsilon \quad \cdots (1)
\end{equation}を得ます。\(b\)が\(N_{\varepsilon }\left(a\right) \)の集積点である場合、任意の項が\(N_{\varepsilon}\left( a\right) \)の要素であるとともに\(b\)へ収束する複素数列\(\left\{ z_{n}\right\} \)が存在します。つまり、\begin{eqnarray*}&&\left( a\right) \ \forall n\in \mathbb{N} :\left\vert z_{n}-a\right\vert <\varepsilon \\
&&\left( b\right) \ \lim_{n\rightarrow +\infty }z_{n}=b
\end{eqnarray*}をともに満たす複素数列\(\left\{ z_{n}\right\} \)が存在するということです。\(\left( a\right) \)より、この複素数列の極限についても、\begin{equation*}\left\vert \lim_{n\rightarrow +\infty }z_{n}-a\right\vert <\varepsilon
\end{equation*}が成り立ちますが、これと\(\left( b\right) \)より、\begin{equation*}\left\vert b-a\right\vert <\varepsilon
\end{equation*}を得ます。これは\(\left(1\right) \)と矛盾であるため、背理法より\(b\)は\(N_{\varepsilon}\left( a\right) \)の集積点ではないことが明らかになりました。
閉包を用いた閉集合の定義
複素平面\(\mathbb{C} \)の部分集合\(A\)が任意に与えられたとき、\(A\)の閉包は\(A\)を部分集合として持ちます。つまり、\begin{equation*}A\subset A^{a}
\end{equation*}という関係が常に成り立ちます。\(A\)の任意の点は\(A\)の触点であるということです。言い換えると、\(A\)の任意の点は\(A\)の内点または境界点であるということです。
\end{equation*}が成り立つ。
では逆に、\(\mathbb{C} \)の部分集合\(A\)について、以下の関係\begin{equation*}A^{a}\subset A
\end{equation*}もまた必ず成り立つのでしょうか。以下の例が示唆するように、この関係は成立するとは限りません。
\end{equation*}を定義します。この集合の閉包は、\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{a}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \leq \varepsilon \right\}
\end{equation*}であるため、以下の関係\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{a}\subset N_{\varepsilon
}\left( a\right)
\end{equation*}は成り立ちません。
では、どのような条件のもとで\(A^{a}\subset A\)が成立するのでしょうか。実は、\(A\)が\(\mathbb{C} \)上の閉集合である場合、そしてその場合にのみ\(A^{a}\subset A\)という関係もまた成立します。
\end{equation*}が成り立つことは、\(A\)が\(\mathbb{C} \)上の閉集合であるための必要十分条件である。ただし、\(A^{a}\)は\(A\)の閉包である。
複素平面\(\mathbb{C} \)の任意の部分集合\(A\)について\(A\subset A^{a}\)が成り立つことを踏まえると、\begin{eqnarray*}A^{a}\subset A &\Leftrightarrow &A^{a}\subset A\wedge A\subset A^{a}\quad
\because A\subset A^{a}\text{は恒真式} \\
&\Leftrightarrow &A^{a}=A
\end{eqnarray*}すなわち、\begin{equation*}
A^{a}\subset A\Leftrightarrow A^{a}=A
\end{equation*}という関係が成り立ちます。したがって、先の命題を以下のように言い換えることもできます。
\end{equation*}が成り立つことは、\(A\)が\(\mathbb{C} \)上の閉集合であるための必要十分条件である。ただし、\(A^{a}\)は\(A\)の閉包である。
以上の命題は、閉集合という概念が閉包という概念から定義可能であることを意味します。つまり、\(\mathbb{C} \)の部分集合\(A\)に対して、その閉包\(A^{a}\)が定義されていれば、以下の条件\begin{equation*}A\text{は}\mathbb{C} \text{上の閉集合}\Leftrightarrow A^{a}=A
\end{equation*}を満たすものとして閉集合の概念を間接的に定義できるということです。
閉包を用いた閉集合であることの判定
複素平面\(\mathbb{C} \)の部分集合\(A\)を任意に選んだとき、以下の関係\begin{equation*}A\text{は}\mathbb{C} \text{上の閉集合}\Leftrightarrow A^{a}=A
\end{equation*}が成り立つことが明らかになりました。したがって、\(\mathbb{C} \)の部分集合\(A\)が閉集合であることを示すためには、\(A\)の閉包\(A^{a}\)を特定した上で、それが\(A\)と一致することを示してもよいということになります。
\end{equation*}を定義します。この集合の閉包は、\begin{equation*}
\left( C_{\varepsilon }\left( a\right) \right) ^{a}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \leq \varepsilon \right\}
\end{equation*}であるため、以下の関係\begin{equation*}
\left( C_{\varepsilon }\left( a\right) \right) ^{f}=\left( C_{\varepsilon
}\left( a\right) \right) ^{a}
\end{equation*}が成立しています。したがって\(C_{\varepsilon }\left( a\right) \)は\(\mathbb{C} \)上の閉集合です。
\end{equation*}を定義します。この集合の閉包は、\begin{equation*}
\left\{ a\right\} ^{a}=\left\{ a\right\}
\end{equation*}であるため、以下の関係\begin{equation*}
\left\{ a\right\} ^{a}=\left\{ a\right\}
\end{equation*}が成立しています。したがって\(\left\{ a\right\} \)は\(\mathbb{C} \)上の閉集合です。
\end{equation*}であるため、以下の関係\begin{equation*}
\phi ^{a}=\phi
\end{equation*}が成立しています。したがって\(\phi \)は\(\mathbb{C} \)上の閉集合です。
閉包を用いた閉集合ではないことの判定
複素平面\(\mathbb{C} \)の部分集合\(A\)を任意に選んだとき、以下の関係\begin{equation*}A\text{は}\mathbb{C} \text{上の閉集合}\Leftrightarrow A^{a}=A
\end{equation*}が成り立つのであれば、以下の関係\begin{equation*}
A\text{は}\mathbb{C} \text{上の閉集合ではない}\Leftrightarrow A^{a}\not=A
\end{equation*}もまた成立します。したがって、\(\mathbb{C} \)の部分集合\(A\)が閉集合ではないことを示すためには、\(A\)の閉包\(A^{a}\)を特定した上で、それが\(A\)と一致しないことを示してもよいということになります。
ちなみに、複素平面\(\mathbb{C} \)の部分集合\(A\)が閉集合ではないことは\(A\)が開集合であることを必ずしも意味しないため、\(A^{a}\not=A\)を示した場合、\(A\)が開集合であることを示したことにはなりません。
\end{equation*}を定義します。この集合の閉包は、\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{a}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \leq \varepsilon \right\}
\end{equation*}であるため、\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{a}\not=N_{\varepsilon
}\left( a\right)
\end{equation*}であり、したがって\(N_{\varepsilon }\left( a\right) \)は\(\mathbb{C} \)上の閉集合ではありません。
\end{equation*}を定義します。この集合の閉包は、\begin{equation*}
A^{a}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \geq \varepsilon \right\}
\end{equation*}であるため、\begin{equation*}
A^{a}\not=A
\end{equation*}であり、したがって\(A\)は\(\mathbb{C} \)上の閉集合ではありません。
A=\left\{ z\in \mathbb{C} \ |\ \mathrm{Im}\left( z\right) <0\right\}
\end{equation*}の閉包は、\begin{equation*}
A^{a}=\left\{ z\in \mathbb{C} \ |\ \mathrm{Im}\left( z\right) \leq 0\right\}
\end{equation*}であるため、\begin{equation*}
A^{a}\not=A
\end{equation*}であり、したがって\(A\)は\(\mathbb{C} \)上の閉集合ではありません。
A=\left\{ z\in \mathbb{C} \ |\ -1<\mathrm{Re}\left( z\right) <1\right\}
\end{equation*}の閉包は、\begin{equation*}
A^{a}=\left\{ z\in \mathbb{C} \ |\ -1\leq \mathrm{Re}\left( z\right) \leq 1\right\}
\end{equation*}であるため、\begin{equation*}
A^{a}\not=A
\end{equation*}であり、したがって\(A\)は\(\mathbb{C} \)上の閉集合ではありません。
閉集合を用いた閉包の定義
複素平面\(\mathbb{C} \)の部分集合\(A\)を任意に選んだとき、\begin{equation*}A^{a}=\left( A^{e}\right) ^{c}
\end{equation*}が成り立つことを先に示しました。外部\(A^{e}\)は\(\mathbb{C} \)上の開集合であるため、その補集合\(\left( A^{e}\right)^{c}\)は閉集合です。したがってそれと一致する\(A^{a}\)もまた閉集合です。つまり、\(\mathbb{C} \)の任意の部分集合の閉包は\(\mathbb{C} \)上の閉集合であるということです。
複素平面\(\mathbb{C} \)の部分集合\(A\)を任意に選んだ上で、その閉包\(A^{a}\)をとります。これまでの議論より、\(A^{a}\)は\(A\)を部分集合として持つ閉集合です。\(A\)を部分集合として持つ閉集合は\(A^{a}\)の他にも存在する可能性はありますが、\(A^{a}\)はそのような集合の中でも最小のものです。つまり、\(A\)を部分集合として持つような\(\mathbb{C} \)上の閉集合\(B\)を任意に選んだとき、これと\(A^{a}\)の間には\(A^{a}\subset B\)という関係が成り立つということです(演習問題)。
\end{equation*}が成り立つ。
複素平面\(\mathbb{C} \)の閉集合系\(\mathcal{A}\left( \mathbb{C} \right) \)と部分集合\(A\)が与えられたとします。このとき、\(\mathcal{A}\left( \mathbb{C} \right) \)に属する\(\mathbb{C} \)上の閉集合の中でも、\(A\)を部分集合として持つものの中で最小のものをとればそれは\(A\)の閉包\(A^{a}\)になります。したがって\(\mathbb{C} \)の部分集合の閉包という概念は、\(\mathbb{C} \)の閉集合系\(\mathcal{A}\left( \mathbb{C} \right) \)から間接的に定義することも可能です。さらに、閉集合系は開集合系から定義可能であるため、結局、閉包もまた開集合系から定義可能な概念です。
演習問題
\end{equation*}を定義します。この集合の閉包は、\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{a}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \leq \varepsilon \right\}
\end{equation*}であることを示してください。
\end{equation*}を定義します。この集合の閉包は、\begin{equation*}
\left( C_{\varepsilon }\left( a\right) \right) ^{a}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \leq \varepsilon \right\}
\end{equation*}であることを示してください。
\end{equation*}を定義します。この集合の閉包は、\begin{equation*}
\left\{ a\right\} ^{a}=\left\{ a\right\}
\end{equation*}であることを示してください。
\left( \mathbb{C} \backslash \left\{ a\right\} \right) ^{a}=\mathbb{C} \end{equation*}であることを示してください。
\end{equation*}を定義します。この集合の閉包は、\begin{equation*}
A^{a}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \geq \varepsilon \right\}
\end{equation*}であることを示してください。
A=\left\{ z\in \mathbb{C} \ |\ \mathrm{Im}\left( z\right) <0\right\}
\end{equation*}の閉包は、\begin{equation*}
A^{a}=\left\{ z\in \mathbb{C} \ |\ \mathrm{Im}\left( z\right) \leq 0\right\}
\end{equation*}であることを示してください。
A=\left\{ z\in \mathbb{C} \ |\ -1<\mathrm{Re}\left( z\right) <1\right\}
\end{equation*}の閉包は、\begin{equation*}
A^{a}=\left\{ z\in \mathbb{C} \ |\ -1\leq \mathrm{Re}\left( z\right) \leq 1\right\}
\end{equation*}であることを示してください。
\end{equation*}であることを示してください。
A=\left\{ z\in \mathbb{C} \ |\ 0<\mathrm{Re}\left( z\right) <1\wedge 0<\mathrm{Im}\left( z\right)
<1\right\}
\end{equation*}が与えられているものとします。\(A\)の任意の点が\(A\)の触点であることを複素数列を用いて示してください。
A=\left\{ z\in \mathbb{C} \ |\ 0\leq \mathrm{Re}\left( z\right) \leq 1\wedge 0\leq \mathrm{Im}\left(
z\right) \leq 1\right\}
\end{equation*}が与えられているものとします。\(A\)の補集合\(A^{c}\)の任意の点が\(A\)の触点ではないことを複素数列を用いて示してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】