|
In mathematics, an expression is called well-defined or ''unambiguous'' if its definition assigns it a unique interpretation or value. Otherwise, the expression is said to be ''not well-defined'' or ''ambiguous''. A function is well-defined if it gives the same result when the representation of the input is changed without changing the value of the input. For instance if ''f'' takes real numbers as input, and if ''f''(0.5) does not equal ''f''(1/2) then ''f'' is not well-defined (and thus: not a function).〔Joseph J. Rotman, ''The Theory of Groups: an Introduction'', p. 287 "... a function is "single-valued," or, as we prefer to say ... a function is ''well defined''.", Allyn and Bacon, 1965.〕 The term ''well-defined'' is also used to indicate whether a logical statement is unambiguous. A function that is not well-defined is not the same as a function that is undefined. For example, if ''f''(''x'') = 1/''x'', then ''f''(0) is undefined, but this has nothing to do with the question of whether ''f''(''x'') = 1/''x'' is well-defined. It is; 0 is simply not in the domain of the function. ==Simple example== Let be sets, let and "define" as if and if . Then is well-defined if . This is e. g. the case when (then ''f''(''a'') happens to be ). If however then is not well-defined because is "ambiguous" for . This is e. g. the case when and . Indeed, and ''f''(2) would have to be 0 as well as 1, which is impossible. Therefore, the latter ''f'' is not well-defined and thus not a function. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Well-defined」の詳細全文を読む スポンサード リンク
|