多変数関数
始集合がユークリッド空間\(\mathbb{R} ^{n}\)もしくはその部分集合\(X\)であり、終集合が実数空間\(\mathbb{R} \)であるような写像\begin{equation*}f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \end{equation*}を多変数関数(function of several real variables)やスカラー場(scalar field)やベクトル変数の実数値関数(real-valued function of a vector variable)などと呼びます。問題としている関数が多変数であることが文脈から明らかである場合にはシンプルに関数と呼びます。
多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が与えられたとき、始集合\(X\)の要素であるベクトル\(\boldsymbol{x}\)を任意に選ぶと、\(f\)はそれに対して実数を1つだけ定めます。これを\(f\)による\(\boldsymbol{x}\)の値(value)や像(image)などと呼び、\begin{equation*}f\left( \boldsymbol{x}\right) \in \mathbb{R} \end{equation*}で表記します。
\end{equation*}を定めるものします。例えば、\begin{eqnarray*}
f\left( 1,2\right) &=&1^{2}+2^{2}=5 \\
f\left( -2,-1\right) &=&\left( -2\right) ^{2}+\left( -1\right) ^{2}=5 \\
f\left( 0,0\right) &=&0^{2}+0^{2}=0
\end{eqnarray*}などとなります。
\end{equation*}を定めるものします。例えば、\begin{eqnarray*}
f\left( 1,2,3\right) &=&1+2\cdot 2-3\cdot 3=-4 \\
f\left( -3,-2,-1\right) &=&-3+2\cdot \left( -2\right) -3\cdot \left(
-1\right) =-4 \\
f\left( 0,0,0\right) &=&1+2\cdot 0-3\cdot 0=0
\end{eqnarray*}などとなります。
\end{equation*}を定める写像\(f\)は2つの変数\(x,y\)に関する2変数関数です。
\end{equation*}を定める写像\(f\)は3つの変数\(x,y,z\)に関する3変数関数です。
\end{equation*}になります。この写像\(f\)は2つの変数\(x,y\)に関する2変数関数です。
\end{equation*}と定義されます。この写像\(f\)は2つの変数\(x,y\)に関する2変数関数です。
\end{equation*}と導出されます。この写像\(f\)は2つの変数\(x,y\)に関する2変数関数です。
関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)はそれぞれの点\(\boldsymbol{x}\in X\)に対して実数\(f\left( \boldsymbol{x}\right) \in \mathbb{R} \)を1つずつ定める規則です。したがって、ある\(\boldsymbol{x}\in X\)に対して\(f\)が定める値\(f\left( \boldsymbol{x}\right) \)が1つの実数として定まらなかったり、ある\(\boldsymbol{x}\in X\)に対して\(f\)が定める値\(f\left( \boldsymbol{x}\right) \)が存在しない場合、\(f\)は関数ではありません。
\end{equation*}を値として定める規則\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)は関数ではありません。なぜなら、実数\(x,y\)が与えられたとき、\(x+y\)以下の実数は無数に存在し、したがって\(f\left( x,y\right) \)は1つの実数として定まらないからです。
\end{equation*}を定める規則\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)は関数ではありません。なぜなら、実数をゼロで割ることは許されず、例えば、始集合\(\mathbb{R} ^{2}\)の点\(\left( 0,0\right) \)に対する、\begin{equation*}f\left( 0,0\right) =\frac{1}{0}
\end{equation*}は定義不可能だからです。一方、\(f\)の始集合を以下の集合\begin{equation*}X=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ x\not=0\wedge y\not=0\right\}
\end{equation*}に制限して\(f:X\rightarrow \mathbb{R} \)とすれば、それぞれの\(\left( x,y\right) \in X\)に対して、\begin{equation*}f\left( x,y\right) =\frac{1}{xy}
\end{equation*}が1つの実数として必ず定まるため、この場合の\(f\)は関数です。
等しい多変数関数
2つの多変数関数\begin{eqnarray*}
f &:&\mathbb{R} ^{m}\supset X\rightarrow \mathbb{R} \\
g &:&\mathbb{R} ^{n}\supset Y\rightarrow \mathbb{R} \end{eqnarray*}が与えられたとき、これらが以下の条件\begin{eqnarray*}
&&\left( a\right) \ m=n \\
&&\left( b\right) \ X=Y \\
&&\left( c\right) \ \forall \boldsymbol{x}\in X:f\left( \boldsymbol{x}\right) =g\left( \boldsymbol{x}\right)
\end{eqnarray*}をすべて満たす場合には、\(f\)と\(g\)は等しい(equal)といい、そのことを、\begin{equation*}f=g
\end{equation*}と表記します。つまり、2つの関数\(f,g\)が等しいとは、\(\left( a\right) ,\left( b\right) \)それらの始集合どうしが一致するとともに、\(\left( b\right) \)始集合のそれぞれの要素に対して\(f\)が定める値と\(g\)が定める値が常に一致することを意味します。
逆に上の3つの条件\(\left(a\right) ,\left( b\right) ,\left( c\right) \)の中の少なくとも1つが成り立たない場合、すなわち、以下の条件\begin{eqnarray*}&&\left( a\right) \ m\not=n \\
&&\left( b\right) \ X\not=Y \\
&&\left( c\right) \ \exists \boldsymbol{x}\in X:f\left( \boldsymbol{x}\right) \not=g\left( \boldsymbol{x}\right)
\end{eqnarray*}の中の少なくとも1つが成り立つ場合、\(f\)と\(g\)は異なる(not equal)といい、そのことを、\begin{equation*}f\not=g
\end{equation*}と表記します。
g\left( x,y\right) &=&\left\vert x^{2}+y^{2}\right\vert
\end{eqnarray*}を定めるものとします。\(f\)と\(g\)は始集合\(\mathbb{R} ^{2}\)を共有しているとともに、任意の\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}x^{2}+y^{2}=\left\vert x^{2}+y^{2}\right\vert
\end{equation*}すなわち、\begin{equation*}
f\left( x,y\right) =g\left( x,y\right)
\end{equation*}が成り立つため、\(f\)と\(g \)は等しい関数です。
g\left( x,y\right) &=&\left\vert x+y\right\vert
\end{eqnarray*}を定めるものとします。\(f\)と\(g\)は始集合\(\mathbb{R} ^{2}\)を共有しますが、始集合の要素である\(\left(-1,-1\right) \in \mathbb{R} ^{2}\)に注目すると、\begin{eqnarray*}f\left( -1,-1\right) &=&-2 \\
g\left( -1,-1\right) &=&2
\end{eqnarray*}であるため、\begin{equation*}
f\left( -1,-1\right) \not=g\left( -1,-1\right)
\end{equation*}であり、したがって、\begin{equation*}
f\not=g
\end{equation*}であることが示されました。
演習問題
\end{equation*}を定めるものとします。以下の問いに答えてください。
- \(f\left( 0,-2\right) \)を求めてください。
- \(f\left( 2,3\right) \)を求めてください。
- \(f\left( 10,-5\right) \)を求めてください。
\end{equation*}を定めるものとします。以下の問いに答えてください。
- \(f\left( -1,2,3\right) \)を求めてください。
- \(f\left( 2,-1,3\right) \)を求めてください。
- \(f\left( 1,0,-1\right) \)を求めてください。
\end{equation*}と導出されます(モステラーの公式)。ある人の体重が\(80\)kgで身長が\(165\)cmである場合、この人の体表面積の目安を計算してください。
\end{equation*}を定める規則\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} \)は関数ですか。議論してください。
\end{equation*}を満たす\(z\in \mathbb{R} \)を定める規則\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)は関数ですか。議論してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】