18/02/16 17:48:29.17 oZfMkl2p.net
>>248
＞だから、２）→３）又は１）→３）が言えれば良い
言えないよ。もしそこが言えたら、
(★) (a,b)⊂B_f なる開区間が存在するなら、f は (a,b) 全体でリプシッツ連続である
ということが示せることになってしまうが、既に見たように
f(x)＝0 (x＝0), x^{3/2}sin(1/x) (x≠0)
が
18/02/16 17:48:29.17 oZfMkl2p.net
>>248
＞だから、２）→３）又は１）→３）が言えれば良い
言えないよ。もしそこが言えたら、
(★) (a,b)⊂B_f なる開区間が存在するなら、f は (a,b) 全体でリプシッツ連続である
ということが示せることになってしまうが、既に見たように
f(x)＝0 (x＝0), x^{3/2}sin(1/x) (x≠0)
が