The definition of continuously differentiable functions

When we say $f \in C^1$, we mean that $f$ is continuously differentiable. Isn't the continuity a redundant word? I mean, we have a theorem that says if $f$ is differentiable then it is continuous. So why in most of the textbooks they always mention them two?

So these are all equivalent:

• $f \in C^1$
• $f$ is continuously differentiable
• $f'$ exists

No, they are not equivalent.

A function is said to be differentiable at a point if the limit which defines the derivate exists at that point. However, the function you get as an expression for the derivative itself may not be continuous at that point. A good example of such a function is $$f(x) = \begin{cases}x^2(\sin(\frac{1}{x^2})) &\quad x \neq 0 \\ 0 &\quad x = 0 \end{cases}$$ which has a finite derivative at $x=0,$ but the derivative is essentially discontinuous at $x=0.$

A continuously differentiable function $f(x)$ is a function whose derivative function $f'(x)$ is also continuous at the point in question.

In common language, you move the secant to form a tangent and it may give you a real tangent at that point, but if you see the tangents around it, they will not seem to be approaching this tangent in any sense. Might sound counter intuitive, but it is possible. Such a function is not a continuously differentiable.