well-defined

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

well-defined は、ある概念が数学的あるいは論理学的に特定の条件を公理に用いて定義・導入されるとき、その定義(における公理の組)が自己矛盾をその中に含み持たぬ状態にあることを言い表す修飾語句である。また、ある概念の定義をする場合、そう決めることによって、何も論理的な矛盾なく上手くいくということ(定義の整合性)が確認されているということを言い表す言葉である。文脈により、「うまく定義されている」「矛盾なく定まった」「定義可能である」などと表現されることもある。

well-defined は「状態」を表す形容詞であるが、日本語の定訳はなく慣例的に形容詞と動詞の複合語に訳されるか、そのまま形容動詞的に「well-defined である」といった形で用いる。名詞形 well-definedness などもあり、これを well-defined 性と記すことはできるが日本語訳としてこなれたものは特には存在しない(文脈によっては「定義可能性」などで代用可能である)。

概要[編集]

以下の二つが示せたとき、定義が well-defined であるという[1]

(1) 定義で使われる方法が実際にうまくいく。
(2) 定義がもともとの対象から複数定まる対象を経由して行われる場合、結果がもともとの対象にのみ依存する。

一つの対象のある表示に対して定義が満たされるが、別のある表示については満たされない状況であるとか、一つの対象の異なる表示を考えると定義の示す結果がそれぞれの表示に対して異なるといった状況であるならば、与えられた定義はその対象自体に対する定義として不適切 (ill-defined) である。

[編集]

例えば、写像あるいは(一価の)関数 f は代入原理と呼ばれる条件

a = b \Rightarrow f(a) = f(b)

を満たす対応(一意対応)でなければならないから、同値類に対する写像をその代表元を用いて定義しようとする場面などでは well-defined 性が問題になる。典型的なものが、代数学において商代数系(商群商環商ベクトル空間など)の演算を導入する場面に現れる。

鎖複体の射からホモロジー(これは鎖複体から定まるある商加群である)の間の準同型が誘導されるが、このときも well-defined 性が問題になる。上述の一意性に加え、写像の行き先が実際に終域に入っていることを確かめなくてはならない。

実数 a > 0 の実数 x 乗を、x に収束する有理数列 {xn} を用いて

a^x:=\lim_{n\to\infty}a^{x_n}

と定義するときにも、well-defined 性が問題になる[1]。右辺の収束性と一意性({xn} の取り方によらないこと)である。

参考文献[編集]

  1. ^ a b 雪江明彦 『代数学1 群論入門』 日本評論社、2010年ISBN 978-4-535-78659-2