関数 (数学)
数学における関数（かんすう、英: function、仏: fonction、独: Funktion、 蘭: functie、羅: functio、函数とも書かれる）とは、かつてはある変数に依存して決まる値あるいはその対応を表す式のことであった。この言葉はゴットフリート・ライプニッツによって導入された。その後定義が一般化され、現代では数の集合に値をとる写像の一種であると理解されるものとなった。
名称表記の歴史[編集]
日本語としての関数はもともと「函数」（旧字体：函數）と書いた。函数という語は中国語から輸入されたものであり、中国での初出は1859年に出版された李善蘭の『代微積拾級』といわれる。既にオランダを通じて西洋数学（特に微積分）を勉強していた神田孝平らが翻訳の際に参考にしたとされる。
微積分について日本語で書かれた最初の本、花井静校・福田半編『筆算微積入門』(1880年) では「函数」が用いられている。それに続く長澤龜之助訳『微分学』(1881年)、岡本則録訳『査氏微分積分学』(1883年) のいずれも用語を『代微積拾級』、『微積遡源』(1874年) などによっている。明治初期に東京數學會社で数学用語の日本語訳を検討する譯語會が毎月開催され、その結果が『東京數學會社雑誌』で逐次報告されている。この報告に function の訳語は第62号 (1884年) の「原數」と第64号 (1884年) の「三角法函數」の二種類が登場する。一方、同誌の本文では61号 (1884年) や63号 (1884年) で「函數」が用いられている。
「函」が漢字制限による当用漢字に含まれなかったことから、1950年代以降同音の「関」へと書き換えがすすめられた。この他、「干数」案もあった。学習指導要領に「関数」が登場するのは中学校で1958年、高等学校で1960年であり、それまでは「函数」が用いられている。「関数」表記は 1985 年頃までには日本の初等教育の段階でほぼ定着した。
「函数」の中国語における発音は(拼音: hánshù) であり、志賀浩二や小松勇作によればこれはfunctionの音訳であるという。一方、『代微積拾級』には「凡此變數中函彼變數則此爲彼之函數」とあり、これは変数を包む、含む式という意味で定義されていると解釈できる。また変数に天、地などの文字を用いて「天 = 函(地)」という表記もある。片野善一郎によれば、「函」の字義はつつむ、つつみこむであるから、「天 = 函(地)」という表現は「天は地を函む」ようにみえ、従属変数（の表現）に独立変数が容れられているという意味であるという。
なお、現代の初等教育の場においてはしばしば関数をブラックボックスのたとえで説明することがある。この説明では、「函」を「はこ」と読むことと関連付けて説明されることもあるが、「函数」の語の初出は1859年なのに対し、「ブラックボックス」の語の初出は1945年ごろとされることに注意を要する。
概要[編集]
素朴な定式化[編集]
二つの変数 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 という変数を関数と定義した。
y が x の関数であることの別の表現として、変数 y は変数 x に従属するとも言い、y を従属変数 (dependent variable) と言い表す。独立変数がとりうる値の全体（変域）を、この関数の定義域 (domain) といい、独立変数が定義域のあらゆる値をとるときに、従属変数がとりうる値（変域）を、この関数の値域 (range) という。
関数の終域は実数体 や複素数体 の部分集合であることが多い。終域が実数の集合となる関数を実数値関数 (real valued function) といい、終域が複素数の集合となる関数を複素数値関数 (complex valued function) という。それぞれ定義域がどのような集合であるかは問わないが、定義域も終域も実数の集合であるような関数を実関数 (real function) といい、定義域も終域も複素数の集合であるような関数を複素関数 (complex function) という。
現代的解釈[編集]
ディリクレは、x と f (x) の対応関係に対して一定の法則性を持たせる必要はないとした。つまり、個々の独立変数と従属変数の対応そのものが関数であり、その対応は数式などで表す必要はないという、オイラーとは異なる立場をとっている。
集合論的立場に立つ現代数学では、ディリクレのように関数を対応規則 f のことであると解釈する。それは二項関係の特別の場合として関数を定義するということであり、その意味で関数は写像の同義語である。より細かく、「数」の集合への写像に限る場合もある。写像に用いる言葉、例えば
- 合成（合成関数）
- 全射、単射（一対一ともいう）、全単射（双射、一対一対応ともいう）
- 逆（逆関数）
などはそのまま用いることができる。
記法[編集]
函数を書き表すために標準的な方法がいくつかある。
一般的によく知られる記法は、函数名と引数を明示する式を用いて函数を定義する、いわゆる函数記法である。しかし函数記法には、「函数それ自身」と「函数の値」の区別ができないという問題点がある。
函数はイタリック体の文字一つで表すか（例えば f, g, h, ... ）、ローマン体の文字を複数用いて表す（例えば 三角関数: sin, 指数関数: exp, 対数: log, 対数積分: Li, li, 跡: tr, Sp など）。後者のローマン体は例えば函数名の省略形で函数を表記する際などに用いられる。 イタリック体でなくローマン体を函数に用いることで、通常イタリック体で表記される変数との混同を避けることができる。
函数記法[編集]
函数記法で （「f の x における値が y である」）と書けば、これは順序対 (x, y) が函数を定義する順序対の集合に属することを意味する（より具体的に函数 f の定義域を X とすれば、函数を定義する順序対の集合とは、集合の内包的記法（英語版）で と書ける）。
しばしば函数の定義は、函数 f が明示された引数 x に対して何をするのかという形で行われる。例えば f を任意の実数 x に対して成り立つ等式 によって定義するものとすれば、これは x を自乗して 1 を加えその正弦をとるというより単純な複数の手続きの合成として考えることができる。
誤解のおそれのない場合、例えば複数文字の函数記号を用いる函数について、引数を明示する丸括弧は省略してよい。つまり と書く代わりに と書いてもよい。
函数記法を用いたのはレオンハルト・オイラーが最初（1734年）とされる。
矢印記法[編集]
函数 f の定義域 X と終域 Y を明示する目的では、矢印記法 や （「f は X から Y への函数」「f は X の元を Y の元に写す」）が用いられる。これに重ねて、元の間の関係を示すため「f が x を f (x) に写す」ことを意味する x ↦ f (x) をしばしば書き加える。
例えば、積の定義された集合 X 上で各元を平方する函数 sqr を紛れなく定義するには
のように書けばよい。元の対応は x ↦ x2 と書いても良い。
しばしば函数記号や定義域および終域については省略される。そのような記法は、函数の任意の引数における値だけが等式で与えられている状況がよくあるので、その際に特別な函数記号を用意しなくてよいため有用である。例えば、二変数の函数 が与えられていて、第二引数を値 t0 に固定して得られる偏函数（英語版） に言及したいとき、この函数に新たに名前を付けなくても、 という元の対応を表す矢印記法を用いれば扱うことができる。
添字記法[編集]
添字記法も函数記法と並んでよく用いられる記法で、函数記法の f (x) は添字記法では fxのように書かれる。
- 定義域が自然数の場合（つまり、数列の場合）には添字記法を使うのが典型的で、各値 fn は数列の n 番目の項と呼ばれる。
- 複数の引数を持つ函数において、それら引数が「真の変数」と媒介変数（パラメータ）に分けられるとき、真の変数ではないことを区別するために助変数を添字にすることがしばしば行われる（実際にはパラメータというものは、一つの問題を考察している間は何らかの値に固定されているものと見なされるような変数を言うのである）。例えば、先の例でもみた二変数函数の偏函数 x ↦ f(x, t) を添字記法で と書けば、定義式 によって一変数函数の族 が定義される。
点記法[編集]
矢印記法 x ↦ f(x) において、記号 x は特定の値を表さず、単なるプレースホルダとして、左辺の x を任意の値に置き換えた際に右辺の x も同じ値で置き換える必要があることを示すために、用いられている。したがって、x の代わりにどんな記号を使ってもよく、数式中の特定の値を表す文字との混同を避けるため、中黒 "⋅" がよく用いられる。中黒を使用することで、例えば函数自身 f (⋅) と任意の点 x における函数の値 f (x) とを区別することができる。
その他の例として、x ↦ ax2 を表すのに と書く場合や、上の限界が変数である定積分 を と書く場合などが挙げられる。
特殊化された記法[編集]
数学の特定の分野では、その他の特別な記法が使われたりもする。例えば線型代数学や関数解析学では線型写像をベクトル[要曖昧さ回避]に作用させるときに、それらの間に成り立つ双対性を明らかにするために内積の記法が用いられる（量子力学でも同様のブラ-ケット記法が用いられる）。数理論理学や計算理論ではラムダ計算の記法が、函数の抽象化や適用（英語版）などの基本概念を明示的に表すために用いられる。圏論やホモロジー代数学では、上で見た函数の矢印記法を延長あるいは一般化するように、函数からなる図式およびそれらの合成が可換図式を満たすという意味でどのような可換性を持つかという形で記述される。
関数を特定するには[編集]
函数 f が与えられたとき、定義により、f の定義域の各点 x に対して f の x における値 f(x) がただ一つ割り当てられる。x を f(x) に（陰に陽に）関係付ける方法を特定あるいは記述するやり方は様々である。場合によっては、（函数が具体的にどのような姿かたちをしているかについては一切言及せずに）適当な性質を持つ函数の存在を定理や公理によって保証することもあるが、大抵は函数 f の定義の一部としてその特定法や記述法は言及される。
値を書き並べる[編集]
有限集合上で定義された函数の場合には、定義域の各点に割り当てられる終域の元を全て書き並べることで函数を定義することができる。例えば のとき函数 を として与えることができる。
式を与える[編集]
算術やその他既知の函数を組み合わせた式（ただし手続き的な操作や無限個の組み合わせではない閉じた形の式（英語版））によって函数が与えられることも多い。そのような式からは、定義域の任意の元の値から函数の値を計算することができる。例えば、一つ前の例の f は とも定義できる。
この方法で函数を定義したとき、その函数がどのような集合上で定義されているかの決定が難しい場合がときどき生じる。例えば定義式が割り算を含む場合には、分母が零になるような変数の値は定義域から除かなければならない。同様に、実函数の定義に平方根が含まれる場合には、平方根の引数が非負となるような変数の値の集合に定義域が収まるようにしなければならない。
