リプシッツ連続

解析学におけるリプシッツ連続性（リプシッツれんぞくせい、）は、ルドルフ・リプシッツに名を因む、函数のより強い形の一様連続性である。直観的には、リプシッツ連続函数は変化の速さが制限される。即ち、適当な有限値の実数が存在して、その函数のグラフ上の任意の二点を結ぶ直線の傾きの絶対値はその実数を超えない。この上界をその函数の「リプシッツ定数」（あるいは）と呼ぶ。例えば一階微分が有界な任意の函数はリプシッツである。

微分方程式論において、リプシッツ連続性は初期値問題の解の存在と一意性を保証するピカール–リンデレフの定理の中心的な条件である。リプシッツ連続性の特別な場合で、縮小性はバナッハの不動点定理において用いられる。

実数直線の有界閉集合上で定義される函数に関して、以下のような包含関係の鎖が知られている:

 
また、
 
も成り立つ。

 定義 

 は集合 上の距離函数、 は集合 上の距離函数として二つの距離空間 と が与えられたとき（例えば、 を実数全体の成す集合 に距離函数 を入れたもの、および を の部分集合とすることができる）。このとき、写像 がリプシッツ連続（あるいは単にリプシッツ）であるとは、実定数 が存在して
 
を満たすときに言う。このような , あるいはそのうち最小のものを、関数 のリプシッツ定数と呼ぶ。 ととることができるとき、その関数はと呼ばれ、 なら縮小写像と呼ばれる。

この不等式は のとき（自明な意味で）成り立つ。これを除けば、写像がリプシッツ連続であることの同値な別定義として、定数 が存在して、
 
を満たすこととすることもできる。実多変数の実数値函数に対して、これが成り立つのは、任意の割線の傾きの絶対値が で抑えられるときであり、かつそのときに限る。函数のグラフ上の一点を通る傾き の直線全体の成す集合は円錐を成すから、したがって函数がリプシッツ連続であるための必要十分条件は、その函数のグラフが至る所この錐のまったく外側にあることである。

写像 が局所リプシッツ連続であるとは、任意の に対して の近傍 を適当に選べば の への制限 がリプシッツ連続であるときに言う。あるいは同じことだが、 が局所コンパクト距離空間ならば、 が局所リプシッツであるための必要十分条件は の任意のコンパクト部分集合上でリプシッツ連続となることである。局所コンパクトでないときには、これは必要だが十分でない。

より一般に、 上で定義された関数 がヘルダー連続である、または 上で次数 のヘルダー条件を満足するとは、定数 が存在して

が成立するときにいう。次数 のヘルダー条件を次数 の一様リプシッツ条件とも呼ぶ。

 が存在して

