0141132人目の素数さん
2018/02/12(月) 17:22:11.65ID:caXk6IEJ有限値として存在する。しかし、スレ主風に言えば、次のような疑問が生じることになる。
―――――――――――――――――――――――――――――――――――――
f の原点での振る舞いが、原点のみならず R 上で稠密に分布するような
別の関数 g であって、しかも B_g = R が保たれたままであるような上手い g が
もし存在したとすると、(a,b)⊂B_g なる開区間は取り放題であるにも関わらず、
max_{x∈(a,b)} Ag(x) が有限値になるような (c,d) は1つも存在しないことになるし、
この g はどの開区間の上でもリプシッツ連続にならない。
―――――――――――――――――――――――――――――――――――――
このように考えると、B_f が開区間を含んでいるという条件下でも、
f がリプシッツ連続になる開区間が取れることは全く自明ではないことが分かるだろう。
あるいは、少し別の視点から考えてみると、
――――――――――――――――――――――――――――
A_f(x)= |p| (xは有理数で x=q/p で p と q は互いに素),
A_f(x)= 有限値なら何でもよい (xは無理数)
――――――――――――――――――――――――――――
が成り立つような上手い関数 f:R → R がもし存在したとすると、
この f に対しても B_f=R が成り立っているので、(a,b)⊂B_f なる開区間は取り放題であるが、
しかし max_{x∈(a,b)} Af(x) が有限値になるような (c,d) は1つも存在しないし、
この f はどの開区間の上でもリプシッツ連続にならない。
むろん、実際には、上記のようなヘンな関数は存在しない。すなわち、(a,b)⊂B_f なる開区間が取れるなら、
ある開区間の上で max Af(x) が有限値で存在するし、f はある開区間の上でリプシッツ連続になる。
ただし、そのことを証明するための方法は>>110なのであって、スレ主とかいうゴミクズが
考えているような単純な状況には決してなっていない。