Dualité (géométrie projective) - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

- Introduction - Dualité dans un plan projectif - Dualité dans un espace projectif de dimension finie

Introduction

La dualité projective, crée par Jean-Victor Poncelet (1788 - 1867), père fondateur de la géométrie projective, bien que beaucoup moins enseignée que la dualité en algèbre linéaire, est probablement la plus belle notion de dualité que l'on rencontre en mathématiques.

Il s'agit de formaliser la constatation toute simple qu'il y a une analogie - une dualité, justement - entre le fait que par deux points distincts passe une droite et une seule, et le fait que deux droites distinctes se coupent en un point et un seul (à condition de se placer justement en géométrie projective, de sorte que deux droites parallèles se rencontrent en un point à l'infini).

Dualité dans un plan projectif

Définition

Contrairement à la géométrie plane classique où les droites sont des ensembles de points, il vaut mieux considérer en géométrie projective que le plan projectif $P$ est constitué d'un ensemble de points $\ \mathcal P(P)$ , d'un ensemble de droites $\mathcal D(P)$ , et d'une relation indiquant quels points sont sur quelle droite (ou quelles droites passent par quel point). Pour bien comprendre que c'est cette relation qui est importante et non la nature des points et des droites, le mathématicien Hilbert disait : « Il faut toujours pouvoir dire "table", "chaise" et "bock de bière" à la place de "point", "droite" et "plan" » !

Nous considérons dans un premier temps que le plan projectif $P$ est défini de manière axiomatique ; on constate alors que l'on obtient un autre plan projectif en considérant l'objet $P *$ dont les "points" sont les droites de $P$ et les "droites" sont les points de $P$ , une droite de $P *$ (qui est un point $M$ de $P$ ) passant par un "point" de $P *$ (qui est une droite $D$ de $P$ ) lorsque $D$ passe par $M$ .

Voici un point et une droite de $P$ : normal !	Voici un "point" et une "droite" de $P *$ dont nous avons dessiné 4 de ses "points".

Pour simplifier, au lieu de travailler sur 2 plans différents, $P$ et $P *$ , on peut se contenter de travailler sur un seul plan projectif $P$ .

Corrélation ou dualité, déf : Une corrélation est une transformation des points du plan en droites et des droites du plan en points et qui respecte l'incidence.

Polarité, déf : Une polarité est une corrélation involutive, c’est-à-dire que son carré est la transformation identique.

Exemples

A toute configuration de points et de droites dans $P$ correspond alors dans $P *$ une configuration duale obtenue en échangeant les points et les droites, et de même, à tout théorème dans $P$ , correspond un théorème dual. Voici quelques exemples :

Configuration dans $P$	Même configuration vue dans $P *$
2 points $A$ et $B$ et la droite passant par ces deux points, notée $(A B)$	2 droites $A$ et $B$ et leur point d'intersection, noté $A\cap B$ (la notation $(A B)$ paraîtrait trop étrange)
3 points alignés	3 droites concourantes
Configuration de Ceva Un triangle de sommets $A, B, C$ et trois céviennes $D, E, F$ concourant en $M$	Configuration de Ménélaus Un triangle de côtés $A, B, C$ et une ménélienne $M$ rencontrant les côtés en $D, E, F$
Configuration de Desargues Deux triangles de sommets respectifs $A, B, C$ et $A', B' C'$ , et de côtés $D, E, F$ et $D', E', F'$ ( $D = (B C), E = (C A)$ etc), $P, Q, R$ les points $D\cap D'$ , $E\cap E'$ , $F\cap F'$ , $U, V, W$ les droites $(A A'),(B B'),(C C')$ . Le théorème de Desargues affirme que $P, Q, R$ sont alignés ssi $U, V, W$ sont concourantes.	Configuration de Desargues (qui est donc "auto-duale") Deux triangles de côtés respectifs $A, B, C$ et $A', B' C'$ , et de sommets $D, E, F$ et $D', E', F'$ ( $D=B\cap C, E=C\cap A$ etc), $P, Q, R$ les droites $(D D')$ , $(E E')$ , $(F F')$ , $U, V, W$ les points $(A\cap A'), (B\cap B'), (C\cap C')$ . Le théorème de Desargues affirme que $P, Q, R$ sont concourantes ssi $U, V, W$ sont alignés.
Configuration de Pappus Deux triplets de points alignés $A, B, C$ et $A', B', C'$ , $P=(BC') \cap (B'C) , Q=(CA') \cap (C'A)$ , $P=(AB') \cap (A'B)$ ; le théorème de Pappus affirme que $P, Q, R$ sont alignés.	Configuration de "Copappus", ou Pappus-dual Deux triplets de droites concourantes $A, B, C$ et $A', B', C'$ , $P=(B\cap C', B'\cap C) , Q=(C\cap A',C'\cap A)$ , $P=(A\cap B', A'\cap B)$ ; le théorème de "Copappus" affirme que $P, Q, R$ sont concourantes. (voir figure ci-dessous où on voit que cette configuration est finalement "auto-duale" également)

Remarque : Si l'on convient d'identifier une droite avec l'ensemble de ses points, il faut, pour que la dualité soit parfaite, identifier un point avec l'ensemble des droites qui passent par ce point, autrement dit, identifier un faisceau de droites avec son pôle !

Dualité et birapport

Dualités, corrélations et polarités

Considérons les homographies de $P$ sur $P *$ ; ce sont des bijections $f$ de $\mathcal P(P)$ sur $\mathcal P(P^*)=\mathcal D(P)$ qui transforment une droite de $P$ en une "droite" de $P *$ ; on peut donc les prolonger en une bijection, toujours notée $f$ , de $\mathcal P(P)\cup \mathcal D(P)$ , qui transforme un point en une droite et réciproquement, et qui vérifie : $M \in D \iff f(D) \in f(M)$ .

De telles applications sont appelées des dualités ou corrélations ; lorsqu'elles sont involutives ( $f = f - 1$ ), elles sont appelées des polarités ou autrefois "transformations par polaires réciproques". Dans ce dernier cas, l'image d'un point est appelé la polaire de ce point, et l'image d'une droite, son pôle.

D'après le théorème fondamental de la géométrie projective, dans le cas réel toute dualité provient d'une homographie (dans le cas général, d'une semi-homographie).

Théorème d'incidence et de réciprocité

Il y a deux théorèmes importants qui découlent des définitions.

Théorème d'incidence: Si le point A est incident à la droite d, alors le point dual de d est incident à la droite duale de A.

Théorème de réciprocité polaire: Si le point A est sur la polaire du point B, alors B est sur la polaire de A. Ce théorème est plus puissant que le précédent.

Relations avec la dualité en algèbre linéaire

On sait qu'il existe une bijection entre les points de $P$ et les droites vectorielles d'un espace vectoriel $E$ de dimension 3, et une bijection entre les droites de $P$ et les plans vectoriels de $E$ (un point appartenant à une droite si la droite vectorielle est incluse dans le plan vectoriel).

L'orthogonalité entre $E$ et son dual $E *$ , ensemble des formes linéaires sur $E$ , qui à tout sous-espace vectoriel de $E$ associe un sous-espace vectoriel de $E *$ induit une bijection entre les plans vectoriels de $E$ et les droites vectorielles de $E *$ , et entre les droites vectorielles de $E$ et les plans vectoriels de $E *$ , qui inverse les inclusions.

Il existe donc une bijection canonique entre les points et droites de $P *$ et les droites et plans vectoriels de $E *$ qui respecte les incidences : si un plan projectif $P$ est associé à un espace vectoriel $E$ , le plan dual $P *$ est bien associé à l'espace vectoriel dual $E *$ .

Duale d'une homographie

Une homographie $f$ du plan projectif dans lui-même est une bijection dans l'ensemble des points de $P$ , qui induit une bijection $f *$ dans l'ensemble des droites de $P$ , qui est l'ensemble des "points" de $P *$ : $f *$ est l'homographie duale de $f$ (remarquons que $f * (D) = f (D)$ !) ; on vérifie que si $f$ provient d'un automorphisme $\vec f$ de $\vec E$ , alors $f *$ provient de l'automorphisme de $\vec E^*$ dual de $\vec f$ , appelé plus souvent automorphisme transposé de $f$ .

Utilisation des coordonnées

Rapportons le plan projectif $P$ à un repère projectif $R=(A_1,A_2,A_3,\Omega)\,$ , qui est associé à une base $B=(e_1,e_2,e_3)\,$ de l'espace vectoriel $E$ ; considérons l'isomorphisme $\varphi$ entre $E$ et son dual qui transforme $B$ en la base duale $B^*=(e_1^*,e_2^*,e_3^*)\,$ , lequel induit une dualité entre $P$ et $P *$ ; à un point $M$ de $P$ est associé un vecteur défini à une constante multiplicative près de coordonnées $(a, b, c)$ dans $B$ (les coordonnées homogènes de $M$ dans $R$ ), auquel est associé par $\varphi$ la forme linéaire $a x + b y + c z$ dont le noyau est le plan d'équation $a x + b y + c z = 0$ ;

cette équation est l'équation homogène de la droite $D$ image de $M$ par la dualité ; l'on vérifie qu'inversement, l'image de $D$ est $M$ , ce qui fait que cette dualité est une polarité, définie par :

point de coordonnées homogènes

(a, b, c)

↔ droite d'équation homogène :

a x + b y + c z = 0

le repère dual $R=(A_1^*,A_2^*,A_3^*,\Omega^*)\,$ de $R$ , associé à $B *$ est formé des droites d'équation respectives : $x = 0, y = 0, z = 0, x + y + z = 0$ , donc $A_1^*=(A_2A_3), A_2^*=(A_3A_1), A_3^*=(A_1A_2)\,$ . Remarquons qu'un point et sa droite polaire ont mêmes coordonnées homogènes, l'un dans $R$ , l'autre dans $R *$ .

Dualité associée à une forme bilinéaire, polarité associée à une forme quadratique ou à une conique

Soit $f$ une dualité de $P$ vers $P *$ provenant d'un isomorphisme $\vec f$ de $E$ vers $E *$ . Il est associé à ce dernier une forme bilinéaire non dégénérée sur $E$ , définie par $\varphi (x,y) = \vec f (y)(x)$ (noté par le crochet de dualité $<x,\vec f (y)>$ ) et cette correspondance est bijective ; la dualité $f$ est dite associée à la forme bilinéaire $\varphi$ (définie à une constante multiplicative près). La matrice de l'isomorphisme $\vec f$ dans une base $B$ et la base duale $B *$ est celle de la forme bilinéaire $\varphi$ dans $B$ .

La dualité $f$ est une polarité ssi pour tous points $M$ et $N$ : $M\in f(N) \iff N\in f(M)$ , ce qui se traduit sur la forme bilinéaire $\varphi$ par : pour tous vecteurs $x$ et $y$ : $\varphi(x,y)=0 \iff \varphi(y,x)=0$ ; on montre que cette dernière condition équivaut à ce que $\varphi$ soit symétrique ou antisymétrique (si le corps est de caractéristique différente de 2).

Toute forme quadratique sur $E$ engendre une forme bilinéaire symétrique, laquelle en engendre une polarité dans $P$ , qui est dite associée à $q$ . Le cône isotrope de $q$ (défini par $q(x)=\varphi(x,x)=0$ ) est un cône du second degré de $E$ lequel engendre une conique projective $(C)$ dans $P$ . On dit alors par abus que la polarité $f$ associée à $q$ est la polarité par rapport à (C). Remarquons qu'on a alors : $M\in (C) \iff M\in f(M)$ .

Polarité par rapport à un cercle dans le plan euclidien

Considérons un cercle (C) de centre O de rayon a d'un plan euclidien $\breve P$ rapporté à un repère orthonormé $(O,e_1,e_2)\,$ ; $P$ est le complété projectif de $\breve P$ et $E$ son enveloppe vectorielle, rapportée à $(O,e_1,e_2,e_3)\,$ .

L'équation cartésienne du cercle est $x 2 + y 2 = a 2$ ; la polarité $f$ par rapport à $(C)$ est donc associée à la forme quadratique $X 2 + Y 2 - a 2 Z 2$ de $E$ et l'isomorphisme de $E$ sur $E *$ est celui qui envoie $(O,e_1,e_2,e_3)\,$ sur $(O,e_1^*,e_2^*,-ae_3^*)$

Du point de vue du plan affine $\breve P$ , la polarité $f$ a une définition très simple : au point de coordonnées $(u, v)$ correspond la droite d’équation $u x + v y = a 2$ et l’image d’un point à l’infini est la droite passant par $O$ et perpendiculaire à la direction du point.

Et on a les définitions géométriques suivantes : la polaire (droite image par la polarité) d’un point $M 0 (u, v)$ par rapport au cercle (C) est le lieu des conjugués harmoniques du point par rapport au cercle, lieu défini par la relation $\overrightarrow {OM}\overrightarrow {OM_0}=ux+vy=a^2$ ; c’est la droite orthogonale à la droite $(O M 0)$ passant par l’inverse de $M 0$ par rapport à (C) ; c’est aussi l’axe radical du cercle (C) et du cercle de diamètre $[O M 0]$ ; quand $M 0$ est extérieur à $(C)$ , c’est la droite qui joint les points de contact des tangentes issues de $M 0$ au cercle (C).

Dualité entre courbes

Une dualité, qui transforme des points en droites et réciproquement, transforme une courbe

(Γ 0)

( famille de points) de

P

en une "courbe" (famille de droites) du plan dual

P *

: mais grâce à la notion d'enveloppe, on retrouve une courbe (famille de points) de

P

: l'enveloppe de la famille des droites duales, dite courbe duale de

(Γ 0)

Ce qui est remarquable, c'est que lorsque la dualité est une polarité, la duale de la duale est la courbe de départ (autrement dit, la famille des droites polaires des points de la courbe duale enveloppe la courbe de départ).

Ci-contre, une figure illustrant ceci, avec une polarité par rapport à un cercle $(C)$ .

Cette transformation est une transformation de contact : si une famille de courbes admet une enveloppe, la famille des courbes polaires admet pour enveloppe la polaire de cette enveloppe.

Voir ici pour plus de détails.

Configuration de Pappus, exemple détaillé de dualité

Pour illustrer géométriquement une dualité quelconque, il faut définir le processus par lequel on transforme un point en droite. Un exemple de dualité simple est donné ci-dessous: on prend le quadrangle (4 points) ACZF, on le transforme en quadrilatère (4 droites) aczf, et pour compléter un peu la figure les droites AC, CZ, ZF de la figure de départ ont été tracées, ainsi que les points d'intersection a*c, c*z et z*f de la figure d'arrivée.

Poursuivant le dessin du même exemple, on peut figurer la dualité d'une configuration de Pappus, voir Théorème de Pappus. La configuration de départ est formée des 9 points: AEC DBF XYZ, la configuration d'arrivée est donnée par les 9 droites aec dbf xyz. Dans la configuration de départ on a pris soin de compléter la figure par les 9 droites joignant les points, il s'agit des droites jnp qhk et mgr; de même dans la configuration d'arrivée les intersection des droites donnent naissance aux 9 points JNP QHK MGR.

Cette dualité utilise les points Y,Z, O1, O2, O3 et O4 et les droites y, z, s, t, u et v. La philosophie de la construction est simple.

Dans la figure de départ un POINT est repéré sur une grille oblique obtenue en croisant deux "éventails" de centres Y et Z. Dans la figure d'arrivée, une DROITE est obtenue en s'appuyant sur deux "échelles" y et z.

Le détail de la correspondance entre les "éventails" et les "échelles" est un peu laborieux mais ce n'est qu'un exemple pour montrer qu'une dualité peut être définie de manière complètement géométrique, sans utiliser aucune géométrie analytique, aucune coordonnée homogène.

Le point de départ subit une première triple aventure, il est projeté depuis le centre Y sur la droite s, puis depuis le centre O1 sur la droite t, puis depuis le centre O2 sur la droite y; le premier point de l'"échelle" d'arrivée est obtenu.

Le point de départ subit une seconde triple aventure, il est projeté depuis le centre Z sur la droite u, puis depuis le centre O3 sur la droite v, puis depuis le centre O4 sur la droite z; le second point de l'"échelle" d'arrivée est obtenu.

La droite d'arrivée est la droite qui joint ces deux points situés sur les "échelles".

Une telle opération a été effectuée pour tous les points de la configuration pappusienne (AEC DBF XYZ), ce qui donne les résultats que l'on a dessinés ensuite à l'aide d'un tableur du commerce.

Pour plus de détails, voir aussi Dualité (géométrie projective)/Exemples concrets de constructions duales et polaires

Dualité dans un espace projectif de dimension finie

- Introduction - Dualité dans un plan projectif - Dualité dans un espace projectif de dimension finie

Pourrons-nous bientôt communiquer avec les dauphins grâce à l'IA ? 🐬

En déplaçant deux atomes, des chercheurs transforment le LSD en médicament surpuissant 💊

Des scientifiques parviennent à produire efficacement du carburant à partir de monoxyde de carbone 🛢️

Que nous apprend la découverte de cet insecte de 16 millions d'années ? 🐜

Avec 91km, l'accélérateur FCC fera passer le LHC pour un jouet ⚛️

Cette vitamine développe les fonctions cognitives du cerveau 🧠

Comment des impacts géants vaporisent les corps planétaires ☄️

Les Américains riches vivent moins longtemps que les Européens pauvres 💰

Attention à ce riz naturellement riche en arsenic 🍚

L'intelligence artificielle contre la mort subite 💀

L'inévitable formation d'un océan de magma basal sur Terre 🔥

Découverte d'une plante étrange sans chlorophylle 🌱

Existe-t-il des mélodies naturelles ? 🎶

Cette exoplanète présente une signature de vie bien plus forte que celle de la Terre 👽

L'origine énigmatique des rayons cosmiques les plus énergétiques ⚡

Le diagnostic de l'autisme remis en cause par l'intelligence artificielle 🩺

Imprimer en 3D avec la lumière du soleil ☀️

La pollution atmosphérique nuit gravement au cerveau 🧠

Le trou noir supermassif Ansky vient de se réveiller ⚫

Voici ce qui rend notre cerveau vraiment unique 🧠

Asymétrie matière-antimatière: une nouvelle pièce du puzzle dévoilée 🧩

Neige en inuit, goût en japonais... comment les langues décomposent la réalité ? 💬

La physique révèle les secrets d'un strike parfait au bowling 🎳

Le TDAH associé à la démence 🧠

Découverte d'une nouvelle forme d'intrication quantique, une première en 20 ans ⚛️

Le régime cétogène montre des surprises sur le cholestérol 🧐

Un tango observationnel révèle une Super-Terre 🔭

Cette expérience montre que la graisse brune augmente fortement la longévité 🕒

L'Univers comme jamais vu auparavant: les révélations du fond diffus cosmologique 🔭

C'est sérieux: de la bave pourrait révolutionner la conception de bioplastiques 🪱

Découverte: le trou noir central de notre galaxie pourrait anéantir la vie sur Terre 💥

Etude scientifique: ces aliments nous font vieillir 🍽️

Pourquoi notre visage est-il plus petit et délicat que celui des Néandertaliens ? 🤔

A 18 ans, il découvre 1,5 million d'objets célestes inconnus avec son algorithme d'IA 🌟

Que sont ces objets rouges et aplatis, qualifiés d'UFOs par les astronomes ? 🔭

Une méthode simple pour améliorer les performances en mathématiques 🧮

Que sont ces étranges éclairs rouges photographiés au-dessus de l'Himalaya ? ⚡

Nous descendons non pas d'un, mais d'au moins deux groupes anciens 🧬

Un nuage géant de 160 000 soleils découvert dans notre Voie lactée 🔭

Connaissez-vous le rat-kangourou musqué, ce marsupial à la démarche unique ? 🦘

Comment une poignée de traders a fait s'effondrer deux cryptomonnaies 📉

Première cartographie titanesque d'un cerveau, avec 500 millions de connexions neuronales 🧠

Cette double supernovae proche est inexorable, voici la date... qui va vous surprendre 💥

Un océan phosphorescent: comment s'explique ce phénomène rare et féerique ? 🌊

L'ELT pourrait-il découvrir une vie extraterrestre dès 2028 ? 🔭

Cet édulcorant tue les superbactéries résistantes 🍬

Les neutrinos, la clé de la gravité quantique ? 👀

En Italie, les éruptions explosives de ce volcan déjouent les pronostics 🌋

Que sont ces spaghettis au cœur de notre galaxie ? 🔭

Des scientifiques ont créé une "bombe intelligente" contre le cancer 🎯

Page générée en 0.136 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise