18/02/13 21:56:20.35 kLyhoiu6.net
>>141
これなんか、へんなことを書いていると思った
引用
「あるいは、少し別の視点から考えてみると、
――――――――――――――
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 はどの開区間の上でもリプシッツ連続にならない。」
(引用終り)
>>157に書いたように
定理1.7より
”Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }”
この「 lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ 」は、過去スレで指摘したように、この条件はディニ微分可だったよね？
だが、上記で
A_f(x)＝ |p| (xは有理数で x＝q/p で p と q は互いに素),
A_f(x)＝ 0 (xは無理数)
とすれば、これはディリクレ関数と同じ性質を持つ。
つまり、すべての x∈Rで、不連続で微分も不可。微分不可だから、ディニ微分不可。
だから、B_fは空集合
URLﾘﾝｸ(ja.wikipedia.org)
ディニ微分
以上