« Géométrie symplectique/Géométrie symplectique linéaire » : différence entre les versions
Contenu supprimé Contenu ajouté
m →Structure complexe : meb (fin ?) |
|||
Ligne 92 :
* 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 ''
**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 :
|