In mathematics, welldefinition is a mathematical or logical definition of a certain concept or object (a function, a property, a relation, etc.) which uses a set of base axioms in an entirely unambiguous way and satisfies the properties it is required to satisfy. Usually definitions are stated unambiguously, and it is clear they satisfy the required properties. Sometimes however, it is economical to state a definition in terms of an arbitrary choice; one then has to check that the definition is independent of that choice. On other occasions, the required properties might not all be obvious; one then has to verify them. These issues commonly arise in the definition of functions.
For instance, in group theory, the term welldefined is often used when dealing with cosets, 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). f(x_{1})=f(x_{2}) if x_{1}~x_{2}, then the definition makes sense, and f is welldefined 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 welldefined 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 is welldefined, whereas if f(θ) = θ then is not welldefined.
Two other issues of welldefinition 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 welldefined 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 welldefined as a function from the real numbers to the positive real numbers, as f(0) is not positive.
A set is welldefined if any given object either is an element of the set, or is not an element of the set.
In mathematics, the term welldefined is used to specify that a certain concept or object (a function, a property, a relation, etc.) is defined in a mathematical or logical way using a set of base axioms in an entirely unambiguous way and satisfies the properties it is required to satisfy. Usually definitions are stated unambiguously, and it is clear they satisfy the required properties. Sometimes however, it is economical to state a definition in terms of an arbitrary choice; one then has to check that the definition is independent of that choice. On other occasions, the required properties might not all be obvious; one then has to verify them. These issues commonly arise in the definition of functions.
For instance, in group theory, the term welldefined is often used when dealing with cosets, 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). f(x_{1})=f(x_{2}) if x_{1}~x_{2}, then the definition makes sense, and f is welldefined on X/~. Although the distinction is often ignored, the function on X/~, having a different domain, should be viewed as a distinct map $\backslash tilde\{f\}$. In this view, one says that $\backslash tilde\{f\}$ is welldefined if the diagram shown commutes. That is, that f factors through π, where π is the canonical projection map X → X/~, so that $f=\backslash tilde\{f\}\backslash circ\backslash pi$.
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 $\backslash tilde\{f\}([\backslash theta])=\backslash cos\backslash theta$ is welldefined, whereas if f(θ) = θ then $\backslash tilde\{f\}([\backslash theta])=\backslash theta$ is not welldefined.
Two other issues of welldefinition 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 welldefined 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 welldefined as a function from the real numbers to the positive real numbers, as f(0) is not positive.
A set is welldefined if any given object either is an element of the set, or is not an element of the set.
