15/05/17 23:25:36.58 joHrS35r.net
>>443 つづき
まあ、この計算は、
"There exists a Hamel basis B of VR(Q) containing the independent set {1, √2}.
By putting f(b) = 1 for any b ∈ B we obtain a linear map in VR(Q)">>403
で、>>439 ID:dZ9dZGaKさんが書かれたように、区間 (0,1] のみ*)に含まれるハメル基底を作ることができる
この場合、ハメル基底Bの要素で、いくらでも0に近い小さい数が存在することが期待できる。1についても同様でしょう
(証明は分かりませんが)
で、ハメル基底の取り方に任意性がある
そこを、おそらく計算の工夫で、>>443のような処理ができると思う
具体的な計算の構成は出来ていないが・・