Espace Projectif


Espace Projectif

Espace projectif

En mathématiques, un espace projectif est une construction fondamentale à partir de n’importe quel espace vectoriel.

Sommaire

Détails

L'espace projectif généralise le plan projectif qui peut être construit à partir d'un espace vectoriel à trois dimensions, sur n’importe quel corps.

Alors que la théorie des plans projectifs a un aspect combinatoire, qui est absent dans le cas général, l’espace projectif est fondamental en géométrie algébrique, à travers la riche géométrie projective développée au XIXe siècle mais aussi dans les constructions de la théorie moderne (basée sur l’algèbre graduée). Les espaces projectifs et leur généralisation à des variétés de drapeaux jouent aussi un grand rôle en topologie, dans la théorie des groupes de Lie et des groupes algébriques, et leur théorie des représentations.

L'idée de base est de considérer l'ensemble des droites vectorielles d'un espace vectoriel V comme les points de l'espace projectif construit sur V. Dans ce cas, les plans vectoriels de V donneront les droites de l'espace projectif ; si on se donne une courbe dans V ne passant pas par l'origine de cet espace, alors on peut associer à cette courbe dans V une courbe dans l'espace projectif en considérant toutes les droites vectorielles passant par la courbe. Plus géométriquement, cela revient à considérer dans V le cône dont le sommet est à l'origine de l'espace et formé de toutes les droites s'appuyant sur cette courbe. On voit ainsi que si une courbe possède deux points sur la même droite vectorielle, alors son image dans l'espace projectif possèdera un point (au moins) double.

Plus formellement, l'espace projectif est formé de toutes les classes d'équivalence par homothétie de vecteurs non nuls de V ; en d'autres termes, on dira que v et w, vecteurs non nuls de V, sont équivalents si et seulement s'il existe un scalaire c non nul dans K, tel que v = cw.

Cette idée remonte aux descriptions mathématiques de la perspective. Si le corps K est celui des nombres réels, et V a pour dimension n, alors l’espace projectif P(V) porte une structure naturelle de variété lisse compacte de dimension n − 1. Il est aussi très symétrique, car tout automorphisme linéaire de V donne aussi une symétrie de P(V). Dans les exemples classiques, ces transformations sont des changements de perspective ou transformations projectives. Le groupe de ces symétries est le quotient du groupe général linéaire de V par le sous groupe des multiples non-nuls de l’identité.

Avantage pour la considération des infinis

L’utilisation d’espaces projectifs rend rigoureuse la notion de droite à l’infini (où les droites parallèles se rencontrent), ou bien de plan à l’infini pour trois dimensions. On peut choisir arbitrairement un plan dans l'espace projectif comme plan à l’infini. De cette manière, les idées géométriques introduites par Poncelet et d’autres deviennent une partie de la théorie fondée sur l’algèbre linéaire. Dans tout espace projectif de dimension k, on peut fixer un sous-espace projectif de dimension k − 1 et en faire le sous-espace à l'infini. Son complémentaire peut être identifié à l'espace affine de dimension k ; mais les symétries de P(V) ne respectent généralement pas cette partition. L’utilisation d’une base de V permet, si besoin est, l’introduction de coordonnées homogènes pour l’exécution des calculs concrets.

L’utilisation d’espaces vectoriels sur le corps des nombres complexes fait apparaître des objets différents, également utilisées par les géomètres. Leur utilisation permet d'obtenir une bonne théorie de l'intersection pour les variétés algébriques.

Construction et utilisations

  • On obtient un espace projectif en ajoutant une coordonnée supplémentaire à celle d'un espace ordinaire; exemple : trois pour un espace à deux dimensions; quatre pour un espace à trois dimensions; etc. Ainsi le point de coordonnées (x,y,z) en 3D aura en représentation projective les coordonnées (x,y,z,1). Les point à l'infini ont pour coordonnées (x,y,z,0) avec x,y,z non tous nuls ; par exemple celui de l'axe des x a pour coordonnées (1,0,0,0).
  • Cette disposition permet d'éviter des traitements particuliers pour les points à l'infini (qui sont ceux dont la quatrième coordonnée est 0).
  • Les systèmes de traitement graphique GL et OpenGL, de SGI, utilisent des espaces projectifs pour représenter les informations spatiales en ordinateur.
  • Toute variété kählérienne définie sur un corps algébriquement clos, compacte, connexe, à courbure (bi)sectionnelle positive, est isomorphe à un espace projectif complexe[1].

Notes et références

  1. Demazure, Michel, Caractérisations de l'espace projectif (conjectures de Hartshorne et de Frankel), Séminaire Bourbaki 22 (1979-1980) en ligne

Voir aussi

  • Droite projective
  • Plan projectif, Plan projectif réel, Plan projectif complexe
  • Espace projectif complexe
  • Transformation projective
  • Groupe linéaire projectif
  • Espace projectif Hilbert
  • Représentation projective
  • Portail de la géométrie Portail de la géométrie
Ce document provient de « Espace projectif ».

Wikimedia Foundation. 2010.

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

Regardez d'autres dictionnaires:

  • 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

  • Espace Projectif De Hilbert — L espace projectif de Hilbert, en mathématiques et en mécanique quantique, est un espace projectif d un espace de Hilbert complexe. Formulation Noté P(H), il est le jeu de classes d équivalences de vecteurs v de H, avec v ≠ 0, qui sont tels… …   Wikipédia en Français

  • Espace projectif de hilbert — L espace projectif de Hilbert, en mathématiques et en mécanique quantique, est un espace projectif d un espace de Hilbert complexe. Formulation Noté P(H), il est le jeu de classes d équivalences de vecteurs v de H, avec v ≠ 0, qui sont tels… …   Wikipédia en Français

  • Espace projectif de Hilbert — L espace projectif de Hilbert, en mathématiques et en mécanique quantique, est un espace projectif d un espace de Hilbert complexe. Formulation Noté P(H), il est le jeu de classes d équivalences de vecteurs v de H, avec v ≠ 0, qui sont tels… …   Wikipédia en Français

  • Sous-espace projectif — En géométrie projective, un sous espace projectif est défini comme le projeté d un sous espace vectoriel de l espace vectoriel associé. Contrairement à ce qui se passe en géométrie affine, les propriétés sur les dimensions règlent de nombreux… …   Wikipédia en Français

  • projectif — projectif, ive [ prɔʒɛktif, iv ] adj. • 1822; du lat. projectus 1 ♦ Géom. Relatif à la projection (2o); qui concerne une projection, résulte d une projection. Propriétés projectives d une figure, que toute projection plane de cette figure… …   Encyclopédie Universelle

  • 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 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 — 1. espace [ ɛspas ] n. m. • spaze v. 1190; v. 1160 « moment »; surtout « espace de temps » jusqu au XVIe, et souvent fém.; lat. spatium I ♦ (Spatial) Cour. Lieu, plus ou moins bien délimité (où peut se situer qqch.). 1 ♦ …   Encyclopédie Universelle