Il punto è che le forme differenziali esatte in un dominio sono precisamente le forme chiuse il cui integrale lungo un qualsiasi cammino chiuso contenuto nel dominio è nullo.
Se il dominio è semplicemente connesso, allora sei sicuro che l'integrale di una forma chiusa lungo un cammino chiuso è nullo: questo perché l'integrale di una forma differenziale chiusa lungo un cammino chiuso è lo stesso che su qualsiasi altro cammino chiuso omotopicamente equivalente al primo, e in un dominio semplicemente connesso ogni cammino chiuso è omotopicamente equivalente ad un punto.
Se il dominio non è semplicemente connesso, questo trucco non funziona più.
|