Well-defined
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/05/27 11:59 UTC 版)
数学における well-defined[注釈 1](ウェル・ディファインド)は、「定義によって一意の解釈または値が割り当てられる」ことを言う[2]。
注釈
出典
- 1 Well-definedとは
- 2 Well-definedの概要
- 3 定義
- 4 参考文献
- 5 関連項目
well-defined
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/08/19 09:45 UTC 版)
well-defined は、ある概念が数学的あるいは論理学的に特定の条件を公理に用いて定義・導入されるとき、その定義(における公理の組)が自己矛盾をその中に含み持たぬ状態にあることを言い表す修飾語句である。また、ある概念の定義をする場合、そう決めることによって、何も論理的な矛盾なく上手くいくということ(定義の整合性)が確認されているということを言い表す言葉である。文脈により、「うまく定義されている」「矛盾なく定まった」「定義可能である」などと表現されることもある。
- ^ a b 雪江明彦 『代数学1 群論入門』 日本評論社、2010年。ISBN 978-4-535-78659-2。
- 1 well-definedとは
- 2 well-definedの概要
- Well-definedのページへのリンク