Difference between revisions of "Domain (function)"

m
m
Line 5: Line 5:
  
  
Given two functions with different, but overlapping, domains, we say that the functions "agree on their shared domain."
+
Given two functions <math>f</math> and <math>g</math> with different, but overlapping, domains, <math>A</math> and <math>B</math>, respectively, we say that the functions "agree on their shared domain," if <math>x \in A \cap B</math> implies <math>f(x) = g(x)</math>.

Revision as of 16:32, 28 November 2006

The domain of a function is the set of values on which that function is defined.

Typically, a function given by a particular rule might have many possible domains. For instance, the function $f(x) = x^2$ can take a wide variety of domains. If we choose as its codomain the nonnegative real numbers, for instance, the domain could be the integers, the rational numbers, all of the real numbers, or many other sets. However, in this case the domain could not be the complex numbers, since some complex numbers have squares which are not nonnegative real numbers and so are not in our codomain. If we had chosen as our codomain the set $\{\mathrm{Groucho}^2,\;\mathrm{Harpo}^2,\; \mathrm{Chico}^2\}$, then possible domains include $\{\mathrm{Groucho,\; Harpo}\}$ and $\{\mathrm{Harpo}\}$, but not the integers. As an alternative example, if we take the function $f(x) = \frac1x$, mapping to the real numbers, our domain could be the set of all reals except zero, $\mathbb{R}-\{0\}$, but could not be all of the real numbers because $\frac10$ is not defined.


Given two functions $f$ and $g$ with different, but overlapping, domains, $A$ and $B$, respectively, we say that the functions "agree on their shared domain," if $x \in A \cap B$ implies $f(x) = g(x)$.