Let be sets, let and "define" as if and if .
Then is well defined if . For example, if and , then would be well defined and equal to .
However, if , then would not be well defined because is "ambiguous" for . For example, if and , then would have to be both 0 and 1, which makes it ambiguous. As a result, the latter is not well defined and thus not a function.
In order to avoid the quotation marks around "define" in the previous simple example, the "definition" of could be broken down into two simple logical steps:
- The definition of the binary relation: In the example
(which so far is nothing but a certain subset of the Cartesian product .) - The assertion: The binary relation is a function; in the example
While the definition in step 1 is formulated with the freedom of any definition and is certainly effective (without the need to classify it as "well defined"), the assertion in step 2 has to be proved. That is, is a function if and only if , in which case – as a function – is well defined.
On the other hand, if , then for an , we would have that and , which makes the binary relation not functional (as defined in Binary relation#Special types of binary relations) and thus not well defined as a function. Colloquially, the "function" is also called ambiguous at point (although there is per definitionem never an "ambiguous function"), and the original "definition" is pointless.
Despite these subtle logical problems, it is quite common to anticipatorily use the term definition (without apostrophes) for "definitions" of this kind – for three reasons:
- It provides a handy shorthand of the two-step approach.
- The relevant mathematical reasoning (i.e., step 2) is the same in both cases.
- In mathematical texts, the assertion is "up to 100%" true.
The question of well definedness of a function classically arises when the defining equation of a function does not (only) refer to the arguments themselves, but (also) to elements of the arguments, serving as representatives. This is sometimes unavoidable when the arguments are cosets and the equation refers to coset representatives. The result of a function application must then not depend on the choice of representative.
Functions with one argument
For example, consider the following function
where and are the integers modulo m and denotes the congruence class of n mod m.
N.B.: is a reference to the element , and is the argument of .
The function is well defined, because
As a counter example, the converse definition
does not lead to a well defined function, since e.g. equals in , but the first would be mapped by to , while the second would be mapped to , and and are unequal in .
For real numbers, the product is unambiguous because (and hence the notation is said to be well defined).[1] This property, also known as associativity of multiplication, guarantees that the result does not depend on the sequence of multiplications, so that a specification of the sequence can be omitted.
The subtraction operation, on the other hand, is not associative. However, there is a convention that is shorthand for , thus it is "well defined".
Division is also non-associative. However, in the case of , parenthesization conventions are not so well established, so this expression is often considered ill defined.
Unlike with functions, the notational ambiguities can be overcome more or less easily by means of additional definitions (e.g., rules of precedence, associativity of the operator). For example, in the programming language C the operator -
for subtraction is left-to-right-associative, which means that a-b-c
is defined as (a-b)-c
, and the operator =
for assignment is right-to-left-associative, which means that a=b=c
is defined as a=(b=c)
.[3] In the programming language APL there is only one rule: from right to left – but parentheses first.
A solution to a partial differential equation is said to be well defined if it is determined by the boundary conditions in a continuous way as the boundary conditions are changed.[1]
Notes
Weisstein, Eric W. "Well-Defined". From MathWorld – A Wolfram Web Resource. Retrieved 2 January 2013. 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.
Sources
- Contemporary Abstract Algebra, Joseph A. Gallian, 6th Edition, Houghlin Mifflin, 2006, ISBN 0-618-51471-6.
- Algebra: Chapter 0, Paolo Aluffi, ISBN 978-0821847817. Page 16.
- Abstract Algebra, Dummit and Foote, 3rd edition, ISBN 978-0471433347. Page 1.