17/12/29 00:05:38.18 wAjWw3D/.net
>>30
ところで、証明をつっついて悪いが
補題1.5の証明中で
１）
"∀y ∈ R[｜y － x｜ <1/M → ｜f(y) － f(x)｜ <= N (y － x)] (1) が成り立つ"
を、条件 lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ から導いている
｜y － x｜ <1/M は、そこに書かれているように、ある区間(x-1/M, x+1/M)のことだな
ならば、c = x-1/M 、d = x+1/M として、ある区間（c, d）と書けるだろ？
定理1.7の証明は、それで終りでは？
２）
それから、前スレ>>615で
”「 (a,b) ⊂ B_f を満たす開区間(a, b)が存在する」
という条件からは、
「 f は(a,b)上の 全 体 で リプシッツ連続である」という条件は導けない”
というが、それ（”全体で”）を導くことは、定理1.7（「f はある開区間の上でリプシッツ連続である」）をいうだけなら、不必要では？
（ 上記のある区間（c,d）で、リプシッツ連続を言えば、定理1.7の証明は、そこで終わってないかい？ ）
３）
それから、これは重要だが、補題1.5の証明中で、"∀y ∈ R[｜y － x｜ <1/M → ｜f(y) － f(x)｜ <= N(y － x)] (1) が成り立つ"というけれど
R－Bfが、稠密なら、区間(x-1/M, x+1/M)で、Dini微分が発散している点が、この区間内に多数存在することになるよ
それでも、"∀y ∈ R[｜y － x｜ <1/M → ｜f(y) － f(x)｜ <= N(y － x)] (1) が成り立つ"が言えるのかね？ （言えるとしても、区間内にDini微分発散点が稠密に存在するという前提を押さえた証明がなされるべきと思うが）
まあ、年末年始は忙しい
十分レスできないと思うが
貴方も、気張らずにやってください （＾＾
以上