书城现实数学大帝
57676100000082

第82章 柯西方程是加性函数方程

f(x+y)=f(x)+f(y)

此方程的解称为加性函数,在有理数定义域上,利用初等代数我们很容易得出有一组函数满足条件,是f(x)=cx,其中c是任意实数。定义域是实数时,同样有一族函数满足条件,但有些是极其复杂的,所以我们需要更多的条件得到f(x)=cx,以下条件可得f(x)是正比例函数:

◎f是连续函数(在1821年已被柯西证明),后来在1875年被达布将条件减弱为f在某点连续。

◎存在a,b∈R,(a

◎f单调,或f在某开区间单调。

◎存在ε1>0,使得x∈[0,ε1],有f(x)≥0,或者存在ε2>0,使得x∈[0,ε2],有f(x)≤0

另外,如果没有其他条件的话,(假如承认选择公理成立),那么有无穷非f(x)=cx的函数满足该条件,这是1905年哈默(Georg Hamel)利用哈默基的概念证明的。

希尔伯特第五问题是该方程的推广

存在实数c使得f(cx)≠cf(x)解称为柯西-哈默方程(Cauchy-Hamel function),希尔伯特第三问题中,从3-D向高维度的推广所用的德恩-哈德维格不变量(Dehn-Hadwiger invariant(s)),其中就用到柯西-哈默方程。