Forme différentielle exacte
De Wikipedia, l'encyclopédie encyclopedia
En analyse, une forme différentielle est dite exacte (ou totale) s'il existe une forme différentielle dont elle est la dérivée extérieure, c'est-à-dire s'il est possible de l'intégrer. En résumé, une forme différentielle ω est exacte s'il existe une forme Q telle que
- , indépendamment du chemin d'intégration de a à b.
D'après le théorème de Schwarz, toute forme exacte de classe C1 est fermée. Le lemme de Poincaré fournit une réciproque partielle.