Why does differentiability imply continuity?

[lLovePhysics]

I've been thinking... Since derivatives can be written as:

f'(c)= \lim_{x\rightarrow{c}}\frac{f(x)-f(c)}{x-c}

and for the limit to exist, it's one sided limits must exist also right?

So if the one sided limits exist, and thus the limit as x approaches c (therefore the derivative at c) (but f(x) is not continuous at c) why can't f(x) have a derivative at c?

I'm just looking at it from that standpoint (I know that derivatives are basically the rate of change of a function at a point or in general).

 

[rock.freak667]

http://people.hofstra.edu/stefan_Waner/RealWorld/calctopic1/contanddiffb.html

 

[Dick]

If the limit as x->c of f(x) does not exist and equal f(c) then the numerator doesn't tend to zero and the denominator does. How can the derivative exist? If you are asking if a function can have a one sided derivative, the answer is that it can.

 

[chickendude]

Derivatives are only defined for points in the domain of a function

if c is not in the domain of f(x), then f'(c) by definition does not exist

 

[HallsofIvy]

Derivatives are only defined for points in the domain of a function

if c is not in the domain of f(x), then f'(c) by definition does not exist

True, but what does that have to do with continuity which was the whole point of the question?

 

[unplebeian]

True, but what does that have to do with continuity which was the whole point of the question?

I think what chicken_dude wants to say is that to differentiate a function it has to be continuous already. Hence diff. implies continuity. But the reverse is not true.

 

[HallsofIvy]

Yes, but what does that have to do with "not being in the domain of the function"? I agree that if a point is not in the domain of a function, the function cannot be either continuous or differentiable there, but the real question is about why, if a function is differentiable at a point in the domain the function must be continuous there.

The function f(x)= x for x< 1, x+ 1 for x\ge 1 has x= 1 in its domain but is neither continuous nor differentiable there. Your initial reponse implied that you thought that "f is not continuous at p" was the same as "p is not in the domain of f" which is certainly not true.