|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 距離 ： [きょり] 【名詞】1. distance 2. range ・ 微分 ： [びぶん] (n,vs) differential (e.g., calculus) ・ 分 ： [ぶん, ふん] 1. (n,n-suf,pref) (1) part 2. segment 3. share 4. ration 5. (2) rate 6. (3) degree 7. one's lot 8. one's status 9. relation 10. duty 1 1. kind 12. lot 13. (4) in proportion to 14. just as much as 1
数学の解析学の分野における距離微分（きょりびぶん、）とは、あるユークリッド空間上で定義され任意の距離空間に値を取るようなリプシッツ連続関数に対する、微分の概念の一般化である。この微分の定義のもとで、距離空間に値を取るリプシッツ関数へと、ラーデマッヘルの定理を一般化することが出来る。 == 議論 == ラーデマッヘルの定理では、リプシッツ写像 ''f'' : R''n'' → R''m'' は R''n'' 内のほとんど至る所で微分可能であることが示されていた。これはつまり、ほとんど全ての ''x'' に対して、''x'' の十分小さい任意の範囲において ''f'' は近似的に線型であることを意味する。しかしもしも ''f'' が距離空間 ''X'' に値を取るようなユークリッド空間 R''n'' 上の関数であるなら、微分可能性について論じることは直ちに意義のあることとはならない。なぜならば、''X'' は先験的には線型構造を持たないことが知られているからである。たとえ ''X'' がバナッハ空間であるとか、フレシェ微分がほとんど至る所で存在する、などのことを仮定したとしても、そのような微分可能性は成り立たない。例えば、単位区間から可積分関数の空間への写像 ''f'' : → ''L''1() を、''f''(''x'') = ''χ'' と定義すると、 : が 0 ≤ ''x'' ≤ ''y''≤ 1 に対して成り立つため、この関数はリプシッツ連続（さらに実際、等長）である。しかし、 内のどのような ''x'' に対しても、lim''h''→0(''f''(''x'' + ''h'') − ''f''(''x''))/''h'' は ''L''1 関数には収束しないことが確かめられるため、''f'' は至る所で微分不可能である。 しかしラーデマッヘルの定理を、ほとんど全ての点上に着目してどのようにリプシッツ関数が安定化するか、ということについて述べた定理と見なせば、''f'' の線型性の代わりに距離の性質について述べたものとして、そのような定理が存在することが分かる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「距離微分」の詳細全文を読む スポンサード リンク
|