- Homologie (transformation géométrique)
-
Pour les articles homonymes, voir Homologie.
En géométrie, une homologie est une transformation géométrique, linéaire, affine ou projective, admettant un hyperplan de points fixes. Ce dernier est alors appelé base de l'homologie (voire axe en dimension 2).
En dimension finie, toute transformation (linéaire, affine ou projective) est composée d'un nombre fini d'homologies ; autrement dit ces dernières sont des générateurs du groupe de transformations considéré.
Sommaire
Homologies vectorielles
Nous allons voir qu'elles sont constituées des dilatations et des transvections.
Soit f une homologie d'un espace vectoriel ; est donc un hyperplan, et est donc une droite, stable par ; la restriction de à est donc une homothétie de rapport ; on a alors deux cas :
- et sont en somme directe : est une affinité vectorielle de base , de direction et de rapport ; dans ce cas où la base est un hyperplan, on parle de dilatation.
- est inclus dans : si est un vecteur directeur de , on montre qu'il existe alors une forme linéaire de noyau telle que pour tout de :
Une telle application est appelée une transvection.
Homologies affines
Les homologies affines ayant un point fixe, on retrouve exactement les deux cas : dilatation, et transvection.
Homologies projectives
Soit une homologie de l'espace projectif , de base un hyperplan . On sait que le complémentaire de peut être muni d'une structure d'espace affine (les droites parallèles dans sont les droites de sécantes en un point de ). La restriction de à est alors une application affine qui transforme une droite en une droite parallèle.
Les homologies projectives sont donc les complétées projectives des translations et des homothéties.
- Les homologies complétées d'une translation sont dites spéciales, ou appelées élations ; le point à l'infini de la translation est appelé leur centre.
- Les homologies complétées d'une homothétie sont dites générales : leur centre et rapport sont ceux de l'homothétie ;
- Les homologies de rapport -1 (complétées d'une symétrie centrale) sont dites harmoniques.
- Traduction: en anglais homologie projective se traduit par le faux-ami perspectivity.
Les droites passant par le centre d'homologie sont globalement invariantes, et cette propriété est caractéristique : Une homographie est une homologie ssi elle possède un point fixe tel que les droites passant par ce point sont globalement invariantes.
Étant donnés deux points et en dehors d'un hyperplan , il existe une unique homologie de base et transformant en ; les constructions sont indiquées ci-dessous :
Homologie générale de rapport λ Cas où le centre et la base sont à distance finie. Le birapport (O,I,M,M') est constant égal à λ.
Cas où la base est à distance finie, et le centre à l'infini : la restriction au complémentaire d'un hyperplan contenant le centre est une dilatation de rapport 1 / λ
Cas où la base est à l'infini, et le centre à distance finie : la restriction au complémentaire de la base est une homothétie de rapport λ
Homologie spéciale ou élation Cas où le centre et la base sont à distance finie. Cas où la base est à distance finie, et le centre à l'infini : la restriction au complémentaire d'un hyperplan contenant le centre est une transvection.
Cas où la base est à l'infini (et donc le centre aussi) : la restriction au complémentaire de la base est une translation.
Exemple : La carte de France en perspective en tête de cet article s'inspire de la construction de la décroissance apparente des carreaux formalisée au Quattrocento comme l'indique cette figure de la construction d'Alberti inspirée d'un dessin d'Alberti lui-même dans l'ouvrage italien ((it) Cristina Acidini et Gabriele Morolli, L'uomo del rinascimento, Leon Battista Alberti, Mandragora/Mascchietto, Forence, 2006 (ISBN 88-7461-085-8))
Ceci est une homologie projective, Alberti ne connaissait pas cette terminologie; il n'a pas dessiné le carrelage d'origine, considéré comme sous-entendu.
Point de vue algébrique : l'espace projectif E étant défini comme l'ensemble dont les points sont les droites vectorielles de l'espace vectoriel , les homologies projectives de E sont les homographies provenant des homologies vectorielles de ; en dimension finie, les homologies générales de rapport λ ont pour matrice homogène réduite et les homologies spéciales : .Homologie par perspective
Plongeons l'espace euclidien de dimension n comme hyperplan d'un espace de dimension n+1 et faisons tourner autour de son hyperplan , de façon à en obtenir une copie . Tout point de a une copie dans , donc aussi l'image de par une homologie projective de base et de centre du complété projectif de .
On montre que les droites joignant à passent par un point fixe , de sorte que l'application est la restriction d'une projection centrale de centre S.
On remarque que se trouve sur la droite passant par et orthogonale à l'hyperplan bissecteur de et .
Expression analytique
Dans le plan , l'homologie d'axe l'axe des abscisses, de centre , et de rapport s'exprime par les formules :
ce qui correspond aux formules en coordonnées homogènes :
et à la matrice homogène .
Figures homologiques
Deux figures sont dites homologiques si elles sont images l'une de l'autre par une homologie. Ceci constitue une généralisation de la notion de figures homothétiques.
Par exemple deux triangles (ABC) et (A'B'C') sont homologiques si, à permutation près, il existe une homologie envoyant A en A', B en B', C en C' ; cela équivaut à ce que les droites (AA'),(BB') et (CC') soient concourantes (au centre de l'homologie) ; et cela équivaut aussi à ce que les points d'intersection des droites (AB) et (A'B'), (BC) et (B'C'), (CA) et (C'A') appartiennent à un même hyperplan (la base de l'homologie). L'équivalence entre ces deux dernières propriétés constitue le théorème de Desargues.
Homologie biaxiale
Les homologies biaxiales sont les homographies en dimension 3 ayant deux droites non coplanaires formées de points fixes. Ce ne sont donc pas des homologies au sens général donné ici.
La construction de l'image M' d'un point M se fait simplement grâce à la propriété suivante : Si H et H' sont les uniques points respectifs de D et D' tels que H,H',M sont alignés, le birapport (H,H',M,M') est constant égal à λ ; la matrice homogène dans un repère projectif dont les deux premiers points sont sur D et les deux suivants sont sur D' est : .
Les homologies biaxiales peuvent être vues aussi comme les complétées projectives des affinités de base une droite.
Voir aussi
Wikimedia Foundation. 2010.