多変数のベクトル値関数による逆像と定義域

多変数のベクトル値関数による点の逆像

多変数のベクトル値関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} ^{m}\)が与えられたとき、終集合の要素\(y\in \mathbb{R} ^{m}\)を任意に選ぶと、これに対して\(y=f\left( x\right) \)を満たす始集合の要素\(x\in X\)は存在するとは限りませんし、存在する場合にも一意的であるとは限りません。そこで、\(y\in \mathbb{R} ^{m}\)に対して\(y=f\left( x\right) \)を満たすような\(x\in X\)からなる集合を、\begin{equation*}f^{-1}\left( y\right) =\left\{ x\in X\ |\ y=f\left( x\right) \right\}
\end{equation*}で表記し、これを\(f\)による\(y\)の逆像（inverse image）や原像（preimage）などと呼びます。

多変数のベクトル値関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} ^{m}\)が始集合のそれぞれの要素\(x\in X\)に対して定める像\(f\left( x\right) \in \mathbb{R} ^{m}\)は終集合\(\mathbb{R} ^{m}\)の「要素」です。一方、終集合のそれぞれの要素\(y\in \mathbb{R} ^{m}\)に対して\(y=f\left( x\right) \)を満たす始集合の要素\(x\in X\)は存在するとは限らず、また、存在する場合も一意的であるとは限らないため、逆像\(f^{-1}\left( y\right) \)は\(X\)の「部分集合」であることに注意が必要です。

多変数のベクトル値関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} ^{m}\)が点\(x\in X\)に対して定める像\(f\left( x\right) \in \mathbb{R} ^{m}\)は\(m\)次元ベクトルであるため、その第\(i\ \left(=1,\cdots ,m\right) \)成分を\(f_{i}\left( x\right) \in \mathbb{R} \)と表記するのであれば、それぞれの\(x=\left(x_{1},\cdots ,x_{n}\right) \in X\)に対して、\begin{equation*}f\left( x\right) =\left( f_{1}\left( x\right) ,\cdots ,f_{m}\left( x\right)
\right) \in \mathbb{R} ^{m}
\end{equation*}すなわち、\begin{equation*}
f\left( x_{1},\cdots ,x_{n}\right) =\left( f_{1}\left( x_{1},\cdots
,x_{n}\right) ,\cdots ,f_{m}\left( x_{1},\cdots ,x_{n}\right) \right) \in \mathbb{R} ^{m}
\end{equation*}という関係を満たす\(m\)個の多変数関数\begin{equation*}f_{i}:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \quad \left( i=1,\cdots ,m\right)
\end{equation*}を得ます。この多変数関数\(f_{i}\)を多変数のベクトル値関数\(f\)の成分関数と呼びます。

点\(y=\left( y_{1},\cdots ,y_{m}\right) \in \mathbb{R} ^{m}\)を任意に選んだとき、\(f\)による点\(y\)の逆像は、\begin{equation*}f^{-1}\left( y\right) =\left\{ x\in X\ |\ y=f\left( x\right) \right\}
\end{equation*}と定義される一方で、それぞれの成分関数\(f_{i}\)による点\(y\)の第\(i\)成分\(y_{i}\)の逆像は、\begin{equation*}f_{i}^{-1}\left( y_{i}\right) =\left\{ x\in X\ |\ y_{i}=f_{i}\left( x\right)
\right\}
\end{equation*}と定義されますが、これらの間には以下の関係\begin{equation*}
f^{-1}\left( y\right) =\bigcap_{i=1}^{m}f_{i}^{-1}\left( y_{i}\right)
\end{equation*}が成り立つことが保証されます。つまり、多変数のベクトル値関数\(f\)による点\(y\)の逆像は、それぞれの成分関数\(f_{i}\)による点\(y\)の成分\(y_{i}\)の逆像の共通部分と一致します。

以上の命題を利用すれば、多変数のベクトル値関数による点の逆像を求める作業を、多変数関数である成分関数による点の逆像を求める作業へ帰着させることができます。

繰り返しになりますが、関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} ^{m}\)による終集合の要素\(y\in \mathbb{R} ^{m}\)の逆像は、\begin{equation*}f^{-1}\left( y\right) =\left\{ x\in X\ |\ y=f\left( x\right) \right\}
\end{equation*}と定義されるため、任意の\(\left( x,y\right) \in X\times \mathbb{R} ^{m}\)に対して、\begin{equation}x\in f^{-1}\left( y\right) \Leftrightarrow y=f\left( x\right) \quad \cdots (1)
\end{equation}という関係が成り立ちます。つまり、\(x\)が\(f \)による\(y\)の逆像の要素であることと、\(f\)による\(x\)の像が\(y\)であることは必要十分です。さらに、\(f\)のグラフは、\begin{equation}G\left( f\right) =\left\{ \left( x,y\right) \in X\times \mathbb{R} ^{m}\ |\ y=f\left( x\right) \right\} \quad \cdots (2)
\end{equation}と定義されるため、任意の\(\left( x,y\right) \in X\times \mathbb{R} ^{m}\)に対して、\begin{eqnarray*}x\in f^{-1}\left( y\right) &\Leftrightarrow &f\left( x\right) =y\quad
\because \left( 1\right) \\
&\Leftrightarrow &\left( x,y\right) \in G\left( f\right) \quad \because
\left( 2\right)
\end{eqnarray*}すなわち、\begin{equation*}
x\in f^{-1}\left( y\right) \Leftrightarrow \left( x,y\right) \in G\left(
f\right)
\end{equation*}という関係もまた成り立ちます。つまり、\(x\)が\(f\)による\(y\)の逆像の要素であることと、\(\left( x,y\right) \)が\(f\)のグラフの要素であることは必要十分です。

