| Well Defined |
Article Index for Well |
Information AboutWell Defined |
| CATEGORIES ABOUT WELL-DEFINED | |
| mathematical terminology | |
|
For instance, in Group Theory , the term well-defined is often used when dealing with Coset s, where a function on a coset space is often defined by choosing a representative: it is then ''as important'' that we check that we get the same result regardless of which representative of the coset we choose as it is that we always get the same result when we perform arithmetical operations (e.g., whenever we add 2 and 3, we always get the answer 5). More generally, given a set ''X'', an Equivalence Relation ~ on ''X'', and a function ''f'' from ''X'' to another set ''Y'', one may be interested to know whether ''f'' can be viewed as a function on the Quotient Set ''X''/~. That is to say, if is an equivalence class in ''X''/~, then one may attempt to define ''f''([''x'' ) = ''f''(''x''). If the function satisfies ''f''(''x''1)=''f''(''x''2) whenever ''x''1~''x''2, then the definition makes sense, and ''f'' is well-defined on ''X''/~. Although the distinction is often ignored, the function on ''X''/~, having a different domain, should be viewed as a distinct map . In this view, one says that is well-defined if the diagram shown commutes. That is, that ''f'' factors through ''π'', where ''π'' is the canonical projection map ''X'' → ''X''/~, so that . As an example, consider the equivalence relation between real numbers defined by ''θ''1~''θ''2 if there is an integer ''n'' such that ''θ''1-''θ''2 = 2π''n'', where π (not italicized) denotes Pi . The Quotient Set ''X''/~ may then be identified with a circle, as an equivalence class represents an angle. (In fact this is the coset space R/2π'''Z''' of the additive subgroup 2π'''Z''' of R.) Now if ''f'':R→R is the cosine function, then )=\cos heta is well-defined, whereas if ''f''(''θ'') = ''θ'' then is not well-defined. Two other issues of well-definition arise when defining a function ''f'' from a set ''X'' to a set ''Y''. First, ''f'' should actually be defined on all elements of ''X''. For example, the function ''f''(''x'') = 1/''x'' is not well-defined as a function from the real numbers to itself, as ''f''(''0'') is not defined. Secondly, ''f''(''x'') should be an element of ''Y'' for all ''x''∈''X''. For example, the function ''f''(''x'') = ''x''2 is not well-defined as a function from the real numbers to the positive real numbers, as ''f''(''0'') is not positive. A set is well-defined if any given object either is an element of the set, or is not an element of the set |
|
|