Stereographic projection is conformal

From Companal
Revision as of 14:07, 27 April 2008 by Vipul (talk | contribs) (New page: ==Statement== ===Setup=== Consider <math>\R^3</math>, three-dimensional Euclidean space, with coordinates <math>x,y,z</math>. Denote: <math>S^2 := \{ (x,y,z) \in \R^3 \mid x^2 + y^2 + z^...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Setup

Consider , three-dimensional Euclidean space, with coordinates . Denote:

Identify with the -plane under the map:

Let denote the north pole in , and define the stereographic projection as a bijective map:

which sends a point to the unique point in that is collinear with and .

Actual statement

Pick any point . Then there is a natural induced map from the tangent space to in to the tangent space to its image, in . This map is conformal, i.e. it preserves angles.

In other words, if we make two smooth curves in that intersect at , the angle of intersection between those curves at equals the angle of intersection of their images under stereographic projection.