Développement #19

Titre : Théorème du relèvement

Contenu : Soient $\mathbb{U} = \{ z \in \mathbb{C} : |z| = 1 \}$, $n \ge 1$ et $u : \mathbb{R}^n \to \mathbb{U}$ de classe $C^k$ avec $k \ge 2$. Alors il existe une fonction $t : \mathbb{R}^n \to \mathbb{R}$ de classe $C^k$ telle que pour tout $x \in \mathbb{R}$ on ait \r\r$$ u(x) = e^{it(x)} $$

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42