Transformation de Mobius

Transformation de Mobius

Transformation de Möbius

La transformation de Möbius ne doit pas être confondue avec la transformée de Möbius

Les transformations de Möbius sont de manière générale des automorphismes du compactifié d'Alexandrov de \mathbb{R}^n noté \hat{\mathbb{R}^n}, définies comme la composée d'un nombre fini d'inversions par rapport à des plans ou des sphères.

En particulier, si on identifie \hat\mathbb{R}^2 à \hat\mathbb C, alors on peut prouver que les transformations de Möbius conservant l'orientation sont de la forme:

M : z \rightarrow {az+b \over cz+d} avec a, b, c et d quatre complexes tels que ad - bc \neq 0

On étend alors cette fonction à \hat\mathbb C en posant :

M(- {d \over c}) = \infty et M(\infty) = {a \over c}.

Sommaire

Définition générale

Soit n\in\mathbb N, on se place dans \hat\mathbb R^n, et on définit alors les inversions de \hat\mathbb R^n par rapport à un plan ou à une sphère:

  • pour un hyperplan P(a,t)=\{x\in\mathbb R^n, (x\cdot a)=t\} (a\in \mathbb R^n, t\in \mathbb R), l'inversion par rapport à P(a,t) notée σP(a,t) est la réflexion par rapport à l'hyperplan P(a,t) et a pour expression:
\sigma_{P(a,t)}(x)=x-2((x\cdot a)-t)a/|a|^2 si x\in \mathbb R ^n
\sigma_{P(a,t)}(\infty)=\infty
  • pour une sphère S(a,r)=\{x\in \mathbb R^n, |x-a|=r\} (a\in \mathbb R^n, r\in \mathbb R^+) (, l'inversion par rapport à S(a,r) notée σS(a,r) s'exprime:
\sigma_{S(a,r)}(x)=a+\frac{(x-a)}{r^2|x-a|^2} si x\in \mathbb R ^n
\sigma_{S(a,r)}(\infty)=a et \sigma_{S(a,r)}(a)=\infty

On remarque que les inversions sont involutives: si σ est une inversion, σ2 = Id

De plus, ces inversions sont des homéomorphismes.

Définition: L'ensemble des transformations de Möbius, est le sous-groupe des homéorphismes de \hat\mathbb R^n généré par les inversions, c'est-à-dire l'ensemble des composées d'un nombre fini d'inversions. On le note souvent \mathcal GM (\hat\mathbb R^n).
Définition: Le groupe de Möbius \mathcal M (\hat{\mathbb R^n})est l'ensemble des transformations de Möbius qui préservent l'orientation. C'est un sous-groupe de \mathcal GM (\hat\mathbb R^n).

Exemples de transformations de Möbius

Les principaux exemples de transformations de Möbius sont:

  • Les translations (par composition de deux réflexions)
  • Les isométries de \mathbb R^n (par composition de n réflexions au plus)
  • Les homothéties 'par composition de deux inversions par rapport à des sphères puis d'une isométrie)

Une transformation de Möbius particulière est très utile en géométrie hyperbolique: l'inversion dans \mathbb R^{n+1} par rapport à la sphère S(e_{n+1},\sqrt 2), qui restreinte à \mathbb R^n correspond à la projection stéréographique de \mathbb R^n sur Sn = S(0,1) dans \mathbb R ^{n+1}. C'est en fait le difféomorphisme naturel entre \mathcal H_{n+1} et Bn + 1 = {x, | x | < 1}: il fait le pont entre deux points de vue pour la géométrie hyperbolique.

Propriétés générales

Dorénavant, on appelle sphère soit une sphère soit un plan (Beardon, The Geometry Of Discrete Groups). En remarquant que les inversions transforment les sphères en sphères, on obtient:

Propriété: Les transformations de Möbius transforment les sphères en sphères

ce qui constitue une de leurs caractéristiques fondamentales.

Le théorème suivant est tout aussi important:

Théorème: Soit Σ une sphère et φ une transformation de Möbius qui fixe chaque point de Σ. Alors soit φ est l'identité, soit φ est l'inversion par rapport à Σ.

Il permet notamment de montrer l'unicité de l' extension de Poincaré d'une transformation \phi\in\mathcal{GM}(\mathbb R^n): c'est l'unique élément \tilde\phi \in\mathcal{GM}(\mathbb R^n) qui conserve \mathcal H^{n+1}=\{x, x_{n+1}>0\} tel que \tilde\phi_{|\mathbb R^n}=\phi si l'on considère \mathbb R^n comme un sous ensemble de \mathbb R^{n+1} dont la n+1 ième coordonnée est nulle. Pour démontrer l'existence d'une telle extension, il suffit de la définir pour les inversions, l'extension d'une composée d'inversions étant alors la composée des extensions de ces inversions. Si a\in \mathbb R ^n, on note \tilde a l'élément de \mathbb R ^{n+1} dont les n premières coordonnées sont celles de a, la n+1 ième étant nulle. L'inversion par rapport à P(a,t) sera alors naturellement étendue en l'inversion par rapport à P(\tilde a,t), et de même \tilde\sigma_{S(a,r)}=\sigma_{S(\tilde a,r)}. On a la propriété remarquable suivante:

Propriété: L'extension de Poincaré de \phi\in\mathcal{GM}(\mathbb R^n) est une isométrie de \mathcal H ^{n+1} muni de la métrique hyperbolique \frac{dx}{x_{n+1}}.

Les transformations de Möbius du plan complexe

Forme générale

Les transformations de Möbius conservant l'orientation sont de la forme

g(z)={az+b \over cz+d} avec ad-bc\neq 0

Réciproquement une telle fonction est bien une transformation de Möbius par composition des fonctions suivantes (g= f_4\circ f_3\circ f_2\circ f_1):

  • f_1(z)= z+d/c \! (translation)
  • f_2(z)= 1/z \! (inversion par rapport à la sphère unité puis réflexion par rapport à la droite réelle)
  • f_3(z)= (- (ad-bc)/c^2) \cdot z \! (homothétie)
  • f_4(z)= z+a/c \! (translation)

Détermination d'une transformation de Möbius du plan

La résolution de g(z)=z montre qu'une transformation de Möbius est uniquement déterminée par l'image qu'elle donne de trois points distincts. Mieux, si z1,z2 et z3 sont des points tous distincts ainsi que w1,w2,w3, alors il existe une unique transformation de Möbius g\in\mathcal M(\hat C) telle que g(z1) = w1, g(z2) = w2 et g(z3) = w3.

Pour montrer l'existence de g, il suffit de "déplacer" les points en composant g avec d'autres transformations. La transformation de Möbius A(z)=\frac{(z-z_1)(z_2-z_3)}{(z-z_3)(z_2-z_1)} vérifie: A(z1) = 0, A(z2) = 1 et A(z_3)=\infty, et de même on peut construire B telle que B(w1) = 0, B(w2) = 1 et B(w_3)=\infty. Alors la transformation g = B − 1A répond à la question.

Représentation par des matrices

On remarque que à la matrice A=\begin{pmatrix} a & b \\ c & d \end{pmatrix} (ad-bc\ne 0) on peut faire correspondre la transformation de Möbius gA telle que g_A(z) = \frac{a z + b}{c z + d}. De plus un calcul algébrique trivial montre que: g_{AB}=g_A\circ g_B: on a ainsi un morphisme de groupe \phi:A\mapsto g_A entre \mathcal{G}l_2(\mathbb C) et M(\hat\mathbb C).

De plus, pour tout\lambda\in\mathbb C^*, gλA = gA, donc on en restreignant φ à \mathcal{S}l_2(\mathbb C) on a toujours une surjection dont le noyau est { − I2, + I2}. On a ainsi:

 \mathcal M(\hat\mathbb C)\cong\mathbb P\mathcal{S}l_2(\mathbb C)=\mathcal{S}l_2(\mathbb C)/\{-I_2,+I_2\}

Extension de Poincaré

Nous avons vu dans les propriétés générales que les transformations de Möbius admettent une extension de Poincaré. Nous allons l'expliciter dans le cas d'une transformation du plan complexe en considérant \mathbb R^3 comme le \mathbb Rsous espace vectoriel du corps des quaternions de base (1,i,j). Si on a g(z)=\frac{a z + b}{c z + d} alors son extension de Poincaré a pour expression, pour tout z\in\mathbb C, t\in \mathbb R^+_*:

\tilde g(z+tj)=\frac{(az+b)\overline{(cz+d)}+a\bar ct^2+|ad-bc|tj}{|cz+d|^2+|c|^2t^2}

Classification

En résolvant l'équation g(z) = z, on s'aperçoit qu'une transformation de Möbius du plan ne peut admettre que 1 ou 2 points fixes, ce qui pourrait être un critère de classification. Cependant, un critère plus précis est le nombre de points fixes de leur extension de Poincaré (1, 2 ou une infinité): si on définit les transformations normales mk, k\in Cpar

m_k:z\mapsto kz si z\ne 1
m_1:z\mapsto z+1

