Grassmannienne

Grassmannienne

En mathématiques, les grassmanniennes sont des variétés dont les points correspondent aux sous-espaces vectoriels d'un espace vectoriel fixé. On note G(k,n) ou G_{k,n}(\mathbb K) la grassmanienne des sous-espaces de dimension k dans un espace de dimension n sur le corps \mathbb K. Ces espaces portent le nom de Hermann Grassmann qui en donna une paramétrisation et sont encore appelés grassmannienne des k-plans.

Sommaire

Généralités

Exemples

  • Pour k = 1, la grassmannienne est l'espace projectif associé à l'espace vectoriel.
  • Pour k = n − 1, la grassmannienne correspond a l'espace projectif associé à l'espace dual de l'espace vectoriel de départ, vu que chaque point correspond à un hyperplan.
  • Pour k = 2 et n = 4, on obtient la plus simple des Grassmanniennes qui ne soit pas un espace projectif. Celle-ci a été étudiée par Julius Plücker, comme ensemble de droites de l'espace projectif de dimension 3. Elle est décrite par les coordonnées plückeriennes.

Grassmannienne comme espace homogène

Grassmannienne comme quotient

Pour le voir on note GLp,n l'ensemble des matrices de taille p,n et de rang p ;

SLp,n l'ensemble des matrices de taille p,n et de rang p ; dont les colonnes sont orthogonales et unitaires.

On remarque que Gp,n est isomorphe à l'espace quotient GLp,n / GLp pour la relation d'équivalence :

X\equiv Y si et seulement si \exists M \in GL_{p} telle que Y = MX.

Si on note Up l'ensemble des matrices unitaire, Gp,n est isomorphe à l'espace quotient SLp,n / Up pour la relation d'équivalence

X\equiv Y si et seulement si \exists M \in U_{p} telle que Y = MX.

On voit que les topologies induites par ces représentations sont identiques via la représentation de Choleski[1].

Grassmannienne comme espace linéaire partiel

Structure d'espace linéaire partiel

Grassmannienne des plan vectoriel en dimension 4

Théorème de Chow

Plongement de Plüker

Un autre façon de réaliser la grasmannienne est de définir ses coordonnées plückeriennes ou grassmanniennes. Ce plongement de G_{p,n}(\R) dans l'espace projectif \mathbb P (\Lambda^p(\R^n)) des produits extérieurs de degré k dans l'espace  \R^n prolonge les travaux de Julius Plücker pour le cas des plans de  \R^4

Recouvrement par des cartes affines

On introduit la base canonique (e_i)_{i\in [[1,n]]} de E=\R^n et on note S une nk-partie de {1...n}, E1 = ES le sous espace engendré par les vecteurs (e_i)_{i\in S}.

On note VS = Gp,n,S l'ensemble des sous espaces vectoriels de dimension k ne rencontrant pas E1 = ES (à l'exception du vecteur nul).

Première étape

Soit V un sous espace de VS.

En projetant V sur E_2=E_{S^c} et E1 = ES, on voit que tout vecteur x\in V s'écrit x = u + v = p(x) + q(x) avec u\in E_1 et v\in E_2, comme V et E1 ont même dimension, il existe d'autre part \phi\in L(E_1,V) telle que x = ϕ(u). On a alors x = u + qoϕ(u) avec \psi=qo\phi\in L(E_1,E_2).

Seconde étape

L'argument précédent montre que l'on peut associer de façon bijective un sous-espace de VS à une application linéaire \psi\in L(E_1,E_2). Ou encore, en prenant la matrice de ψS(V) de psi\in L(E_1,E_2), une bijection entre VS et Mnk,k, l'ensemble des matrices réelles de taille nk,k.

On obtient ainsi, via la bijection, \psi_S:G_{p,n,S}\mapsto M_{n-p,p}, une description affine de Gp,n,S, des sous espaces de dimension pne rencontrant pas ES. C'est-à-dire d'une partie 'ouverte' (pour la topologie de Zariski qu'on est en train de construire) de la Grassmanienne Gp,n.

troisième étape

On montre que pour deux parties différentes S et T, les changements de cartes ψToS) − 1 induits par les descriptions de Gp,n,S et Gp,n,T est un morphisme (application rationnelle partout définie), bijective ainsi que sa réciproque (ou isomorphisme birégulier) entre \psi_S(G_{p,n,S}\cap G_{p,n,T} ) et \psi_T(G_{p,n,S}\cap G_{p,n,T}).

Interprétation comme variété algébrique

On en déduit par recollement que cette Grassmannienne est une variété algébrique.

