Aller au contenu
Wikipédia l'encyclopédie libre

Application projective

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, une application projective est une application entre deux espaces projectifs qui préserve la structure projective, c'est-à-dire qui envoie les droites, plans, espaces... en des droites, plans, espaces.

Une application projective bijective s'appelle une homographie.

➪
Transformation d'un graphique par homographie

Définition et premières propriétés

[modifier | modifier le code ]

Rappelons que la définition moderne d'un espace projectif E {\displaystyle E,円} {\displaystyle E,円} est d'être un ensemble dont les points sont les droites vectorielles d'un K {\displaystyle \mathbb {K} } {\displaystyle \mathbb {K} }-espace vectoriel E → {\displaystyle {\vec {E}}} {\displaystyle {\vec {E}}}. Une application f {\displaystyle f,円} {\displaystyle f,円} d'un espace projectif E {\displaystyle E,円} {\displaystyle E,円} vers un espace projectif E ′ {\displaystyle E',円} {\displaystyle E',円} est dite projective s'il existe une application linéaire f → {\displaystyle {\vec {f}}} {\displaystyle {\vec {f}}} injective de E → {\displaystyle {\vec {E}}} {\displaystyle {\vec {E}}} vers E → ′ {\displaystyle {\vec {E}}'} {\displaystyle {\vec {E}}'} telle que pour tout point M {\displaystyle M,円} {\displaystyle M,円} de E {\displaystyle E,円} {\displaystyle E,円} (qui est aussi une droite de E → {\displaystyle {\vec {E}}} {\displaystyle {\vec {E}}}), f ( M ) = f → ( M ) {\displaystyle f(M)={\vec {f}}(M)} {\displaystyle f(M)={\vec {f}}(M)}. L'application linéaire f → {\displaystyle {\vec {f}}} {\displaystyle {\vec {f}}}, qui est définie à une constante multiplicative près, est appelée l'application homogène associée à f {\displaystyle f,円} {\displaystyle f,円} (et f {\displaystyle f,円} {\displaystyle f,円} est dite induite par f → {\displaystyle {\vec {f}}} {\displaystyle {\vec {f}}}). On dit aussi[1] que f {\displaystyle f} {\displaystyle f} est obtenue à partir de f → {\displaystyle {\vec {f}}} {\displaystyle {\vec {f}}} par passage au quotient.

On peut généraliser au cas d'une application f → {\displaystyle {\vec {f}}} {\displaystyle {\vec {f}}} non injective, mais alors l'application projective n'est plus définie que sur E ∖ C {\displaystyle E\backslash C} {\displaystyle E\backslash C} où C = π ( ker ⁡ f → ∖ { 0 → } ) {\displaystyle C=\pi \left(\ker {\vec {f}}\backslash \{{\vec {0}}\}\right)} {\displaystyle C=\pi \left(\ker {\vec {f}}\backslash \{{\vec {0}}\}\right)}. Ici, π {\displaystyle \pi } {\displaystyle \pi } représente la projection canonique de E → ∖ { 0 → } {\displaystyle {\vec {E}}\backslash \{{\vec {0}}\}} {\displaystyle {\vec {E}}\backslash \{{\vec {0}}\}} sur E {\displaystyle E} {\displaystyle E} et ker ⁡ ( f → ) {\displaystyle \ker({\vec {f}})} {\displaystyle \ker({\vec {f}})} le noyau de f → {\displaystyle {\vec {f}}} {\displaystyle {\vec {f}}}. On parle alors[2] d'application projective de E {\displaystyle E} {\displaystyle E} dans F {\displaystyle F} {\displaystyle F} de centre C {\displaystyle C} {\displaystyle C}.

Si E {\displaystyle E,円} {\displaystyle E,円} est de dimension n {\displaystyle n,円} {\displaystyle n,円}, une application projective est entièrement déterminée par la donnée de n + 2 {\displaystyle n+2,円} {\displaystyle n+2,円} points formant un repère projectif et de leurs images.

Les applications projectives transforment un sous-espace projectif en un sous-espace projectif, et conservent le birapport de 4 points alignés distincts.

Dans le cas E = E ′ {\displaystyle E=E',円} {\displaystyle E=E',円}, les points fixes de f {\displaystyle f,円} {\displaystyle f,円} ne sont autres que les droites de E → {\displaystyle {\vec {E}}} {\displaystyle {\vec {E}}} dirigées par un vecteur propre de f → {\displaystyle {\vec {f}}} {\displaystyle {\vec {f}}} associé à une valeur propre non nulle.

Les applications projectives bijectives sont appelées des transformations projectives, ou homographiques, ou encore des homographies. Les homographies d'un espace projectif dans lui-même forment un groupe, appelé le groupe projectif de E {\displaystyle E,円} {\displaystyle E,円}, noté G P ( E ) {\displaystyle GP(E),円} {\displaystyle GP(E),円} ; ce groupe, noté également P G L ( E → ) {\displaystyle PGL({\vec {E}}),円} {\displaystyle PGL({\vec {E}}),円}, est isomorphe au quotient du groupe linéaire G L ( E → ) {\displaystyle GL({\vec {E}}),円} {\displaystyle GL({\vec {E}}),円} par le sous-groupe des homothéties.

Une classe importante d'homographies est constituée par les homologies, ayant un hyperplan de points fixes, qui engendrent le groupe projectif en dimension finie.

Exemple des projections

[modifier | modifier le code ]
Étant donné un hyperplan H {\displaystyle H,円} {\displaystyle H,円} de l'espace projectif E {\displaystyle E,円} {\displaystyle E,円} et un point S {\displaystyle S,円} {\displaystyle S,円} n'appartenant pas à H {\displaystyle H,円} {\displaystyle H,円} la projection (ou perspective) de centre S {\displaystyle S,円} {\displaystyle S,円} et de base H {\displaystyle H,円} {\displaystyle H,円} est l'application qui à tout point M {\displaystyle M,円} {\displaystyle M,円} différent de S {\displaystyle S,円} {\displaystyle S,円} fait correspondre le point d'intersection de la droite ( S M ) {\displaystyle (SM),円} {\displaystyle (SM),円} avec H {\displaystyle H,円} {\displaystyle H,円} ; c'est une application projective, car elle est induite par la projection vectorielle de base H → {\displaystyle {\vec {H}},円} {\displaystyle {\vec {H}},円} (qui est un hyperplan de E → {\displaystyle {\vec {E}},円} {\displaystyle {\vec {E}},円}) et de direction S {\displaystyle S,円} {\displaystyle S,円} (qui est une droite de E → {\displaystyle {\vec {E}},円} {\displaystyle {\vec {E}},円}).
Plus généralement, si F {\displaystyle F,円} {\displaystyle F,円} et G {\displaystyle G,円} {\displaystyle G,円} sont deux sous-espaces projectifs supplémentaires de E {\displaystyle E,円} {\displaystyle E,円} (c'est-à-dire F → + G → = E → {\displaystyle {\vec {F}}+{\vec {G}}={\vec {E}},円} {\displaystyle {\vec {F}}+{\vec {G}}={\vec {E}},円}), la projection de sous-espace central G {\displaystyle G,円} {\displaystyle G,円} et de base F {\displaystyle F,円} {\displaystyle F,円} est l'application qui à tout point M {\displaystyle M,円} {\displaystyle M,円} n'appartenant pas à G {\displaystyle G,円} {\displaystyle G,円} fait correspondre le point d'intersection du sous-espace projectif engendré par G {\displaystyle G,円} {\displaystyle G,円} et M {\displaystyle M,円} {\displaystyle M,円} avec F {\displaystyle F,円} {\displaystyle F,円}. En dimension 3 par exemple, si D 1 {\displaystyle D_{1},円} {\displaystyle D_{1},円} et D 2 {\displaystyle D_{2},円} {\displaystyle D_{2},円} sont deux droites non coplanaires on peut définir la projection de droite centrale D 1 {\displaystyle D_{1},円} {\displaystyle D_{1},円} et de base D 2 {\displaystyle D_{2},円} {\displaystyle D_{2},円}.

Expression analytique des applications projectives

[modifier | modifier le code ]

Nous rapportons les espaces projectifs E {\displaystyle E,円} {\displaystyle E,円} et E ′ {\displaystyle E',円} {\displaystyle E',円} à des repères projectifs R = ( A 1 , . . . , A n + 1 , Ω ) {\displaystyle R=(A_{1},...,A_{n+1},\Omega ),円} {\displaystyle R=(A_{1},...,A_{n+1},\Omega ),円} et R ′ = ( A 1 ′ , . . . , A n + 1 ′ , Ω ′ ) {\displaystyle R'=(A'_{1},...,A'_{n+1},\Omega '),円} {\displaystyle R'=(A'_{1},...,A'_{n+1},\Omega '),円} ; pour R {\displaystyle R,円} {\displaystyle R,円}, il existe une unique base de E → : B = ( e → 1 , . . . , e → n + 1 ) {\displaystyle {\vec {E}}:B=({\vec {e}}_{1},...,{\vec {e}}_{n+1})} {\displaystyle {\vec {E}}:B=({\vec {e}}_{1},...,{\vec {e}}_{n+1})} telle que e → i {\displaystyle {\vec {e}}_{i}} {\displaystyle {\vec {e}}_{i}} dirige A i {\displaystyle A_{i},円} {\displaystyle A_{i},円} et e → 1 + . . . + e → n + 1 {\displaystyle {\vec {e}}_{1}+...+{\vec {e}}_{n+1}} {\displaystyle {\vec {e}}_{1}+...+{\vec {e}}_{n+1}} dirige Ω {\displaystyle \Omega ,円} {\displaystyle \Omega ,円} (idem pour R ′ {\displaystyle R',円} {\displaystyle R',円}).

