関数
実数空間\(\mathbb{R} \)もしくはその部分集合\(X\)のそれぞれの要素に対して実数を1つずつ定める写像\begin{equation*}f:\mathbb{R} \supset X\rightarrow \mathbb{R} \end{equation*}を実変数の実数値関数（real-valued function of a real variable）や1変数の実数値関数（real-valued function of single real variable）などと呼びますが、以降ではシンプルに関数（function）と呼ぶこととします。また、\(X\)を\(f\)の始集合（initial set）と呼び、\(\mathbb{R} \)を\(f\)の終集合（final set）と呼びます。
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)が与えられたとき、始集合\(X\)の要素\(x\)を任意に選ぶと、\(f\)はそれに対して実数を1つだけ定めます。これを\(f\)による\(x\)の値（value）や像（image）と呼び、\(f\left( x\right) \)と表記します。
\end{equation*}を定めるものとします。例えば、\begin{eqnarray*}
f\left( 0\right) &=&0^{2}=0 \\
f\left( 1\right) &=&1^{2}=1 \\
f\left( -\frac{1}{2}\right) &=&\left( -\frac{1}{2}\right) ^{2}=\frac{1}{4}
\end{eqnarray*}などとなります。
\end{equation*}を定めるものとします。例えば、\begin{eqnarray*}
f\left( 0\right) &=&\frac{1}{0+1}=1 \\
f\left( \frac{1}{2}\right) &=&\frac{1}{\frac{1}{2}+1}=\frac{2}{3} \\
f\left( 1\right) &=&\frac{1}{1+1}=\frac{1}{2}
\end{eqnarray*}などとなります。
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)はそれぞれの\(x\in X\)に対して実数\(f\left( x\right) \in \mathbb{R} \)を1つずつ定める規則です。したがって、ある\(x\in X\)に対して\(f\)が定める値\(f\left( x\right) \)が1つの実数として定まらなかったり、ある\(x\in X\)に対して\(f\)が定める値\(f\left( x\right) \)が存在しない場合、\(f\)は関数ではありません。
\end{equation*}を定める規則\(f:\mathbb{R} \rightarrow \mathbb{R} \)は関数ではありません。なぜなら、ゼロで割ることは許されず、始集合\(\mathbb{R} \)の要素\(0\)に対して、\begin{equation*}f\left( 0\right) =\frac{1}{0}
\end{equation*}は定義不可能だからです。一方、\(f\)の始集合を制限して\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)とすれば、それぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\frac{1}{x}
\end{equation*}が1つの実数として必ず定まるため、この場合\(f\)は関数です。
等しい関数
2つの関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と\(g:\mathbb{R} \supset Y\rightarrow \mathbb{R} \)が与えられたとき、\begin{eqnarray*}&&\left( a\right) \ X=Y \\
&&\left( b\right) \ \forall x\in X:f\left( x\right) =g\left( x\right)
\end{eqnarray*}がともに成り立つ場合には、\(f\)と\(g\)は等しい（equal）といい、そのことを、\begin{equation*}f=g
\end{equation*}と表記します。つまり、2つの関数\(f,g\)が等しいとは、それらの始集合どうしが一致するとともに、始集合のそれぞれの要素に対して\(f\)が定める値と\(g\)が定める値が常に一致することを意味します。
g\left( x\right) &=&\left\vert x\right\vert
\end{eqnarray*}を定めるものとします。これらの関数の始集合はすべての実数からなる集合\(\mathbb{R} \)ではなく、すべての非負の実数からなる集合\(\mathbb{R} _{+}\)であることに注意してください。任意の非負の実数\(x\)に対して\(x=\left\vert x\right\vert \)が成り立つことから\(f\left( x\right) =g\left( x\right) \)であるため、\(f\)と\(g\)は等しい関数です。
逆に、2つの関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と\(g:\mathbb{R} \supset Y\rightarrow \mathbb{R} \)に対して先の\(\left( a\right) ,\left(b\right) \)の少なくとも一方の条件が成り立たない場合、\(f\)と\(g\)は異なる（not equal）といい、そのことを、\begin{equation*}f\not=g
\end{equation*}と表記します。
g\left( x\right) &=&\left\vert x\right\vert
\end{eqnarray*}を定めるものとします。\(f\)と\(g\)は始集合を共有しますが、始集合の要素である\(-1\)に注目すると、\begin{eqnarray*}f\left( -1\right) &=&-1 \\
g\left( -1\right) &=&1
\end{eqnarray*}となり両者は異なるため、\(f\)と\(g\)は異なる関数です。
演習問題
\end{equation*}を定める規則\(f:\mathbb{R} \rightarrow \mathbb{R} \)は関数ですか？理由とともに答えてください。
\end{equation*}を満たす\(y\in \mathbb{R} \)を定める\(f:\mathbb{R} \rightarrow \mathbb{R} \)は関数ですか？理由とともに答えてください。
次回は関数のグラフについて解説します。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】