Stereographic projection is conformal: Difference between revisions
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 , 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.
Alternative formulation
Consider and as Riemannian manifolds, with the former getting the induced structure from its embedding in .
Then, the stereographic projection is a conformal map of Riemannian manifolds.
Alternatively, the Riemannian metric on obtained using that on , is conformally equivalent to the standard metric.