Stereographic projection is conformal: Difference between revisions

From Companal
No edit summary
No edit summary
Line 22: Line 22:


In other words, if we make two smooth curves in <math>S^2</math> that intersect at <math>P</math>, the angle of intersection between those curves at <math>P</math> equals the angle of intersection of their images under stereographic projection.
In other words, if we make two smooth curves in <math>S^2</math> that intersect at <math>P</math>, the angle of intersection between those curves at <math>P</math> equals the angle of intersection of their images under stereographic projection.
===Alternative formulation===
Consider <math>S^2 \setminus \{ N \}</math> and <math>\mathbb{C}</math> as Riemannian manifolds, with the former getting the induced structure from its embedding in <math>\R^3</math>.
Then, the stereographic projection is a conformal map of Riemannian manifolds.
Alternatively, the Riemannian metric on <math>\mathbb{C}</math> obtained using that on <math>S^2 \setminus \{ N \}</math>, is conformally equivalent to the standard metric.
==Proof==
===Geometric proof===
===Computational proof===

Revision as of 14:36, 27 April 2008

Statement

Setup

Further information: Stereographic projection

Consider R3, three-dimensional Euclidean space, with coordinates x,y,z. Denote:

S2:={(x,y,z)R3x2+y2+z2=1}

Identify C with the xy-plane under the map:

(x,y,0)x+iy

Let N=(0,0,1) denote the north pole in S2, and define the stereographic projection as a bijective map:

S2{N}C

which sends a point PS2{N} to the unique point in C that is collinear with N and P.

Actual statement

Pick any point PS2{N}. Then there is a natural induced map from the tangent space to P in S2 to the tangent space to its image, in C. This map is conformal, i.e. it preserves angles.

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

Alternative formulation

Consider S2{N} and C as Riemannian manifolds, with the former getting the induced structure from its embedding in R3.

Then, the stereographic projection is a conformal map of Riemannian manifolds.

Alternatively, the Riemannian metric on C obtained using that on S2{N}, is conformally equivalent to the standard metric.

Proof

Geometric proof

Computational proof