La matrice homogène de f {\displaystyle f,円} {\displaystyle f,円} dans R {\displaystyle R,円} {\displaystyle R,円} et R ′ {\displaystyle R',円} {\displaystyle R',円} est la matrice A = ( a i j ) {\displaystyle A=(a_{ij}),円} {\displaystyle A=(a_{ij}),円} de f → {\displaystyle {\vec {f}}} {\displaystyle {\vec {f}}} dans B {\displaystyle B,円} {\displaystyle B,円} et B ′ {\displaystyle B',円} {\displaystyle B',円}.

Si l'on envoie à l'infini l'hyperplan passant par A 1 , . . . , A n + 1 {\displaystyle A_{1},...,A_{n+1},円} {\displaystyle A_{1},...,A_{n+1},円}, l'espace affine E ˇ {\displaystyle {\check {E}}} {\displaystyle {\check {E}}} obtenu s'identifie à l'hyperplan X n + 1 = 1 {\displaystyle X_{n+1}=1,円} {\displaystyle X_{n+1}=1,円} de E → {\displaystyle {\vec {E}}} {\displaystyle {\vec {E}}} et on rapporte E ˇ {\displaystyle {\check {E}}} {\displaystyle {\check {E}}} au repère R ˇ = ( X n + 1 , e → 1 , . . . , e → n ) {\displaystyle {\check {R}}=(X_{n+1},{\vec {e}}_{1},...,{\vec {e}}_{n})} {\displaystyle {\check {R}}=(X_{n+1},{\vec {e}}_{1},...,{\vec {e}}_{n})} ; les coordonnées affines ( x 1 , . . . , x n ) {\displaystyle (x_{1},...,x_{n}),円} {\displaystyle (x_{1},...,x_{n}),円} d'un point M {\displaystyle M,円} {\displaystyle M,円} dans R ˇ {\displaystyle {\check {R}}} {\displaystyle {\check {R}}} et ses coordonnées homogènes ( X 1 , . . . , X n + 1 ) {\displaystyle (X_{1},...,X_{n+1}),円} {\displaystyle (X_{1},...,X_{n+1}),円} sont reliées par les relations x i = X i / X n + 1 {\displaystyle x_{i}=X_{i}/X_{n+1},円} {\displaystyle x_{i}=X_{i}/X_{n+1},円}. Si l'on fait de même dans E ′ {\displaystyle E',円} {\displaystyle E',円}, l'expression analytique homogène de f {\displaystyle f,円} {\displaystyle f,円} est donnée par les formules :

