Bonjour bonjour.
J'ai un petit soucis, ça doit pas être grand chose mais j'essaie de comprendre pourquoi
Par définition, on a(avec
une base appropriée de E (l'ev de dimension finie de référence))
Par définition de la différentielle, (et la dérivée extérieure se veut correspondre à la différentielle dans)
(U un ouvert de E préalablement choisi et)
On acar c'est une forme linéaire d'un espace de dimension finie, donc polynomiale.
De plusdonc par unicité de la différentielle,
soitce qui n'est pas vraiment le résultat attendu :/
Il doit y avoir une absurdité quelque part, je m'en doute, mais je ne parviens pas à la localiser, merci !
-----