翻訳と辞書
Words near each other
・ リブ三神
・ リブ住吉
・ リブ島
・ リブ族
・ リプアリア語
・ リプアーリ語
・ リプカ・タタール
・ リプカ・タタール人
・ リプキ
・ リプシッツ函数
リプシッツ連続
・ リプシッツ領域
・ リプスコム大学
・ リプスコーム
・ リプタウアー
・ リプトフスキー・ミクラーシュ
・ リプトン
・ リプトン国際選手権
・ リプトン本社直轄喫茶部 極東支店
・ リプトン選手権


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

リプシッツ連続 : ウィキペディア日本語版
リプシッツ連続[りぷしっつれんぞく]
解析学におけるリプシッツ連続性(リプシッツれんぞくせい、)は、に名を因む、函数のより強い形の一様連続性である。直観的には、リプシッツ連続函数は変化の速さが制限される。即ち、適当な有限値の実数が存在して、その函数のグラフ上の任意の二点を結ぶ直線の傾きの絶対値はその実数を超えない。この上界をその函数の「リプシッツ定数」(あるいは)と呼ぶ。例えば一階微分が有界な任意の函数はリプシッツである〔Sohrab, H. H. (2003). Basic real analysis (Vol. 231). Birkhäuser. 〕。
微分方程式論において、リプシッツ連続性は初期値問題の解の存在と一意性を保証するの中心的な条件である。リプシッツ連続性の特別な場合で、縮小性バナッハの不動点定理において用いられる。
実数直線の有界閉集合上で定義される函数に関して、以下のような包含関係の鎖が知られている〔Compactness 〕:
: 連続的微分可能リプシッツ連続α-ヘルダー連続 () ⊆ 一様連続連続函数.
また、
: リプシッツ連続絶対連続微分可能
も成り立つ。'' ⊆ 微分可能
も成り立つ。
== 定義 ==

は集合 上の距離函数、 は集合 上の距離函数として二つの距離空間 と が与えられたとき(例えば、 を実数全体の成す集合 に距離函数 を入れたもの、および を の部分集合とすることができる)。このとき、写像 がリプシッツ連続(あるいは単にリプシッツ)であるとは、実定数 が存在して
: d_Y(f(x_1), f(x_2)) \le K\, d_X(x_1, x_2)\quad (\forall x_1, x_2 \in X)
を満たすときに言う。このような , あるいはそのうち最小のものを、関数 のリプシッツ定数と呼ぶ。 ととることができるとき、その関数はと呼ばれ、 なら縮小写像と呼ばれる。
この不等式は のとき(自明な意味で)成り立つ。これを除けば、写像がリプシッツ連続であることの同値な別定義として、定数 が存在して、
: \frac\le K\quad (\forall x_1,x_2\in X)
を満たすこととすることもできる。実多変数の実数値函数に対して、これが成り立つのは、任意の割線の傾きの絶対値が で抑えられるときであり、かつそのときに限る。函数のグラフ上の一点を通る傾き の直線全体の成す集合は円錐を成すから、したがって函数がリプシッツ連続であるための必要十分条件は、その函数のグラフが至る所この錐のまったく外側にあることである。
写像 が局所リプシッツ連続であるとは、任意の に対して の近傍 を適当に選べば の への制限 がリプシッツ連続であるときに言う。あるいは同じことだが、 が局所コンパクト距離空間ならば、 が局所リプシッツであるための必要十分条件は の任意のコンパクト部分集合上でリプシッツ連続となることである。局所コンパクトでないときには、これは必要だが十分でない。
より一般に、 上で定義された関数 がヘルダー連続である、または 上で次数 のヘルダー条件を満足するとは、定数 が存在して
:d_Y(f(x), f(y)) < M\, d_X(x, y)^\quad (\forall x,y\in X)
が成立するときにいう。次数 のヘルダー条件を次数 の一様リプシッツ条件とも呼ぶ。
が存在して
:\frac\,d_X(x_1,x_2) \le d_Y(f(x_1), f(x_2)) \le K\,d_X(x_1, x_2)
が成り立つならば、 は双リプシッツ連続あるいは単に双リプシッツ (bilipshitz) であると言う。双リプシッツ連続写像は単射であり、また実はその上への同相写像である。双リプシッツ連続であることは、その(像の上で定義される)逆写像もリプシッツであるような単射リプシッツ連続写像であることと同じである。全射な双リプシッツ連続写像は、ちょうど距離空間の間の同型写像になる。''と呼ばれ、 なら縮小写像と呼ばれる。
この不等式は のとき(自明な意味で)成り立つ。これを除けば、写像がリプシッツ連続であることの同値な別定義として、定数 が存在して、
: \frac\le K\quad (\forall x_1,x_2\in X)
を満たすこととすることもできる。実多変数の実数値函数に対して、これが成り立つのは、任意の割線の傾きの絶対値が で抑えられるときであり、かつそのときに限る。函数のグラフ上の一点を通る傾き の直線全体の成す集合は円錐を成すから、したがって函数がリプシッツ連続であるための必要十分条件は、その函数のグラフが至る所この錐のまったく外側にあることである。
写像 が局所リプシッツ連続であるとは、任意の に対して の近傍 を適当に選べば の への制限 がリプシッツ連続であるときに言う。あるいは同じことだが、 が局所コンパクト距離空間ならば、 が局所リプシッツであるための必要十分条件は の任意のコンパクト部分集合上でリプシッツ連続となることである。局所コンパクトでないときには、これは必要だが十分でない。
より一般に、 上で定義された関数 がヘルダー連続である、または 上で次数 のヘルダー条件を満足するとは、定数 が存在して
:d_Y(f(x), f(y)) < M\, d_X(x, y)^\quad (\forall x,y\in X)
が成立するときにいう。次数 のヘルダー条件を次数 の一様リプシッツ条件とも呼ぶ。
が存在して
:\frac\,d_X(x_1,x_2) \le d_Y(f(x_1), f(x_2)) \le K\,d_X(x_1, x_2)
が成り立つならば、 は双リプシッツ連続あるいは単に双リプシッツ (bilipshitz) であると言う。双リプシッツ連続写像は単射であり、また実はその上への同相写像である。双リプシッツ連続であることは、その(像の上で定義される)逆写像もリプシッツであるような単射リプシッツ連続写像であることと同じである。全射な双リプシッツ連続写像は、ちょうど距離空間の間の同型写像になる。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「リプシッツ連続」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.