Cette limite est alors notée −→
f0(t0). Il est immédiat que −→
fest dérivable en t0si et seulement si
chaque fonction coordonnée l’est, et que dans ces conditions on a :
−→
f0(t0) =
f0
1(t0)
.
.
.
f0
m(t0)
Comme pour les fonctions à valeurs réelles, on peut parler de dérivée à droite ou à gauche. Par
exemple :
•−→
fest dérivable à droite en t0si et seulement si
−→
f(t)−
−→
f(t0)
t−t0a une limite −→
aquand t→t0, t > t0.
•Si −→
fest dérivable en tout point de I, et que la fonction −→
f0:t7→ −→
f0(t)est continue, on dit que
la fonction −→
fest de classe C1, et −→
f0s’appelle fonction dérivée de −→
fsur I. Il est clair qu’une
fonction vectorielle est de classe C1si et seulement si ses fonctions coordonnées le sont.
•Enfin, on sait que la dérivabilité des fonctions coordonnées entraîne leur continuité (c’est une
propriété connue des fonctions à valeurs réelles) ; il en est donc de même pour la fonction −→
f:
toute fonction vectorielle dérivable sur Iest continue sur I.
V Propriétés des fonctions de classe C1
Propriétés 1.
– Si −→
fet −→
gsont de classe C1sur I, et si λ∈R, alors −→
f+−→
get λ−→
fsont de classe C1sur I, et
on peut parler du R-espace vectoriel C1(I, Rm)des fonctions de classe C1de Idans Rm.
– Si −→
f∈ C1(I, Rm)et si t7→ λ(t)est une fonction de classe C1de Idans R, alors λ−→
fest de
classe C1sur I, et on a :
∀t∈I, λ−→
f0(t) = λ0(t)−→
f(t) + λ(t)−→
f0(t)
– Si f, g ∈ C1(I, C), alors fg ∈ C1(I, C), et f g0=f0g+f g0.
– Si Rmest muni de sa structure euclidienne canonique, et si t7→ −→
u(t)et t7→ −→
v(t)sont de classe
C1, alors t7→ (−→
u(t)|−→
v(t)) est de classe C1, et l’on a :
(−→
u|−→
v)0= (−→
u0|−→
v)+(−→
u|−→
v0)
– Si R3est euclidien orienté et si t7→ −→
u(t)et t7→ −→
v(t)sont de classe C1, alors t7→ −→
u(t)∧−→
v(t)
est de classe C1, et l’on a :
(−→
u∧−→
v)0=−→
u0∧−→
v+−→
u∧−→
v0
Démonstration. Toutes ces propriétés s’établissent sans problème à l’aide des fonctions coordonnées.
VI Dérivées successives d’une fonction vectorielle
VI.A Fonctions de classe Ck
Soit −→
f∈ C1(I, Rm).−→
f0est une fonction de Idans Rm, qui peut être dérivable, à dérivée continue.
Dans ce cas, la dérivée de −→
f0est notée −→
f00 , et −→
fest dite de classe C2sur I. Plus généralement :
Définition 5.
−→
fest dite de classe Cksur Isi les dérivées −→
f0,−→
f00 ,...,−→
f(k)existent et sont continues sur I.−→
fest
dite de classe C∞sur Isi pour tout k∈N,−→
f(k)existe (inutile de préciser que −→
f(k)est continue,
puisque l’existence de −→
f(k+1) le montre).
4