>>478

つづき

注**)(参考)
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
リプシッツ連続
(抜粋)
適当な有限値の実数が存在して、その函数のグラフ上の任意の二点を結ぶ直線の傾きの絶対値はその実数を超えない。この上界をその函数の「リプシッツ定数」(あるいは一様連続度(英語版))と呼ぶ。

写像 f: X → Y がリプシッツ連続(あるいは単にリプシッツ)であるとは、実定数 K ? 0 が存在して
d_Y(f(x_1),f(x_2))<= K*d_X(x_1,x_2) ( for ∀ x_1,x_2 ∈ X)
を満たすときに言う。このような K, あるいはそのうち最小のものを、関数 f のリプシッツ定数と呼ぶ。
(引用終り)

(注:d_X(x_1,x_2) は、2点間の距離な。原文ご参照ください)
以上