が成り立つならば、 は双リプシッツ連続あるいは単に双リプシッツ (bilipshitz) であると言う。双リプシッツ連続写像は単射であり、また実はその像の上への同相写像である。双リプシッツ連続であることは、その（像の上で定義される）逆写像もリプシッツであるような単射リプシッツ連続写像であることと同じである。全射な双リプシッツ連続写像は、ちょうど距離空間の間の同型写像になる。

 例 
 リプシッツ連続函数
 実数全体で定義された函数 はリプシッツ定数 を持つリプシッツ函数である。実際これは至る所微分可能で、その一階導函数の絶対値は で抑えられる（後述の#性質節最初の項目を参照）。
 同様に正弦函数 もリプシッツ連続である。これもその導函数（つまり余弦函数 ）が絶対値に関して で抑えられることによる。
 実数全体で定義された函数 はリプシッツ定数 のリプシッツ連続函数である（逆向きの三角不等式による）。これは微分可能でないリプシッツ連続函数の例である。より一般に、ベクトル空間上で定義されたノルムは、付随する距離函数に関するリプシッツ連続函数（リプシッツ定数 ）である。
 リプシッツ連続だが至る所微分可能とはならない例
 （上記参照）
 連続だが（大域的）リプシッツ連続でない
 閉区間 上定義された函数 はリプシッツ連続でない。この函数は の極限で、導函数が無限大に発散するから、いくらでも傾きが急になる。にも拘らずこの函数は一様連続であり、かつ に対して -級ヘルダー連続である。
 可微分だが（大域）リプシッツ連続でない
 函数 かつ を閉区間 へ制限したものは、コンパクト集合上微分可能だが局所リプシッツでない函数の例を与える。実際、その導函数は有界でない。
 解析的だが（大域）リプシッツでない
 指数函数は でいくらでも傾きがおおきくなるから、大域リプシッツ函数とはならないが、それにもかかわらず解析函数になる。
 実数全体で定義された函数 はリプシッツでない（ でいくらでも傾きが大きくなる）。しかしこれは局所リプシッツである。

 性質 
 至る所微分可能な函数 がリプシッツ連続（リプシッツ定数 を持つ）であるための必要十分条件は、それが有界な一階導函数を持つことである。一方の含意は平均値の定理から従う。特に、任意の連続的微分可能な函数は局所リプシッツである（連続函数は局所有界だから、その連続な導函数も局所有界である）。
 リプシッツ函数 は絶対連続であり、したがって殆ど至る所微分可能（つまりルベーグ測度 の集合の外側の任意の点で微分可能）である。その導函数は絶対値がリプシッツ定数を本質的上界としてである。また、 に対して、差分 は導函数 の区間 上の積分に等しい。
 逆に、 が絶対連続、従って殆ど至る所微分可能であるとし、 を満たすならば、 はリプシッツ定数が高々 のリプシッツ連続である。
 より一般にラーデマッハーの定理は、この結果をユークリッド空間の間のリプシッツ写像に対して拡張する。 を の開集合として、リプシッツ写像 が殆ど至る所微分可能とする。さらに が の最小のリプシッツ定数とすれば、全微分 が存在する限り が成立する。 
 可微分リプシッツ写像 に対し、不等式 が の最小リプシッツ定数 について成り立つ。さらに、 が凸ならば等号が成り立つ。
 二つの距離空間の間のリプシッツ連続写像の列 は、各 が適当な定数 で抑えられるリプシッツ定数を持つものとする。 が写像 に一様収束するならば もまた同じ定数 で抑えられるリプシッツ定数を持つリプシッツ連続写像になる。特にここから、コンパクト距離空間上定義される実数値函数でリプシッツ定数が特定の値で抑えられるもの全体の成す集合が、連続函数全体の成すバナハ空間の閉凸部分集合となることが導かれる。しかし、「非有界」なリプシッツ定数を持つ函数列に対してはこの結果は成り立たない。実は、コンパクト距離空間上のリプシッツ函数全体の成す空間は連続函数全体の成すバナッハ空間において稠密である（ストーン–ヴァイヤストラスの定理からの初等的な帰結）。
 任意のリプシッツ連続写像は一様連続であり、したがって連続である。より一般に、有界なリプシッツ定数を持つ函数の集合は同程度連続な函数の集合を成す。 が有界なリプシッツ定数を持つ一様有界列ならば収束する部分列を持つことがアルツェラ–アスコリの定理から従う。前段落の結果から、この列の極限函数もまたリプシッツであり、そのリプシッツ定数は同じ定数を上界に持つ。特に、コンパクト距離空間 上で定義されたリプシッツ定数 を持つ実数値リプシッツ函数全体の成す集合は、連続函数全体の成すバナハ空間 の局所コンパクト凸部分集合になる。
 共通のリプシッツ定数を持つリプシッツ連続函数の族 に対し、函数 および は、それが少なくとも一点において有限な値をとるならば、また同じリプシッツ定数を持つリプシッツ連続函数となる。
 は距離空間 の部分集合で、 はリプシッツ連続とするとき、 の延長となるリプシッツ連続写像 が必ず存在して、 と同じリプシッツ定数を持つ（も参照）。くだんの延長は、 の 上でのリプシッツ定数を として で与えられる。

 リプシッツ多様体 
 は の二つの開集合とする。写像 が双リプシッツ (bi-Lipschitz) とは、それが像の上へのリプシッツ同相写像であり、かつその逆写像もまたリプシッツとなるときにいう。

双リプシッツ写像を用いると、双リプシッツ同相写像に関する (pseudogroup) 構造が存在するから、の上にリプシッツ構造を定義することができる。この構造はと滑らかな多様体の構造の中間である。実はPL構造は一意的なリプシッツ構造を生じるから、その意味でリプシッツ構造は可微分構造のほうに「近い」。

 片側リプシッツ連続 
 は変数 に関する上半連続写像で、は閉凸集合とする。このとき、適当な定数 に対して
 
を満たすならば、 は片側リプシッツ (one-sided Lipschitz) である。

このような写像 が、非常に大きなリプシッツ定数 を持つが片側リプシッツ定数 は穏当な大きさあるいは負にさえなる、というようなことも起こり得る。そのような函数の例として
 
はリプシッツ定数 および片側リプシッツ定数 を持つ。片側リプシッツだがリプシッツでないような例は ( で与えられる。