複素数集合の外点と外部
複素平面上の点\(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\)の補集合\(A^{c}\)部分集合であるようなものが存在するならば、すなわち、\begin{equation*}\exists \varepsilon >0:N_{\varepsilon }\left( a\right) \subset A^{c}
\end{equation*}が成り立つならば、\(a\)を\(A\)の外点（exterior point）と呼びます。つまり、点\(a\)が集合\(A\)の外点であることとは、十分小さい距離\(\varepsilon \)を選べば、\(a\)からの距離が\(\varepsilon \)よりも短い場所にある任意の点が\(A\)に属さないことを意味します。
逆に、点\(a\in \mathbb{C} \)が集合\(A\subset \mathbb{C} \)の外点でないこととは、\begin{equation*}\forall \varepsilon >0:N_{\varepsilon }\left( a\right) \not\subset A^{c}
\end{equation*}すなわち、\begin{equation*}
\forall \varepsilon >0:N_{\varepsilon }\left( a\right) \cap A\not=\phi
\end{equation*}が成り立つことを意味します。つまり、点\(a\)が集合\(A\)の外点でないこととは、点\(a\)からいくらでも近い場所に\(A\)の要素が存在することを意味します。
複素平面\(\mathbb{C} \)の部分集合\(A\)のすべての外点からなる集合を\(A\)の外部（exterior）と呼び、\begin{equation*}A^{e},\quad \mathrm{ext}\left( A\right)
\end{equation*}などで表記します。外部の定義より、任意の点\(z\in \mathbb{C} \)に対して、以下の関係\begin{equation*}z\in A^{e}\Leftrightarrow \exists \varepsilon >0:N_{\varepsilon }\left(
z\right) \subset A^{c}
\end{equation*}が成り立ちます。
集合\(A\)の外点\(a\in A^{e}\)が与えられたとき、外点の定義より、\begin{equation*}\exists \varepsilon >0:N_{\varepsilon }\left( a\right) \subset A^{c}
\end{equation*}が成り立ちます。近傍\(N_{\varepsilon }\left( a\right) \)はその中心\(a\)を要素として持つため、すなわち\(a\in N_{\varepsilon}\left( a\right) \)が成り立つため、このとき、\begin{equation*}a\in A^{c}
\end{equation*}が成り立ちます。以上より、\begin{equation*}
A^{e}\subset A^{c}
\end{equation*}であることが明らかになりました。集合\(A\)の外点は必ず\(A\)の要素ではないということです。したがって、集合\(A\)の要素は\(A\)の外点になり得ないため、\(A\)の外点を探す際には\(A\)に属さない点だけを候補としても問題はありません。
\end{equation*}が成り立つ。ただし、\(A^{e}\)は\(A\)の外部であり、\(A^{c}\)は\(A\)の補集合である。
\end{equation*}を定義します。この集合の補集合は、\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{c}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \geq \varepsilon \right\}
\end{equation*}である一方で、外部は、\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{e}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert >\varepsilon \right\}
\end{equation*}であるため、以下の関係\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{e}\subset \left(
N_{\varepsilon }\left( a\right) \right) ^{c}
\end{equation*}が成立しています。以上の結果は先の命題の主張と整合的です（演習問題）。
\end{equation*}を定義します。この集合の補集合は、\begin{equation*}
\left( C_{\varepsilon }\left( a\right) \right) ^{c}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert >\varepsilon \right\}
\end{equation*}である一方で、外部は、\begin{equation*}
\left( C_{\varepsilon }\left( a\right) \right) ^{e}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert >\varepsilon \right\}
\end{equation*}であるため、以下の関係\begin{equation*}
\left( C_{\varepsilon }\left( a\right) \right) ^{e}\subset \left(
C_{\varepsilon }\left( a\right) \right) ^{c}
\end{equation*}が成立しています。以上の結果は先の命題の主張と整合的です（演習問題）。
\end{equation*}を定義します。この集合の補集合は、\begin{equation*}
\left\{ a\right\} ^{c}=\mathbb{C} \backslash \left\{ a\right\}
\end{equation*}である一方で、外部は、\begin{equation*}
\left\{ a\right\} ^{e}=\mathbb{C} \backslash \left\{ a\right\}
\end{equation*}であるため、以下の関係\begin{equation*}
\left\{ a\right\} ^{e}\subset \left\{ a\right\} ^{c}
\end{equation*}が成立しています。以上の結果は先の命題の主張と整合的です（演習問題）。
\end{equation*}を定義します。この集合の補集合は、\begin{equation*}
A^{c}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \leq \varepsilon \right\}
\end{equation*}である一方で、外部は、\begin{equation*}
A^{e}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert <\varepsilon \right\}
\end{equation*}であるため、以下の関係\begin{equation*}
A^{e}\subset A^{c}
\end{equation*}が成立しています。以上の結果は先の命題の主張と整合的です（演習問題）。
A=\left\{ z\in \mathbb{C} \ |\ \mathrm{Im}\left( z\right) <0\right\}
\end{equation*}の補集合は、\begin{equation*}
A^{c}=\left\{ z\in \mathbb{C} \ |\ \mathrm{Im}\left( z\right) \geq 0\right\}
\end{equation*}である一方で、外部は、\begin{equation*}
A^{e}=\left\{ z\in \mathbb{C} \ |\ \mathrm{Im}\left( z\right) >0\right\}
\end{equation*}であるため、以下の関係\begin{equation*}
A^{e}\subset A^{c}
\end{equation*}が成立しています。以上の結果は先の命題の主張と整合的です（演習問題）。
A=\left\{ z\in \mathbb{C} \ |\ -1<\mathrm{Re}\left( z\right) <1\right\}
\end{equation*}の補集合は、\begin{equation*}
A^{c}=\left\{ z\in \mathbb{C} \ |\ \mathrm{Re}\left( z\right) \leq -1\vee \mathrm{Re}\left( z\right) \geq
1\right\}
\end{equation*}である一方で、外部は、\begin{equation*}
A^{e}=\left\{ z\in \mathbb{C} \ |\ \mathrm{Re}\left( z\right) <-1\vee \mathrm{Re}\left( z\right) >1\right\}
\end{equation*}であるため、以下の関係\begin{equation*}
A^{e}\subset A^{c}
\end{equation*}が成立しています。以上の結果は先の命題の主張と整合的です（演習問題）。
\phi ^{e}=\mathbb{C} \end{equation*}であるため、以下の関係\begin{equation*}
\phi ^{e}\subset \phi ^{c}
\end{equation*}が成立しています。以上の結果は先の命題の主張と整合的です（演習問題）。
外点は存在するとは限らない
複素平面の部分集合は外点を持つとは限りません。以下の例より明らかです。
\left( \mathbb{C} /\left\{ a\right\} \right) ^{c}=\left\{ a\right\}
\end{equation*}である一方で、外部は、\begin{equation*}
\left( \mathbb{C} /\left\{ a\right\} \right) ^{e}=\phi
\end{equation*}であるため、以下の関係\begin{equation*}
\left( \mathbb{C} /\left\{ a\right\} \right) ^{e}\subset \left( \mathbb{C} /\left\{ a\right\} \right) ^{c}
\end{equation*}が成立しています。以上の結果は先の命題の主張と整合的です（演習問題）。
\end{equation*}であるため、以下の関係\begin{equation*}\mathbb{C} ^{e}\subset \mathbb{C} ^{c}
\end{equation*}が成立しています。以上の結果は先の命題の主張と整合的です（演習問題）。
外部と内部の関係
複素平面\(\mathbb{C} \)の部分集合\(A\)が与えられたとき、任意の点\(z\in \mathbb{C} \)に対して、\begin{align*}z\in A^{i}& \Leftrightarrow \exists \varepsilon >0:N_{\varepsilon
}(z)\subset A\quad \because \text{内部の定義}
\\
& \Leftrightarrow \exists \varepsilon >0:N_{\varepsilon }(z)\subset
(A^{c})^{c}\quad \because A=(A^{c})^{c} \\
& \Leftrightarrow \ z\in (A^{c})^{e}\quad \because \text{外部の定義}
\end{align*}となるため、\begin{equation*}
A^{i}=\left( A^{c}\right) ^{e}
\end{equation*}が成り立ちます。つまり、任意の\(z\in \mathbb{C} \)に対して、以下の関係\begin{equation*}z\text{は}A\text{の内点}\Leftrightarrow z\text{は}A^{c}\text{の外点}
\end{equation*}が成り立つということです。また、\begin{align*}
z\in A^{e}& \Leftrightarrow \exists \varepsilon >0:N_{\varepsilon
}(z)\subset A^{c}\quad \because \text{外部の定義} \\
& \Leftrightarrow \ z\in (A^{c})^{i}\quad \because \text{内部の定義}
\end{align*}となるため、\begin{equation*}
A^{e}=\left( A^{c}\right) ^{i}
\end{equation*}も成り立ちます。つまり、任意の\(z\in \mathbb{C} \)に対して、以下の関係\begin{equation*}z\text{は}A\text{の外点}\Leftrightarrow z\text{は}A^{c}\text{の内点}
\end{equation*}が成り立つということです。以上の事実を命題としてまとめておきます。
&&\left( b\right) \ A^{e}=\left( A^{c}\right) ^{i}
\end{eqnarray*}が成り立つ。
複素平面\(\mathbb{C} \)の部分集合の内部という概念は\(\mathbb{C} \)の開集合系\(\mathcal{O}\left( \mathbb{C} \right) \)から定義可能であることを以前に指摘しました。さらに内部が定義されれば、上の命題より、外部という概念を間接的に定義できます。つまり\(\mathbb{C} \)の部分集合\(A\)の外部を、その補集合\(A^{c}\)の内部として定義できるということです。したがって、\(\mathbb{C} \)の部分集合の外部という概念もまた\(\mathbb{C} \)の開集合系\(\mathcal{O}\left( \mathbb{C} \right) \)から定義可能です。
外部を用いた閉集合の定義
複素平面\(\mathbb{C} \)の部分集合\(A\)が与えられたとき、以下の関係\begin{equation*}A^{e}\subset A^{c}
\end{equation*}が必ず成り立つことが明らかになりました。では逆に、以下の関係\begin{equation*}
A^{c}\subset A^{e}
\end{equation*}もまた必ず成り立つのでしょうか。以下の例が示唆するように、この関係は成立するとは限りません。
\end{equation*}を定義します。先に示したように、この集合の補集合は、\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{c}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \geq \varepsilon \right\}
\end{equation*}である一方で、外部は、\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{e}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert >\varepsilon \right\}
\end{equation*}です。\(\left\vert z-a\right\vert =\varepsilon \)を満たす点\(z\in \mathbb{C} \)は\(z\in \left( N_{\varepsilon }\left( a\right) \right) ^{c}\)かつ\(z\not\in \left( N_{\varepsilon }\left( a\right) \right) ^{e}\)を満たすため、以下の関係\begin{equation*}\left( N_{\varepsilon }\left( a\right) \right) ^{e}\subset \left(
N_{\varepsilon }\left( a\right) \right) ^{c}
\end{equation*}が成立していません。
では、どのような条件のもとで\(A^{c}\subset A^{e}\)が成立するのでしょうか。実は、\(A\)が\(\mathbb{C} \)上の閉集合である場合、そしてその場合にのみ\(A^{c}\subset A^{e}\)という関係もまた成立します。
\end{equation*}が成り立つことは、\(A\)が\(\mathbb{C} \)上の閉集合であるための必要十分条件である。ただし、\(A^{e}\)は\(A\)の外部であり、\(A^{c}\)は\(A\)の補集合である。
複素平面\(\mathbb{C} \)の任意の部分集合\(A\)について\(A^{e}\subset A^{c}\)が成り立つことを踏まえると、\begin{eqnarray*}A^{c}\subset A^{e} &\Leftrightarrow &A^{c}\subset A^{e}\wedge A^{e}\subset
A^{c}\quad \because A^{e}\subset A^{c}\text{は恒真式}
\\
&\Leftrightarrow &A^{c}=A^{e}
\end{eqnarray*}すなわち、\begin{equation*}
A^{c}\subset A^{e}\Leftrightarrow A^{c}=A^{e}
\end{equation*}という関係が成り立ちます。したがって、先の命題を以下のように言い換えることもできます。
\end{equation*}が成り立つことは、\(A\)が\(\mathbb{C} \)上の閉集合であるための必要十分条件である。ただし、\(A^{e}\)は\(A\)の外部であり、\(A^{c}\)は\(A\)の補集合である。
以上の命題は、閉集合という概念が外部という概念から定義可能であることを意味します。つまり、\(\mathbb{C} \)の部分集合\(A\)に対して、その外部\(A^{e}\)が定義されていれば、以下の条件\begin{equation*}A\text{は}\mathbb{C} \text{上の閉集合}\Leftrightarrow A^{c}=A^{e}
\end{equation*}を満たすものとして閉集合の概念を間接的に定義できるということです。
閉集合は開集合の補集合として定義されます。したがって、先の命題を以下のように言い換えることもできます。
\end{equation*}が成り立つことは、\(A^{c}\)が\(\mathbb{C} \)上の開集合であるための必要十分条件である。ただし、\(A^{e}\)は\(A\)の外部であり、\(A^{c}\)は\(A\)の補集合である。
外部を用いた閉集合であることの判定
複素平面\(\mathbb{C} \)の部分集合\(A\)を任意に選んだとき、以下の関係\begin{equation*}A\text{は}\mathbb{C} \text{上の閉集合}\Leftrightarrow A^{c}=A^{e}
\end{equation*}が成り立つことが明らかになりました。したがって、\(\mathbb{C} \)の部分集合\(A\)が閉集合であることを示すためには、\(A\)の外部\(A^{e}\)を特定した上で、それが\(A\)の補集合と一致することを示してもよいということになります。
\end{equation*}を定義します。この集合の補集合は、\begin{equation*}
\left( C_{\varepsilon }\left( a\right) \right) ^{c}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert >\varepsilon \right\}
\end{equation*}である一方で、外部は、\begin{equation*}
\left( C_{\varepsilon }\left( a\right) \right) ^{e}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert >\varepsilon \right\}
\end{equation*}であるため、以下の関係\begin{equation*}
\left( C_{\varepsilon }\left( a\right) \right) ^{e}=\left( C_{\varepsilon
}\left( a\right) \right) ^{c}
\end{equation*}が成立しています。したがって\(C_{\varepsilon }\left( a\right) \)は\(\mathbb{C} \)上の閉集合です。
\end{equation*}を定義します。この集合の補集合は、\begin{equation*}
\left\{ a\right\} ^{c}=\mathbb{C} \backslash \left\{ a\right\}
\end{equation*}である一方で、外部は、\begin{equation*}
\left\{ a\right\} ^{e}=\mathbb{C} \backslash \left\{ a\right\}
\end{equation*}であるため、以下の関係\begin{equation*}
\left\{ a\right\} ^{e}=\left\{ a\right\} ^{c}
\end{equation*}が成立しています。したがって\(\left\{ a\right\} \)は\(\mathbb{C} \)上の閉集合です。
\phi ^{e}=\mathbb{C} \end{equation*}であるため、以下の関係\begin{equation*}
\phi ^{e}=\phi ^{c}
\end{equation*}が成立しています。したがって\(\phi \)は\(\mathbb{C} \)上の閉集合です。
\end{equation*}であるため、以下の関係\begin{equation*}\mathbb{C} ^{e}=\mathbb{C} ^{c}
\end{equation*}が成立しています。したがって\(\mathbb{C} \)は\(\mathbb{C} \)上の閉集合です。
外部を用いた閉集合ではないことの判定
複素平面\(\mathbb{C} \)の部分集合\(A\)を任意に選んだとき、以下の関係\begin{equation*}A\text{は}\mathbb{C} \text{上の閉集合}\Leftrightarrow A^{c}=A^{e}
\end{equation*}が成り立つのであれば、以下の関係\begin{equation*}
A\text{は}\mathbb{C} \text{上の閉集合ではない}\Leftrightarrow A^{c}\not=A^{e}
\end{equation*}もまた成立します。したがって、\(\mathbb{C} \)の部分集合\(A\)が閉集合ではないことを示すためには、\(A\)の外部\(A^{e}\)を特定した上で、それが\(A\)の補集合と一致しないことを示してもよいということになります。
ちなみに、\(\mathbb{C} \)の部分集合\(A\)が閉集合ではないことは\(A\)が開集合であることを必ずしも意味しないため、\(A^{c}\not=A^{e}\)を示した場合、\(A\)が開集合であることを示したことにはなりません。
\end{equation*}を定義します。この集合の補集合は、\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{c}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \geq \varepsilon \right\}
\end{equation*}である一方で、外部は、\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{e}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert >\varepsilon \right\}
\end{equation*}であるため、以下の関係\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{e}\not=\left(
N_{\varepsilon }\left( a\right) \right) ^{c}
\end{equation*}が成立しています。したがって\(N_{\varepsilon }\left( a\right) \)は\(\mathbb{C} \)上の閉集合ではありません。
\end{equation*}を定義します。この集合の補集合は、\begin{equation*}
A^{c}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert \leq \varepsilon \right\}
\end{equation*}である一方で、外部は、\begin{equation*}
A^{e}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert <\varepsilon \right\}
\end{equation*}であるため、以下の関係\begin{equation*}
A^{e}\not=A^{c}
\end{equation*}が成立しています。したがって\(A\)は\(\mathbb{C} \)上の閉集合ではありません。
A=\left\{ z\in \mathbb{C} \ |\ \mathrm{Im}\left( z\right) <0\right\}
\end{equation*}の補集合は、\begin{equation*}
A^{c}=\left\{ z\in \mathbb{C} \ |\ \mathrm{Im}\left( z\right) \geq 0\right\}
\end{equation*}である一方で、外部は、\begin{equation*}
A^{e}=\left\{ z\in \mathbb{C} \ |\ \mathrm{Im}\left( z\right) >0\right\}
\end{equation*}であるため、以下の関係\begin{equation*}
A^{e}\not=A^{c}
\end{equation*}が成立しています。したがって\(A\)は\(\mathbb{C} \)上の閉集合ではありません。
A=\left\{ z\in \mathbb{C} \ |\ -1<\mathrm{Re}\left( z\right) <1\right\}
\end{equation*}の補集合は、\begin{equation*}
A^{c}=\left\{ z\in \mathbb{C} \ |\ \mathrm{Re}\left( z\right) \leq -1\vee \mathrm{Re}\left( z\right) \geq
1\right\}
\end{equation*}である一方で、外部は、\begin{equation*}
A^{e}=\left\{ z\in \mathbb{C} \ |\ \mathrm{Re}\left( z\right) <-1\vee \mathrm{Re}\left( z\right) >1\right\}
\end{equation*}であるため、以下の関係\begin{equation*}
A^{e}\not=A^{c}
\end{equation*}が成立しています。したがって\(A\)は\(\mathbb{C} \)上の閉集合ではありません。
開集合を用いた外部の定義
複素平面\(\mathbb{C} \)の部分集合\(A\)が与えられたとき、以下の関係\begin{equation*}A^{e}=\left( A^{c}\right) ^{i}
\end{equation*}が成り立つことが明らかになりました。\(\mathbb{C} \)の部分集合の内部は\(\mathbb{C} \)上の開集合であるため\(\left( A^{c}\right) ^{i}\)は開集合であり、したがってそれと等しい\(A^{e}\)もまた開集合です。つまり、\(\mathbb{C} \)の任意の部分集合の外部は\(\mathbb{C} \)上の開集合であるということです。
複素平面\(\mathbb{C} \)の部分集合\(A\)を任意に選んだ上で、その外部\(A^{e}\)をとります。これまでの議論より、\(A^{e}\)は\(A^{c}\)の部分集合であり、なおかつ\(\mathbb{C} \)上の開集合です。\(A^{c}\)の部分集合であるような\(\mathbb{C} \)上の開集合は\(A^{e}\)の他にも存在する可能性はありますが、\(A^{e}\)はそのような集合の中でも最大のものです。つまり、\(A^{c}\)の部分集合であるような\(\mathbb{C} \)上の開集合\(B\)を任意に選んだとき、これと\(A^{e}\)の間には\(B\subset A^{e}\)という関係が成り立つということです（演習問題）。
\end{equation*}が成り立つ。
複素平面\(\mathbb{C} \)の開集合系\(\mathcal{O}\left( \mathbb{C} \right) \)と部分集合\(A\)が与えられたとします。このとき、\(\mathcal{O}\left( \mathbb{C} \right) \)に属する\(\mathbb{C} \)上の開集合の中でも、\(A^{c}\)の部分集合でありなおかつその中で最大のものをとればそれは\(A\)の外部\(A^{e}\)になります。したがって\(\mathbb{C} \)の部分集合の外部という概念は\(\mathbb{C} \)の開集合系\(\mathcal{O}\left( \mathbb{C} \right) \)から間接的に定義することも可能です。
演習問題
\end{equation*}を定義します。この集合の外部が、\begin{equation*}
\left( N_{\varepsilon }\left( a\right) \right) ^{e}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert >\varepsilon \right\}
\end{equation*}であることを示してください。
\end{equation*}を定義します。この集合の外部が、\begin{equation*}
\left( C_{\varepsilon }\left( a\right) \right) ^{e}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert >\varepsilon \right\}
\end{equation*}であることを示してください。
\end{equation*}を定義します。この集合の外部が、\begin{equation*}
\left\{ a\right\} ^{e}=\mathbb{C} \backslash \left\{ a\right\}
\end{equation*}であることを示してください。
\end{equation*}を定義します。この集合の外部が、\begin{equation*}
A^{e}=\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert <\varepsilon \right\}
\end{equation*}であることを示してください。
A=\left\{ z\in \mathbb{C} \ |\ \mathrm{Im}\left( z\right) <0\right\}
\end{equation*}の外部が、\begin{equation*}
A^{e}=\left\{ z\in \mathbb{C} \ |\ \mathrm{Im}\left( z\right) >0\right\}
\end{equation*}であることを示してください。
A=\left\{ z\in \mathbb{C} \ |\ -1<\mathrm{Re}\left( z\right) <1\right\}
\end{equation*}の外部が、\begin{equation*}
A^{e}=\left\{ z\in \mathbb{C} \ |\ \mathrm{Re}\left( z\right) <-1\vee \mathrm{Re}\left( z\right) >1\right\}
\end{equation*}であることを示してください。
\left( \mathbb{C} /\left\{ a\right\} \right) ^{e}=\phi
\end{equation*}であることを示してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】