Variété $\mathcal C^\infty$
Bonjour,
Je dois montrer que $P$ défini par $z = x^2 + y^2 + 1$ est une 2-sous variété $\mathcal{C}^{\infty}$ de $\mathbb{R}^3$ de deux manières différentes.
J'ai d'abord posé $\phi : (x,y,z) \mapsto x^2 + y^2 - z + 1$ (on a donc $P = \phi^{-1}(0)$) et utilisé le théorème de l'image réciproque, c'est-à-dire le fait que $0$ était bien une valeur régulière de $\phi$ (car la différentielle de $\phi$ est bien surjective / $\phi$ est bien une submersion pour tout point de $\phi^{-1}(0)$) (en revanche qu'est-ce qui justifie que la variété obtenue est bien une variété $\mathcal{C}^{\infty}$ ?)
Enfin je bloque sur une deuxième méthode. Quelqu'un a une idée ?
Je dois montrer que $P$ défini par $z = x^2 + y^2 + 1$ est une 2-sous variété $\mathcal{C}^{\infty}$ de $\mathbb{R}^3$ de deux manières différentes.
J'ai d'abord posé $\phi : (x,y,z) \mapsto x^2 + y^2 - z + 1$ (on a donc $P = \phi^{-1}(0)$) et utilisé le théorème de l'image réciproque, c'est-à-dire le fait que $0$ était bien une valeur régulière de $\phi$ (car la différentielle de $\phi$ est bien surjective / $\phi$ est bien une submersion pour tout point de $\phi^{-1}(0)$) (en revanche qu'est-ce qui justifie que la variété obtenue est bien une variété $\mathcal{C}^{\infty}$ ?)
Enfin je bloque sur une deuxième méthode. Quelqu'un a une idée ?
Réponses
-
Le théorème usuel pour les sous-variétés te donne la régularité de la sous-variété directement via la régularité de la fonction utilisée. Ici $\phi$ est évidemment $\mathcal C^{\infty}$, donc ta variété est $\mathcal C^{\infty}$.
Une autre méthode courante est de réaliser ta sous-variété comme l'image d'une immersion (avec une condition d'homéomorphisme en plus), ça doit être quelque part dans ton cours. -
Entendu, merci Poirot, je vais creuser de ce côté-là !
-
On peut aussi faire le changement de coordonnées $C^{\infty}$, $\psi:(x,y,z) \in \R^3 \mapsto (x,y,z-x^2-y^2-1) \in \R^3$. $\psi$ est un difféomorphisme entre $\R^3$ et $\R^3$, et $\psi$ restreint à $P$ est une bijection entre $P$ et le plan $\R^2 \times \{0\}$. C'est donc la définition d'une sous-variété de $\R^3$. Il n'y a qu'une seule carte.
-
En effet, $V$ est une sous-variété de $\R^n$ de dimension $d$, ssi, pour tout $x \in V$, il existe un voisinage ouvert $O_x$ (dans $\R^n$) de $x$, et un ouvert $O'_x$ dans $\R^n$, ainsi qu'un difféomorphisme (donc bijectif, différentiable et de réciproque différentiable) $\psi_x$ de $O_x$ sur $O'_x$, tel que $\psi_x(V)=O'_x \cap W$ où $W$ est un sous-espace affine de dimension $d$ inclus dans $\R^n$.
Ici $O=\R^3$, $O'= \R^3$, $V=P$ et $W=\R^2 \times \{0\}$, et $\psi(x,y,z)=(x,y,z-x^2-y^2-1)$ -
Merci pour ce complément marco !
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 64 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres