多変数関数の和の連続性

関数\(f,g:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)がそれぞれ任意に与えられたとき、そこから関数\(f+g:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)を定義する。\(f,g\)が定義域上の点\(a\in X\)および周辺の任意の点において定義されており、なおかつ点\(a\)において連続であるならば、\(f+g\)もまた点\(a\)において連続である。

関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =2x+5y
\end{equation*}を定めるものとします。多変数の座標関数である\(x\)および\(y\)は連続であるため、それらの定数倍である\(2x\)および\(5y\)は連続です。したがって\(f\)は連続な関数の和であるため連続です。

関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =\cos \left( 2x+y\right)
\end{equation*}を定めるものとします。多変数関数\(2x+y\)と余弦関数\(\cos \left( x\right) \)は連続であるため、それらの合成関数である\(f\)もまた連続です。

関数\(f:\mathbb{R} _{+}^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} _{+}^{2}\)に対して、\begin{equation*}f\left( x,y\right) =\left( \frac{x}{2}+3y+1\right) ^{\frac{1}{2}}
\end{equation*}を定めるものとします。多変数関数\(\frac{x}{2}+3y+1\)と無理関数\(x^{\frac{1}{2}}\)は連続であるため、それらの合成関数である\(f\)もまた連続です。

関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =\cos \left( 3x\right) +\left( \frac{y}{2}\right) ^{\frac{1}{2}}
\end{equation*}を定めるものとします。多変数関数\(3x\)と余弦関数\(\cos \left( x\right) \)は連続であるため、それらの合成関数である\(\cos \left(3x\right) \)は連続です。多変数関数\(\frac{y}{2}\)と無理関数\(x^{\frac{1}{2}}\)は連続であるため、それらの合成関数である\(\left( \frac{y}{2}\right) ^{\frac{1}{2}}\)は連続です。したがって\(f\)は連続な関数の和であるため連続です。

定義域を共有する2つの関数\(f,g:\mathbb{R} ^{2}\supset \left[ 0,1\right] \times \left[ 0,1\right] \rightarrow \mathbb{R} \)の定義域上の境界点\(\left( 1,1\right) \)に注目したとき、\(f,g\)は点\(\left( 1,1\right) \)の周辺の任意の点において定義されているとは言えません。この場合、\(f\)および\(g\)が点\(\left(1,1\right) \)において連続であることとは、変数\(\left(x,y\right) \)が\(x\leq 1\)かつ\(y\leq 1\)を満たしながら\(\left( 1,1\right) \)へ限りなく近づく場合に、\begin{eqnarray*}\lim_{\left( x,y\right) \rightarrow \left( 1,1\right) }f\left( x,y\right)
&=&f\left( 1,1\right) \\
\lim_{\left( x,y\right) \rightarrow \left( 1,1\right) }g\left( x,y\right)
&=&g\left( 1,1\right)
\end{eqnarray*}が成り立つことを意味します。これは、\begin{eqnarray*}
&&\left( a\right) \ \forall v\in \mathbb{N} :x_{v}\leq 1 \\
&&\left( b\right) \ \forall v\in \mathbb{N} :y_{v}\leq 1 \\
&&\left( c\right) \ \lim_{v\rightarrow \infty }\left( x_{v},y_{v}\right)
=\left( 1,1\right)
\end{eqnarray*}を満たす点列\(\left\{ \left(x_{v},y_{v}\right) \right\} \)を任意に選んだとき、数列\(\left\{ f\left(x_{v},y_{v}\right) \right\} \)および\(\left\{ g\left(x_{v},y_{v}\right) \right\} \)について、\begin{eqnarray}\lim_{v\rightarrow \infty }f\left( x_{v},y_{v}\right) &=&f\left( 1,1\right)
\quad \cdots (1) \\
\lim_{v\rightarrow \infty }g\left( x_{v},y_{v}\right) &=&g\left( 1,1\right)
\quad \cdots (2)
\end{eqnarray}が成り立つことを意味します。関数\begin{equation*}
f+g:\mathbb{R} ^{2}\supset \left[ 0,1\right] \times \left[ 0,1\right] \rightarrow \mathbb{R} \end{equation*}を定義します。\(\left( a\right) \)から\(\left( c\right) \)を満たす点列\(\left\{ \left( x_{v},y_{v}\right) \right\} \)を任意に選んだとき、数列\(\left\{ \left( f+g\right) \left( x_{v},y_{v}\right) \right\} \)について、\begin{eqnarray*}\lim_{v\rightarrow \infty }\left( f+g\right) \left( x_{v},y_{v}\right)
&=&\lim_{v\rightarrow \infty }\left[ f\left( x_{v},y_{v}\right) +g\left(
x_{v},y_{v}\right) \right] \quad \because f+g\text{の定義}
\\
&=&\lim_{v\rightarrow \infty }f\left( x_{v},y_{v}\right) +\lim_{v\rightarrow
\infty }g\left( x_{v},y_{v}\right) \quad \because \text{収束する数列の和} \\
&=&f\left( 1,1\right) +g\left( 1,1\right) \quad \because \left( 1\right)
,\left( 2\right) \\
&=&\left( f+g\right) \left( 1,1\right) \quad \because f+g\text{の定義}
\end{eqnarray*}となるため、\(f+g\)が点\(\left(1,1\right) \)において連続であることが示されました。他の境界点についても同様に考えます。

関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =2x+3y+1
\end{equation*}を定めるものとします。\(f\)が連続である点を明らかにしてください。

関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =\left\{
\begin{array}{cc}
2x+y+\pi & if\ \left( x,y\right) \not=\left( 0,0\right) \\
0 & if\ \left( x,y\right) =\left( 0,0\right)
\end{array}\right.
\end{equation*}を定めるものとします。\(f\)が連続な点を明らかにしてください。

関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =\sin \left( 2x+y+\frac{\pi }{2}\right) +\cos \left( 2x+y+\frac{\pi }{2}\right)
\end{equation*}を定めるものとします。\(f\)が連続である点を明らかにしてください。

関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =\ln \left( x^{2}+y^{2}\right) +e^{\frac{x+y}{2}}
\end{equation*}を定めるものとします。\(f\)が連続である点を明らかにしてください。