Fonction homographique (encyclopédie mathématiques)

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Pour les articles homonymes, voir homographie.

En mathématiques, une fonction homographique est une fonction qui peut être représentée sous la forme d'un quotient de deux fonctions polynômes du premier degré. Ce qui se généralise par toute fonction d'un corps commutatif $\mathbb{K}$ dans lui-même définie par :

$f(x) = \frac{ax+b}{cx + d}$

où a, b, c et d sont des éléments de $\mathbb{K}$ et $a \cdot d - b \cdot c \neq 0$ . Par exemple $\mathbb{K} = \mathbb{R}$ ou $\mathbb{K} = \mathbb{C}$ .

Dans le cas où $a \cdot d - b \cdot c = 0$ , la fonction devient constante égale à $f(x) = \frac{a}{c}$ , car
$f(x) = \frac{a \cdot (x + b/a)}{c \cdot (x + d/c)} = \frac{a \cdot (x + b/a)}{c \cdot (x + b/a)} = \frac{a}{c}$ .

Il arrive que la condition " c non nul " soit ajoutée^{[réf. souhaitée]} ; dans ce cas on perd la structure de groupe de l'ensemble des fonctions homographiques muni de la composition d'applications.

Cette fonction détermine une bijection de $\mathbb{K} -\left \{ -\frac{d}{c} \right \}$ dans $\mathbb{K} -\left \{ \frac{a}{c} \right \}$ .

Sa réciproque est

$f^{-1}(x) = - \frac{dx - b}{cx - a}$

Le nom provient de ce que si on rajoute à $\mathbb{K}$ un point à l'infini $\omega\,$ de sorte à en faire une droite projective, et si l'on prolonge $f\,$ par $f(-d/c)=\omega\,$ , et $f(\omega)=a/c\,$ , on obtient une homographie de $\hat{\mathbb K}$ . Et les homographies (plus celles du plan que celles de la droite il est vrai) transforment un graphique en un graphique ayant des homologies avec celui de départ...

Dans le cas réel ou complexe, Sa dérivée est

$f'(x) = \frac{\begin{vmatrix} a & b \\ c & d \end{vmatrix} }{(cx+d)^2}$

où $\begin{vmatrix} a & b \\ c & d \end{vmatrix} = ad - bc$ est le déterminant de $\begin{bmatrix} a & b \\ c & d \end{bmatrix}$

Dans le cas où "c est non nul", sa représentation graphique dans le cas réel est une hyperbole qui se déduit de l'hyperbole d'équation y = 1/x par une translation et une affinité.

Sommaire

[modifier] Dans le plan complexe

À chaque fonction homographique complexe, on peut associer une fonction ponctuelle F qui, au point M d'affixe z, associe le point M' d'affixe f(z).

On peut distinguer les cas suivants

si c = 0 alors F est une similitude directe
si c est non nul, on peut prouver que F est la composée d'une inversion et de similitudes

La fonction F conserve le birapport de 4 points distincts alignés.

[modifier] Propriété géométriques des coniques

Une fonction homographique peut servir à tracer une conique. Pour cela il suffit de prendre deux tangentes à cette conique, sur la première tangente prendre un point X de coordonnée x, de faire une transformation homographique y=f(x) avec les paramètres (a, b c et d) judicieusement choisis et de placer sur la deuxième tangente le point Y de coordonnée y. La droite (XY) sera tangente à la conique, mais on ignore la position du point de contact sur cette droite. Exemple: Construction d'une parabole tangente par tangente. De même on peut tracer une conique point à point en faisant subir une fonction homographique aux coordonnées de deux faisceaux de droites. Exemple: Construction d'un cercle point par point.

[modifier] Propriétés algébriques

Les fonctions homographiques se composent comme des matrices en coordonnées homogènes : si $f(x) = \frac{ax+b}{cx + d}, g(x)=\frac{a' x+b'}{c'x + d'}$ alors $f(g(x))=\frac{a''x+b''}{c''x + d''}$ où $\begin{bmatrix}a & b \\ c & d \end{bmatrix} \begin{bmatrix}a' & b' \\ c' & d' \end{bmatrix} = \begin{bmatrix}a'' & b'' \\ c'' & d''\end{bmatrix}$ .

Plus précisément on a ainsi une représentation du groupe $SL_2( \mathbb{K})$ dans celui des fonctions homographiques (à un problème de définition près au point $-d/c\,$ ), dont le noyau est le centre de $SL_2( \mathbb{K})$ .

[modifier] Articles connexes

Transformation de Möbius
Voir plus généralement la page sur les applications projectives

Fonction homographique

Sommaire

[modifier] Dans le plan complexe

[modifier] Propriété géométriques des coniques

[modifier] Propriétés algébriques

[modifier] Articles connexes

Rechercher

Menu

Espace membre

Changer d'île