Dérivabilité et continuité

FondamentalThéorème

Si f f est dérivable en a a (ou à gauche de a a , ou à droite de a a ) alors f f est continue (ou à gauche de a a , ou à droite de a a ).

ATTENTION : la réciproque de ce théorème est fausse.

Exemple

Soit la fonction définie sur setR par :

x { x sin 1 x si x 0 0 si x = O x toward left lbrace matrix{ x sin 1 over x ~"si" x neq 0 ##0 ~"si" x=O } right none

f f est continue en 0, en effet lim x 0 x sin ( 1 x ) = 0 = f ( 0 ) lim from {x toward 0} x sin left ( 1 over x right )= 0 = f(0)

Pourtant f f n'est pas dérivable en 0, en effet

lim x 0 x sin ( 1 x ) 0 x 0 = lim x 0 sin ( 1 x ) lim from {x toward 0} {{x sin size 8 {left ( 1 over x right )}-0}over {x-0}}= lim from {x toward 0} {sin left ( 1 over x right )}

et lim x 0 sin ( 1 x ) lim from {x toward 0} sin left ( 1 over x right ) n'existe pas.