14.5: On Inversive Transformations
- Page ID
- 23672
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Recall that the inversive plane is the Euclidean plane with an added point at infinity, denoted by \(\infty\). We assume that every line passes thru \(\infty\). Recall that the term circline stands for circle or line.
An inversive transformation is a bijection from the inversive plane to itself that sends circlines to circlines. Inversive geometry studies the circline incidence structure of the inversive plane (it sees which points lie on which circlines and nothing else).
A map from the inversive plane to itself is an inversive transformation if and only if it can be presented as a composition of inversions and reflections.
Exercise 18.8.3 gives another description of inversive transformations by means of complex coordinates.
- Proof
-
Evidently, reflection is an inversive transformation — it maps lines to lines and circles to circles. According to Theorem 10.3.1, any inversion is an inversive transformation as well. Therefore, the same holds for any composition of inversions and reflections.
To prove the converse, fix an inversive transformation \(\alpha\).
Assume \(\alpha(\infty)=\infty\). Recall that any circline passing thru \(\infty\) is a line. If follows that \(\alpha\) maps lines to lines; that is, \(\alpha\) is an affine transformation that also maps circles to circles.
Note that any motion or scaling (defined in Exercise 14.1.2b) are affine transformations that map circles to circles. Composing \(\alpha\) with motions and scalings, we can obtain another affine transformation \(\alpha'\) that maps a given unit circle \(\Gamma\) to itself. By Exercise 14.2.3, \(\alpha'\) fixes the center, say \(O\), of the circle \(\Gamma\).
Set \(P'=\alpha'(P)\). It follows that if \(OP=1\), then \(OP'=1\). By Proposition 14.3.1, \(OP=OP'\) for any point \(P\). Finally, by Exercise 14.3.1, we have that if \(\overrightarrow{XY} = \overrightarrow{OP}\), then \(\overrightarrow{X'Y'}=\overrightarrow{O'P'}\). It follows that \(XY=X'Y'\) for any points \(X\) and \(Y\); that is, \(\alpha'\) is a motion.
Summarizing the discussion above, \(\alpha\) is a composition of motions and scalings. Observe that any scaling is a composition of two inversions in concentric circles. Recall that any motion is a composition of reflections (see Exercise 5.4.1). Whence \(\alpha\) is a composition of inversions and reflections.
In the remaining case \(\alpha(\infty) \ne \infty\), set \(P=\alpha(\infty)\). Consider an inversion \(\beta\) in a circle with center at \(P\) and set \(\gamma=\beta \circ \alpha\). Note that \(\beta(P)=\infty\); therefore, \(\gamma(\infty)=\infty\). Since \(\alpha\) and \(\beta\) are inversive, so is \(\gamma\). From above we get that \(\gamma\) is a composition of reflections and inversions. Since \(\beta\) is self-inverse, we get \(\alpha= \beta \circ \gamma\); therefore \(\alpha\) is a composition of reflections and inversions as well.
Show that inversive transformations preserve the angle between arcs up to sign.
More precisely, assume \(A'B_1'C_1'\), \(A'B_2'C_2'\) are the images of two arcs \(AB_1C_1\), \(AB_2C_2\) under an inversive transformation. Let \(\alpha\) and \(\alpha'\) denote the angle between the tangent half-lines to \(AB_1C_1\) and \(AB_2C_2\) at \(A\) and the angle between the tangent half-lines to \(A'B_1'C_1'\) and \(A'B_2'C_2'\) at \(A'\) respectively. Then
\(\alpha'=\pm \alpha.\)
- Hint
-
Apply Theorem 10.6.1 and Theorem \(\PageIndex{1}\)
Show that any reflection can be presented as a composition of three inversions.
- Hint
-
Fix a line \(\ell\). Choose a circle \(\Gamma\) with its center not on \(\ell\). Let \(\Omega\) be the inverse of \(\ell\) in \(\Gamma\); not that \(\Omega\) is a circle.
Let \(\iota_{\Gamma}\) and \(\iota_{\Omega}\) dentoe the inversions in \(\Gamma\) and \(\Omega\). Apply Corollary 10.6.1 to show that the composition \(\iota_{\Gamma} \circ \iota_{\Omega} \circ \iota_{\Gamma}\) is the reflection across \(\ell\).
The exercise above implies a stronger version of Theorem \(\PageIndex{1}\); namely any inversive transformation is a composition of inversions — no reflections needed.