For four distinct projective points on the complex projective line, use the convention
where is the determinant of chosen representative vectors. Rescaling any representative cancels, and applying an invertible matrix multiplies every bracket by its determinant, which also cancels. Thus the expression is a projective invariant. The projective general linear group action on the projective line has a unique element taking the first three points to . In those coordinates the displayed expression is exactly . Consequently the cross-ratio completely determines the orbit of the ordered quadruple under the projective linear group. Its value lies in .
An injective self-map of the complex projective line preserving all cross-ratios is a projective transformation; neither continuity nor prior surjectivity is needed. Choose the unique projectivity agreeing with the map on three distinct projective points and compose with its inverse. The resulting map fixes those three points. Normalize them to . Preservation of the cross-ratio now fixes every other point as well, proving that the normalized map is the identity map. Undoing the composition proves the assertion.

Articles by others on the same topic (0)

There are currently no matching articles.