Bonjour,
Si on se donne une application infiniement differentiable de R^n dans R^m, disons f, on peut associer à cette application un morphisme d'algèbre dedans
donnée par
, ceci défini une fleche de
(ou le Hom est l'ensemble des applications differentiables) dans
.
Il est facile de prouver que cette fleche est injective.
Est elle surjective? Je pense que non, mais je n'arrive pas à voir pourquoi.
Merci.
-----