Sous-espace projectif

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 problèmes sur les incidences.

Définition

Si F \,\! est un sous-espace vectoriel non réduit à \{0\} \,\!, on peut encore définir comme précédemment l'espace projectif P(F) \,\! sur F \,\!. Ou alors on peut considérer le sous-ensemble de P(E) \,\! formé par les \pi(x) \,\! tels que \,\! x \in F, c'est-à-dire l'image \pi(F) \,\!

En fait ces deux méthodes sont équivalentes et permettent de définir la notion de sous-espace projectif. Tout sous-espace projectif est défini à partir d'un sous-espace vectoriel.

En particulier on appellera hyperplan projectif tout sous-espace projectif défini à partir d'un hyperplan vectoriel.

Pour toute partie A \,\! de P(E) \,\! on peut définir le sous-espace projectif engendré par A \,\!, comme le plus petit sous-espace projectif de P(E) \,\! contenant A \,\! ; on le notera Proj(A) \,\!.

Il correspond au sous-espace vectoriel engendré par l'image réciproque \pi^{-1}(A) \,\! de A \,\! par la projection canonique : Proj(A) = \pi ( Vect ( \pi^{-1} (A) ) ) \,\!

Propriétés

Les premières propriétés des espaces projectifs s'expriment en termes d' incidence : les résultats sont beaucoup plus clairs que dans le cas vectoriel.

Si P(F) \,\! et P(G) \,\! sont des sous-espaces projectifs de P(E) \,\!, l'intersection P(F) \cap P(G) \,\! est un sous-espace projectif correspondant au sous-espace vectoriel F \cap G \,\! de E \,\! : P(F) \cap P(G) = P(F \cap G) \,\!.

D'autre part l'union de deux sous-espaces projectifs n'est pas en général un sous-espace projectif mais on peut considérer le sous-espace projectif engendré par P(F) \,\! et P(G) \,\!, qui correspond au sous-espace vectoriel somme F+G \,\! : Proj(P(F) \cup P(G)) = P(F+G) \,\!.

Pour tout couple de sous-espaces projectifs de dimensions finies on a la relation fondamentale :

dim \, P(F) + dim \, P(G) = dim \, P(F+G) - dim \, P(F \cap G) \,\!.

Alors que dans le cas d'un espace affine on a seulement inégalité (voir formule de Grassman).

Application fondamentale de ce résultat : si P(E) \,\! est un plan projectif, et si P(F) \,\! et P(G) \,\! sont des droites projectives, on obtient 2 = dim \, P(F+G) - dim \, P(F \cap G) \,\!. Or l'espace somme P(F+G) \,\! est inclus dans P(E) \,\!, donc de dimension inférieure ou égale à 2. On obtient dim \, P(F \cap G) \geq 0 \,\!, c'est-à-dire que deux droites du plan projectif ont toujours au moins un point commun, le point à l'infini.

Autrement dit il n'y a pas de droites parallèles dans un plan projectif, et plus généralement pas de notion de parallélisme en géométrie projective. On voit ici le progrès par rapport à la géométrie affine : la géométrie projective va nous permettre d'éliminer de nombreux cas particuliers dus au parallélisme.



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Sous-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 — 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

  • Sous-espace vectoriel — En algèbre linéaire, étant donné un espace vectoriel E sur un corps K, un sous espace vectoriel de E est une partie non vide F de E stable par combinaisons linéaires. Autrement dit, cette partie doit vérifier : La somme vectorielle de deux… …   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

  • Sous-module — Module sur un anneau Un module sur un anneau unitaire est une structure algébrique qui généralise celle d espace vectoriel et celle d idéal d un anneau. Dans un espace vectoriel l ensemble des scalaires forme un corps tandis que dans un module,… …   Wikipédia en Français

  • Sous-modules — Module sur un anneau Un module sur un anneau unitaire est une structure algébrique qui généralise celle d espace vectoriel et celle d idéal d un anneau. Dans un espace vectoriel l ensemble des scalaires forme un corps tandis que dans un module,… …   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”