« Géométrie symplectique/Géométrie symplectique linéaire » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot : Remplacement de texte automatisé (-<sub>1</sub> +₁); changement de type cosmétique |
m Bot : Remplacement de texte automatisé (-<sub>2</sub> +₂) |
||
Ligne 120 :
''Justification :'' Cette forme est clairement bilinéaire et antisymétrique. Pour la non dégénérescence, prenons un vecteur non nul <math>v_1</math>. Deux possibilités apparaissent :
* Soit l'impulsion ''p''₁ est non nul : on prend ''p''
* Soit l'impulsion ''p''₁ est nulle, auquel cas ''q''₁ est nécessairement non nul. Comme <math>E^*</math> sépare les points de ''E'', il existe une forme linéaire <math>p_2</math> sur ''E'' vérifiant <math>p_2(q_1)=-1</math>. En prenant <math>q_2=0</math>, on trouve <math>\omega_E(v_1,v_2)=1\neq 0</math>.
}}
Ligne 221 :
{{Propriété|titre=Propriétés|contenu=
Pour tous sous-espaces ''W''₁ et ''W''
:* <math>W_1\subset W_2</math> ssi <math>W_1^o\supset W_2^o</math> ;
:* <math>(W_1\cap W_2)^o=W_1^o+W_2^o</math> et <math>(W_1+W_2)^o=W_1^o\cap W_2^o</math> ;
|