以下参考
(>>13より)
定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }
(引用終わり)
http://yusuke-ujitoko.hatenablog.com/entry/2017/05/17/005434
リプシッツ連続 緑茶思考ブログ 2017-05-17
(抜粋)
定義:リプシッツ連続
関数f(x)が任意の実数x,yに対し、
?f(x)?f(y)??k?x?y?
を満たす0以上のkがとれるとき、関数f(x)はリプシッツ連続であるといい、kをリプシッツ定数という。
x=yのとき、任意の実数について上式は成り立つので、
「関数f(x)がリプシッツ連続」であることは、「x≠yとなる任意の実数x,yに対して
?f(x)?f(y)/(x?y)? ? k
を満たす0以上の定数kがとれることと同値である。
つまり関数f(x)がリプシッツ連続であるとは、関数y=f(x)のグラフ上の任意の異なる2点(a,f(a)),(b,f(b))を通る直線の傾きが、?k以上k以下である、
すなわち、関数f(x)の変化率の絶対値はkを超えないということである。
(引用終わり)
https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%97%E3%82%B7%E3%83%83%E3%83%84%E9%80%A3%E7%B6%9A リプシッツ連続
以上