on s'aperçoit que chaque transformation de Möbius est conjuguée à une unique transformation normale mk, avec k = 1 ssi \tilde g possède 1 point fixe, |k|=1, k\ne 1 ssi \tilde g a 2 point fixe, et |k|\ne 1 ssi \tilde g a une infinité de points fixes. Enfin, la trace au carré d'un représentant A\in \mathbb P \mathcal Sl_2(\mathbb C) de g (qui est invariante par conjugaison et caractérise mk modulo les conjugaisons) permet elle aussi de caractériser le nombre de points fixes de \tilde g. On définit alors les termes de transformation loxodromique, parabolique ou elliptique, ce qui est résumé dans le tableau suivant:

Transformation Points fixes de \tilde g Trace au carré σ Forme normale Représentant
Parabolique 1 σ = 4 m1 \begin{pmatrix}1 & a \\ 0 & 1\end{pmatrix} z\mapsto z + a
Loxodromique 2 \sigma\in\mathbb C, \sigma \not\in [0,4] m_k, |k| \neq 1
k = λ2− 2
\begin{pmatrix}\lambda & 0 \\ 0 & \lambda^{-1}\end{pmatrix} z \mapsto k z
Elliptique \infty 0 \leq \sigma < 4 mk, | k | = 1,
k = e^{\pm i\theta} \neq 1
\begin{pmatrix}e^{i\theta/2} & 0 \\ 0 & e^{-i\theta/2}\end{pmatrix} z\mapsto e^{i\theta}z

On peut encore affiner cette classification dans le cas loxodromique: g sera hyperbolique si sa trace au carré est réelle, strictement loxodromique dans le cas contraire.

Projection stéréographique

La projection stéréographique envoie le plan complexe sur la sphère de Riemann, sur laquelle on aperçoit plus aisément l'action des transformations de Möbius, comme en témoignent les représentations suivantes.

Elliptique Hyperbolique Loxodromique
Un point fixe à l'infini Mob3d-elip-inf-200.png Mob3d-hyp-inf-200.png Mob3d-lox-inf-200.png
Points fixes diamétralement opposés Mob3d-elip-opp-200.png Mob3d-hyp-opp-200.png Mob3d-lox-opp-200.png
Points fixes arbitraires Mob3d-elip-arb-200.png Mob3d-hyp-arb-200.png Mob3d-lox-arb-200.png

Références

  • Alan F. Beardon, The Geometry of Discrete Groups, New York: Springer-Verlag, 1995 (ISBN 0-3879-0788-2) 

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Transformation de M%C3%B6bius ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Transformation de Mobius de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Transformation de möbius — La transformation de Möbius ne doit pas être confondue avec la transformée de Möbius Les transformations de Möbius sont de manière générale des automorphismes du compactifié d Alexandrov de noté , définies comme la composée d un nombre fini d… …   Wikipédia en Français

  • Transformation de Möbius —  Ne doit pas être confondu avec transformée de Möbius. En mathématiques, et plus particulièrement en géométrie, les transformations de Möbius sont de manière générale des automorphismes du compactifié d Alexandrov de noté , définies comme la …   Wikipédia en Français

  • Transformation d'Euler — Transformation binomiale En mathématiques, dans le domaine de l analyse combinatoire, la transformation binomiale est une suite d opérations transformant une suite en une autre, en calculant les différences entre les termes consécutifs. Cette… …   Wikipédia en Français

  • Möbius transformation — Math. a map of the complex plane to itself in which a point z is mapped to a point w by w = (az + b)/(cz + d), where a, b, c, and d are complex numbers and ad bc does not equal zero. Also called bilinear transformation, linear fractional… …   Universalium

  • Möbius transformation — Math. a map of the complex plane to itself in which a point z is mapped to a point w by w = (az + b)/(cz + d), where a, b, c, and d are complex numbers and ad bc does not equal zero. Also called …   Useful english dictionary

  • Transformation conforme — En mathématiques, et plus précisément en géométrie et en analyse complexe, une transformation conforme est une transformation qui conserve les angles. Une France conforme, et... anticonforme Sommaire 1 Cas du plan …   Wikipédia en Français

  • Transformation en W — Transformée en W Voir aussi Transformée en Z Transformation de Möbius …   Wikipédia en Français

  • Transformation en w — Transformée en W Voir aussi Transformée en Z Transformation de Möbius …   Wikipédia en Français

  • MÖBIUS (A. F.) — MÖBIUS AUGUST FERDINAND (1790 1868) Mathématicien et astronome allemand né à Schulpforta et mort à Leipzig. August Ferdinand Möbius fit ses études à Leipzig, à Göttingen (sous la direction de K. F. Gauss) et à Halle. En 1815, il devint professeur …   Encyclopédie Universelle

  • Möbius transformation — Not to be confused with Möbius transform or Möbius function. In geometry, a Möbius transformation of the plane is a rational function of the form of one complex variable z; here the coefficients a, b, c, d are complex numbers satisfying ad − …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”