Forme bilinéaire alternée, non dégénérée
Bonjour à tous.
J'aimerais montrer l'existence d'une base $(e_1,f_1,...,e_m,f_m)$ d'un $\mathbb{K}$-e.v (car$\mathbb{K} \neq 2$) de dimension 2m, telle que pour $\phi$ forme bilinéaire alternée (donc antisymétrique) non dégénérée, on ait : $\phi(e_i,e_j)= \phi(f_i,f_j) = 0$ et $ \phi(e_i,f_j) = \delta_{ij}.$
Je vois la matrice que $\phi$ a, mais je ne sais vraiment pas comment rédiger proprement cette preuve.
Merci d'avance pour aide précieuse.
J'aimerais montrer l'existence d'une base $(e_1,f_1,...,e_m,f_m)$ d'un $\mathbb{K}$-e.v (car$\mathbb{K} \neq 2$) de dimension 2m, telle que pour $\phi$ forme bilinéaire alternée (donc antisymétrique) non dégénérée, on ait : $\phi(e_i,e_j)= \phi(f_i,f_j) = 0$ et $ \phi(e_i,f_j) = \delta_{ij}.$
Je vois la matrice que $\phi$ a, mais je ne sais vraiment pas comment rédiger proprement cette preuve.
Merci d'avance pour aide précieuse.
Réponses
-
Tu peux procéder par récurrence sur $m$. L'initialisation est facile car tout vecteur est isotrope. Ensuite il faut raisonner en terme d'orthogonal de sous-espaces.
-
En terme d'orthogonal de sous-espace ?...
-
Si tu as $(e_1, f_1, \dots, e_m, f_m)$, tu cherches $e_{m+1}$ dans l'orthogonal de $Vect(e_1, \dots, e_m)$ et $f_{m+1}$ dans l'orthogonal de $Vect(f_1, \dots, f_m)$ vérifiant certaines conditions.
-
Je m'y prendrais un peu différemment : après avoir choisi $e_1$ au hasard, $f'_1$ non orthogonal à $e_1$ (possible car...) et $f_1$ tel que $\phi(e_1,f_1)=1$ (possible car...), j'essaierais de montrer que l'orthogonal de l'espace engendré par ces deux vecteurs en est un supplémentaire.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K 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
- 62 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
- 312 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