多変数のベクトル値関数による集合の逆像と定義域

多変数のベクトル値関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} ^{m}\)が与えられたとき、終集合の部分集合\(B\subset \mathbb{R} ^{m}\)を任意に選びます。\(f\)は\(X\)のそれぞれの要素\(x\)に対して値\(f\left( x\right) \in \mathbb{R} ^{m}\)を定めますが、これは\(B\)の要素であるか否かのどちらか一方です。そこで、\(f\left( x\right) \)が\(B\)の要素になるような\(x\)からなる集合を、\begin{equation*}f^{-1}\left( B\right) =\left\{ x\in X\ |\ f\left( x\right) \in B\right\}
\end{equation*}と表記し、これを\(f\)による\(B\)の逆像（inverse image）や原像（preimage）などと呼びます。\(f^{-1}\left(B\right) \)は\(f\)の始集合\(X\)の部分集合です。

多変数のベクトル値関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} ^{m}\)の終集合\(\mathbb{R} ^{m}\)は\(\mathbb{R} ^{m}\)自身の部分集合であるため、\(f\)による\(\mathbb{R} ^{m}\)の逆像\(f^{-1}\left( \mathbb{R} ^{m}\right) \)をとることもできます。これを\(f\)の定義域（domain）と呼び、\(D\left( f\right) \)と表記します。つまり、\begin{eqnarray*}D\left( f\right) &=&f^{-1}\left( \mathbb{R} ^{m}\right) \quad \because \text{定義域の定義} \\
&=&\left\{ x\in X\ |\ f\left( x\right) \in \mathbb{R} ^{m}\right\} \quad \because \text{逆像の定義}
\end{eqnarray*}です。

集合\(B\subset \mathbb{R} ^{m}\)を任意に選んだとき、それぞれの\(i\in \left\{ 1,\cdots,m\right\} \)に対して、任意の\(y=\left( y_{1},\cdots ,y_{m}\right) \in \mathbb{R} ^{m}\)について、\begin{equation*}y\in B\Leftrightarrow y_{i}\in B_{i}
\end{equation*}を満たす集合\(B_{i}\subset \mathbb{R} \)を定義します。\(f\)による集合\(B\)の逆像は、\begin{equation*}f^{-1}\left( B\right) =\left\{ x\in X\ |\ f\left( x\right) \in B\right\}
\end{equation*}と定義される一方で、それぞれの成分関数\(f_{i}\)による\(B_{i}\)の逆像は、\begin{equation*}f_{i}^{-1}\left( B_{i}\right) =\{x\in X\ |\ f_{i}\left( x\right) \in B_{i}
\end{equation*}と定義されますが、これらの間には以下の関係\begin{equation*}
f^{-1}\left( B\right) =\bigcap_{i=1}^{m}f_{i}^{-1}\left( B_{i}\right)
\end{equation*}が成立します。定義域についても同様です。

つまり、多変数のベクトル値関数\(f\)による集合\(B\)の逆像は、それぞれの成分関数\(f_{i}\)による集合\(B_{i}\)の逆像の共通部分と一致します。また、\(f\)の定義域は、それぞれの成分関数\(f_{i}\)の定義域の共通部分と一致します。

繰り返しになりますが、関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} ^{m}\)による終集合の部分集合\(B\subset \mathbb{R} ^{m}\)の逆像は、\begin{equation*}f^{-1}\left( B\right) =\left\{ x\in X\ |\ f\left( x\right) \in B\right\}
\end{equation*}と定義されるため、任意の\(x\in X\)について、\begin{eqnarray*}x\in f^{-1}\left( B\right) &\Leftrightarrow &f\left( x\right) \in B\quad
\because \text{関数による逆像の定義} \\
&\Leftrightarrow &\exists y\in B:y=f\left( x\right) \quad \because \text{関数の定義} \\
&\Leftrightarrow &\exists y\in B:\left( x,y\right) \in G\left( f\right)
\quad \because \text{関数のグラフの定義}
\end{eqnarray*}という関係が成り立ちます。以上を踏まえると、\(f\)による\(B\subset \mathbb{R} ^{m}\)の逆像を、\begin{eqnarray*}f^{-1}\left( B\right) &=&\left\{ x\in X\ |\ f\left( x\right) \in B\right\} \\
&=&\left\{ x\in X\ |\ \exists y\in B:y=f\left( x\right) \right\} \\
&=&\left\{ x\in X\ |\ \exists y\in B:\left( x,y\right) \in G\left( f\right)
\right\}
\end{eqnarray*}など様々な形で表現できます。特に、\(B=\mathbb{R} ^{m}\)の場合には、\begin{eqnarray*}D\left( f\right) &=&f^{-1}\left( \mathbb{R} ^{m}\right) \\
&=&\left\{ x\in X\ |\ f\left( x\right) \in \mathbb{R} ^{m}\right\} \\
&=&\left\{ x\in X\ |\ \exists y\in \mathbb{R} ^{m}:y=f\left( x\right) \right\} \\
&=&\left\{ x\in X\ |\ \exists y\in \mathbb{R} ^{m}:\left( x,y\right) \in G\left( f\right) \right\}
\end{eqnarray*}となり、\(f\)の定義域\(D\left(f\right) \)を上のように様々な形で表現できます。

演習問題