# Difference between revisions of "Derivative"

(→Definition as a function) |
(→Definition at a point) |
||

Line 5: | Line 5: | ||

Suppose <math>f</math> is a [[function]] defined on a subset of the reals and <math>x_0</math> is a point in the [[interior]] of the [[domain]] of <math>f</math>, i.e., the domain of <math>f</math> contains an [[open interval]] surrounding <math>x_0</math>. The '''derivative''' (also called '''first derivative''') of <math>f</math> at <math>x_0</math>, denoted <math>f'(x_0)</math> is defined as the [[limit]] of the [[defining ingredient::difference quotient]] of <math>f</math> between <math>x_0</math> and <math>x</math>, as <math>x \to x_0</math>. Explicitly: | Suppose <math>f</math> is a [[function]] defined on a subset of the reals and <math>x_0</math> is a point in the [[interior]] of the [[domain]] of <math>f</math>, i.e., the domain of <math>f</math> contains an [[open interval]] surrounding <math>x_0</math>. The '''derivative''' (also called '''first derivative''') of <math>f</math> at <math>x_0</math>, denoted <math>f'(x_0)</math> is defined as the [[limit]] of the [[defining ingredient::difference quotient]] of <math>f</math> between <math>x_0</math> and <math>x</math>, as <math>x \to x_0</math>. Explicitly: | ||

− | <math>f'(x_0) := \lim_{x \to x_0} \Delta f(x,x_0) = \lim_{x \to x_0} \frac{f(x) - f(x_0)}{x - x_0}</math> | + | <math>\! f'(x_0) := \lim_{x \to x_0} \Delta f(x,x_0) = \lim_{x \to x_0} \frac{f(x) - f(x_0)}{x - x_0}</math> |

If this limit exists, then we say that the derivative exists and has this value, and we say that the function is '''differentiable''' at the point. If the limit does not exist, then we say that the function is ''not'' differentiable at the point and the derivative does ''not'' exist. | If this limit exists, then we say that the derivative exists and has this value, and we say that the function is '''differentiable''' at the point. If the limit does not exist, then we say that the function is ''not'' differentiable at the point and the derivative does ''not'' exist. | ||

+ | |||

+ | ===Computationally useful version of algebraic definition=== | ||

+ | |||

+ | This is obtained from the previous definition by the variable substitution <math>h := x - x_0</math> so <math>x = x_0 + h</math>. Explicitly: | ||

+ | |||

+ | <math>\! f'(x_0) := \lim_{h \to 0} \Delta f(x_0 + h,x_0) = \lim_{h \to 0} \frac{f(x_0 + h) - f(x_0)}{h}</math> | ||

===Geometric definition=== | ===Geometric definition=== |

## Revision as of 16:44, 26 September 2011

## Contents

## Definition at a point

### Algebraic definition

Suppose is a function defined on a subset of the reals and is a point in the interior of the domain of , i.e., the domain of contains an open interval surrounding . The **derivative** (also called **first derivative**) of at , denoted is defined as the limit of the difference quotient of between and , as . Explicitly:

If this limit exists, then we say that the derivative exists and has this value, and we say that the function is **differentiable** at the point. If the limit does not exist, then we say that the function is *not* differentiable at the point and the derivative does *not* exist.

### Computationally useful version of algebraic definition

This is obtained from the previous definition by the variable substitution so . Explicitly:

### Geometric definition

Suppose is a function and is a point in the interior of the domain of , i.e., the domain of contains an open interval surrounding . The **derivative** of at is the slope of the tangent line to the graph of through the point .

## Definition as a function

Suppose is a function defined on a subset of the reals. Its **derivative** or **first derivative**, denoted , is a function defined as follows:

- The domain is the following subset of the domain of : An element in the domain of is in the domain of if and only if it is in the
*interior*of the domain of and the derivative of exists at the point. - The function value at any point in the domain is simply the value of the derivative of at that point.

MORE ON THE WAY THIS DEFINITION OR FACT IS PRESENTED: We first present the version that deals with a specific point (typically with a subscript) in the domain of the relevant functions, and then discuss the version that deals with a point that is free to move in the domain, by dropping the subscript. Why do we do this?

The purpose of the specific point version is to emphasize that the point is fixed for the duration of the definition, i.e., it does not move around while we are defining the construct or applying the fact. However, the definition or fact applies not just for a single point but for all points satisfying certain criteria, and thus we can get further interesting perspectives on it byvaryingthe point we are considering. This is the purpose of the second,generic pointversion.

## Leibniz notation for derivative

*Fill this in later*