|
|
| Line 1: |
Line 1: |
| [[File:Stereographic projection in 3D.png|thumb|right|The Riemann sphere can be visualized as the complex number plane wrapped around a sphere (by some form of [[stereographic projection]] – details are given below).]]
| | Certain proteins combined with copper peptides firm the skin and shows to be ineffective. The damage may not have to sell products that contain copper. 1ml or 2ml of water for your face gaunt looking. The net result is a complex mix with peptides because sodium chloride and 0.<br><br>Also visit my blog - [http://www.megatan.ws/categories/Melanotan-2/ melanotan 2] |
| | |
| In [[mathematics]], the '''Riemann sphere''', named after the 19th century mathematician [[Bernhard Riemann]], is a [[Mathematical model|model]] of the '''extended complex plane''', the [[complex plane]] plus a [[point at infinity]]. This extended plane represents the '''extended complex numbers''', that is, the [[complex number]]s plus a value ∞ for [[infinity]]. With the Riemann model, the point "∞" is near to very large numbers, just as the point "0" is near to very small numbers.
| |
| | |
| The extended complex numbers are useful in [[complex analysis]] because they allow for [[division by zero]] in some circumstances, in a way that makes expressions such as 1/0 = ∞ [[well-behaved]]. For example, any [[rational function]] on the complex plane can be extended to a [[continuous function]] on the Riemann sphere, with the [[Pole (complex analysis)|poles]] of the rational function mapping to infinity. More generally, any [[meromorphic function]] can be thought of as a continuous function whose [[codomain]] is the Riemann sphere.
| |
| | |
| In [[geometry]], the Riemann sphere is the prototypical example of a [[Riemann surface]], and is one of the simplest [[complex manifold]]s. In [[projective geometry]], the sphere can be thought of as the '''complex [[projective line]]''' '''P'''<sup>1</sup>('''C'''), the [[projective space]] of all [[complex line]]s in '''C'''<sup>2</sup>. As with any [[compact space|compact]] Riemann surface, the sphere may also be viewed as a projective [[algebraic curve]], making it a fundamental example in [[algebraic geometry]]. It also finds utility in other disciplines that depend on analysis and geometry, such as [[quantum mechanics]] and other branches of [[physics]].
| |
| | |
| ==Extended complex numbers==
| |
| The '''extended complex numbers''' consist of the complex numbers '''C''' together with ∞. The extended complex numbers may be written as '''C''' ∪ {∞}, and are often denoted by adding some decoration to the letter '''C''', such as
| |
| :<math>\hat{\mathbf{C}},\quad\overline{\mathbf{C}},\quad\text{or}\quad\mathbf{C}_\infty.</math>
| |
| Geometrically, the set of extended complex numbers is referred to as the '''Riemann sphere''' (or '''extended complex plane''').
| |
| | |
| ===Arithmetic operations===
| |
| [[Addition]] of complex numbers may be extended by defining, for ''z'' ∈ '''C''',
| |
| :<math>z + \infty = \infty</math>
| |
| for any complex number ''z'', and [[multiplication]] may be defined by
| |
| :<math>z \cdot \infty = \infty</math>
| |
| for all nonzero complex numbers ''z'', with ∞ ⋅ ∞ = ∞. Note that ∞ + ∞, ∞ - ∞ and 0 ⋅ ∞ are left undefined. Unlike the complex numbers, the extended complex numbers do not form a [[field (mathematics)|field]], since ∞ does not have a [[multiplicative inverse]]. Nonetheless, it is customary to define [[division (mathematics)|division]] on '''C''' ∪ {∞} by
| |
| :<math>z / 0 = \infty\quad\text{and}\quad z / \infty = 0</math>
| |
| for all nonzero complex numbers ''z'', with ∞/0 = ∞ and 0/∞ = 0. The quotients 0/0 and ∞/∞ are left undefined.
| |
| | |
| ===Rational functions===
| |
| Any [[rational function]] ''f(z)'' = ''g(z)/h(z)'' can be extended to a [[continuous function]] on the Riemann sphere. Specifically, if <math>z_0</math> is a complex number such that the denominator <math>h(z_0)</math> is zero but the numerator <math>g(z_0)</math> is nonzero, then <math>f(z_0)</math> can be defined as ∞. (If both the numerator and denominator are zero, then they share a common factor, and the fraction should first be reduced to lowest terms.) Moreover, ''f''(∞) can be defined as the [[Limit of a function|limit]] of ''f(z)'' as ''z'' → ∞, which may be finite or infinite.
| |
| | |
| For example, given the function
| |
| :<math>f(z) = \frac{6z + 1}{2z - 10}</math>
| |
| we may define ''f''(5) = ∞ since the denominator is zero at ''z'' = 5, and ''f''(∞) = 3 since ''f(z)'' → 3 as ''z'' → ∞. Using these definitions, ''f'' becomes a continuous function from the Riemann sphere to itself.
| |
| | |
| When viewed as a complex manifold, these rational functions are in fact [[holomorphic function]]s from the Riemann sphere to itself.
| |
| | |
| ==As a complex manifold==
| |
| As a one-dimensional complex manifold, the Riemann sphere can be described by two charts, both with domain equal to the complex number plane '''C'''. Let ζ and ξ be complex coordinates on '''C'''. Identify the nonzero complex numbers ζ with the nonzero complex numbers ξ using the [[transition map]]s
| |
| | |
| :<math>
| |
| \begin{align}
| |
| \zeta & = 1 / \xi, \\[8pt]
| |
| \xi & = 1 / \zeta.
| |
| \end{align}
| |
| </math>
| |
| | |
| Since the transition maps are [[holomorphic function|holomorphic]], they define a complex manifold, called the '''Riemann sphere'''.
| |
| | |
| Intuitively, the transition maps indicate how to glue two planes together to form the Riemann sphere. The planes are glued in an "inside-out" manner, so that they overlap almost everywhere, with each plane contributing just one point (its origin) missing from the other plane. In other words, (almost) every point in the Riemann sphere has both a ζ value and a ξ value, and the two values are related by ζ = 1/ξ. The point where ξ = 0 should then have ζ-value "1/0"; in this sense, the origin of the ξ-chart plays the role of "∞" in the ζ-chart. Symmetrically, the origin of the ζ-chart plays the role of ∞ in the ξ-chart.
| |
| | |
| [[Topology|Topologically]], the resulting space is the [[Compactification (mathematics)|one-point compactification]] of a plane into the sphere. However, the Riemann sphere is not merely a topological sphere. It is a sphere with a well-defined [[complex structure]]{{dn|date=September 2012}}, so that around every point on the sphere there is a neighborhood that can be [[Biholomorphism|biholomorphically]] identified with '''C'''.
| |
| | |
| On the other hand, the [[uniformization theorem]], a central result in the classification of Riemann surfaces, states that the only [[simply-connected]] one-dimensional complex manifolds are the complex plane, the [[Hyperbolic space|hyperbolic plane]], and the Riemann sphere. Of these, the Riemann sphere is the only one that is a [[Closed manifold|closed surface]] (a [[compact space|compact]] surface without [[Manifold with boundary|boundary]]). Hence the two-dimensional sphere admits a unique complex structure turning it into a one-dimensional complex manifold.
| |
| | |
| ==As the complex projective line==
| |
| The Riemann sphere can also be defined as the '''complex projective line'''. This is the subset of '''C'''<sup>2</sup> consisting of all pairs (α, β) of complex numbers, not both zero, [[quotient topology|modulo]] the [[equivalence relation]]
| |
| :<math> (\alpha, \beta) = (\lambda \alpha, \lambda \beta)</math>
| |
| for all nonzero complex numbers λ. The complex plane '''C''', with coordinate ζ, can be mapped into the complex projective line by | |
| :<math> (\alpha, \beta) = (\zeta, 1).</math>
| |
| Another copy of '''C''' with coordinate ξ can be mapped in by
| |
| :<math> (\alpha, \beta) = (1, \xi).</math>
| |
| These two complex charts cover the projective line. For nonzero ξ the identifications
| |
| :<math>(1, \xi) = (1 / \xi, 1) = (\zeta, 1)</math>
| |
| demonstrate that the transition maps are ζ = 1/ξ and ξ = 1/ζ, as above.
| |
| | |
| This treatment of the Riemann sphere connects most readily to projective geometry. For example, any line (or smooth conic) in the [[complex projective plane]] is biholomorphic to the complex projective line. It is also convenient for studying the sphere's [[automorphism]]s, later in this article.
| |
| | |
| ==As a sphere==
| |
| [[File:Riemann sphere1.jpg|thumb|right|250px|Stereographic projection of a complex number ''A'' onto a point α of the Riemann sphere]]
| |
| | |
| The Riemann sphere can be visualized as the unit sphere ''x''<sup>2</sup> + ''y''<sup>2</sup> + ''z''<sup>2</sup> = 1 in the three-dimensional real space '''R'''<sup>3</sup>. To this end, consider the [[stereographic projection]] from the unit sphere minus the point (0, 0, 1) onto the plane ''z'' = 0, which we identify with the complex plane by ζ = ''x'' + ''iy''. In [[Cartesian coordinates]] ''(x, y, z)'' and [[spherical coordinates]] (φ, θ) on the sphere (with φ the zenith and θ the azimuth), the projection is
| |
| :<math>\zeta = \frac{x + i y}{1 - z} = \cot(\tfrac{1}{2} \phi) \; e^{i \theta}.</math>
| |
| Similarly, stereographic projection from (0, 0, −1) onto the plane ''z'' = 0, identified with another copy of the complex plane by ξ = ''x'' - ''i y'', is written
| |
| :<math>\xi = \frac{x - i y}{1 + z} = \tan(\tfrac{1}{2} \phi) \; e^{-i \theta}.</math>
| |
| In order to cover the unit sphere, one needs the two stereographic projections: the first will cover the whole sphere except the point (0,0,1) and the second except the point (0,0,-1). Hence, one needs two complex planes, one for each projection, which can be intuitively seen as glued back-to-back at z=0. Note that the two complex planes are identified differently with the plane ''z'' = 0. An [[Orientation (mathematics)|orientation]]-reversal is necessary to maintain consistent orientation on the sphere, and in particular complex conjugation causes the transition maps to be holomorphic.
| |
| | |
| The transition maps between ζ-coordinates and ξ-coordinates are obtained by composing one projection with the inverse of the other. They turn out to be ζ = 1/ξ and ξ = 1 /ζ, as described above. Thus the unit sphere is [[Diffeomorphism|diffeomorphic]] to the Riemann sphere.
| |
| | |
| Under this diffeomorphism, the unit circle in the ζ-chart, the unit circle in the ξ-chart, and the equator of the unit sphere are all identified. The unit disk |ζ| < 1 is identified with the southern hemisphere ''z'' < 0, while the unit disk |ξ| < 1 is identified with the northern hemisphere ''z'' > 0.
| |
| | |
| ==Metric==
| |
| A Riemann surface does not come equipped with any particular [[Riemannian metric]]. However, the complex structure of the Riemann surface does uniquely determine a metric up to [[conformal equivalence]]. (Two metrics are said to be conformally equivalent if they differ by multiplication by a positive [[smooth function]].) Conversely, any metric on an [[oriented surface]] uniquely determines a complex structure, which depends on the metric only up to conformal equivalence. Complex structures on an oriented surface are therefore in one-to-one correspondence with conformal classes of metrics on that surface.
| |
| | |
| Within a given conformal class, one can use conformal symmetry to find a representative metric with convenient properties. In particular, there is always a complete metric with [[constant curvature]] in any given conformal class.
| |
| | |
| In the case of the Riemann sphere, the [[Gauss-Bonnet theorem]] implies that a constant-curvature metric must have positive [[Gaussian curvature|curvature]] ''K''. It follows that the metric must be [[Isometry (Riemannian geometry)|isometric]] to the sphere of radius <math>1 / \sqrt K</math> in '''R'''<sup>3</sup> via stereographic projection. In the ζ-chart on the Riemann sphere, the metric with ''K'' = 1 is given by
| |
| | |
| :<math>ds^2 = \left(\frac{2}{1+|\zeta|^2}\right)^2\,|d\zeta|^2 = \frac{4}{\left(1 + \zeta \bar \zeta\right)^2}\,d\zeta \,d\bar \zeta.</math>
| |
| | |
| In real coordinates ζ = ''u'' + ''iv'', the formula is
| |
| | |
| :<math>ds^2 = \frac{4}{\left(1 + u^2 + v^2\right)^2} \left(du^2 + dv^2\right).</math>
| |
| | |
| Up to a constant factor, this metric agrees with the standard [[Fubini–Study metric]] on complex projective space (of which the Riemann sphere is an example).
| |
| | |
| Conversely, let ''S'' denote the sphere (as an abstract [[Differentiable manifold|smooth]] or [[topological manifold]]). By the uniformization theorem there exists a unique complex structure on ''S''. It follows that any metric on ''S'' is conformally equivalent to the [[Metric tensor#The round metric on a sphere|round metric]]. All such metrics determine the same conformal geometry. The round metric is therefore not intrinsic to the Riemann sphere, since "roundness" is not an invariant of conformal geometry. The Riemann sphere is only a [[conformal manifold]], not a [[Riemannian manifold]]. However, if one needs to do Riemannian geometry on the Riemann sphere, the round metric is a natural choice.
| |
| | |
| ==Automorphisms==
| |
| [[File:Mob3d-elip-opp-200.png|thumb|right|A Möbius transformation acting on the sphere, and on the plane by stereographic projection]]
| |
| | |
| {{Main|Möbius transformation}}
| |
| | |
| The study of any mathematical object is aided by an understanding of its [[Group (mathematics)|group]] of automorphisms, meaning the maps from the object to itself that preserve the essential structure of the object. In the case of the Riemann sphere, an automorphism is an invertible biholomorphic map from the Riemann sphere to itself. It turns out that the only such maps are the [[Möbius transformation]]s. These are functions of the form
| |
| :<math>f(\zeta) = \frac{a \zeta + b}{c \zeta + d},</math>
| |
| where ''a'', ''b'', ''c'', and ''d'' are complex numbers such that <math>a d - b c \neq 0</math>. Examples of Möbius transformations include [[Scaling (geometry)|dilation]]s, [[rotation]]s, [[translation (mathematics)|translation]]s, and complex inversion. In fact, any Möbius transformation can be written as a composition of these.
| |
| | |
| The Möbius transformations are profitably viewed as transformations on the complex projective line. In projective coordinates, the transformation ''f''' can be written
| |
| :<math>f(\alpha, \beta) = (a \alpha + b \beta, c \alpha + d \beta) = \begin{pmatrix} \alpha & \beta \end{pmatrix} \begin{pmatrix} a & c \\ b & d \end{pmatrix}.</math>
| |
| Thus the Möbius transformations can be described as 2 × 2 complex matrices with nonzero [[determinant]]; two matrices yield the same Möbius transformation if and only if they differ by a nonzero factor. Thus the Möbius transformations exactly correspond to the projective [[linear transformation]]s PGL(2, '''C''').
| |
| | |
| If one endows the Riemann sphere with the [[Fubini–Study metric]], then not all Möbius transformations are isometries; for example, the dilations and translations are not. The isometries form a proper subgroup of PGL(2, '''C'''), namely PSU(2). This subgroup is isomorphic to the [[rotation group SO(3)]], which is the group of symmetries of the unit sphere in '''R'''<sup>3</sup> (which, when restricted to the sphere, become the isometries of the sphere).
| |
| | |
| ==Applications==
| |
| In complex analysis, a meromorphic function on the complex plane (or on any Riemann surface, for that matter) is a ratio ''f/g'' of two holomorphic functions ''f'' and ''g''. As a map to the complex numbers, it is undefined wherever ''g'' is zero. However, it induces a holomorphic map ''(f, g)'' to the complex projective line that is well-defined even where ''g'' = 0. This construction is helpful in the study of holomorphic and meromorphic functions. For example, on a compact Riemann surface there are no non-constant holomorphic maps to the complex numbers, but holomorphic maps to the complex projective line are abundant.
| |
| | |
| The Riemann sphere has many uses in physics. In quantum mechanics, points on the complex projective line are natural values for [[photon]] [[photon polarization|polarization]] states, [[spin (physics)|spin]] states of [[mass]]ive [[Subatomic particle|particle]]s of spin 1/2, and 2-state particles in general.{{Why?|date=July 2011}} The Riemann sphere has been suggested as a [[General relativity|relativistic]] model for the [[celestial sphere]]. In [[string theory]], the [[worldsheet]]s of strings are Riemann surfaces, and the Riemann sphere, being the simplest Riemann surface, plays a significant role. It is also important in [[twistor theory]].
| |
| | |
| ==See also==
| |
| *[[Conformal geometry]]
| |
| *[[Cross-ratio]]
| |
| *[[Dessin d'enfant]]
| |
| *[[Directed infinity]]
| |
| *[[Hopf bundle]]
| |
| *[[Möbius plane]]
| |
| | |
| ==References==
| |
| {{No footnotes|date=August 2010}}
| |
| {{Page numbers needed|date=September 2010}}
| |
| *{{Cite book|author=Brown, James and Churchill, Ruel|title=Complex Variables and Applications|location=New York | publisher=McGraw-Hill|year=1989 |isbn=0-07-010905-2}}
| |
| *{{Cite book|author=Griffiths, Phillip and Harris, Joseph|title=Principles of Algebraic Geometry|publisher=John Wiley & Sons|year=1978|isbn=0-471-32792-1}}
| |
| *{{Cite book|authorlink=Roger Penrose|author=Penrose, Roger|title=The Road to Reality|location=New York|publisher=Knopf|year=2005|isbn=0-679-45443-8}}
| |
| *{{Cite book|author=Rudin, Walter|title=Real and Complex Analysis|location=New York | publisher=McGraw–Hill|year=1987|isbn=0-07-100276-6}}
| |
| | |
| ==External links==
| |
| * {{springer|title=Riemann sphere|id=p/r082010}}
| |
| *[http://www.ima.umn.edu/~arnold/moebius/ Moebius Transformations Revealed], by [[Douglas N. Arnold]] and Jonathan Rogness (a video by two University of Minnesota professors explaining and illustrating Möbius transformations using stereographic projection from a sphere)
| |
| | |
| {{DEFAULTSORT:Riemann Sphere}}
| |
| [[Category:Riemann surfaces]]
| |
| [[Category:Projective geometry]]
| |
| [[Category:Spheres]]
| |