Difference quotient: Difference between revisions

Revision as of 22:02, 28 April 2014

Definition

Algebraic definition

The difference quotient of a function between two distinct points in its domain is defined as the quotient of the difference between the function values at the two points by the difference between the two points.

In symbols, if $f$ is a function defined on some subset of the reals and $x_{1}, x_{2}$ are distinct elements in the domain of $f$ , then the difference quotient of $f$ between $x_{1}$ and $x_{2}$ , denoted $Δ f (x_{1}, x_{2})$ , is defined as:

$Δ f (x_{1}, x_{2}) : = \frac{f (x_{2}) - f (x_{1})}{x_{2} - x_{1}}$

Note that the definition is symmetric in $x_{1}$ and $x_{2}$ , i.e., we have:

$Δ f (x_{1}, x_{2}) = Δ f (x_{2}, x_{1})$

Geometric definition

The difference quotient of a function between two distinct points in its domain is defined as the slope of the chord joining the corresponding points in the graph of the function.

In symbols, if $f$ is a function defined on some subset of the reals and $x_{1}, x_{2}$ are distinct elements in the domain of $f$ , then the difference quotient of $f$ between $x_{1}$ and $x_{2}$ is defined as the slope of the line segment joining the points $(x_{1}, f (x_{1}))$ and $(x_{2}, f (x_{2}))$ , both of which are part of the graph of $f$ .

Definition as a function

Consider a function $f$ with domain a subset $S$ of $R$ . The difference quotient, denoted $Δ f$ , is a function defined on $S \times S ∖ D i a g (S)$ where $D i a g (S)$ is the diagonal subset ${(x, x) : x \in S}$ . In other words, the difference quotient is defined on the set of ordered pairs ${(x_{1}, x_{2}) : x_{1}, x_{2} \in S, x_{1} \neq x_{2}}$ . It is defined as:

$Δ f (x_{1}, x_{2}) = \frac{f (x_{2}) - f (x_{1})}{x_{2} - x_{1}}$

The function is symmetric, i.e., $Δ f (x_{1}, x_{2}) = Δ f (x_{2}, x_{1})$ . Therefore, we can only think of it as a function on unordered pairs, i.e., we can view $Δ f$ as a function on the set $(\binom{S}{2})$ of unordered pairs of distinct elements of $S$ .

Related notions

Derivative is defined as a limit of the difference quotient as one point approaches the other.

Properties of the difference quotient function

Joint continuity

For a continuous function $f$ , the difference quotient function is a continuous function in the sense of joint continuity.

Explicitly, given an interval $I$ , and a continuous function $f$ on $I$ , the domain of $Δ f$ is a union of two triangular regions in $I \times I$ , namely the regions above and below the diagonal. The function is symmetric, so the description on either side gives the description on the other side. The claim is that $Δ f$ is continuous at every point in both triangular regions, or equivalently, that $Δ f$ is continuous on both triangular regions.

@@ Line 18: / Line 18: @@
 In symbols, if <math>f</math> is a function defined on some subset of the reals and <math>x_1, x_2</math> are distinct elements in the domain of <math>f</math>, then the '''difference quotient''' of <math>f</math> between <math>x_1</math> and <math>x_2</math> is defined as the slope of the line segment joining the points <math>(x_1,f(x_1))</math> and <math>(x_2,f(x_2))</math>, both of which are part of the [[graph]] of <math>f</math>.
+==Definition as a function==
+Consider a function <math>f</math> with domain a subset <math>S</math> of <math>\R</math>. The '''difference quotient''', denoted <math>\Delta f</math>, is a function defined on <math>S \times S \setminus \operatorname{Diag}(S)</math> where <math>\operatorname{Diag}(S)</math> is the diagonal subset <math>\{ (x,x) : x \in S \}</math>. In other words, the difference quotient is defined on the set of ordered pairs <math>\{ (x_1,x_2) : x_1, x_2 \in S, x_1 \ne x_2 \}</math>. It is defined as:
+<math>\Delta f (x_1,x_2) = \frac{f(x_2) - f(x_1)}{x_2 - x_1}</math>
+The function is symmetric, i.e., <math>\Delta f(x_1,x_2) = \Delta f(x_2,x_1)</math>. Therefore, we can only think of it as a function on ''unordered'' pairs, i.e., we can view <math>\Delta f</math> as a function on the set <math>\binom{S}{2}</math> of unordered pairs of distinct elements of <math>S</math>.
 ==Related notions==
 * [[Derivative]] is defined as a limit of the difference quotient as one point approaches the other.
+==Properties of the difference quotient function==
+===Joint continuity===
+For a [[continuous function]] <math>f</math>, the difference quotient function is a [[continuous function]] in the sense of joint continuity.
+Explicitly, given an [[interval]] <math>I</math>, and a continuous function <math>f</math> on <math>I</math>, the domain of <math>\Delta f</math> is a union of two triangular regions in <math>I \times I</math>, namely the regions ''above'' and ''below'' the diagonal. The function is symmetric, so the description on either side gives the description on the other side. The claim is that <math>\Delta f</math> is continuous at every point in both triangular regions, or equivalently, that <math>\Delta f</math> is continuous on both triangular regions.