next up previous contents
Next: Möbius transformations representable as Up: Functions of a complex Previous: one-to-one and invertible

Möbius transformations represented as cross ratios

One of the things which can be done with the Möbius transformation

d w z + c w + b z + a = 0 (21)

is to find relationships amongst the variables which do not depend on the coefficients of the transformation. One procedure is to try it out for four points, which is the number of coefficients, to get simultaneous equations.
d w1 z1 + c w1 + b z1 + a = 0 (22)
d w2 z2 + c w2 + b z2 + a = 0 (23)
d w3 z3 + c w3 + b z3 + a = 0 (24)
d w4 z4 + c w4 + b z4 + a = 0 (25)

The corresponding matrix equation,

\begin{displaymath}\left[ \begin{array}{cccc}
w_1 z_1 & w_1 & z_1 & 1 \\
w_2...
...
\left[ \begin{array}{c} 0 \\ 0 \\ 0 \\ 0 \end{array} \right] \end{displaymath}

can only hold when the determinant of the square matrix vanishes. That relationship invites a series of transformations which can ultimately produce the result
 
$\displaystyle \frac{w_4-w_1}{w_4-w_2}\frac{w_3-w_1}{w_3-w_2}$ = $\displaystyle \frac{z_4-z_1}{z_4-z_2}\frac{z_3-z_1}{z_3-z_2}$ (26)

This quantity equates the cross ratioscross ratio of the two sets of numbers, $\{w_1,w_2,w_3,w_4\}$ and $\{z_1,z_2,z_3,z_4\}$, it being that the cross ratio is an invariant of the Möbius transformation.

The equivalence of this result to the vanishing determinant is not immediately obvious, although it can be verified by careful attention to algebraic rearrangement. A line of reasoning which suggests a result which then can subsequently be confirmed begins with the fractional linear form of the Möbius transformation,

w = $\displaystyle \frac{z - z_1}{z - z_3}$ (27)

which clearly maps z1 to zero and z3 to infinity, as long as they are distinct. As for counterimages, zero maps into z1/z3, and infinity to unity. However, this is not the only formula which could map those pairs of points; any multiple of the function will do the same; a third pair of points could be introduced to resolve the ambiguity. A convenient set of points is $\{0, 1, \infty\}$, which suggests selecting a point z2 to map into unity and removing the ambiguity. Thus consider
w = $\displaystyle \frac{z - z_1}{z - z_3}\frac{z_2 - z_3}{z_2 - z_1},$ (28)

which is one of the cross ratios in the invariant expression Eq 26. In fact, by setting up matching expressions in w and z, any three distinct points $\{z_1, z_2, z_3\}$ can be mapped into any other three distinct points $\{w_1, w_2, w_3\}$ by going through the virtual intermediary of $\{0, 1, \infty\}$.


next up previous contents
Next: Möbius transformations representable as Up: Functions of a complex Previous: one-to-one and invertible
Microcomputadoras
2001-04-05