« Géométrie symplectique/Géométrie symplectique linéaire » : différence entre les versions

m (→‎Structure complexe : meb (fin ?))
 
* Supposons le résultat démontré jusqu'à la dimension n-1.
** Si ''a'' est la forme nulle, alors le noyau de ''a'' est ''E'' ; et toute base de ''E'' convient. Sinon, fixons un vecteur ''vX''<sub>1</sub> de ''E'' qui ne soit pas dans le noyau de ''a''. Choississons un vecteur ''Y''<sub>1</sub> tel que ''a''(''X''<sub>1</sub>,''Y''<sub>1</sub>) soit non nul. Quitte à modifier ''Y''<sub>1</sub> en ''Y''<sub>1</sub>/''a''(''X''<sub>1</sub>,''Y''<sub>1</sub>), on est en droit de supposer ''a''(''X''<sub>1</sub>,''Y''<sub>1</sub>)=1. Les vecteurs ''X''<sub>1</sub> et ''Y''<sub>1</sub> sont non colinéaires et engendrent donc un plan vectoriel ''P''.
 
**L'ensemble des vecteurs ''v'' vériant <math>a(X<sub>1</sub>,v)=a(Y_1,v)=0</math> est un sous-espace vectoriel Q de ''E''. Tout vecteur ''w'' peut s'écrire :
Utilisateur anonyme