Well-definedとは？ わかりやすく解説

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年5月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Well-defined expression|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

数学における well-defined^{[注釈 1]}（ウェル・ディファインド）は、「定義によって一意の解釈または値が割り当てられる」ことを言う^[2]。

ある定義が well-defined であるのは次の二命題が示されたときである^[3]。

実際に成立する

（定義で）示された表式が成立しない場合^{[注釈 2]}、well-defined であるとは言えない。

経由する中途の表式に依存しない

往々にして、（数学上の）定義はいくつもの表式を経由する^{[注釈 3]}。このとき、最終的な結論が中途の表式に依存している場合^{[注釈 4]}、well-defined であるとは言えない。

つまり定めた対象が一意に存在しているとき、well-defined であるという。

写像と定義域上の同値関係に対して、次のように数式を用いて記述することもできる。 集合 X 上の同値関係 ≡ と写像 f: X → Y に対して

x ≡ x^′ ならば f(x) = f(x^′)

が任意の x, x^′ ∈ X に対して成立するとき、写像 f は関係 ≡ に関して well-defined であると言う^[5]。

1. 円周率 π の定義「円の直径に対する円周の比」を考える。この定義に現われる円は具体的な中心や半径が指定されていないが、直径は零でないのでまず比を取ることはどの円に対してもできる。さらにすべての円は互いに相似であるから、直径に対する円周の比は途中で経由する具体的な円の選び方に依存しない。したがって、この円周率の定義は well-defined である。

2. 実数 a > 0 の x 乗の定義を考える。 x が有理数の場合に良く定義されているとして、x が実数の場合に定義を拡張したいとする。 このとき x に収束する有理数列 {x_n} を用いて

a^x ≔ limn → ∞ a^x_n

と定義する場合、well-defined 性が問題になる^[3]。 実際は、そのような {x_n} を取ることができるし、右辺の極限は収束して極限値は {x_n} の取り方によらずに一意に定まる （特に x が有理数のとき、もともとの定義と一致する）^[6]。 したがってこの定義は well-defined である。

• Denlinger, Charles G. (2011). Elements of Real Analysis. Jones and Bartlett. ISBN 978-0-7637-7947-4 
• (英語) オックスフォード現代英英辞典 (9 ed.). オックスフォード大学出版局. (2015) 
• Weisstein, Eric W. (2008年6月1日). “Well-Defined -- from Wolfram MathWorld”. 2021年3月27日閲覧。
• 雪江 明彦『代数学1 群論入門』（初版）日本評論社、2010年11月25日。ISBN 978-4-535-78659-2。 
• 横田 一郎『例題が教える群論入門』（初版）現代数学社、1976年11月20日。 NCID BN03365362。 
• 数学セミナー編集部 編『数学の言葉づかい100』（初版）日本評論社、1999年4月25日。 NCID BA41426277。 

• 定義
• 未定義 (数学)（英語版） (undefined)