リプシッツ連続

研修やらパテントやらでそうとう忙しくなってきたけど、
関数解析の基礎だけは少しずつでもやっておこう。

力学系の講義でよく出てきたリプシッツ連続。
普通、at aで微分可能であるとは、(f(t)-f(a))/(t-a)の極限が有限確定であると定義する。
そこで、有限確定なのだから、あるL>0で
f(t)-f(a) < L|t-a|
のように抑えられるでしょう、ということ。
Lを固定したりして、連続のクラスわけができたりする。