数学をもう一度・・・

「関数」と言われると数学の教科書に書かれている
\[y=2x,~~ y=-\frac{1}{2}x+3,~~\cdots\]
などの数式を思い浮かべるかもしれない．確かに、中学や高校で学習する数学の関数は、数式で表されたものである． では、「関数」で大切なことは、数式で表すことなのだろうか？
「関数」は「対応」を表しているという捉え方が大切である．
例えば、コンビニでア社のポテトチップスを買うとしよう．そのポテトチップスに円という価格がつけられていれば、

ア社のポテトチップス → 98円

という対応を考えることができる．
このコンビニエンスストアのその時点でア社のポテトチップスの価格は、98円以外には存在しない．
他のメーカーのポテトチップス

イ社のポテトチップス → 105円
ウ社のポテトチップス → 98円

があったとすると、対応は、

図．会社と価格の対応関係

のように→で対応づけることができる．このときの矢印 \( f \) を関数という．
このように、あるものAを決めたとき、それに対応するものBが一つ決まるとき「AをBの関数」という．
このような2つのものA,Bについての関係は、商品と価格以外にもいろいろ考えられる．　身の回りの関数を探してみよう．
ここからは、単純に数字と数字の関係について扱うことにする．

教科書には，「関数」と書いてあるが，「関数」はどういう意味があるのか？

古い教科書を見ると「関数」は，「函数」と書いてある。　「函数」は中国語で発音すると英語の”function”に似ている。「幾何」と同様に「函数」も音から中国に入ってきた言葉といわれている。日本では「函数」を教科書に記載するとき，常用漢字に「函」が含まれないことから，「数と数の関係を表す意味」と捉えて，「関数」と記述した。

“function” を辞書で調べて見よう。　どのような意味が載っているだろうか？

「人やものがおこなう特別な活動や目的」という概念を表す言葉で，「機能」, 「作用」, 「働き」

などが書かれている。

\( x \) についての等式
\[ a_n x^n + \cdots + a_1 x + a_0 = b_n x^n + \cdots + b_1 x + b_0\]
が，\( x \) について恒等式であるならば，
\begin{eqnarray*}
a_n &=& b_n \\
&\vdots& \\
a_2 &=& b_2 \\
a_1 &=& b_1 \\
a_0 &=& b_0
\end{eqnarray*}
となる．

逆に
\( x \) についての等式
\[ a_n x^n + \cdots + a_1 x + a_0 = b_n x^n + \cdots + b_1 x + b_0\]
において
\begin{eqnarray*}
a_n &=& b_n \\
&\vdots& \\
a_2 &=& b_2 \\
a_1 &=& b_1 \\
a_0 &=& b_0
\end{eqnarray*}
ならば，
\[ a_n x^n + \cdots + a_1 x + a_0 = b_n x^n + \cdots + b_1 x + b_0\]
は\( x \) について恒等式となる．

\( x \) についての等式
\[ a_n x^n + a_{n-1} x^{n-1} + \cdots + a_2 x^2 + a_1 x + a_0 = 0\]
が，\( x \) について恒等式であるならば，
\[ a_n = a_{n-1} = \cdots a_2 = a_1 = a_0 =0 \]
となる．
逆に
\( x \) についての等式
\[ a_n x^n + a_{n-1} x^{n-1} + \cdots + a_2 x^2 + a_1 x + a_0 = 0\]
において
\[ a_n = a_{n-1} = \cdots a_2 = a_1 = a_0 =0 \]
ならば，
\[ a_n x^n + a_{n-1} x^{n-1} + \cdots + a_2 x^2 + a_1 x + a_0 = 0\]
は\( x \) について恒等式となる．

文字\( x \) を含む等式において，\( x \) にどのような値を代入しても両辺の値が等しくなる式を\( x \)についての恒等式(Identical equations)という．

換言すると，「任意の\(x\)に対して成り立つ等式を恒等式という」

文字\( x \) を含む等式において，その等式が，\(x\)について恒等式でないならば，
その等式を\( x \)についての方程式(Equations)という．
また，等号が成り立つときの\(x\) の値をその方程式の解(Solution)という．

換言すると，「特定の\(x\)に対して成り立つ等式を方程式という」