Added to Favorites

Related Searches

Definitions

Nearby Words

In mathematics, the Riemann sphere is a way of extending the plane of complex numbers with one additional point at infinity, in a way that makes expressions such as

- $1\; /\; 0\; =\; infty$

- the complex projective line, denoted $mathbb\{CP\}^1$, and
- the extended complex plane, denoted $mathbb\{hat\{C\}\}$ or $mathbb\{C\}\; cup\; \{\; infty\; \}$.

On a purely algebraic level, the complex numbers with an extra infinity element constitute a number system known as the extended complex numbers. Arithmetic with infinity does not obey all of the usual rules of algebra, and so the extended complex numbers do not form a field. However, the Riemann sphere is geometrically and analytically well-behaved, even at infinity; it is a one-dimensional complex manifold, also called a Riemann surface.

In complex analysis, the Riemann sphere facilitates an elegant theory of meromorphic functions. The Riemann sphere is ubiquitous in projective geometry and algebraic geometry as a fundamental example of a complex manifold, projective space, and algebraic variety. It also finds utility in other disciplines that depend on analysis and geometry, such as quantum mechanics and other branches of physics.

As a one-dimensional complex manifold, the Riemann sphere can be described by two charts, both with domain equal to the complex number plane $mathbb\{C\}$. Let $zeta$ and $xi$ be complex coordinates on $mathbb\{C\}$. Identify the nonzero complex numbers $zeta$ with the nonzero complex numbers $xi$ using the transition maps

- $zeta\; =\; 1\; /\; xi,$

- $xi\; =\; 1\; /\; zeta.$

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 $zeta$ value and a $xi$ value, and the two values are related by $zeta\; =\; 1\; /\; xi$. The point where $xi\; =\; 0$ should then have $zeta$-value "$1\; /\; 0$"; in this sense, the origin of the $xi$-chart plays the role of "$infty$" in the $zeta$-chart. Symmetrically, the origin of the $zeta$-chart plays the role of $infty$ with respect to the $xi$-chart.

Topologically, the resulting space is the 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, so that around every point on the sphere there is a neighborhood that can be biholomorphically identified with $mathbb\{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 plane, and the Riemann sphere. Of these, the Riemann sphere is the only one that is a closed surface (a compact surface without boundary). Hence the two-dimensional sphere admits a unique complex structure turning it into a one-dimensional complex manifold.

The Riemann sphere can also be defined as the complex projective line. This is the subset of $mathbb\{C\}^2$ consisting of all pairs $(alpha,\; beta)$ of complex numbers, not both zero, modulo the equivalence relation

- $(alpha,\; beta)\; =\; (lambda\; alpha,\; lambda\; beta)$

- $(alpha,\; beta)\; =\; (zeta,\; 1).$

- $(alpha,\; beta)\; =\; (1,\; xi).$

- $(1,\; xi)\; =\; (1\; /\; xi,\; 1)\; =\; (zeta,\; 1)$

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 automorphisms, later in this article.

The Riemann sphere can be visualized as the unit sphere $x^2\; +\; y^2\; +\; z^2\; =\; 1$ in the three-dimensional real space $mathbb\{R\}^3$. 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 $zeta\; =\; x\; +\; i\; y$. In Cartesian coordinates $(x,\; y,\; z)$ and spherical coordinates $(phi,\; theta)$ on the sphere (with $phi$ the zenith and $theta$ the azimuth), the projection is

- $zeta\; =\; frac\{x\; +\; i\; y\}\{1\; -\; z\}\; =\; cot(phi\; /\; 2)\; ;\; e^\{i\; theta\}.$

- $xi\; =\; frac\{x\; -\; i\; y\}\{1\; +\; z\}\; =\; tan(phi\; /\; 2)\; ;\; e^\{-i\; theta\}.$

Under this diffeomorphism, the unit circle in the $zeta$-chart, the unit circle in the $xi$-chart, and the equator of the unit sphere are all identified. The unit disk $|zeta|\; <\; 1$ is identified with the southern hemisphere $z\; <\; 0$, while the unit disk $|xi|\; <\; 1$ is identified with the northern hemisphere $z\; >\; 0$.

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 curvature K. It follows that the metric must be isometric to the sphere of radius $1\; /\; sqrt\; K$ in $mathbb\{R\}^3$ via stereographic projection. In the $zeta$-chart on the Riemann sphere, the metric with $K\; =\; 1$ is given by

- $ds^2\; =\; left(frac\{2\}\{1+|zeta|^2\}right)^2,|dzeta|^2\; =\; frac\{4\}\{left(1\; +\; zeta\; bar\; zetaright)^2\},dzeta\; dbar\; zeta.$

- $ds^2\; =\; frac\{4\}\{left(1\; +\; u^2\; +\; v^2right)^2\}\; left(du^2\; +\; dv^2right).$

Conversely, let S denote the sphere (as an abstract 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 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.

The study of any mathematical object is aided by an understanding of its 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 transformations. These are functions of the form

- $f(zeta)\; =\; frac\{a\; zeta\; +\; b\}\{c\; zeta\; +\; d\},$

The Möbius transformations are profitably viewed as transformations on the complex projective line. In projective coordinates, the transformation $f$ can be written

- $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\}.$

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 $mathrm\{PGL\}\_2(mathbb\{C\})$, namely $mathrm\{PSU\}\_2$. This subgroup is isomorphic to the rotation group $mathrm\{SO\}(3)$, which is the isometry group of the unit sphere in $mathbb\{R\}^3$.

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 polarization states, spin states of massive particles of spin 1/2, and 2-state particles in general. The Riemann sphere has been suggested as a relativistic model for the celestial sphere. In string theory, the worldsheets 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.

- Brown, James and Churchill, Ruel (1989).
*Complex Variables and Applications*. New York: McGraw-Hill. ISBN 0070109052. - Griffiths, Phillip and Harris, Joseph (1978).
*Principles of Algebraic Geometry*. John Wiley & Sons. ISBN 0-471-32792-1. - Penrose, Roger (2005).
*The Road to Reality*. New York: Knopf. ISBN 0-679-45443-8. - Rudin, Walter (1987).
*Real and Complex Analysis*. New York: McGraw-Hill. ISBN 0071002766.

- Twistor Theory, by R. Penrose and F. Hadrovich
- 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)

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Saturday September 27, 2008 at 18:26:25 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Saturday September 27, 2008 at 18:26:25 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.