>>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 の場合はリプシッツ連続性が自明に分かる」

というスレ主の直観は破壊されることになる。

[続く]