Difference between revisions of "Domain (function)"

 
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
The '''domain''' of a [[function]] is the [[set]] of values on which that function is defined.   
 
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 <math>f(x) = x^2</math> can take a wide variety of domains. If we choose as its [[codomain]] the [[nonnegative]] [[real number]]s, for instance, the domain could be the [[integer]]s, the [[rational number]]s, all of the real numbers, or many other sets.  However, in this case the domain could not be the [[complex number]]s, 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 <math>\{\mathrm{Groucho}^2,\mathrm{Harpo}^2, \mathrm{Chico}^2\}</math>, then possible domains include <math>\{\mathrm{Groucho,\; Harpo}\}</math> and <math>\{\mathrm{Harpo}\}</math>, but not the integers.
+
Typically, a function given by a particular rule might have many possible domains.  For instance, the function <math>f(x) = x^2</math> can take a wide variety of domains, if we were to assign it one.  
 +
 
 +
(If we choose as its [[codomain]] the [[nonnegative]] [[real number]]s, for instance, the domain could be the [[integer]]s, the [[rational number]]s, all of the real numbers, or many other sets.  However, in this case the domain could not be the [[complex number]]s, since some complex numbers have squares which are not nonnegative real numbers and so are not in our codomain.)
 +
 
 
As an alternative example, if we take the function <math>f(x) = \frac1x</math>, mapping to the real numbers, our domain could be the set of all reals except zero, <math>\mathbb{R}-\{0\}</math>, but could not be all of the real numbers because <math>\frac10</math> is not defined.
 
As an alternative example, if we take the function <math>f(x) = \frac1x</math>, mapping to the real numbers, our domain could be the set of all reals except zero, <math>\mathbb{R}-\{0\}</math>, but could not be all of the real numbers because <math>\frac10</math> is not defined.
  
 +
==Function agreement==
  
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 for every <math>x</math> in the domains of both <math>f</math> and <math>g,</math> <math>f(x) = g(x).</math>

Latest revision as of 23:17, 16 August 2013

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 were to assign it one.

(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.)

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.

Function agreement

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 for every $x$ in the domains of both $f$ and $g,$ $f(x) = g(x).$