Espace projectif

Modèle:Autre4 En mathématiques, un espace projectif est le résultat d'une construction fondamentale qui consiste à rendre homogène un espace vectoriel, autrement dit à raisonner indépendamment des proportionnalités pour ne plus considérer que des directions. Par exemple, l'espace projectif réel de dimension n, PModèle:Ind(ℝ),ou RPⁿ, est l'ensemble des droites vectorielles ou des directions de ℝModèle:Exp ; formellement, c'est le quotient de ℝModèle:Exp\{0} par la relation d'équivalence de colinéarité. On peut munir ces espaces projectifs de structures additionnelles pour en faire des variétés. L'idée sous-tendant cette construction remonte aux descriptions mathématiques de la perspective.

L'espace construit permet d'obtenir, à partir de l'algèbre linéaire, une géométrie aux énoncés très simples et généraux, la géométrie projective, qui avait déjà fait l'objet d'études importantes au Modèle:S avec d'autres modes d'introduction. Dans le cas du corps des réels, on fonde ainsi une extension de la géométrie affine donnant un sens à la notion de point ou droite à l'infini. Les espaces projectifs sont aussi utilisés sur le corps des nombres complexes pour obtenir une bonne théorie de l'intersection pour les variétés algébriques.

L'espace projectif possède une généralisation naturelle, la grassmannienne, qui consiste à considérer des sous-espaces vectoriels de dimension fixée au lieu de se limiter aux droites.

Illustration par Albrecht Dürer du principe de la perspective linéaire : l'objet de l'espace ambiant est étudié à partir des rayons incidents depuis un point de référence.

Définitions

Espace projectif associé à un espace vectoriel

Pour passer de cet espace vectoriel de dimension 3 à l'espace projectif associé, on identifie a et A entre eux et avec tous les points de la droite (Aa) sauf 0. De même pour b et B, c et C. Les deux portions de surface sont deux représentants d'une même partie de l'espace projectif.

Soit K un corps, non nécessairement commutatif, et E un espace vectoriel sur K. Il est possible de définir une relation d'équivalence sur E\{0}, la colinéarité : deux vecteurs non nuls sont équivalents si et seulement s'ils engendrent la même droite vectorielle. L'espace projectif associé à E, noté P(E), est l'ensemble quotient pour cette relation d'équivalence ; c'est donc l'ensemble de toutes les droites vectorielles de EModèle:, (privées du vecteur nul).

L'exemple le plus immédiat est celui où l'on part de l'espace KModèle:Exp : l'espace projectif associé est noté KPModèle:Exp = PModèle:Ind(K) = P(KModèle:Exp) et appelé espace projectif standard de dimension n sur K. Certains de ces espaces sont très étudiés comme le plan projectif réel ℝPModèle:2, qui fournit un exemple très simple de surface non orientable, ou la droite projective complexe ℂPModèle:1, appelée fréquemment sphère de Riemann et qui est le cadre naturel de la géométrie anallagmatique et, dans une certaine mesure, de l'analyse complexe. Le phénomène de « perte d'une dimension » dans la dénomination des espaces obtenus est cohérent avec l'opération de quotient effectuée, et se justifie pleinement quand l'espace projectif est muni d'une structure de variété.

Exemple détaillé : le plan projectif réel

Modèle:Article détaillé Prenons n = 2 et K = ℝ. Soit $(x,y,z)\ne (0,0,0)$ dans ${ℝ}^3$. On note $[x:y:z]=\{(\lambda x,\lambda y,\lambda z)\mid \lambda \in {ℝ}^{*}\}$. Cela signifie que $[x:y:z]=[x^{\prime }:y^{\prime }:z^{\prime }]$ si et seulement s'il existe $\lambda$ non nul tel que $x^{\prime }=\lambda x$, $y^{\prime }=\lambda y$ et $z^{\prime }=\lambda z$. Alors

$ℝP^2=\{[x:y:z]\mid (x,y,z)\in {ℝ}^3\setminus \{(0,0,0)\}\}$

est le plan projectif réel. On a une application surjective (« projection canonique »)

$\pi :{ℝ}^3\setminus \{(0,0,0)\}\to ℝP^2$, $(x,y,z)\mapsto [x:y:z]$.

Grâce à $\pi$, on établit un dictionnaire entre objets vectoriels (dans ${ℝ}^3$) et projectifs (dans $ℝP^2$).

côté vectoriel	côté projectif
droite vectorielle	point
plan vectoriel	droite projective

