>>40-42
>まだ、疑問に思っているのは
>下記のDifferentiability of the Ruler Functionの記述と貴方の定理との整合性だ

悪あがきは やめたまえ。前スレ540 で既に述べたとおり、
スレ主の大好きな f^r と f_w は、例の定理の反例になり得ない。

https://rio2016.5ch.net/test/read.cgi/math/1513201859/540

このレスにより、R−B_{f^r} は第一類集合にならず、R−B_{f_w} も第一類集合にならないので、
f^r と f_w は例の定理の「適用範囲外」ということになり、よって例の定理の反例になり得ない。

また、f^r と f_w が例の定理の「適用範囲外」であるという事実により、Differentiability of the Ruler Function が
どのように記述されていようとも、そのことと例の定理との間の整合性なんか 全 く 考 え る 必 要 が な い 。