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

Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-\b(bis(''')?)(?=[\s,.)]|$) +''\1'')
Ligne 195 :
| contenu =
* ''Existence :''
:Soit ''g'' un produit euclidien sur ''V''. Il existe un unique endomorphisme ''g''-antisymétrique ''A'' tel que, pour tous vecteurvecteurs ''v'' et ''w'' : <math>g(v,Aw)=\omega(v,w)</math>. La décomposition polaire donne : ''A''=''O''.''J'' où ''O'' est un endomorphisme orthogonal. Alors ''J'' est une structure complexe ω compatible.
 
:Par construction, les endomorphismes ''J'' ainsi obtenus sont exactement toutes les structures complexes ω-compatibles, et dépendent continûment du produit euclidien ''g''. De fait, l'espace ''I''(''V'') est l'image continue de l'espace des produits euclidiens sur ''V''. De fait, il est connexe.