|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 距離 ： [きょり] 【名詞】1. distance 2. range ・ 函数 ： [かんすう] (oK) (n) function (e.g., math, programming, programing) ・ 数 ： [すう, かず] 1. (n,n-suf) number 2. figure
距離函数（きょりかんすう、）、距離計量（きょりけいりょう）あるいは単に距離（きょり、）、計量（けいりょう、）は、集合の二点間の距離を定義する函数である。距離が定義されている集合を距離空間（きょりくうかん、metric space）と呼ぶ。距離はその集合上の位相（距離位相）を誘導するが、必ずしもすべての位相空間が距離位相によって生成されるわけではない。ある位相空間の位相を距離によって記述することができるとき、その位相空間は距離化可能 であるという。 : 計量というときは、距離だけでなくそこから規定される種々の幾何学構造をひとまとまりのものとして考えているという気分が入っている。 : 微分幾何学では計量テンソル (metric tensor) の意味で術語 metric を用いることがある。 == 定義 == 集合 ''X'' 上の函数 : ''d'': ''X'' × ''X'' → R （ここで、R は実数全体の成す集合）が距離函数であるとは、''x'', ''y'', ''z'' を ''X'' の任意の元として、以下の条件 # ''d''(''x'', ''y'') ≥ 0 （非負性） # ''d''(''x'', ''y'') = 0 if and only if ''x'' = ''y'' （同一律） # ''d''(''x'', ''y'') = ''d''(''y'', ''x'') （対称律） # ''d''(''x'', ''z'') ≤ ''d''(''x'', ''y'') + ''d''(''y'', ''z'') （劣加法性あるいは三角不等式） が満たされることを言う（条件 1, 2 をあわせて正定値性ということもある）。非負性をいう条件 1 は他の条件から導くことができる（上の三角不等式で ''z'' = ''x'' とした式に同一律と対称律を適用すれば非負性が導かれる）ので、距離函数だけを考えるならば条件 1 を必ずしも別項立てる必要はないが、適当な一般化を考えたりする際には分けておくほうが有効なこともある。 これらの条件は直感的な距離の概念が持っている性質を抽出したものである。たとえば、相異なる2点の間には正の距離があり、距離によって識別できないならば同じ点（; 不可識別者同一）である。また、ある点 ''x'' から別の点 ''y'' へ行く距離と、辿り方を逆にした ''y'' から ''x'' までの距離とは同じである。三角不等式は、ある点 ''x'' から別の点 ''z'' へ直接行く場合と比べて、さらに他の点 ''y'' へ寄り道したほうが遠くなるということである。ユークリッドは「二点間の最短距離は直線である」と述べているが、これは彼の幾何学における三角不等式を表したものに他ならない。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「距離函数」の詳細全文を読む スポンサード リンク
|