Difference between revisions of "Riemann sphere"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
||
Line 1: | Line 1: | ||
− | + | <!-- | |
+ | r0820101.png | ||
+ | $#A+1 = 28 n = 0 | ||
+ | $#C+1 = 28 : ~/encyclopedia/old_files/data/R082/R.0802010 Riemann sphere | ||
+ | Automatically converted into TeX, above some diagnostics. | ||
+ | Please remove this comment and the {{TEX|auto}} line below, | ||
+ | if TeX found to be correct. | ||
+ | --> | ||
− | + | {{TEX|auto}} | |
+ | {{TEX|done}} | ||
− | can be taken as the Riemann sphere and the plane | + | A sphere in the Euclidean space $ \mathbf R ^ {3} ( \xi , \eta , t) $ |
+ | onto which the extended complex plane $ \overline{\mathbf C}\; $ | ||
+ | is conformally and one-to-one transformed under [[Stereographic projection|stereographic projection]]. For example, the unit sphere | ||
+ | |||
+ | $$ | ||
+ | S _ {2} = \{ {( \xi , \eta , t) \in \mathbf R ^ {3} } : { | ||
+ | \xi ^ {2} + \eta ^ {2} + t ^ {2} = 1 } \} | ||
+ | $$ | ||
+ | |||
+ | can be taken as the Riemann sphere and the plane $ \overline{\mathbf C}\; $ | ||
+ | can be identified with the plane $ t = 0 $ | ||
+ | such that the real axis coincides with the axis $ \eta = 0, t = 0 $ | ||
+ | and the imaginary axis with the axis $ \xi = 0, t = 0 $( | ||
+ | see Fig.). | ||
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/r082010a.gif" /> | <img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/r082010a.gif" /> | ||
Line 9: | Line 30: | ||
Figure: r082010a | Figure: r082010a | ||
− | Under stereographic projection to each point | + | Under stereographic projection to each point $ z = x + iy \neq \infty $ |
+ | there corresponds the point $ M( \xi , \eta , t) \neq P( 0, 0, 1) $ | ||
+ | obtained as the point of intersection of the ray drawn from the north pole of the sphere, $ P( 0, 0, 1) $, | ||
+ | to the point $ z $ | ||
+ | with the sphere $ S _ {2} $; | ||
+ | the north pole $ P( 0, 0, 1) $ | ||
+ | corresponds to the point at infinity, $ z = \infty $. | ||
+ | Analytically this relation can be expressed by the formulas | ||
+ | |||
+ | $$ \tag{* } | ||
+ | \xi + i \eta = \ | ||
− | + | \frac{2z}{| z | ^ {2} + 1 } | |
+ | ,\ \ | ||
+ | t = | ||
+ | \frac{| z | ^ {2} - 1 }{| z | ^ {2} + 1 } | ||
+ | ,\ \ | ||
+ | z = | ||
+ | \frac{\xi + i \eta }{1-} | ||
+ | t . | ||
+ | $$ | ||
− | In other words, the correspondence (*) determines a differentiable imbedding of the one-dimensional complex projective space | + | In other words, the correspondence (*) determines a differentiable imbedding of the one-dimensional complex projective space $ \mathbf C P ^ {1} $ |
+ | into the space $ \mathbf R ^ {3} $ | ||
+ | in the form of the sphere $ S _ {2} $. | ||
+ | In many questions of the theory of functions, the extended complex plane is identified with the Riemann sphere. The exclusive role of the point at infinity of the plane $ \overline{\mathbf C}\; $ | ||
+ | may be dispensed with if the distance between two points $ z, w \in \overline{\mathbf C}\; $ | ||
+ | is taken to be the chordal, or spherical, distance $ \chi ( z, w) $ | ||
+ | between their images $ M, N \in S _ {2} $: | ||
− | + | $$ | |
+ | \chi ( z, w) = | ||
+ | \frac{2| z- w | }{\sqrt {| z | ^ {2} + 1 } \sqrt {| w | ^ {2} + 1 } } | ||
− | + | , | |
+ | $$ | ||
− | A higher-dimensional complex projective space | + | $$ |
+ | \chi ( z, \infty ) = | ||
+ | \frac{2}{\sqrt {| z | ^ {2} + 1 } } | ||
+ | . | ||
+ | $$ | ||
+ | |||
+ | A higher-dimensional complex projective space $ \mathbf C P ^ {n} $, | ||
+ | $ n > 1 $, | ||
+ | can be imbedded into the space $ \mathbf R ^ {n(} n+ 2) $ | ||
+ | by a complex $ n $- | ||
+ | dimensional stereographic projection, generalizing the formulas (*) (see [[#References|[2]]]). | ||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> B.V. Shabat, "Introduction of complex analysis" , '''1–2''' , Moscow (1976) (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> B.A. Fuks, "Introduction to the theory of analytic functions of several complex variables" , Amer. Math. Soc. (1965) (Translated from Russian)</TD></TR></table> | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> B.V. Shabat, "Introduction of complex analysis" , '''1–2''' , Moscow (1976) (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> B.A. Fuks, "Introduction to the theory of analytic functions of several complex variables" , Amer. Math. Soc. (1965) (Translated from Russian)</TD></TR></table> | ||
− | |||
− | |||
====Comments==== | ====Comments==== | ||
− | |||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> L.V. Ahlfors, "Complex analysis" , McGraw-Hill (1979) pp. Chapt. 8</TD></TR></table> | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> L.V. Ahlfors, "Complex analysis" , McGraw-Hill (1979) pp. Chapt. 8</TD></TR></table> |
Revision as of 08:11, 6 June 2020
A sphere in the Euclidean space $ \mathbf R ^ {3} ( \xi , \eta , t) $
onto which the extended complex plane $ \overline{\mathbf C}\; $
is conformally and one-to-one transformed under stereographic projection. For example, the unit sphere
$$ S _ {2} = \{ {( \xi , \eta , t) \in \mathbf R ^ {3} } : { \xi ^ {2} + \eta ^ {2} + t ^ {2} = 1 } \} $$
can be taken as the Riemann sphere and the plane $ \overline{\mathbf C}\; $ can be identified with the plane $ t = 0 $ such that the real axis coincides with the axis $ \eta = 0, t = 0 $ and the imaginary axis with the axis $ \xi = 0, t = 0 $( see Fig.).
Figure: r082010a
Under stereographic projection to each point $ z = x + iy \neq \infty $ there corresponds the point $ M( \xi , \eta , t) \neq P( 0, 0, 1) $ obtained as the point of intersection of the ray drawn from the north pole of the sphere, $ P( 0, 0, 1) $, to the point $ z $ with the sphere $ S _ {2} $; the north pole $ P( 0, 0, 1) $ corresponds to the point at infinity, $ z = \infty $. Analytically this relation can be expressed by the formulas
$$ \tag{* } \xi + i \eta = \ \frac{2z}{| z | ^ {2} + 1 } ,\ \ t = \frac{| z | ^ {2} - 1 }{| z | ^ {2} + 1 } ,\ \ z = \frac{\xi + i \eta }{1-} t . $$
In other words, the correspondence (*) determines a differentiable imbedding of the one-dimensional complex projective space $ \mathbf C P ^ {1} $ into the space $ \mathbf R ^ {3} $ in the form of the sphere $ S _ {2} $. In many questions of the theory of functions, the extended complex plane is identified with the Riemann sphere. The exclusive role of the point at infinity of the plane $ \overline{\mathbf C}\; $ may be dispensed with if the distance between two points $ z, w \in \overline{\mathbf C}\; $ is taken to be the chordal, or spherical, distance $ \chi ( z, w) $ between their images $ M, N \in S _ {2} $:
$$ \chi ( z, w) = \frac{2| z- w | }{\sqrt {| z | ^ {2} + 1 } \sqrt {| w | ^ {2} + 1 } } , $$
$$ \chi ( z, \infty ) = \frac{2}{\sqrt {| z | ^ {2} + 1 } } . $$
A higher-dimensional complex projective space $ \mathbf C P ^ {n} $, $ n > 1 $, can be imbedded into the space $ \mathbf R ^ {n(} n+ 2) $ by a complex $ n $- dimensional stereographic projection, generalizing the formulas (*) (see [2]).
References
[1] | B.V. Shabat, "Introduction of complex analysis" , 1–2 , Moscow (1976) (In Russian) |
[2] | B.A. Fuks, "Introduction to the theory of analytic functions of several complex variables" , Amer. Math. Soc. (1965) (Translated from Russian) |
Comments
References
[a1] | L.V. Ahlfors, "Complex analysis" , McGraw-Hill (1979) pp. Chapt. 8 |
Riemann sphere. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Riemann_sphere&oldid=48550