加法的関数とQ線型空間Rの基底(Cauchyの関数方程式の非線型解の存在)
入試問題をのぞいていて興味深かったのと,少々日本語文献が見当たらなかったことから,自分用に少しまとめてみます.話題としては線型代数的な話なんですが,その要素は薄いです.
Cauchyの関数方程式
関数方程式は大学入試でもちらほら登場する話題で,関数形を特定させる過程で微分係数の定義などの理解を確かめることができるので重宝されている印象です.数学オリンピックにおいても頻出のようですが詳しくは知りません.
次の関数方程式を考えてみましょう.
集合 上で加法が定義されているとする.写像 に対して
を Cauchyの関数方程式 という.上の方程式を満たす写像を additive function という.
加法が定義された集合,は色々範囲を広げてみると楽しそうですが本稿では専ら線型空間,というか とか を考えます.また,additive function(加法的関数)ですが,数論でいうところの加法的関数とは異なるので注意が必要です.線型性のうち加法についてのみcompatibleである(とでも言えばいいのでしょうか)ようなものを指しています.
簡単な観察から,線型な関数,すなわち上の加法性に加えてスカラー倍についても が成り立つようなものは加法的関数であることがわかります.目標としては,加法的だが線型でないような非自明な関数をみつけることです.
さて,適当な条件を加えることで を解くことができます.(逆に言うと非線型解があるとすればこれから挙げるような都合の良い性質は一切持っていないということです)
が で微分可能ならば は線型,すなわち である.
証明
より である.
が で微分可能であることから が存在する.
より全ての実数 について
したがって とおけば の形であり,
より とわかる.
(証明終)
恐らくこれが最も簡単な場合で,関数方程式の例題として最初に触れるような難易度です.その他には以下のことを示すことができます.
(1) :連続ならば :線型である.(Cauchy, 1821)
(2) がどこか1点で連続ならば :線型である.(Darboux, 1875)*1
(3) :単調ならば :線型である.
(4) が任意の開区間で有界ならば :線型である.
非線型解の存在
上で掲げた (1)~(4)は全て以下の命題から従います.
同様に以下のことも成り立ちます.(証明は省略します.どちらも順番に整数の範囲→有理数の範囲,と確かめていくだけです)
全ての有理数 と全ての実数 に対して が成り立つ.
ここからいよいよ加法的かつ線型でない関数をつくるのですが,ここまで御膳立てをすると割と想像がつく方もいるのかもしれません. 線型空間 の基底を考えましょう.この基底が取れることは(選択公理と同値な)以下の命題から従います.
を 線型空間 の基底とすると,任意の実数 について と一意に表すことができます(ただし は有限の添字集合).このように基底を設定してあげると,例えば の への制限 を定値写像 で定めてあげれば,定義域を にまで広げることができて,上の基底に関する実数 の表示を用いて と加法的な関数 をつくることができます.この が線型でないことは,値域が なので に対して一般に であることからすぐにわかります.
まとめ
ここで用いた 線型空間 の基底のことを Hamel基底 とも言ったりするそうです.Cauchyの関数方程式の非線型解についてはこれ以外にも多くのことが知られているようなので興味のある各位は調べてみてください(投げっぱなしエンド).
参考文献
Sune K. Jakobsen, Cauchy's functional equation, 2010
著者不明, The Cauchy equation, 2002(ルトガース大学1,2年生セミナーの資料か?)
alg-d, 線型空間の基底の存在 : 選択公理 | 壱大整域, 2014
*1:CauchyとかDarbouxとかその辺りの年号は孫引きです…