翻訳と辞書
Words near each other
・ Well Worn Daffy
・ Well'sbuilt Hotel
・ Well, Did You Evah!
・ Well, Gelderland
・ Well, Hampshire
・ Well, Limburg
・ Well, Lincolnshire
・ Well, North Yorkshire
・ Well, Well, Well (Duffy song)
・ Well, You Needn't
・ Well-behaved
・ Well-behaved statistic
・ Well-being
・ Well-bird exam
・ Well-covered graph
Well-defined
・ Well-Deserved Obscurity
・ Well-Done (album)
・ Well-field system
・ WELL-FM
・ Well-formed
・ Well-formed document
・ Well-formed element
・ Well-formed formula
・ Well-formed Petri net
・ Well-Founded Fear
・ Well-founded phenomenon
・ Well-founded relation
・ Well-founded semantics
・ Well-known text


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Well-defined : ウィキペディア英語版
Well-defined

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 A_0,A_1 be sets, let A = A_0 \bigcup A_1 and "define" f: A \rightarrow \ as f(a)=0 if a \in A_0 and f(a)=1 if a \in A_1.
Then f is well-defined if A_0 \bigcap A_1 = \emptyset. This is e. g. the case when A_0:=\, A_1:=\ (then ''f''(''a'') happens to be \operatorname(a,2)).
If however A_0 \bigcap A_1 \neq \emptyset then f is not well-defined because f(a) is "ambiguous" for a \in A_0 \bigcap A_1. This is e. g. the case when A_0:=\ and A_1:=\. Indeed, A_0 \bigcap A_1=\\ni 2 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」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.