>>488 つづき

(>>303より)
”定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }
と置く: もしR−Bf が内点を持たない閉集合の高々可算和で被覆できるならば、 f はある開区間の
上でリプシッツ連続である．
（以下証明の文言から）
よって、 f は(a, b) 上でリプシッツ連続である．”

・ディニ微分関連で
　lim sup y→x ｜（f(y) − f(x)）/（y − x）｜が、４つのディニ微分を使って
　Af(x) ＝ max { ｜D^{-}f(x)｜, ｜D^{+}f(x)｜, ｜D_{-}f(x)｜, ｜D_{+}f(x)｜ } と表わされることがはっきりした（>>464）
・と、同時に、リプシッツ連続との関係も明らかになった（>>468）

つづく