DOMAIN (MATHEMATICS)

In mathematics, a 'domain' of a ''k''-place relation ''L'' ⊆ ''X''₁ × … × ''X''_''k'' is one of the sets ''X''_''j'', 1 ≤ ''j'' ≤ ''k''.
If ''k'' = 2 and ''L'' ⊆ ''X''₁ × ''X''₂, then ''L'' is a function defined as ''L'' : ''X''₁ → ''X''₂. It is then conventional to call ''X''₁ the 'domain' of the function ''L'' and to call ''X''₂ the 'codomain' of ''L''.

Contents

Domain of a function

Domain of a partial function

Category theory

Real and complex analysis

See also

Domain of a function

Given a function ''f'':''X''→''Y'', the set ''X'' of input values is the domain of ''f''; the set ''Y'' of output values is the codomain of ''f''.
The range of ''f'' is the set of all output values of ''f''; this is the set $\{\; f(x)\; :\; x\; in\; X\; \}$. The range of ''f'' is a subset of the codomain ''Y''. It is in general smaller than the codomain unless ''f'' is a surjective function.
A well defined function must map every element of its domain to an element of its codomain. For example, the function ''f'' defined by
: ''f''(''x'') = 1/''x''
has no value for ''f''(0).
Thus, the set of real numbers, $mathbb\{R\}$, cannot be its domain.
In cases like this, the function is either defined on or the "gap is plugged" by explicitly defining ''f''(0).
If we extend the definition of ''f'' to
: ''f''(''x'') = 1/''x'', for ''x'' ≠ 0
: ''f''(0) = 0,
then ''f'' is defined for all real numbers, and its domain is $mathbb\{R\}$.
Any function can be restricted to a subset of its domain.
The restriction of ''g'' : ''A'' → ''B'' to ''S'', where ''S'' ⊆ ''A'', is written ''g'' |_''S'' : ''S'' → ''B''.

Domain of a partial function

There are two distinct meanings in current mathematical usage for the notion of the domain of a partial function. Most mathematicians, including recursion theorists, use the term "domain of ''f''" for the set of all values ''x'' such that ''f(x)'' is defined. Some (particularly category theorists), however, consider the domain of a partial function ''f'':''X''→''Y'' to be ''X'', irrespective of whether ''f(x)'' exists for all ''x'' in ''X''.

Category theory

In category theory, instead of functions, one deals with morphisms, which are simply arrows from one object to another. The domain of any morphism is then simply the object where the arrow starts. In this context, many set theoretic ideas about domains have to be abandoned, or at least formulated more abstractly. For example, the notion of restricting a morphism to a subset of its domain must be modified. See subobject for more.

Real and complex analysis

In real and complex analysis, a domain is an open connected subset of a real or complex vector space.

See also

★ Codomain

★ Range (mathematics)

★ Injective function

★ Bijection