Espace projectif

Espace projectif

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

Sommaire

Généralités

Présentation

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

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.

Espace projectif d'un espace vectoriel

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 (ensemble des points à l'infini où les droites parallèles se rencontrent), ou bien de plan à l’infini (en) 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és par les géomètres. Leur utilisation permet d'obtenir une bonne théorie de l'intersection pour les variétés algébriques.

Espace projectif d'incidence

Espace projectif d'incidence

Complété projectif

Structure sur un espace projectif

Structure de variété algébrique

Topologie

Structure différentiable

Espaces projectifs comme variété riemanniennes

Structure projective

Structure de contact

Applications

  • 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 Silicon Graphics, 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. ↑ Michel Demazure, « Caractérisations de l'espace projectif (conjectures de Hartshorne et de Frankel) » dans Séminaire Bourbaki 22 (1979-1980) en ligne

Voir aussi


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 Détails 2 Avantage pour la considération des infinis 3 Construction et utilisations …   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

Share the article and excerpts

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