コーシーの函数方程式

数学の実解析におけるコーシーの函数方程式（コーシーのかんすうほうていしき、）は、オーギュスタン・ルイ・コーシーがその著書『解析教程』において扱ったことに名を因む、formula_1 で与えられる函数方程式である。一般に、この方程式を満足する函数・写像は加法的であると言う（しかし、以下、本項では として実函数の場合のみを取り扱う）。
 上で実函数解を考えるとき、 を任意の実数に取り換えた族 はやはりこの方程式の解となるが、それ以外にも極めて複雑な解が存在しうる。それでもなお、適当な「正則性条件」を設定することによって、病的な解を排除することはできる（中には極めて弱い条件のものもある）。例えば、加法的函数 が -線型となる条件として以下のようなものが挙げられる:
逆に に何の制約条件も課さなければ、（選択公理を仮定して）無限個の非線型函数がこの方程式を満足することが示せる。1905年には、今日ではハメル基底と呼ばれる の 上の基底を用いて、それを証明した。そのような解函数はハメル函数と呼ばれることもある。
ヒルベルトのはこの方程式の一般化である。実数 が存在して となるような解函数は、コーシー-ハメル函数と呼ばれ、を三次元からより高次元へ拡張するのに用いるデーン-ハドヴィガー不変量に用いられる。
ℚ 上の解.
初等的な四則演算しか含まない簡単な議論によって、有理数変数有理数値の加法的函数 の概念が 上の -線型写像の概念と同じものを定めることが示せる。
ℝ 上の非線型解の存在.
 上の線型性証明の議論は、任意の実数 を用いてスケール変換した のコピー に対する函数 でも有効である。つまり、そのような集合に の定義域を制限すれば線型解に限られ、したがって一般に任意の と任意の に対して が成り立つ。しかし以下に示すように、実数体 を有理数体 上のベクトル空間と見ることにより、これら -線型解に基づいて極めて病的な解 を見つけることができる。ただし注意すべきは、これが非構成的方法であることである。それはツォルンの補題によって示される、任意のベクトル空間に基底が存在することを用いた議論だからである。
さて、任意のベクトル空間は基底を持つのだから、実数体 にも 上のベクトル空間としての基底が存在する。それは部分集合 であって、各 に対して の適当な有限部分集合 (つまり ) が存在して、何れも非零な定数 を用いて の形に一意的に表すことができるという性質を持つものである。しかし、そのような の -基底を構成的な方法で明示的に与えることはできないから、求める病的な解函数も同様に明示的に構成することはできないことを再度断っておく。
既にみた通り、各 に対して を に制限したものは を比例定数とする -線型写像 でなければならない。各 が の一意的な有限線型結合として表されるから、 が加法的との仮定のもとで、formula_2 と置くことにより、任意の に対して は矛盾なく定まる。基底に対する の値 に基づいて定義した がコーシーの函数方程式を満足することを確かめるのは難しくない。さらに言えば、任意の解函数がこのようにして得られることも明らかである。特に、方程式の解函数が -線型となるための必要十分条件は、 が に依らず一定となることである。ある意味、非線型解を明示できないにもかかわらず、コーシーの函数方程式の解函数は（濃度の意味で）「ほとんど」が実際に非線型な病的解である。
関連する方程式.
コーシーの『解析教程』第5章「ある条件を満たす一変量の連続関数を決定すること.」の §1 には "二つの同じ形の一変量の関数を互いに加えたり乗じたりするとき, その和または積として, それぞれの関数の変化量の和または積の同じ形の関数が与えられるという性質をもつ連続関数を探し出すこと." という節題が付けられていて、（上で見た方程式を含む）以下の方程式およびその実連続函数解が考察されている:
明らかに零函数はこの何れの方程式も満たし、自明な解と呼ばれる。コーシーの著書に従えば、2–4 の非自明な連続解は、変域等に注意しつつ 1 に帰着することで得られる（2 は 1 の証明を乗法的になぞる方法でも示されている）: