17/11/20 18:28:51.02 Brtx3QWc.net
>>421-422
あ、まだ詳細な証明を書いて確認してはいなかったんだけど、例えば
f(0)＝f(1)＝1、
任意の既約な有理数 x＝p/q∈(0,1) に対して f(p/q)＝p/q、
超越数aを任意に取り任意の無理数 x∈(0,1) に対して f(x)＝a
というようにして区間 [0,1] で定義された実関数 f(x) を考えていたんだけど、x＝0,1 のときはともかく、
x∈(0,1 )が無理数、b＝p/q∈(0,1) が有理数のときも |(f(x)－f(b))/(x－b)|＝1 となって間違いなのか。
3以上の任意の正整数nに対して
|( f(x)－f(b) )/(x－b)|＝|(a－p/q)|/|(a－p/q)|＜1/(q^n|a－p/q|)
を満たす既約分数 b＝p/q∈(0,1) は可算無限個あって
分母の正整数 q＞p も当然可算無限個あるから、直観的に条件を満たしているかと思っていたんだけど、
実際は可算無限個の既約分数 p/q∈(0,1) に対して q^n|a－p/q|＜1 なのか。
だけど正整数 n≧3 を任意に取って a→+∞ としても、q^n|1－p/(aq)|＜1/a を満たす
既約有理数数 b＝p/q∈(0,1) が可算無限個あるというのが何か直観に反するな。
1