Continuité fonction
Bonsoir.
Soit $E$ l'espace quadratique $\left(\mathbb R^{2n},Q\right)$ où : $$\begin{array}{crcl}
Q:&\mathbb R^{2n}\simeq\mathbb R^n\oplus\mathbb R^n&\longrightarrow&\mathbb R\\
& x\oplus y& \longmapsto& \sum_{k=1}^n x_k y_k.
\end{array}$$ Je note $L$ l'ensemble des sous-espaces totalement isotropes maximaux de $E$ (donc de dimension $n$).
On m'a dit que c'est un sous-espace de l'espace des grassmanniennes $G_n(\mathbb R^{2n})$ (les sev de $\mathbb{R}^{2n}$ de dimension $n$), donc je munis $L$ de la topologie induite.
J'appelle aussi $\rho:\mathbb R^{2n}\simeq\mathbb R^n\oplus\mathbb R^n\ni (x,y)\mapsto x$ la projection sur le premier $\mathbb{R}^n$.
Je dois trouver un homéomorphisme $\phi:O_n(\mathbb R)\to L$ tel que :
\begin{align}
\det(A)&=1\Leftrightarrow\dim\rho(\phi(A)) \equiv n\ [2]&(1)\\
\phi(I_n)&=\mathbb{R}^n \oplus \{0\}.&(2)
\end{align}
J'ai trouvé cette application : $$\phi : A\mapsto\{((A+I)v,(A-I)v):v\in\mathbb R^n\}$$
On a $\ \dim\rho(\phi(A))=\mathrm{rank}(A+I)$ et $\det(A)=(-1)^{n-\mathrm{rank}(A+I)}$
donc $(1)$ est vrai et $(2)$ est trivialement vraie.
Le truc con c'est que je n'arrive pas à prouver que $\phi$ est continue parce que je ne comprends pas bien la topologie des grassmanniennes :-D.
Est-ce qu'il y aurait un moyen de montrer ça facilement genre avec des suites ?
Merci d'avance
Soit $E$ l'espace quadratique $\left(\mathbb R^{2n},Q\right)$ où : $$\begin{array}{crcl}
Q:&\mathbb R^{2n}\simeq\mathbb R^n\oplus\mathbb R^n&\longrightarrow&\mathbb R\\
& x\oplus y& \longmapsto& \sum_{k=1}^n x_k y_k.
\end{array}$$ Je note $L$ l'ensemble des sous-espaces totalement isotropes maximaux de $E$ (donc de dimension $n$).
On m'a dit que c'est un sous-espace de l'espace des grassmanniennes $G_n(\mathbb R^{2n})$ (les sev de $\mathbb{R}^{2n}$ de dimension $n$), donc je munis $L$ de la topologie induite.
J'appelle aussi $\rho:\mathbb R^{2n}\simeq\mathbb R^n\oplus\mathbb R^n\ni (x,y)\mapsto x$ la projection sur le premier $\mathbb{R}^n$.
Je dois trouver un homéomorphisme $\phi:O_n(\mathbb R)\to L$ tel que :
\begin{align}
\det(A)&=1\Leftrightarrow\dim\rho(\phi(A)) \equiv n\ [2]&(1)\\
\phi(I_n)&=\mathbb{R}^n \oplus \{0\}.&(2)
\end{align}
J'ai trouvé cette application : $$\phi : A\mapsto\{((A+I)v,(A-I)v):v\in\mathbb R^n\}$$
On a $\ \dim\rho(\phi(A))=\mathrm{rank}(A+I)$ et $\det(A)=(-1)^{n-\mathrm{rank}(A+I)}$
donc $(1)$ est vrai et $(2)$ est trivialement vraie.
Le truc con c'est que je n'arrive pas à prouver que $\phi$ est continue parce que je ne comprends pas bien la topologie des grassmanniennes :-D.
Est-ce qu'il y aurait un moyen de montrer ça facilement genre avec des suites ?
Merci d'avance
Réponses
-
Salut,
Plus généralement, si $n<p$, il me semble que l'application $f$ qui a une application de de rang plein $u \, : \, E \simeq \R^n \to F \simeq \R^p$ associe son image $f(u) = \mathrm{im} \, u$ est continue à valeurs dans $\mathcal{G}_n(F)$. D'après Wikipedia, dans le cas réel, une fois fixé un produit scalaire sur $F$, la topologie des grassmanniennes est induite par la métrique $d(G,H) = \lVert p_H-p_G \rVert$ où $p_G$ est la projection orthogonale sur le sous-espace $G \subset F$ et $\lVert \cdot \rVert$ est la norme subordonnée à la norme de $F$. Le dernier ingrédient est l'expression de la projection sur l'image de $u$ : $p_{\mathrm{im} \, u} = (u^* u)^{-1} u^*$, qui montre que $p_{\mathrm{im} \, u}$ est continue en $u$ (dans une base, les composantes de $p_{\mathrm{im} \, u}$ sont des fractions rationnelles dans celles de $u$).
Avec la continuité, ton $\phi$ sera automatiquement un homéomorphisme si c'est une bijection, ce qui ne saute pas aux yeux.
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
- 63 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
- 313 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