リプシッツ連続の定義

関数f(x)が区間[a,b]でリプシッツ連続であるとは、ある正の定数Lが存在して全てのx1,x2に対し|f(x1)-f(x2)|≦L|x1-x2|が成り立つことである。

一様連続の強い形の条件。