Soit $\mathrm{\Pi }$ un plan vectoriel de ${ℝ}^3$. La projection $\pi$ induit une injection de l'espace projectif associé à $\mathrm{\Pi }$ dans $ℝP^2$ et son image $D$ est une droite projective. Il est intéressant de constater que le complémentaire de $D$ est un plan affine. Par exemple, si $D$ est le plan d'équation $z=0$, l'application de ${ℝ}^2$ dans le complémentaire qui envoie $(x,y)$ sur $[x:y:1]$ est une bijection. On dit souvent que $D$ est la droite à l'infini, ou qu'on a envoyé $D$ à l'infini.

L'intérêt le plus immédiat de cette construction pour la géométrie élémentaire est que désormais, deux droites distinctes s'intersectent toujours en un point, alors que dans un plan affine il faut distinguer droites parallèles et sécantes. En effet, deux plans vectoriels distincts se coupent selon une droite, laquelle correspond à (est...) un point de l'espace projectif. On peut en effet compléter le tableau précédent.

en présence d'un plan vectoriel $\mathrm{\Pi }$ / d'une droite projective $D$
côté vectoriel	côté projectif	côté affine
droite vectorielle non incluse dans $\mathrm{\Pi }$	point « ordinaire »	point du plan
droite vectorielle incluse dans $\mathrm{\Pi }$	point « à l'infini »	direction de droite
plan vectoriel différent de $\mathrm{\Pi }$	droite projective « ordinaire »	droite
plan vectoriel $\mathrm{\Pi }$	droite à l'infini	N/A
deux plans dont l'intersection n'est pas dans $\mathrm{\Pi }$	deux droites dont l'intersection n'est pas dans $D$	deux droites sécantes
deux plans dont l'intersection est dans $\mathrm{\Pi }$	deux droites dont l'intersection est dans $D$	deux droites parallèles

Si l'on remplace $ℝ$ par $ℂ$, on obtient le plan projectif complexe. Il est utile pour faire de la géométrie élémentaire (étude des cercles, des coniques...) car il cumule les avantages d'un corps algébriquement clos (dans lequel les équations algébriques ont toujours le bon nombre de solutions) et ceux d'un espace projectif (où les intersections « à l'infini » sont traitées comme les autres). Ces avantages sont illustrés par le théorème de Bézout. Par exemple, en comptant convenablement (c'est-à-dire en comptant les solutions complexes éventuellement à l'infini avec des multiplicités convenables), une droite et un cercle se coupent toujours en deux points, deux coniques se coupent toujours en quatre points, etc.

Points et sous-espaces

Modèle:Loupe Les éléments de l'espace projectif sont les droites de l'espace vectoriel E. Cependant, l'opération de passage au quotient revient à les considérer comme les objets de base de nouvel espace, et elles sont appelées points de l'espace projectif P(E). De la même façon, aux plans vectoriels de E correspondent des parties de P(E) qui sont de façon naturelle des droites projectives, appelées les droites de P(E). De façon générale les sous-espaces vectoriels de E de dimension k + 1 sont en correspondance bijective avec les sous-espaces projectifs de P(E) de dimension k.

Dans l'espace projectif P(E) il n'y a plus de point privilégié par lequel passeraient les différents sous-espaces. Il n'y a pas non plus de phénomène de parallélisme : deux droites distinctes d'un plan projectif ont nécessairement un point commun, et plus généralement deux sous-espaces de P(E) dont la somme des dimensions dépasse celle de P(E) ont une intersection non vide.

Transformations associées

Tout automorphisme linéaire de E donne aussi une symétrie de P(E). Dans l'interprétation concrète dans l'espace ambiant, ces transformations projectives peuvent être vues comme des changements de perspective. Lorsque le corps de base est commutatif, le groupe de ces symétries, appelé Modèle:Lien, est le quotient du groupe général linéaire de E par le sous-groupe des multiples non nuls de l'identité.

Coordonnées et repères

Modèle:Loupe

Lorsque l'espace vectoriel E possède une base, il est possible d'associer à chaque point a de P(E) les différents n+1-uplets de coordonnées des vecteurs de E dont il est issu. On dit que cela constitue un système de coordonnées homogènes de a. Ainsi dans le plan projectif, si un point a un triplet de coordonnées homogènes $(s,t,u)$, les autres triplets seront les $(x.s,x.t,x.u)$ pour $x$ scalaire non nul.

On peut en fait manipuler de telles coordonnées sans revenir à l'espace vectoriel E. On introduit pour cela la notion de repère projectif. Il s'agit d'un (n + 2)-uplet de points de P(E), tels qu'aucun d'eux n'est inclus dans l'espace projectif engendré par n autres. À un tel repère est associée une base de E, unique à multiplication près par un scalaire non nul près. Ainsi on peut attribuer la notion de coordonnées homogènes au repère projectif.

Lorsque le corps de base est commutatif, les transformations projectives envoient tout repère projectif sur un repère projectif. Elles sont caractérisées par l'image d'un tel repère.

Topologie, structures additionnelles

