関数 (数学)
二つの変数 x と y があり、入力 x に対して、出力 y の値を決定する規則(x に特定の値を代入するごとに y の値が確定する)が与えられているとき、変数 y を「x を独立変数 (independent variable) とする関数」或いは簡単に「x の関数」という。対応規則を明示するときは、適当な文字列(特に何か理由がなければ、function の頭文字から f が選ばれることが多い)を使って y = f (x) と書いて、x = a を代入したときに決まる関数の値を f (a) と表す。しかしここで、定数関数の例に示されるように、個々の y の値について対応する x の値が一つに決まるとは限らない事に注意しなければならない。この f (x) という表記法は18世紀の数学者オイラーによるものである。オイラーは、変数や定数を組み合わせてできた数式のを関数と定義していたが、コーシーは、上に述べたように y という変数を関数と定義した。
数学における関数(かんすう、英: function、仏: fonction、独: Funktion、 蘭: functie、羅: functio、函数とも書かれる)とは、かつてはある変数に依存して決まる値あるいはその対応を表す式のことであった。この言葉はライプニッツによって導入された。その後定義が一般化され、現代では数の集合に値をとる写像の一種であると理解されるものとなった。