Soit une sous-variété de dimension , et soit un champ de vecteurs sur . On définit et . On vous demande de démontrer l’énoncé : “si est compact, alors est complet”. Les questions suivantes peuvent vous guider.
1
Pour trouver la courbe intégrale maximale passant par .
2
Montrer que si , et si est une courbe intégrale passant par , alors .
3
En utilisant la compacité de , montrer que est complet (sur !).