PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very high
[parent] differentiable functions are continuous (Theorem)
Proposition 1   Suppose $I$ is an open interval on $\mathbb{R}$ , and $f\colon I\to \sC$ is differentiable at $x\in I$ . Then $f$ is continuous at $x$ . Further, if $f$ is differentiable on $I$ , then $f$ is continuous on $I$ .
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$ . $ \qedsymbol$




"differentiable functions are continuous" is owned by matte.
(view preamble | get metadata)

View style:

See Also: limits of natural logarithm


This object's parent.

Attachments:
function differentiable at only one point (Example) by matte
Log in to rate this entry.
(view current ratings)

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 3966 times total.

Classification:
AMS MSC57R35 (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
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)