WIIS

多変数関数

多変数関数の定義

目次

前のページ:
次のページ:

多変数関数のグラフ

Mailで保存
Xで共有

多変数関数

始集合がユークリッド空間\(\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*}で表記します。

例(多変数関数)
2変数関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =x^{2}+y^{2}
\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*}などとなります。

例(多変数関数)
3変数関数\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y,z\right) \in \mathbb{R} ^{3}\)に対して、\begin{equation*}f\left( x,y,z\right) =x+2y-3z
\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*}などとなります。

例(多変数関数)
緯度が\(x\)であり経度が\(y\)であるような地球表面上の位置に対して、\begin{equation*}f\left( x,y\right) =\text{位置}\left( x,y\right) \text{の標高}
\end{equation*}を定める写像\(f\)は2つの変数\(x,y\)に関する2変数関数です。
例(多変数関数)
空間\(\mathbb{R} ^{3}\)における位置は3次元ベクトル\(\left( x,y,z\right) \in \mathbb{R} ^{3}\)として表現されます。部屋内部のそれぞれの位置\(\left( x,y,z\right) \)に対して、\begin{equation*}f\left( x,y,z\right) =\text{位置}\left( x,y,z\right) \text{の温度}
\end{equation*}を定める写像\(f\)は3つの変数\(x,y,z\)に関する3変数関数です。
例(多変数関数)
「半年複利・年利2\% 」という条件の定期預金に\(x\)円を預けると、\(y\)年後の元利合計(円)は、\begin{equation*}f\left( x,y\right) =x\left( 1+\frac{0.02}{2}\right) ^{2y}
\end{equation*}になります。この写像\(f\)は2つの変数\(x,y\)に関する2変数関数です。
例(多変数関数)
BMI(Body Mass Index)は人間の体重と身長の関係から算出される肥満度を表す指標です。体重(kg)が\(x\)であり身長(cm)が\(y\)である人のBMIは、\begin{equation*}f\left( x,y\right) =\frac{x}{y^{2}}
\end{equation*}と定義されます。この写像\(f\)は2つの変数\(x,y\)に関する2変数関数です。
例(多変数関数)
モステラーの公式(Mosteller formula)は人間の体重と身長から体表面積の目安を計算するための式です。体重(kg)が\(x\)であり身長(cm)が\(y\)である人の体表面積(平方メートル)の目安は、\begin{equation*}f\left( x,y\right) =\frac{\sqrt{xy}}{60}
\end{equation*}と導出されます。この写像\(f\)は2つの変数\(x,y\)に関する2変数関数です。
例(多変数関数)
合計\(m\)種類の商品が存在する状況において、それぞれの商品\(i\ \left(=1,\cdots ,m\right) \)の価格が\(p_{i}\)であり、ある消費者の所得水準が\(w\)である場合の、その消費者による商品\(j\ \left( =1,\cdots ,m\right) \)の消費量が、\begin{equation*}f_{j}\left( p_{1},\cdots ,p_{m},w\right) \in \mathbb{R} \end{equation*}であるものとします。この写像\(f_{j}\)は\(m+1\)個の変数\(p_{1},\cdots ,p_{m},w\)に関する多変数関数です。
例(多変数関数)
定義域が1次元ユークリッド空間\(\mathbb{R} \)もしくはその部分集合\(X\)であるような多変数関数\begin{equation*}f:\mathbb{R} \supset X\rightarrow \mathbb{R} \end{equation*}は実変数の実数値関数に他なりません。つまり、関数は特別な多変数関数です。

関数\(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\)は関数ではありません。

例(多変数関数ではない規則)
それぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =x+y\text{以下の実数}
\end{equation*}を値として定める規則\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)は関数ではありません。なぜなら、実数\(x,y\)が与えられたとき、\(x+y\)以下の実数は無数に存在し、したがって\(f\left( x,y\right) \)は1つの実数として定まらないからです。
例(多変数関数ではない規則)
それぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =\frac{1}{xy}
\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*}と表記します。

例(等しい多変数関数)
関数\(f,g:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{eqnarray*}f\left( x,y\right) &=&x^{2}+y^{2} \\
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 \)は等しい関数です。
例(異なる多変数関数)
関数\(f,g:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{eqnarray*}f\left( x,y\right) &=&x+y \\
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*}であることが示されました。

 

演習問題

問題(多変数関数)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =x^{2}-3xy
\end{equation*}を定めるものとします。以下の問いに答えてください。

  1. \(f\left( 0,-2\right) \)を求めてください。
  2. \(f\left( 2,3\right) \)を求めてください。
  3. \(f\left( 10,-5\right) \)を求めてください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(多変数関数)
関数\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y,z\right) \in \mathbb{R} ^{3}\)に対して、\begin{equation*}f\left( x,y,z\right) =x^{2}-y^{2}+z^{2}
\end{equation*}を定めるものとします。以下の問いに答えてください。

  1. \(f\left( -1,2,3\right) \)を求めてください。
  2. \(f\left( 2,-1,3\right) \)を求めてください。
  3. \(f\left( 1,0,-1\right) \)を求めてください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(スカラー場)
体重(kg)が\(x\)であり身長(cm)が\(y\)である人の体表面積(平方メートル)の目安は、\begin{equation*}f\left( x,y\right) =\frac{\sqrt{xy}}{60}
\end{equation*}と導出されます(モステラーの公式)。ある人の体重が\(80\)kgで身長が\(165\)cmである場合、この人の体表面積の目安を計算してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(多変数関数)
それぞれの\(\left( x,y,z\right) \in \mathbb{R} ^{3}\)に対して、\begin{equation*}f\left( x,y,z\right) =\frac{1}{x+y+z}
\end{equation*}を定める規則\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} \)は関数ですか。議論してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(多変数関数)
それぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}x^{2}+y^{2}+z^{2}=4
\end{equation*}を満たす\(z\in \mathbb{R} \)を定める規則\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)は関数ですか。議論してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

前のページ:
次のページ:

多変数関数のグラフ

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録