多変数の有理関数
多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が多項式関数であることとは、\(f\)がそれぞれの\(x\in X\)に対して定める値が、非負の整数\(n\in \mathbb{Z} _{+}\)と実数\(c_{k_{1},\cdots ,k_{n}}\in \mathbb{R} \ \left( k_{i}=0,1,\cdots ,n\right) \)を用いて、\begin{equation*}f\left( x\right) =\sum_{k_{1}=0}^{n}\cdots \sum_{k_{n}=0}^{n}c_{k_{1},\cdots
,k_{n}}x_{1}^{k_{1}}\cdots x_{n}^{k_{n}}
\end{equation*}という形で表すことができることを意味します。定義域を共有する2つの多項式関数\begin{eqnarray*}
f &:&\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \\
g &:&\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \backslash \left\{ 0\right\}
\end{eqnarray*}が与えられたとき、それぞれの\(x\in X\)に対して、\begin{equation*}h\left( x\right) =\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}を定める新たな多変数関数\(h:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義可能です。このような関数\(h\)を有理関数（rational function）や分数関数（rational function）などと呼びます。ゼロで割ることはできないため、有理関数の分母を構成する多項式関数\(g\)はゼロを値としてとらないことに注意が必要です。
\end{equation*}であるならば、この\(f\)は有理関数です。
\end{equation*}となります。この関数\(f:\mathbb{R} _{+}^{3}\rightarrow \mathbb{R} \)は有理関数です。
\end{equation*}と定義されます。対象の質量が\(m\)で体積が\(v\)であるとき、その密度は、\begin{equation*}f\left( m,v\right) =\frac{m}{v}
\end{equation*}で与えられますが、この\(f\)は変数\(m,v\)に関する有理関数です。また、対象の密度が\(d\)で質量が\(m\)であるとき、その体積は、\begin{equation*}g\left( d,m\right) =\frac{m}{d}
\end{equation*}で与えられますが、この\(g\)は変数\(d,m\)に関する有理関数です。また、対象の密度が\(d\)で体積が\(v\)であるとき、その質量は、\begin{equation*}h\left( d,v\right) =dv
\end{equation*}で与えられますが、この\(h\)は変数\(d,v\)に関する多項式関数です。
\end{equation*}と定義します。つまり、作業能率が\(r\)で作業時間が\(t\)であるときに得られる作業量は、\begin{equation*}f\left( r,t\right) =r\cdot t
\end{equation*}で与えられますが、この\(f\)は変数\(r,t\)に関する多項式関数です。作業量が\(w\)で作業能率が\(r\)であるとき、その作業を行うのに必要な作業時間は、\begin{equation*}g\left( w,r\right) =\frac{w}{r}
\end{equation*}で与えられますが、この\(g\)は変数\(w,r\)に関する有理関数です。作業量\(w\)の仕事をするのに全員で作業時間\(t\)がかかった場合の作業能率は、\begin{equation*}h\left( w,t\right) =\frac{w}{t}
\end{equation*}で与えられますが、この\(h\)は変数\(w,t\)に関する有理関数です。
\end{equation*}という関係が成り立ちます。右辺は多項式関数\(f\)と定数関数\(1\)の商ですが、定数関数は特別な多項式関数であるため右辺は有理関数です。したがって、それと一致する\(f\)もまた有理関数です。つまり、多項式関数は有理関数の特殊ケースです。
有理関数の定義域
繰り返しになりますが、多変数関数\(h:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が有理関数であることとは、\(h\)がそれぞれの\(x\in X\)に対して定める値が、多項式関数である\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)と\(g:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \backslash \left\{ 0\right\} \)を用いて、\begin{equation*}h\left( x\right) =\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}と表されることを意味します。ただ、ゼロで割ることはできないため、有理関数\(h\)は\(g\left( x\right) =0\)となるような点\(x\)において定義されません。つまり、\(h\)の定義域となり得る最大の集合は、\begin{equation*}X=\left\{ x\in \mathbb{R} ^{n}\ |\ g\left( x\right) \not=0\right\}
\end{equation*}です。
\end{equation*}を定めるものとします。ただし、実数をゼロで割ることはできないため、\(f\)の定義域は、\begin{equation*}X=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ x+y\not=0\right\}
\end{equation*}です。
\end{equation*}を定めるものとします。ただし、実数をゼロで割ることはできないため、\(f\)の定義域は、\begin{eqnarray*}X &=&\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ x^{4}+3y^{4}\not=0\right\} \\
&=&\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ \left( x,y\right) \not=\left( 0,0\right) \right\} \\
&=&\mathbb{R} ^{2}\backslash \left\{ \left( 0,0\right) \right\}
\end{eqnarray*}です。一方、\begin{equation*}
f\left( x,y\right) =\left\{
\begin{array}{cc}
\frac{x^{2}y^{2}}{x^{4}+3y^{4}} & \left( if\ \left( x,y\right) \not=\left(
0,0\right) \right) \\
0 & \left( if\ \left( x,y\right) =\left( 0,0\right) \right)
\end{array}\right.
\end{equation*}と定めるのであれば、この\(f\)の定義域は\(\mathbb{R} ^{2}\)です。
演習問題
\end{equation*}を定めるものとします。\(f\)の定義域\(X\)と値域\(R\left( f\right) \)を求めてください。
\end{equation*}を定めるものとします。\(f\)の定義域\(X\)と値域\(R\left( f\right) \)を求めてください。
\end{equation*}を定めるものとします。\(f\)の定義域\(X\)と値域\(R\left( f\right) \)を求めてください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】