| この記事は 英語版の対応するページを翻訳することにより充実させることができます。(2024年5月)翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
- 英語版記事を日本語へ機械翻訳したバージョン(Google翻訳)。
- 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
- 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
- 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
- 翻訳後、
{{翻訳告知|en|Well-defined expression|…}} をノートに追加することもできます。
- Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
|
数学における well-defined[注釈 1](ウェル・ディファインド)は、「定義によって一意の解釈または値が割り当てられる」ことを言う。
定義
ある定義が well-defined であるのは次の二命題が示されたときである。
- 実際に成立する
- (定義で)示された表式が成立しない場合[注釈 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 であると言う。
例
1. 円周率 π の定義「円の直径に対する円周の比」を考える。この定義に現われる円は具体的な中心や半径が指定されていないが、直径は零でないのでまず比を取ることはどの円に対してもできる。さらにすべての円は互いに相似であるから、直径に対する円周の比は途中で経由する具体的な円の選び方に依存しない。したがって、この円周率の定義は well-defined である。
2. 実数 a > 0 の x 乗の定義を考える。
x が有理数の場合に良く定義されているとして、x が実数の場合に定義を拡張したいとする。
このとき x に収束する有理数列 {xn} を用いて
- ax ≔ limn → ∞ axn
と定義する場合、well-defined 性が問題になる。
実際は、そのような {xn} を取ることができるし、右辺の極限は収束して極限値は {xn} の取り方によらずに一意に定まる
(特に x が有理数のとき、もともとの定義と一致する)。
したがってこの定義は well-defined である。
脚注
注釈
- ^ 「容易く理解できる」といった意味の英語の形容詞である(反意語は ill-defined)。
- ^ 例えば極限値を用いた定義で、そもそも極限が存在しない場合など。
- ^ 例えば交わる二直線の狭角に関する定義で、その交点に(便宜的な理由から)新しい名前を付けるなど。
- ^ 前注釈の例を引き継いで述べると、用意した交点の位置(や名前)が変わると最終的な(定義の)結論が変わってしまう場合。
出典
参考文献
関連項目