|
|
|
|
differentiable functions are continuous
|
(Theorem)
|
|
Proof. Suppose $x\in I$ . Let us show that $f(y)\to f(x)$ , when $y\to x$ . First, if $y\in I$ is distinct to $x$ , then $$ f(x)-f(y) = \frac{f(x)-f(y)}{x-y} (x-y). $$ Thus, if $f'(x)$ is the derivative of $f$ at $x$ , we have \begin{eqnarray*} \lim_{y\to x} f(x)-f(y) &=& \lim_{y\to x} \frac{f(x)-f(y)}{x-y} (x-y) \\ &=& \lim_{y\to x} \frac{f(x)-f(y)}{x-y}\ \lim_{y\to x} (x-y) \\ &=& f'(x)\ 0 \\ &=& 0, \end{eqnarray*}where the second equality is justified since both limits on the second line exist. The second claim follows since $f$ is continuous on $I$ if and only if $f$ is continuous at $x$ for all $x\in I$ . 
|
"differentiable functions are continuous" is owned by matte.
|
|
(view preamble | get metadata)
Cross-references: line, limits, equality, derivative, continuous, continuous at, differentiable, open interval
There are 2 references to this entry.
This is version 5 of differentiable functions are continuous, born on 2004-09-09, modified 2004-10-21.
Object id is 6154, canonical name is DifferentiableFunctionsAreContinuous.
Accessed 3971 times total.
Classification:
| AMS MSC: | 57R35 (Manifolds and cell complexes :: Differential topology :: Differentiable mappings) | | | 26A24 (Real functions :: Functions of one variable :: Differentiation : general theory, generalized derivatives, mean-value theorems) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|