点において連続な複素関数の差の連続性
定義域を共有する2つの複素関数\begin{eqnarray*}
f &:&\mathbb{C} \supset Z\rightarrow \mathbb{C} \\
g &:&\mathbb{C} \supset Z\rightarrow \mathbb{C} \end{eqnarray*}が与えられたとき、それぞれの\(z\in Z\)に対して、\begin{equation*}\left( f-g\right) \left( z\right) =f\left( z\right) -g\left( z\right)
\end{equation*}を値として定める新たな複素関数\begin{equation*}
f-g:\mathbb{C} \supset Z\rightarrow \mathbb{C} \end{equation*}が定義可能です。
複素関数\(f,g\)がともに定義域上の点\(a\in Z\)において連続であるならば、複素関数\(f-g\)もまた点\(a\)において連続であることが保証されます。
したがって、何らかの複素関数\(f,g\)の差の形をしている複素関数\(f-g\)の連続性を検討する際には、複素関数の連続性の定義にさかのぼって考える前に、まずは\(f\)と\(g\)を分けた上で、それぞれが連続であることを確認すればよいということになります。
命題（点において収束する複素関数の差の連続性）
複素関数\(f,g:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)が与えられたとき、そこから複素関数\(f-g:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)を定義する。\(f,g\)がともに定義域上の点\(a\in Z\)において連続であるならば、\(f-g\)もまた点\(a\)において連続である。
例（複素連続関数の差の連続性）
複素関数\(f,g:\mathbb{C} \rightarrow \mathbb{C} \)から複素関数\(f-g:\mathbb{C} \rightarrow \mathbb{C} \)を定義します。\(f,g\)がともに連続であるものとします。つまり、\(f,g\)は任意の点\(a\in \mathbb{C} \)において連続であるということです。すると先の命題より\(f-g\)もまた点\(a\)において連続であるため、\(f-g\)もまた連続です。
例（複素連続関数の差の連続性）
複素関数\(f:\mathbb{C} \rightarrow \mathbb{C} \)はそれぞれの\(z\in \mathbb{C} \)に対して、\begin{equation*}f\left( z\right) =2z-1
\end{equation*}を定めるものとします。\(f\)は恒等複素関数\(z\)の定数倍（\(2\)倍）と定数複素関数\(1\)の差として定義されています。恒等複素関数は連続であるため、定数倍の法則より\(2z\)は連続です。また、定数複素関数\(1\)は連続です。したがって先の命題より\(2z-1\)すなわち\(f\)は連続複素関数です。
\end{equation*}を定めるものとします。\(f\)は恒等複素関数\(z\)の定数倍（\(2\)倍）と定数複素関数\(1\)の差として定義されています。恒等複素関数は連続であるため、定数倍の法則より\(2z\)は連続です。また、定数複素関数\(1\)は連続です。したがって先の命題より\(2z-1\)すなわち\(f\)は連続複素関数です。
演習問題
問題（複素関数の差の連続性）
複素関数\(f:\mathbb{C} \rightarrow \mathbb{C} \)はそれぞれの\(z\in \mathbb{C} \)に対して、\begin{equation*}f\left( z\right) =\left( 3+i\right) z-4
\end{equation*}を定めるものとします。\(f\)が連続な点をすべて特定してください。
\end{equation*}を定めるものとします。\(f\)が連続な点をすべて特定してください。
問題（複素関数の差の連続性）
有限\(n\)個の複素関数\(f_{1},\cdots ,f_{n}:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)がそれぞれ任意に与えられたとき、そこから複素関数\(f_{1}-\cdots -f_{n}:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)を定義します。ただし、これはそれぞれの\(z\in Z\)に対して、\begin{equation*}\left( f_{1}-\cdots -f_{n}\right) \left( z\right) =f_{1}\left( z\right)
-\cdots -f_{n}\left( z\right)
\end{equation*}を定めます。複素関数\(f_{1},\cdots ,f_{n}\)がいずれも連続関数である場合、複素関数\(f_{1}-\cdots -f_{n}\)もまた連続であることを証明してください。
-\cdots -f_{n}\left( z\right)
\end{equation*}を定めます。複素関数\(f_{1},\cdots ,f_{n}\)がいずれも連続関数である場合、複素関数\(f_{1}-\cdots -f_{n}\)もまた連続であることを証明してください。
問題（イプシロン・デルタ論法と差の法則）
複素関数\(f,g:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)が与えられたとき、そこから複素関数\(f-g:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)を定義します。\(f,g\)がともに定義域上の点\(a\in Z\)において連続であるならば、\(f-g\)もまた点\(a\)において連続です。本文中では以上の事実を定数倍の法則と和の法則を用いて証明しましたが、同様の主張を、イプシロン・デルタ論法を用いて証明してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】