Espace projectif réel

L'espace projectif réel peut être vu comme une sphère dont chaque point est identifié à son antipodal. On peut aussi le voir comme un hémisphère dont le bord a subi une telle identification des points antipodaux.

Lors du passage au quotient qui définit l'espace projectif réel $ℝ{\mathrm{P}}^n$, il est possible de se limiter aux vecteurs de norme 1. Ainsi l'espace projectif peut être obtenu comme un quotient de la sphère Modèle:Nobr de dimension n par l'application -Id qui identifie chaque point avec le point antipodal. Cela lui confère une structure naturelle de variété différentielle compacte de dimension n, orientable si et seulement si n est impair. De plus $ℝ{\mathrm{P}}^n$ est muni d'une métrique riemannienne canonique, la projection de la sphère sur l'espace projectif étant un revêtement riemannien à deux feuillets. Il s'agit notamment d'une isométrie locale : l'espace projectif est lui aussi de courbure sectionnelle constante valant 1. Les géodésiques sont les images de celles de la sphère, et sont $\pi$-périodiques.

L'espace $ℝ{\mathrm{P}}^n$ a aussi une structure de CW-complexe, avec une cellule en chaque dimension inférieure ou égale à n : l'application d'attachement de sa n-cellule à son (n – 1)-squelette $ℝ{\mathrm{P}}^{n-1}$ est la projection canonique, de Modèle:Nobr sur son 2-quotient $ℝ{\mathrm{P}}^{n-1}$.

L'espace $ℝ{\mathrm{P}}^1$ est un cercle. Pour n=2, le plan projectif réel est une surface non orientable qu'il n'est pas possible de représenter parfaitement dans l'espace ${ℝ}^3$, c'est-à-dire qu'il n'en existe pas de plongement. À défaut, on dispose de représentations classiques, avec des auto-intersections : la surface de Boy, la surface romaine. Pour n=3, en utilisant les quaternions, la sphère Modèle:Nobr peut être munie d'une structure de groupe, qui passe à $ℝ{\mathrm{P}}^3$ et qui en fait un groupe de Lie isomorphe au groupe SO(3).

Pour $n⩾2$, le groupe fondamental de $ℝ{\mathrm{P}}^n$ est égal à ${\mathbb{Z}}_2$. On obtient un générateur de ce groupe en considérant la projection d'un chemin de Modèle:Nobr reliant deux points antipodaux. Les groupes d'homologie $H_k(ℝ{\mathrm{P}}^n)$ sont égaux à ${\mathbb{Z}}_2$ pour les entiers k impairs vérifiant$0<k<n$. Les autres groupes sont nuls, excepté $H_0(ℝ{\mathrm{P}}^n)=\mathbb{Z}$ et, lorsque n est impair, $H_n(ℝ{\mathrm{P}}^n)=\mathbb{Z}$.

Espace projectif complexe

L'espace projectif complexe PModèle:Ind(ℂ) peut lui aussi être vu comme une variété différentielle, quotient de la sphère unité $S^{2n+1}\subset {ℂ}^{n+1}$, cette fois-ci en identifiant les vecteurs multiples les uns des autres par un scalaire de module 1. C'est une variété kählérienne pour la métrique de Fubini-Study, de courbure sectionnelle variant entre 1 et 4. Il y a aussi une structure de CW-complexe avec une cellule en chaque dimension paire inférieure ou égale à 2n.

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.

Utilisation

Avantage pour la considération des infinis

L’utilisation d’espaces projectifs rend rigoureuses et généralise à toute dimension la notion de droite à l'infini dans le plan projectif, qui est conçue de façon informelle comme l'ensemble des points à l'infini, points où les droites parallèles « se rencontrent ».

Il n'y a pas de façon naturelle dans l'espace projectif P(E) d'éléments à l'infini, cet espace étant homogène. Mais si P(E) est de dimension n, on peut fixer un sous-espace projectif de dimension n-1 et décider d'en faire le sous-espace à l'infini. Son complémentaire peut alors être identifié à l'espace affine de dimension n. Il convient de noter que les transformations projectives de P(E) ne respectent pas cette partition en général. L’utilisation d’une base adaptée de E permet l’introduction de coordonnées homogènes pour l’exécution des calculs concrets. Les points à l'infini ont pour coordonnées $(x_1,\dots ,x_n,0)$ avec des scalaires $x_1,\dots ,x_n$ non tous nuls.

En sens inverse, on obtient un espace projectif en ajoutant une coordonnée supplémentaire à celle d'un espace affine 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 points à 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 dernière coordonnée est 0).

Autres domaines

Les systèmes de traitement graphique GL et OpenGL, de Silicon Graphics, utilisent des espaces projectifs pour représenter les informations spatiales en ordinateur.