La représentation précédente permet alors de montrer que G_{p,n}(\R) est une variété non singulière, affine, fermée et bornée ;

G_{p,n}(\R) et G(n-p,n)(\R) étant birégulièrement isomorphe[2].

Grassmanniennes réelles, complexes et quaternioniennes

Grassmanniennes orientées

Structure différentielle et analytique

Topologie des grassmanniennes et des grassmanniennes orientées

Grassmanniennes euclidiennes

Grassmannienne et groupe unitaire

Quotient de la variété de Stiefel des p-repères orthonormaux

Grassmanniennes comme variétés riemanniennes

Grassmanniennes et projecteurs orthogonaux

Soit G_{p,n}(\R) la grassmannienne des sous-espaces de dimension p de \R^n. Soit M_n(\R) l'espace des matrices carrées de taille n à coefficients réels. Considérons l'ensemble des matrices A_{n,p}\in M_n(\R) définies par A \in A_{n,p} si et seulement si les trois conditions sont remplies :

  • A2 = A (i.e. elle est un opérateur de projection)
  • tA = A (elle est symétrique)
  • Tr(A) = p (sa trace est p)

C'est-à-dire les matrices de projecteurs orthogonaux de rang p.

On obtient par ce biais une représentation de G_{p,n}(\R) comme un sous ensemble affine des matrices carrées de taille n à coefficients réels.

Grassmanniennes duales

Grassmanniennes et formes bilinéaires symétriques et alternées, hermitiennes et antihermitiennes

Grassmanniennes des sous-espaces vectoriels non dégénérés

Grassmanniennes isotropes

Sources

références
  1. Jean-Pierre Dedieu : Points fixes, zéros et la méthode de Newton
  2. Jacek Bochnak, Michel Coste, Marie-Françoise Roy :Géométrie algébrique réelle
bibliographie
  • Des planches de Jussieur sur le plongement de Plucker : ici ou

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Grassmannienne de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Espace homogène — En géométrie un espace homogène est un espace sur lequel un groupe agit de façon transitive. Dans l optique du programme d Erlangen, le groupe représente des symétries préservant la géométrie de l espace, et le caractère homogène se manifeste par …   Wikipédia en Français

  • Coordonnées plückeriennes — Les Coordonnées plückeriennes sont un cas particuliers des coordonnées grassmanniennes. Elles servent à repérer les plans d un espace de dimension 4. Réalisées par Julius Plücker, elles ont été généralisées entre 1832 et 1839 par Hermann… …   Wikipédia en Français

  • Coordonnées grassmanniennes — Les coordonnées grassmanniennes sont une généralisation des coordonnées plückeriennes, qui permettent de paramétrer les sous espaces de dimension k de l espace vectoriel par un élément de l espace projectif de l espace vectoriel des produits… …   Wikipédia en Français

  • Espace symétrique — En mathématiques, et plus spécifiquement en géométrie différentielle, un espace riemannien symétrique est une variété riemannienne qui, en chaque point, admet une isométrie involutive dont ce point est un point fixe isolé. Plus généralement, un… …   Wikipédia en Français

  • Courbure — Intuitivement, courbe s oppose à droit : la courbure d un objet géométrique est une mesure quantitative du caractère « plus ou moins courbé » de cet objet. Par exemple : dans le plan euclidien, une ligne droite est un objet à… …   Wikipédia en Français

  • Espace Homogène — En géométrie un espace homogène est un espace sur lequel un groupe agit de façon transitive. Dans l optique du programme d Erlangen, le groupe représente des symétries préservant la géométrie de l espace, et le caractère homogène se manifeste par …   Wikipédia en Français

  • Espace homogene — Espace homogène En géométrie un espace homogène est un espace sur lequel un groupe agit de façon transitive. Dans l optique du programme d Erlangen, le groupe représente des symétries préservant la géométrie de l espace, et le caractère homogène… …   Wikipédia en Français

  • Espace projectif — En mathématiques, un espace projectif est une construction fondamentale à partir de n’importe quel espace vectoriel. Sommaire 1 Généralités 1.1 Présentation 1.2 Espace projectif d un espace vectoriel …   Wikipédia en Français

  • Formule de Grassmann — Hermann Günther Grassmann Hermann Günther Grassmann Hermann Günther Grassmann (15 avril 1809 à Stettin 26 septembre 1877 à Stettin) était un polymathe allemand. À son époque, il était connu en tant que …   Wikipédia en Français

  • Grassmann — Hermann Günther Grassmann Hermann Günther Grassmann Hermann Günther Grassmann (15 avril 1809 à Stettin 26 septembre 1877 à Stettin) était un polymathe allemand. À son époque, il était connu en tant que …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”