|
解析学におけるリプシッツ連続性(リプシッツれんぞくせい、)は、に名を因む、函数のより強い形の一様連続性である。直観的には、リプシッツ連続函数は変化の速さが制限される。即ち、適当な有限値の実数が存在して、その函数のグラフ上の任意の二点を結ぶ直線の傾きの絶対値はその実数を超えない。この上界をその函数の「リプシッツ定数」(あるいは)と呼ぶ。例えば一階微分が有界な任意の函数はリプシッツである〔Sohrab, H. H. (2003). Basic real analysis (Vol. 231). Birkhäuser. 〕。 微分方程式論において、リプシッツ連続性は初期値問題の解の存在と一意性を保証するの中心的な条件である。リプシッツ連続性の特別な場合で、縮小性はバナッハの不動点定理において用いられる。 実数直線の有界閉集合上で定義される函数に関して、以下のような包含関係の鎖が知られている〔Compactness 〕: : 連続的微分可能 ⊆ リプシッツ連続 ⊆ α-ヘルダー連続 () ⊆ 一様連続 ⊆ 連続函数. また、 : リプシッツ連続 ⊆ 絶対連続 ⊆ ⊆ 微分可能 も成り立つ。'' ⊆ 微分可能 も成り立つ。 == 定義 == は集合 上の距離函数、 は集合 上の距離函数として二つの距離空間 と が与えられたとき(例えば、 を実数全体の成す集合 に距離函数 を入れたもの、および を の部分集合とすることができる)。このとき、写像 がリプシッツ連続(あるいは単にリプシッツ)であるとは、実定数 が存在して : を満たすときに言う。このような , あるいはそのうち最小のものを、関数 のリプシッツ定数と呼ぶ。 ととることができるとき、その関数はと呼ばれ、 なら縮小写像と呼ばれる。 この不等式は のとき(自明な意味で)成り立つ。これを除けば、写像がリプシッツ連続であることの同値な別定義として、定数 が存在して、 : を満たすこととすることもできる。実多変数の実数値函数に対して、これが成り立つのは、任意の割線の傾きの絶対値が で抑えられるときであり、かつそのときに限る。函数のグラフ上の一点を通る傾き の直線全体の成す集合は円錐を成すから、したがって函数がリプシッツ連続であるための必要十分条件は、その函数のグラフが至る所この錐のまったく外側にあることである。 写像 が局所リプシッツ連続であるとは、任意の に対して の近傍 を適当に選べば の への制限 がリプシッツ連続であるときに言う。あるいは同じことだが、 が局所コンパクト距離空間ならば、 が局所リプシッツであるための必要十分条件は の任意のコンパクト部分集合上でリプシッツ連続となることである。局所コンパクトでないときには、これは必要だが十分でない。 より一般に、 上で定義された関数 がヘルダー連続である、または 上で次数 のヘルダー条件を満足するとは、定数 が存在して : が成立するときにいう。次数 のヘルダー条件を次数 の一様リプシッツ条件とも呼ぶ。 が存在して : が成り立つならば、 は双リプシッツ連続あるいは単に双リプシッツ (bilipshitz) であると言う。双リプシッツ連続写像は単射であり、また実はその像の上への同相写像である。双リプシッツ連続であることは、その(像の上で定義される)逆写像もリプシッツであるような単射リプシッツ連続写像であることと同じである。全射な双リプシッツ連続写像は、ちょうど距離空間の間の同型写像になる。''と呼ばれ、 なら縮小写像と呼ばれる。 この不等式は のとき(自明な意味で)成り立つ。これを除けば、写像がリプシッツ連続であることの同値な別定義として、定数 が存在して、 : を満たすこととすることもできる。実多変数の実数値函数に対して、これが成り立つのは、任意の割線の傾きの絶対値が で抑えられるときであり、かつそのときに限る。函数のグラフ上の一点を通る傾き の直線全体の成す集合は円錐を成すから、したがって函数がリプシッツ連続であるための必要十分条件は、その函数のグラフが至る所この錐のまったく外側にあることである。 写像 が局所リプシッツ連続であるとは、任意の に対して の近傍 を適当に選べば の への制限 がリプシッツ連続であるときに言う。あるいは同じことだが、 が局所コンパクト距離空間ならば、 が局所リプシッツであるための必要十分条件は の任意のコンパクト部分集合上でリプシッツ連続となることである。局所コンパクトでないときには、これは必要だが十分でない。 より一般に、 上で定義された関数 がヘルダー連続である、または 上で次数 のヘルダー条件を満足するとは、定数 が存在して : が成立するときにいう。次数 のヘルダー条件を次数 の一様リプシッツ条件とも呼ぶ。 が存在して : が成り立つならば、 は双リプシッツ連続あるいは単に双リプシッツ (bilipshitz) であると言う。双リプシッツ連続写像は単射であり、また実はその像の上への同相写像である。双リプシッツ連続であることは、その(像の上で定義される)逆写像もリプシッツであるような単射リプシッツ連続写像であることと同じである。全射な双リプシッツ連続写像は、ちょうど距離空間の間の同型写像になる。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「リプシッツ連続」の詳細全文を読む スポンサード リンク
|