next up previous contents index
Next: Champs de vecteurs Up: Applications différentiablesdifféomorphismes Previous: Difféomorphismes et changements

Fonctions différentiables

La deuxième classe de cas particuliers intéressants est celle où l'application différentiable considérée tex2html_wrap_inline10269 , de M dans N est définie sur une variété quelconque M, mais ou N coï ncide avec l'ensemble tex2html_wrap_inline10279 des nombres réels. Les applications différentiables en question sont désignées sous le nom de fonctions différentiables sur M  ; l'utilisation du mot ``fonction'' est en accord avec les habitudes terminologiques anglaises, où les applications quelconques sont des ``maps'' , mais où les applications à valeurs réelles (ou complexes) sont des ``functions''. L'ensemble des fonctions différentiables sur M se note tex2html_wrap_inline10285

Remarque: l'ensemble des fonctions différentiables tex2html_wrap_inline10287 est une algèbre pour l'addition des fonctions tex2html_wrap_inline10289 , la multiplication des fonctions définie (ponctuellement) par tex2html_wrap_inline10291 et l'opération externe de multiplication par un nombre réel. C'est une sous-algèbre de l'algèbre commutative tex2html_wrap_inline10293 .

Le lecteur peut s'étonner de la présence et de la signification de l'indice supérieur 0 ou tex2html_wrap_inline10297 dans les notations tex2html_wrap_inline10299 ou tex2html_wrap_inline10301 . Cet indice se réfère à l'ordre de différentiabilité supposé des fonctions appartenant à l'ensemble considéré. On pourrait bien entendu considérer des ensembles tels que tex2html_wrap_inline10303 constitués de fonctions qui sont, au moins, p fois différentiables. Dans la suite de cet ouvrage, cependant, nous nous limiterons aux cas p=0, c'est à dire les fonctions continues (qui peuvent évidemment être différentiables ou non) et tex2html_wrap_inline10309 , c'est à dire les fonctions infiniment différentiables.



Robert Coquereaux
Thu Jun 20 15:52:24 MEST 2002