関数
実数空間\(\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*}などとなります。
\end{equation*}となります。例えば、\(2\)時間後の走行距離(km)は、\begin{equation*}d\left( 2\right) =60\cdot 2=120
\end{equation*}です。この\(d\)は関数です。逆に、走行距離が\(d\)kmである場合、それに必要な走行時間(時間)は、\begin{equation*}t\left( d\right) =\frac{d}{60}
\end{equation*}となります。例えば、\(180\)kmだけ移動するために必要な走行時間(時間)は、\begin{equation*}t\left( 180\right) =\frac{180}{60}=3
\end{equation*}となります。この\(t\)は関数です。
\end{equation*}になります。この場合、\(5\)年後の元利合計(万円)は、\begin{equation*}f\left( 5\right) =100\left( 1+\frac{0.02}{2}\right) ^{10}=110.46
\end{equation*}になります。この\(f\)は関数です。
\end{equation*}であることが実験から明らかになっているものとします。この場合、\(2\)時間後の血中残存量(mg)は、\begin{eqnarray*}f\left( 2\right) &=&0.5\cdot 2^{4}+3.45\cdot 2^{3}-96.65\cdot
2^{2}+347.7\cdot 2 \\
&=&344.4
\end{eqnarray*}であることが推定されます。この\(f\)は関数です。
関数ではない規則
関数\(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} \)は関数ではありません。なぜなら、実数をゼロで割ることは許されず、始集合の要素である\(0\in \mathbb{R} \)に対して、\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} _{+}\)であることに注意してください。\(f\)と\(g\)は始集合\(\mathbb{R} _{+}\)および終集合\(\mathbb{R} \)を共有するとともに、始集合の任意の要素\(x\in \mathbb{R} \)に対して\(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\in \mathbb{R} \)に注目すると、\begin{eqnarray*}f\left( -1\right) &=&-1 \\
g\left( -1\right) &=&1
\end{eqnarray*}となり両者は異なるため、\(f\)と\(g\)は異なる関数です。
演習問題
\end{equation*}を定めるものとします。以下の問いに答えてください。
- \(f\left( -5\right) \)を求めてください。
- \(f\left( -4.7\right) \)を求めてください。
- \(f\left( 11\right) \)を求めてください。
- \(f\left( \frac{2}{3}\right) \)を求めてください。
\end{equation*}を定めるものとします。以下の問いに答えてください。
- \(f\left( 2\right) \)を求めてください。
- \(f\left( a\right) \)を求めてください。ただし、\(a\)は何らかの実数を表す記号です。
- \(f\left( a+h\right) \)を求めてください。ただし、\(a\)何らかの実数を表す記号、\(h\)はゼロではない何らかの実数を表す記号です。
- \(\frac{f\left( a+h\right) -f\left( a\right) }{h}\)を求めてください。ただし、\(a\)何らかの実数を表す記号、\(h\)はゼロではない何らかの実数を表す記号です。
\end{equation*}を定める規則\(f:\mathbb{R} \rightarrow \mathbb{R} \)は関数ですか。理由とともに答えてください。
\end{equation*}を満たす\(y\in \mathbb{R} \)を定める\(f:\mathbb{R} \rightarrow \mathbb{R} \)は関数ですか。理由とともに答えてください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】