salut GénieDesAlpages,
Une forme linéaire de
est par exemple:
Quand on écrit df(a+th), c'est le même topo,
sauf que les coefficients (ex:2,3,1) de cette forme linéaire sont des
fonctions de n variables des coordonnées de a+th.
la fonction g est de
dans
!
g'(t)=df(a+th).h
cette formule est la généralisation de la dérivée d'une fonction composée.
df(a+th) , forme linéaire, s'applique au vecteur infinitésimal
h de
df(a+th).h=
On voit que dans le crochet de dualité entre formes et vecteurs,
le vecteur h est constant. La différentiation va donc se faire
sur le "facteur" de gauche, c'est à dire dans l'e.v
du dual de
quand t tend vers zéro, la dérivée est obtenue en prenant la différentielle
d'un vecteur ligne, celui qui représente la forme linéaire df(a+th)
comme on l'a vu dans l'exemple trivial du début.
d'ou