## Differentiability Implies Continuity

**Point of Post: **In this post we prove the obvious fact that if a mapping is differentiable at point it is continuous at that point.

*Motivation*

We would hope that if the total derivative is as similar to the normal derivative as we’d hope that many of the nice qualities pass over. In fact, most of them do. We prove the obvious one here that if something is differentiable (doesn’t ‘blow up’) at a point that it should be continuous (not tear) at that point.

*Differentiability Implies Continuity*

We have no preliminaries, and so we jump to the theorem:

**Theorem: ***Let where be differentiable at some point . Then, is continuous at .*

**Proof: **We merely note that since is differentiable at we have that for sufficiently close to that

and so using the reverse triangle inequality we see that

where is the operator norm. Taking the limit as of both sides gives from where the conclusion follows.

**References:**

1. Spivak, Michael. *Calculus on Manifolds; a Modern Approach to Classical Theorems of Advanced Calculus.* New York: W.A. Benjamin, 1965. Print.

[…] recalling that total differentiability implies continuity we have the following […]

Pingback by Functions of Class C^k « Abstract Nonsense | June 4, 2011 |

[…] Let be a sequence in , then by definition with (this is enough since we know that must be continuous) Thus, we get […]

Pingback by The Geometry of the Derivative for Real Valued Mappings (Pt. I) « Abstract Nonsense | June 9, 2011 |

[…] we know that real differentiable functions are continuous we may also conclude […]

Pingback by Complex Differentiable and Holmorphic Functions (Pt. II) « Abstract Nonsense | May 1, 2012 |