« Géométrie symplectique/Géométrie symplectique linéaire » : différence entre les versions
Contenu supprimé Contenu ajouté
m →Sous-espaces d'un espace symplectique : meb, ortho |
m →Structure complexe : meb (fin ?) |
||
Ligne 151 :
En fait, tout espace vectoriel symplectique peut être obtenu comme dans l'exemple 4. Plus exactement, toute forme symplectique sur un espace vectoriel réel peut être vue comme la partie imaginaire d'une forme hermitienne sur ''V'' muni d'une structure complexe.
{{Définition|contenu=
Une '''structure complexe''' (ou structure complexe linéaire) sur un espace vectoriel réel ''V'' est la réalisation de ''V'' comme espace vectoriel complexe. Elle est déterminée par la seule action de ''i'', donnée par un endomorphisme réel ''J'' de ''V'' vérifiant :
''Remarque :'' La structure complexe ''J'' est inversible et <math>\frac{Id+J}{\sqrt{2}}</math> est une racine carrée de ''J''.
}}
Alors :
:'''Si ''v'' est muni d'une forme symplectique <math>\omega</math>, une structure complexe ''J'' est appelée <math>\omega</math>-compatible lorsque :'''▼
{{Théorème|contenu=
::* '''''J'' est un isomorphisme symplectique, ce qui équivaut à ce que <math>g_J(v,w)=\omega(v,Jw)</math> définisse une forme bilinéaire symétrique ;'''▼
▲
::*'''et <math>g_J</math> est définie positive. '''▼
:'''En particulier, <math>g_J</math> est un produit euclidien sur ''V'' ; et <math>h_J=g_J+i\omega</math> est un produit hermitien sur l'espace vectoriel complexe <math>(V,J)</math>.'''▼
▲
{{boîte déroulante|titre=Vérifications|contenu=▼
:* ''<math>g_J</math> est une forme bilinéaire symétrique :''▼
▲
::En effet, pour tous vecteurs ''v'' et ''w'' de ''E'', comme ''J'' est un symplectique, il vient : <math>g_J(v,w)=\omega(v,Jw)=\omega(Jv,-w)=\omega(w,Jv)=g_J(v,w)</math> ;▼
:* ''<math>h_J</math> est un produit hermitien :''▼
::Le calcul est similaire : <math>h_J(v,Jw)=-\omega(v,w)+i\omega(v,Jw)=i.h_J(v,w)</math>. On montre ainsi que <math>h_J</math> est sesquilinéaire. Par ailleurs, <math>h_J</math> est visiblement défini positif : pour tout vecteur non nul ''v'', on a : <math>h_J(v,v)=\omega(v,Jv)>0</math>.▼
▲
:<math>g_J(v,w)=\omega(v,Jw)=\omega(Jv,-w)=\omega(w,Jv)=g_J(v,w)</math> ;
▲
}}
{{Théorème|contenu=
}}
:* ''Existence :''▼
:Soit ''g'' un produit euclidien sur ''V''. Il existe un unique endomorphisme ''g''-antisymétrique ''A'' tel que, pour tous vecteur ''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 <math>\omega</math> compatible. (à détailler)▼
{{Démonstration|contenu=
▲:Soit ''g'' un produit euclidien sur ''V''. Il existe un unique endomorphisme ''g''-antisymétrique ''A'' tel que, pour tous vecteur ''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 <math>\omega</math> compatible.
:Par construction, les endomorphismes ''J'' ainsi obtenus sont exactement toutes les structures complexes <math>\omega</math>-compatibles, et dépendent continument 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.
:A compléter ...
}}
Ligne 184 ⟶ 201 :
''Note :'' Dans le livre de Michèle Audin, il est rapporté un résultat de Sévennec établissant un difféomorphisme de ''I''(''V'') sur un ouvert de l'espace des matrices symétriques.
{{Exemple|titre=Exemple 4 bis|contenu=
}}
{{Exemple|titre=Exemple 3 bis|contenu=
}}
===Sous-espaces d'un espace symplectique===
|