X i ′ = ∑ j = 1 n + 1 a i j X j {\displaystyle X'_{i}=\sum _{j=1}^{n+1}{a_{ij}X_{j}}} {\displaystyle X'_{i}=\sum _{j=1}^{n+1}{a_{ij}X_{j}}}

, et son expression analytique affine par les formules

x i ′ = ∑ j = 1 n a i j x j + a i , n + 1 ∑ j = 1 n ( a n + 1 , j ) x j + a n + 1 , n + 1 {\displaystyle x'_{i}={\sum _{j=1}^{n}{a_{ij}x_{j}}+a_{i,n+1} \over \sum _{j=1}^{n}{(a_{n+1,j})x_{j}}+a_{n+1,n+1}}} {\displaystyle x'_{i}={\sum _{j=1}^{n}{a_{ij}x_{j}}+a_{i,n+1} \over \sum _{j=1}^{n}{(a_{n+1,j})x_{j}}+a_{n+1,n+1}}}

Les applications projectives sont donc définies analytiquement comme des quotients de formes affines par une même forme affine.

Homographies de la droite

[modifier | modifier le code ]

Une bijection d'une droite projective dans elle-même est une homographie si et seulement si elle conserve le birapport. Donc si ( A , B , C ) {\displaystyle (A,B,C)} {\displaystyle (A,B,C)} et ( A ′ , B ′ , C ′ ) {\displaystyle (A',B',C')} {\displaystyle (A',B',C')} sont deux triplets de points distincts de la droite, l'unique homographie qui transforme ( A , B , C ) {\displaystyle (A,B,C)} {\displaystyle (A,B,C)} en ( A ′ , B ′ , C ′ ) {\displaystyle (A',B',C')} {\displaystyle (A',B',C')} est définie par

( A ′ , B ′ , C ′ , M ′ ) = ( A , B , C , M ) . {\displaystyle (A',B',C',M')=(A,B,C,M).} {\displaystyle (A',B',C',M')=(A,B,C,M).}

On rapporte la droite projective à un repère projectif ( X ∞ , O , I ) {\displaystyle (X_{\infty },O,I)} {\displaystyle (X_{\infty },O,I)}, et rapportons au repère ( O , I ) {\displaystyle (O,I),円} {\displaystyle (O,I),円} la droite affine obtenue en envoyant à l'infini le point X ∞ {\displaystyle X_{\infty }} {\displaystyle X_{\infty }} ; les coordonnées des différents points sont données dans le tableau :

Points X ∞ {\displaystyle X_{\infty }} {\displaystyle X_{\infty }} O {\displaystyle O} {\displaystyle O} I {\displaystyle I} {\displaystyle I} G {\displaystyle G} {\displaystyle G}
Coordonnées homogènes (1,0) (0,1) (1,1) (1,2)
Coordonnée affine ∞ {\displaystyle \infty } {\displaystyle \infty } 0 1 1/2

La classification des homographies de la droite provient de celle des matrices d'ordre 2 ; dans le cas où le polynôme caractéristique de l'application homogène est scindé (donc par exemple en géométrie complexe), il n'y a que deux possibilités, suivant que ce polynôme est à racines simples ou a une racine double :

Matrice homogène réduite dans un repère projectif ( A , B , Ω ) {\displaystyle (A,B,\Omega )} {\displaystyle (A,B,\Omega )} Points fixes cas A = X ∞ , B = 0 , Ω = I {\displaystyle A=X_{\infty },B=0,\Omega =I,円} {\displaystyle A=X_{\infty },B=0,\Omega =I,円} expression analytique dans ce cas cas A = I , B = O , Ω = G {\displaystyle A=I,B=O,\Omega =G,円} {\displaystyle A=I,B=O,\Omega =G,円}
[ a 1 ] {\displaystyle {\begin{bmatrix}a&\\&1\end{bmatrix}}} {\displaystyle {\begin{bmatrix}a&\\&1\end{bmatrix}}} A {\displaystyle A} {\displaystyle A} et B {\displaystyle B} {\displaystyle B}
Homologie spéciale de base A {\displaystyle A} {\displaystyle A} et de centre B {\displaystyle B} {\displaystyle B} (ou l'inverse) 		Homothétie de rapport a {\displaystyle a} {\displaystyle a} x ′ = a x {\displaystyle x'=ax,円} {\displaystyle x'=ax,円} x ′ = a x ( a − 1 ) x + 1 {\displaystyle x'={\frac {ax}{(a-1)x+1}}} {\displaystyle x'={\frac {ax}{(a-1)x+1}}}
Homographie à deux points fixes O {\displaystyle O} {\displaystyle O} et I {\displaystyle I} {\displaystyle I}
[ 1 1 1 ] {\displaystyle {\begin{bmatrix}1&1\\&1\end{bmatrix}}} {\displaystyle {\begin{bmatrix}1&1\\&1\end{bmatrix}}} A {\displaystyle A} {\displaystyle A}
Homologie spéciale de base A et centre B 		Translation de vecteur O I → {\displaystyle {\overrightarrow {OI}}} {\displaystyle {\overrightarrow {OI}}}. x ′ = x + 1 {\displaystyle x'=x+1,円} {\displaystyle x'=x+1,円} x ′ = 1 2 − x , {\displaystyle x'={\frac {1}{2-x}},} {\displaystyle x'={\frac {1}{2-x}},}
Homographie à un point fixe I {\displaystyle I} {\displaystyle I}

Dans le cas réel, les homographies à 2, 1 et 0 points fixes (correspondant à un discriminant de polynôme caractéristique >0, =0 ou <0) sont dites hyperboliques, parabolique, ou elliptiques.

Dans le cas complexe, les homographies de la droite projective complexe, qui est un plan réel adjoint d'un point à l'infini, et les homographies composées avec les réflexions (appelées antihomographies) forment exactement les transformations circulaires.

Homographies du plan

[modifier | modifier le code ]

Nous rapportons le plan projectif à un repère projectif ( X ∞ , Y ∞ , O , K ) {\displaystyle (X_{\infty },Y_{\infty },O,K)} {\displaystyle (X_{\infty },Y_{\infty },O,K)}, et rapportons à un repère ( O , I , J ) {\displaystyle (O,I,J),円} {\displaystyle (O,I,J),円} le plan affine obtenu en envoyant à l'infini la droite ( X ∞ , Y ∞ ) {\displaystyle (X_{\infty },Y_{\infty })} {\displaystyle (X_{\infty },Y_{\infty })} ; les coordonnées des différents points sont données dans le tableau :

Points X ∞ {\displaystyle X_{\infty }} {\displaystyle X_{\infty }} Y ∞ {\displaystyle Y_{\infty }} {\displaystyle Y_{\infty }} O {\displaystyle O} {\displaystyle O} I {\displaystyle I} {\displaystyle I} J {\displaystyle J} {\displaystyle J} K {\displaystyle K} {\displaystyle K} G {\displaystyle G} {\displaystyle G}
Coordonnées homogènes (1,0,0) (0,1,0) (0,0,1) (1,0,1) (0,1,1) (1,1,1) (1,1,3)
Coordonnées affines ( ∞ {\displaystyle \infty } {\displaystyle \infty },0) (0, ∞ {\displaystyle \infty } {\displaystyle \infty }) (0,0) (1,0) (0,1) (1,1) (1/3,1/3)

La classification des homographies provient de celle des matrices d'ordre 3 ; pour les cas où le polynôme caractéristique de l'application homogène est scindé, on obtient :

Matrice homogène réduite dans un repère projectif ( A , B , C , Ω ) {\displaystyle (A,B,C,\Omega )} {\displaystyle (A,B,C,\Omega )} Points fixes et droites stables Cas A = X ∞ , B = X ∞ , C = 0 , Ω = K {\displaystyle A=X_{\infty },B=X_{\infty },C=0,\Omega =K,円} {\displaystyle A=X_{\infty },B=X_{\infty },C=0,\Omega =K,円} Expressions analytiques dans ce cas Cas A = I , B = J , C = O , Ω = G {\displaystyle A=I,B=J,C=O,\Omega =G,円} {\displaystyle A=I,B=J,C=O,\Omega =G,円}
[ a b 1 ] {\displaystyle {\begin{bmatrix}a&&\\&b&\\&&1\end{bmatrix}}} {\displaystyle {\begin{bmatrix}a&&\\&b&\\&&1\end{bmatrix}}} Biaffinité de rapport a {\displaystyle a} {\displaystyle a} suivant O x {\displaystyle Ox} {\displaystyle Ox}, et de rapport b {\displaystyle b} {\displaystyle b} suivant O y {\displaystyle Oy} {\displaystyle Oy} x ′ = a x y ′ = b y {\displaystyle {\begin{aligned}x'&=ax\\y'&=by\end{aligned}}} {\displaystyle {\begin{aligned}x'&=ax\\y'&=by\end{aligned}}} x ′ = a x ( a − 1 ) x + ( b − 1 ) y + 1 y ′ = b y ( a − 1 ) x + ( b − 1 ) y + 1 {\displaystyle {\begin{aligned}x'&={\frac {ax}{(a-1)x+(b-1)y+1}}\\y'&={by \over (a-1)x+(b-1)y+1}\end{aligned}}} {\displaystyle {\begin{aligned}x'&={\frac {ax}{(a-1)x+(b-1)y+1}}\\y'&={by \over (a-1)x+(b-1)y+1}\end{aligned}}}
[ a a 1 ] {\displaystyle {\begin{bmatrix}a&&\\&a&\\&&1\end{bmatrix}}} {\displaystyle {\begin{bmatrix}a&&\\&a&\\&&1\end{bmatrix}}}
La droite ( A B ) {\displaystyle (AB)} {\displaystyle (AB)} est formée de points fixes, C {\displaystyle C} {\displaystyle C} est fixe et les droites passant par C {\displaystyle C} {\displaystyle C} sont stables. 		Homothétie de rapport a {\displaystyle a} {\displaystyle a} et de centre O {\displaystyle O} {\displaystyle O} x ′ = a x y ′ = a y {\displaystyle {\begin{aligned}x'&=ax\\y'&=ay\end{aligned}}} {\displaystyle {\begin{aligned}x'&=ax\\y'&=ay\end{aligned}}} x ′ = a x ( a − 1 ) ( x + y ) + 1 y ′ = a y ( a − 1 ) ( x + y ) + 1 {\displaystyle {\begin{aligned}x'&={\frac {ax}{(a-1)(x+y)+1}}\\y'&={ay \over (a-1)(x+y)+1}\end{aligned}}} {\displaystyle {\begin{aligned}x'&={\frac {ax}{(a-1)(x+y)+1}}\\y'&={ay \over (a-1)(x+y)+1}\end{aligned}}}
Homologie générale de centre O {\displaystyle O} {\displaystyle O}, de base ( I J ) {\displaystyle (IJ)} {\displaystyle (IJ)} et de rapport a {\displaystyle a} {\displaystyle a}.
[ 1 1 1 1 ] {\displaystyle {\begin{bmatrix}1&&\\&1&1\\&&1\end{bmatrix}}} {\displaystyle {\begin{bmatrix}1&&\\&1&1\\&&1\end{bmatrix}}} La droite ( A B ) {\displaystyle (AB)} {\displaystyle (AB)} est formée de points fixes et les droites passant par A {\displaystyle A} {\displaystyle A} sont stables Translation de vecteur j → {\displaystyle {\vec {j}}} {\displaystyle {\vec {j}}}. x ′ = x y ′ = y + 1 {\displaystyle {\begin{aligned}x'&=x\\y'&=y+1\end{aligned}}} {\displaystyle {\begin{aligned}x'&=x\\y'&=y+1\end{aligned}}} x ′ = x 2 − x − y y ′ = 1 − x 2 − x − y {\displaystyle {\begin{aligned}x'&={x \over 2-x-y}\\y'&={1-x \over 2-x-y}\end{aligned}}} {\displaystyle {\begin{aligned}x'&={x \over 2-x-y}\\y'&={1-x \over 2-x-y}\end{aligned}}}
Homologie spéciale de centre I {\displaystyle I} {\displaystyle I} et de base ( I J ) {\displaystyle (IJ)} {\displaystyle (IJ)}
[ a 1 1 1 ] {\displaystyle {\begin{bmatrix}a&&\\&1&1\\&&1\end{bmatrix}}} {\displaystyle {\begin{bmatrix}a&&\\&1&1\\&&1\end{bmatrix}}} A {\displaystyle A} {\displaystyle A} et B {\displaystyle B} {\displaystyle B} sont fixes, et les droites ( A B ) {\displaystyle (AB)} {\displaystyle (AB)} et ( B C ) {\displaystyle (BC)} {\displaystyle (BC)} sont fixes. Dilatation de rapport a {\displaystyle a} {\displaystyle a} suivant O x {\displaystyle Ox} {\displaystyle Ox} et translation de vecteur j → {\displaystyle {\vec {j}}} {\displaystyle {\vec {j}}} . x ′ = a x y ′ = y + 1 {\displaystyle {\begin{aligned}x'&=ax\\y'&=y+1\end{aligned}}} {\displaystyle {\begin{aligned}x'&=ax\\y'&=y+1\end{aligned}}}
[ 1 1 1 1 1 ] {\displaystyle {\begin{bmatrix}1&1&\\&1&1\\&&1\end{bmatrix}}} {\displaystyle {\begin{bmatrix}1&1&\\&1&1\\&&1\end{bmatrix}}} A {\displaystyle A} {\displaystyle A} est fixe et la droite ( A B ) {\displaystyle (AB)} {\displaystyle (AB)} est invariante Transvection suivant O x {\displaystyle Ox} {\displaystyle Ox} et translation suivant O y {\displaystyle Oy} {\displaystyle Oy} x ′ = x + y y ′ = y + 1 {\displaystyle {\begin{aligned}x'&=x+y\\y'&=y+1\end{aligned}}} {\displaystyle {\begin{aligned}x'&=x+y\\y'&=y+1\end{aligned}}}

On peut remarquer qu'il y a toujours autant de points fixes que de droites stables. Plus généralement, on montre que pour toute homographie, il existe une dualité (bijection entre les points et les droites du plan inversant les appartenances) induisant une bijection entre ses points fixes et ses droites stables.

Caractérisation géométrique des homographies

[modifier | modifier le code ]

On suppose dans ce paragraphe que K = R {\displaystyle \mathbb {K} =\mathbb {R} } {\displaystyle \mathbb {K} =\mathbb {R} } et que les espaces sont de dimension finie.

Théorème — En dimension ⩾ 2 {\displaystyle \geqslant 2} {\displaystyle \geqslant 2}, les homographies d'un espace projectif dans lui-même sont les bijections transformant une droite en une droite, ou mieux, transformant trois points alignés en trois points alignés.

Ceci constitue le théorème fondamental de la géométrie projective, se déduisant du théorème fondamental de la géométrie affine. Il est remarquable qu'il n'y ait pas besoin de préciser la conservation du birapport dans cette caractérisation.

Bibliographie

[modifier | modifier le code ]
  • Jean-Denis Eiden, Géométrie analytique classique, Calvage & Mounet, 2009, (ISBN 978-2-91-635208-4)
  • Méthodes modernes en géométrie de Jean Fresnel
  • Bruno Ingrao, Coniques affines, euclidiennes et projectives, C&M, (ISBN 978-2-916352-12-1)
  • Jean-Claude Sidler, Géométrie projective, Dunod, 2000 (2e édition) (ISBN 2-10-005234-9)
  • Alain Bigard, Géométrie, Masson, 1998
  • Yves Ladegaillerie, Géométrie, Ellipses, 2003

Notes et références

[modifier | modifier le code ]
  1. ↑ Alfred Doneddu, mathématiques supérieures et spéciales, compléments de géométrie algébrique, Dunod, , 348 p., p. 45
  2. ↑ Patrick Tauvel, Géométrie : Agrégation - 2e cycle/Master, Dunod, coll. « Sciences Sup », , 2e éd. (ISBN 2-10-049413-9), p. 180.

AltStyle によって変換されたページ (->オリジナル) /