コーシーの関数方程式
が加法群の準同型, すなわち, 任意の に対して, (Cauchyの関数方程式)ならば, 任意の に対して, と言えるでしょうか?
答えはNoです.
ならば, となることは容易にわかります.
が(標準位相で)連続ならば, のハウスドルフ性と, が稠密部分集合なことより,
任意の に対して, が従います.
しかし, の連続性を仮定しないと以下のような反例が選択公理を仮定すれば作れます.
を ベクトル空間とみなして, を含む基底 をとります.
このとき, は有限和 と一意的に書けるので,
と定めるとこれはwell-definedでコーシーの関数方程式を満たします.
一方, より, より, は不連続です.
(作成中)