15/05/17 07:20:43.71 joHrS35r.net
>>427-428
どうも。スレ主です。
ID:SzOJXhZcさん、おっちゃん、レスありがとう
お陰ですっきりしました！
>x=a+b√2 (a,b は整数) のところだけでも平面上にプロットしてみたら？
なるほど！ √2にどんな意味が？と思ったが・・、そういうことを考えろ！とヒントになっているんだ・・
Hamel basis B of VR(Q) containing the independent set {1, √2}で
(a,b は整数)：f(a+b√2)=a+b. y=a'+b'√2として、f(x+y)=a+b+a'+b'=f(x)+f(y)
が成り立つ。 (a,b は有理数)でも同様
「任意の開区間(a",b")で非有界、及び、グラフの平面(x,f(x))で稠密」について考えてみる
１．ここで、”By putting f(b) = 1 for any b ∈ B” の中から、非常に大きな数b1を取って
x=a+b*b1 (a,b は有理数,b1∈B)を考える
a+b*b1が、開区間(a",b")に入るように、a,b は有理数を調整できる
（蛇足だが、bはいくらでも小さく取れるから）
f(a+b*b1)=a+bとなる
２．上記で、b1はけっこういろいろ取れるんだ。きっと。∵Hamel basisは、連続無限個存在するというので
だから、a+bもいろんな値にできるんだ
３．で、抽象的に考えていると纏まらないので、開区間(0,1)として、a=0.5としてみる
b=0.1として、b1≒1とできるとすると、a+b*b1≒0.6でa+b＝1.5
b=0.01として、b1≒10とできるとすると、a+b*b1≒0.51でa+b＝10.5
b=0.001として、b1≒100とできるとすると、a+b*b1≒0.501でa+b＝100.5
・
・
４．上記の思考実験で、非有界はまず間違いないでしょう
グラフの平面(x,f(x))で稠密もおそらく・・（詳しく検証していないが）
前提としては、Hamel basisが、数直線上に稠密に連続無限個するとして（この前提はおそらく正しいのでしょう）