準備

>>191 修正再録
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を超えないということである。
(引用終わり)