18/02/14 01:38:44.93 sLMrM9T3.net
>>160
＞だが、上記で
＞A_f(x)＝ |p| (xは有理数で x＝q/p で p と q は互いに素),
＞A_f(x)＝ 0 (xは無理数)
＞とすれば、これはディリクレ関数と同じ性質を持つ。
＞つまり、すべての x∈Rで、不連続で微分も不可。微分不可だから、ディニ微分不可。
＞だから、B_fは空集合
息をするように間違えるゴミクズ。俺は
f(x)＝ |p| (xは有理数で x＝q/p で p と q は互いに素),
f(x)＝ 有限値なら何でもよい (xは無理数)
と書いたのではない。
A_f(x)＝ |p| (xは有理数で x＝q/p で p と q は互いに素),
A_f(x)＝ 有限値なら何でもよい (xは無理数)
と書いたのである。すなわち、 f そのものをディリクレ関数っぽい値に設定したのではなく、
A_f の方をディリクレ関数っぽい値に設定したのである。もしそのような性質が成り立つ f が
存在したとすると、(a,b)⊂B_f なる開区間は取り放題なのに、f はどの開区間の上でも
リプシッツ連続にならないので、
「 (a,b)⊂B_f の場合はリプシッツ連続性が自明に分かる」
というスレ主の直観は破壊されることになる。
[続く]