Complex plane

Last updated

In mathematics, the complex plane is the plane formed by the complex numbers, with a Cartesian coordinate system such that the x-axis, called the real axis, is formed by the real numbers, and the y-axis, called the imaginary axis, is formed by the imaginary numbers.


The complex plane allows a geometric interpretation of complex numbers. Under addition, they add like vectors. The multiplication of two complex numbers can be expressed more easily in polar coordinates—the magnitude or modulus of the product is the product of the two absolute values, or moduli, and the angle or argument of the product is the sum of the two angles, or arguments. In particular, multiplication by a complex number of modulus 1 acts as a rotation.

The complex plane is sometimes known as the Argand plane or Gauss plane.

Notational conventions

Complex numbers

In complex analysis, the complex numbers are customarily represented by the symbol z, which can be separated into its real (x) and imaginary (y) parts:

for example: z = 4 + 5i, where x and y are real numbers, and i is the imaginary unit. In this customary notation the complex number z corresponds to the point (x, y) in the Cartesian plane.

In the Cartesian plane the point (x, y) can also be represented in polar coordinates as

In the Cartesian plane it may be assumed that the arctangent takes values from −π/2 to π/2 (in radians), and some care must be taken to define the more complete arctangent function for points (x, y) when x ≤ 0. [note 1] In the complex plane these polar coordinates take the form

where [note 2]

Here |z| is the absolute value or modulus of the complex number z; θ, the argument of z, is usually taken on the interval 0 ≤ θ< 2π; and the last equality (to |z|e) is taken from Euler's formula. Without the constraint on the range of θ, the argument of z is multi-valued, because the complex exponential function is periodic, with period 2π i. Thus, if θ is one value of arg(z), the other values are given by arg(z) = θ + 2, where n is any non-zero integer. [2]

While seldom used explicitly, the geometric view of the complex numbers is implicitly based on its structure of a Euclidean vector space of dimension 2, where the inner product of complex numbers w and z is given by ; then for a complex number z its absolute value |z| coincides with its Euclidean norm, and its argument arg(z) with the angle turning from 1 to z.

The theory of contour integration comprises a major part of complex analysis. In this context, the direction of travel around a closed curve is important – reversing the direction in which the curve is traversed multiplies the value of the integral by −1. By convention the positive direction is counterclockwise. For example, the unit circle is traversed in the positive direction when we start at the point z = 1, then travel up and to the left through the point z = i, then down and to the left through −1, then down and to the right through −i, and finally up and to the right to z = 1, where we started.

Almost all of complex analysis is concerned with complex functions  – that is, with functions that map some subset of the complex plane into some other (possibly overlapping, or even identical) subset of the complex plane. Here it is customary to speak of the domain of f(z) as lying in the z-plane, while referring to the range of f(z) as a set of points in the w-plane. In symbols we write

and often think of the function f as a transformation from the z-plane (with coordinates (x, y)) into the w-plane (with coordinates (u, v)).

Complex plane notation

Complex plane is denoted as .

Argand diagram

Geometric representation of the complex-valued point z = x + yi in the complex plane. The distance along the line from the origin to the point z = x + yi is the modulus or absolute value of z. The angle th is the argument of z. Argandgaussplane.png
Geometric representation of the complex-valued point z = x + yi in the complex plane. The distance along the line from the origin to the point z = x + yi is the modulus or absolute value of z. The angle θ is the argument of z.

Argand diagram refers to a geometric plot of complex numbers as points z = x + iy using the x-axis as the real axis and the y-axis as the imaginary axis. [3] Such plots are named after Jean-Robert Argand (1768–1822), although they were first described by Norwegian–Danish land surveyor and mathematician Caspar Wessel (1745–1818). [note 3] Argand diagrams are frequently used to plot the positions of the zeros and poles of a function in the complex plane.

Stereographic projections

Riemann sphere which maps all points on a sphere except one to all points on the complex plane Stereographic projection in 3D.svg
Riemann sphere which maps all points on a sphere except one to all points on the complex plane

It can be useful to think of the complex plane as if it occupied the surface of a sphere. Given a sphere of unit radius, place its center at the origin of the complex plane, oriented so that the equator on the sphere coincides with the unit circle in the plane, and the north pole is "above" the plane.

We can establish a one-to-one correspondence between the points on the surface of the sphere minus the north pole and the points in the complex plane as follows. Given a point in the plane, draw a straight line connecting it with the north pole on the sphere. That line will intersect the surface of the sphere in exactly one other point. The point z = 0 will be projected onto the south pole of the sphere. Since the interior of the unit circle lies inside the sphere, that entire region (|z|< 1) will be mapped onto the southern hemisphere. The unit circle itself (|z| = 1) will be mapped onto the equator, and the exterior of the unit circle (|z|> 1) will be mapped onto the northern hemisphere, minus the north pole. Clearly this procedure is reversible – given any point on the surface of the sphere that is not the north pole, we can draw a straight line connecting that point to the north pole and intersecting the flat plane in exactly one point.

Under this stereographic projection the north pole itself is not associated with any point in the complex plane. We perfect the one-to-one correspondence by adding one more point to the complex plane – the so-called point at infinity  – and identifying it with the north pole on the sphere. This topological space, the complex plane plus the point at infinity, is known as the extended complex plane. We speak of a single "point at infinity" when discussing complex analysis. There are two points at infinity (positive, and negative) on the real number line, but there is only one point at infinity (the north pole) in the extended complex plane. [5]

Imagine for a moment what will happen to the lines of latitude and longitude when they are projected from the sphere onto the flat plane. The lines of latitude are all parallel to the equator, so they will become perfect circles centered on the origin z = 0. And the lines of longitude will become straight lines passing through the origin (and also through the "point at infinity", since they pass through both the north and south poles on the sphere).

This is not the only possible yet plausible stereographic situation of the projection of a sphere onto a plane consisting of two or more values. For instance, the north pole of the sphere might be placed on top of the origin z = −1 in a plane that is tangent to the circle. The details don't really matter. Any stereographic projection of a sphere onto a plane will produce one "point at infinity", and it will map the lines of latitude and longitude on the sphere into circles and straight lines, respectively, in the plane.

Cutting the plane

When discussing functions of a complex variable it is often convenient to think of a cut in the complex plane. This idea arises naturally in several different contexts.

Multi-valued relationships and branch points

Consider the simple two-valued relationship

Before we can treat this relationship as a single-valued function, the range of the resulting value must be restricted somehow. When dealing with the square roots of non-negative real numbers this is easily done. For instance, we can just define

to be the non-negative real number y such that y2 = x. This idea doesn't work so well in the two-dimensional complex plane. To see why, let's think about the way the value of f(z) varies as the point z moves around the unit circle. We can write

Evidently, as z moves all the way around the circle, w only traces out one-half of the circle. So one continuous motion in the complex plane has transformed the positive square root e0 = 1 into the negative square root e = −1.

This problem arises because the point z = 0 has just one square root, while every other complex number z ≠ 0 has exactly two square roots. On the real number line we could circumvent this problem by erecting a "barrier" at the single point x = 0. A bigger barrier is needed in the complex plane, to prevent any closed contour from completely encircling the branch point z = 0. This is commonly done by introducing a branch cut; in this case the "cut" might extend from the point z = 0 along the positive real axis to the point at infinity, so that the argument of the variable z in the cut plane is restricted to the range 0 ≤ arg(z) < 2π.

We can now give a complete description of w = z12. To do so we need two copies of the z-plane, each of them cut along the real axis. On one copy we define the square root of 1 to be e0 = 1, and on the other we define the square root of 1 to be e = −1. We call these two copies of the complete cut plane sheets. By making a continuity argument we see that the (now single-valued) function w = z12 maps the first sheet into the upper half of the w-plane, where 0 ≤ arg(w) <π, while mapping the second sheet into the lower half of the w-plane (where π ≤ arg(w) < 2π). [6]

The branch cut in this example doesn't have to lie along the real axis. It doesn't even have to be a straight line. Any continuous curve connecting the origin z = 0 with the point at infinity would work. In some cases the branch cut doesn't even have to pass through the point at infinity. For example, consider the relationship

Here the polynomial z2 − 1 vanishes when z = ±1, so g evidently has two branch points. We can "cut" the plane along the real axis, from −1 to 1, and obtain a sheet on which g(z) is a single-valued function. Alternatively, the cut can run from z = 1 along the positive real axis through the point at infinity, then continue "up" the negative real axis to the other branch point, z = −1.

This situation is most easily visualized by using the stereographic projection described above. On the sphere one of these cuts runs longitudinally through the southern hemisphere, connecting a point on the equator (z = −1) with another point on the equator (z = 1), and passing through the south pole (the origin, z = 0) on the way. The second version of the cut runs longitudinally through the northern hemisphere and connects the same two equatorial points by passing through the north pole (that is, the point at infinity).

Restricting the domain of meromorphic functions

A meromorphic function is a complex function that is holomorphic and therefore analytic everywhere in its domain except at a finite, or countably infinite, number of points. [note 4] The points at which such a function cannot be defined are called the poles of the meromorphic function. Sometimes all of these poles lie in a straight line. In that case mathematicians may say that the function is "holomorphic on the cut plane". Here's a simple example.

The gamma function, defined by

where γ is the Euler–Mascheroni constant, and has simple poles at 0, −1, −2, −3, ... because exactly one denominator in the infinite product vanishes when z is zero, or a negative integer. [note 5] Since all its poles lie on the negative real axis, from z = 0 to the point at infinity, this function might be described as "holomorphic on the cut plane, the cut extending along the negative real axis, from 0 (inclusive) to the point at infinity."

Alternatively, Γ(z) might be described as "holomorphic in the cut plane with −π< arg(z) <π and excluding the point z = 0."

This cut is slightly different from the branch cut we've already encountered, because it actually excludes the negative real axis from the cut plane. The branch cut left the real axis connected with the cut plane on one side (0 ≤ θ), but severed it from the cut plane along the other side (θ< 2π).

Of course, it's not actually necessary to exclude the entire line segment from z = 0 to −∞ to construct a domain in which Γ(z) is holomorphic. All we really have to do is puncture the plane at a countably infinite set of points {0, −1, −2, −3, ...}. But a closed contour in the punctured plane might encircle one or more of the poles of Γ(z), giving a contour integral that is not necessarily zero, by the residue theorem. By cutting the complex plane we ensure not only that Γ(z) is holomorphic in this restricted domain – we also ensure that the contour integral of Γ over any closed curve lying in the cut plane is identically equal to zero.

Specifying convergence regions

Many complex functions are defined by infinite series, or by continued fractions. A fundamental consideration in the analysis of these infinitely long expressions is identifying the portion of the complex plane in which they converge to a finite value. A cut in the plane may facilitate this process, as the following examples show.

Consider the function defined by the infinite series

Since z2 = (−z)2 for every complex number z, it's clear that f(z) is an even function of z, so the analysis can be restricted to one half of the complex plane. And since the series is undefined when

it makes sense to cut the plane along the entire imaginary axis and establish the convergence of this series where the real part of z is not zero before undertaking the more arduous task of examining f(z) when z is a pure imaginary number. [note 6]

In this example the cut is a mere convenience, because the points at which the infinite sum is undefined are isolated, and the cut plane can be replaced with a suitably punctured plane. In some contexts the cut is necessary, and not just convenient. Consider the infinite periodic continued fraction

It can be shown that f(z) converges to a finite value if and only if z is not a negative real number such that z<14. In other words, the convergence region for this continued fraction is the cut plane, where the cut runs along the negative real axis, from −14 to the point at infinity. [8]

Gluing the cut plane back together

We have already seen how the relationship

can be made into a single-valued function by splitting the domain of f into two disconnected sheets. It is also possible to "glue" those two sheets back together to form a single Riemann surface on which f(z) = z1/2 can be defined as a holomorphic function whose image is the entire w-plane (except for the point w = 0). Here's how that works.

Imagine two copies of the cut complex plane, the cuts extending along the positive real axis from z = 0 to the point at infinity. On one sheet define 0 ≤ arg(z) < 2π, so that 11/2 = e0 = 1, by definition. On the second sheet define 2π ≤ arg(z) < 4π, so that 11/2 = e = −1, again by definition. Now flip the second sheet upside down, so the imaginary axis points in the opposite direction of the imaginary axis on the first sheet, with both real axes pointing in the same direction, and "glue" the two sheets together (so that the edge on the first sheet labeled "θ = 0" is connected to the edge labeled "θ< 4π" on the second sheet, and the edge on the second sheet labeled "θ = 2π" is connected to the edge labeled "θ< 2π" on the first sheet). The result is the Riemann surface domain on which f(z) = z1/2 is single-valued and holomorphic (except when z = 0). [6]

To understand why f is single-valued in this domain, imagine a circuit around the unit circle, starting with z = 1 on the first sheet. When 0 ≤ θ< 2π we are still on the first sheet. When θ = 2π we have crossed over onto the second sheet, and are obliged to make a second complete circuit around the branch point z = 0 before returning to our starting point, where θ = 4π is equivalent to θ = 0, because of the way we glued the two sheets together. In other words, as the variable z makes two complete turns around the branch point, the image of z in the w-plane traces out just one complete circle.

Formal differentiation shows that

from which we can conclude that the derivative of f exists and is finite everywhere on the Riemann surface, except when z = 0 (that is, f is holomorphic, except when z = 0).

How can the Riemann surface for the function

also discussed above, be constructed? Once again we begin with two copies of the z-plane, but this time each one is cut along the real line segment extending from z = −1 to z = 1 – these are the two branch points of g(z). We flip one of these upside down, so the two imaginary axes point in opposite directions, and glue the corresponding edges of the two cut sheets together. We can verify that g is a single-valued function on this surface by tracing a circuit around a circle of unit radius centered at z = 1. Commencing at the point z = 2 on the first sheet we turn halfway around the circle before encountering the cut at z = 0. The cut forces us onto the second sheet, so that when z has traced out one full turn around the branch point z = 1, w has taken just one-half of a full turn, the sign of w has been reversed (since e = −1), and our path has taken us to the point z = 2 on the second sheet of the surface. Continuing on through another half turn we encounter the other side of the cut, where z = 0, and finally reach our starting point (z = 2 on the first sheet) after making two full turns around the branch point.

The natural way to label θ = arg(z) in this example is to set π<θπ on the first sheet, with π<θ ≤ 3π on the second. The imaginary axes on the two sheets point in opposite directions so that the counterclockwise sense of positive rotation is preserved as a closed contour moves from one sheet to the other (remember, the second sheet is upside down). Imagine this surface embedded in a three-dimensional space, with both sheets parallel to the xy-plane. Then there appears to be a vertical hole in the surface, where the two cuts are joined together. What if the cut is made from z = −1 down the real axis to the point at infinity, and from z = 1, up the real axis until the cut meets itself? Again a Riemann surface can be constructed, but this time the "hole" is horizontal. Topologically speaking, both versions of this Riemann surface are equivalent – they are orientable two-dimensional surfaces of genus one.

Use in control theory

In control theory, one use of the complex plane is known as the s-plane . It is used to visualise the roots of the equation describing a system's behaviour (the characteristic equation) graphically. The equation is normally expressed as a polynomial in the parameter 's' of the Laplace transform, hence the name 's' plane. Points in the s-plane take the form , where 'j' is used instead of the usual 'i' to represent the imaginary component.

Another related use of the complex plane is with the Nyquist stability criterion. This is a geometric principle which allows the stability of a closed-loop feedback system to be determined by inspecting a Nyquist plot of its open-loop magnitude and phase response as a function of frequency (or loop transfer function) in the complex plane.

The z-plane is a discrete-time version of the s-plane, where z-transforms are used instead of the Laplace transformation.

Quadratic spaces

The complex plane is associated with two distinct quadratic spaces. For a point z = x + iy in the complex plane, the squaring function z2 and the norm-squared are both quadratic forms. The former is frequently neglected in the wake of the latter's use in setting a metric on the complex plane. These distinct faces of the complex plane as a quadratic space arise in the construction of algebras over a field with the Cayley–Dickson process. That procedure can be applied to any field, and different results occur for the fields R and C: when R is the take-off field, then C is constructed with the quadratic form but the process can also begin with C and z2, and that case generates algebras that differ from those derived from R. In any case, the algebras generated are composition algebras; in this case the complex plane is the point set for two distinct composition algebras.

Other meanings of "complex plane"

The preceding sections of this article deal with the complex plane in terms of a geometric representation of the complex numbers. Although this usage of the term "complex plane" has a long and mathematically rich history, it is by no means the only mathematical concept that can be characterized as "the complex plane". There are at least three additional possibilities.

  1. Two-dimensional complex vector space, a "complex plane" in the sense that it is a two-dimensional vector space whose coordinates are complex numbers. See also: Complex affine space § Two dimensions.
  2. (1 + 1)-dimensional Minkowski space, also known as the split-complex plane, is a "complex plane" in the sense that the algebraic split-complex numbers can be separated into two real components that are easily associated with the point (x, y) in the Cartesian plane.
  3. The set of dual numbers over the reals can also be placed into one-to-one correspondence with the points (x, y) of the Cartesian plane, and represent another example of a "complex plane".

See also

Mandelbrot fractal, imaged on a complex plane Mandelset hires.png
Mandelbrot fractal, imaged on a complex plane


  1. A detailed definition of the complex argument in terms of the complete arctangent can be found at the description of the atan2 function.
  2. All the familiar properties of the complex exponential function, the trigonometric functions, and the complex logarithm can be deduced directly from the power series for . In particular, the principal value of , where , can be calculated without reference to any geometrical or trigonometric construction. [1]
  3. Wessel's memoir was presented to the Danish Academy in 1797; Argand's paper was published in 1806. [4]
  4. See also Proof that holomorphic functions are analytic.
  5. The infinite product for Γ(z) is uniformly convergent on any bounded region where none of its denominators vanish; therefore it defines a meromorphic function on the complex plane. [7]
  6. When Re(z) > 0 this sum converges uniformly on any bounded domain by comparison with ζ(2), where ζ(s) is the Riemann zeta function.

Related Research Articles

<span class="mw-page-title-main">Complex number</span> Number with a real and an imaginary part

In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted i, called the imaginary unit and satisfying the equation ; every complex number can be expressed in the form , where a and b are real numbers. Because no real number satisfies the above equation, i was called an imaginary number by René Descartes. For the complex number , a is called the real part, and b is called the imaginary part. The set of complex numbers is denoted by either of the symbols or C. Despite the historical nomenclature "imaginary", complex numbers are regarded in the mathematical sciences as just as "real" as the real numbers and are fundamental in many aspects of the scientific description of the natural world.

<span class="mw-page-title-main">Holomorphic function</span> Complex-differentiable (mathematical) function

In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space Cn. The existence of a complex derivative in a neighbourhood is a very strong condition: it implies that a holomorphic function is infinitely differentiable and locally equal to its own Taylor series (analytic). Holomorphic functions are the central objects of study in complex analysis.

In complex analysis, a branch of mathematics, the Casorati–Weierstrass theorem describes the behaviour of holomorphic functions near their essential singularities. It is named for Karl Theodor Wilhelm Weierstrass and Felice Casorati. In Russian literature it is called Sokhotski's theorem.

In mathematics, a singularity is a point at which a given mathematical object is not defined, or a point where the mathematical object ceases to be well-behaved in some particular way, such as by lacking differentiability or analyticity.

<span class="mw-page-title-main">Zeros and poles</span> Concept in complex analysis

In complex analysis, a pole is a certain type of singularity of a complex-valued function of a complex variable. In some sense, it is the simplest type of singularity. Technically, a point z0 is a pole of a function f if it is a zero of the function 1/f and 1/f is holomorphic in some neighbourhood of z0.

<span class="mw-page-title-main">Stereographic projection</span> Particular mapping that projects a sphere onto a plane

In mathematics, a stereographic projection is a perspective projection of the sphere, through a specific point on the sphere, onto a plane perpendicular to the diameter through the point. It is a smooth, bijective function from the entire sphere except the center of projection to the entire plane. It maps circles on the sphere to circles or lines on the plane, and is conformal, meaning that it preserves angles at which curves meet and thus locally approximately preserves shapes. It is neither isometric nor equiareal.

<span class="mw-page-title-main">Inverse trigonometric functions</span> Arcsin, arccos, arctan, etc

In mathematics, the inverse trigonometric functions are the inverse functions of the trigonometric functions. Specifically, they are the inverses of the sine, cosine, tangent, cotangent, secant, and cosecant functions, and are used to obtain an angle from any of the angle's trigonometric ratios. Inverse trigonometric functions are widely used in engineering, navigation, physics, and geometry.

In the mathematical field of complex analysis, a branch point of a multi-valued function is a point such that if the function is n-valued at that point, all of its neighborhoods contain a point that has more than n values. Multi-valued functions are rigorously studied using Riemann surfaces, and the formal definition of branch points employs this concept.

In complex analysis, the Phragmén–Lindelöf principle, first formulated by Lars Edvard Phragmén (1863–1937) and Ernst Leonard Lindelöf (1870–1946) in 1908, is a technique which employs an auxiliary, parameterized function to prove the boundedness of a holomorphic function on an unbounded domain when an additional condition constraining the growth of on is given. It is a generalization of the maximum modulus principle, which is only applicable to bounded domains.

In mathematics, the Riemann–Siegel theta function is defined in terms of the gamma function as

In mathematics, Bogoliubov's edge-of-the-wedge theorem implies that holomorphic functions on two "wedges" with an "edge" in common are analytic continuations of each other provided they both give the same continuous function on the edge. It is used in quantum field theory to construct the analytic continuation of Wightman functions. The formulation and the first proof of the theorem were presented by Nikolay Bogoliubov at the International Conference on Theoretical Physics, Seattle, USA and also published in the book Problems in the Theory of Dispersion Relations. Further proofs and generalizations of the theorem were given by R. Jost and H. Lehmann (1957), F. Dyson (1958), H. Epstein (1960), and by other researchers.

In mathematics, and specifically in potential theory, the Poisson kernel is an integral kernel, used for solving the two-dimensional Laplace equation, given Dirichlet boundary conditions on the unit disk. The kernel can be understood as the derivative of the Green's function for the Laplace equation. It is named for Siméon Poisson.

In complex analysis the Stokes phenomenon, discovered by G. G. Stokes, is that the asymptotic behavior of functions can differ in different regions of the complex plane, and that these differences can be described in a quantitative way. These regions are bounded by what are called Stokes lines or anti-Stokes lines.

atan2 Arctangent function with two arguments

In computing and mathematics, the function atan2 is the 2-argument arctangent. By definition, is the angle measure between the positive -axis and the ray from the origin to the point in the Cartesian plane. Equivalently, is the argument of the complex number

<span class="mw-page-title-main">Exponential type</span> Type of complex function with growth bounded by an exponential function

In complex analysis, a branch of mathematics, a holomorphic function is said to be of exponential type C if its growth is bounded by the exponential function eC|z| for some real-valued constant C as |z| → ∞. When a function is bounded in this way, it is then possible to express it as certain kinds of convergent summations over a series of other complex functions, as well as understanding when it is possible to apply techniques such as Borel summation, or, for example, to apply the Mellin transform, or to perform approximations using the Euler–Maclaurin formula. The general case is handled by Nachbin's theorem, which defines the analogous notion of Ψ-type for a general function Ψ(z) as opposed to ez.

<span class="mw-page-title-main">Complex logarithm</span> Logarithm of a complex number

In mathematics, a complex logarithm is a generalization of the natural logarithm to nonzero complex numbers. The term refers to one of the following, which are strongly related:

<span class="mw-page-title-main">Argument (complex analysis)</span>

In mathematics, the argument of a complex number z, denoted arg(z), is the angle between the positive real axis and the line joining the origin and z, represented as a point in the complex plane, shown as in Figure 1. It is a multivalued function operating on the nonzero complex numbers. To define a single-valued function, the principal value of the argument is used. It is often chosen to be the unique value of the argument that lies within the interval (−π, π].

<span class="mw-page-title-main">Unit circle</span> Circle with radius of one

In mathematics, a unit circle is a circle of unit radius—that is, a radius of 1. Frequently, especially in trigonometry, the unit circle is the circle of radius 1 centered at the origin in the Cartesian coordinate system in the Euclidean plane. In topology, it is often denoted as S1 because it is a one-dimensional unit n-sphere.

<span class="mw-page-title-main">Riemann sphere</span> Model of the extended complex plane plus a point at infinity

In mathematics, the Riemann sphere, named after Bernhard Riemann, is a model of the extended complex plane: the complex plane plus one point at infinity. This extended plane represents the extended complex numbers, that is, the complex numbers plus a value for infinity. With the Riemann model, the point is near to very large numbers, just as the point is near to very small numbers.

In mathematics, a planar Riemann surface is a Riemann surface sharing the topological properties of a connected open subset of the Riemann sphere. They are characterized by the topological property that the complement of every closed Jordan curve in the Riemann surface has two connected components. An equivalent characterization is the differential geometric property that every closed differential 1-form of compact support is exact. Every simply connected Riemann surface is planar. The class of planar Riemann surfaces was studied by Koebe who proved in 1910, as a generalization of the uniformization theorem, that every such surface is conformally equivalent to either the Riemann sphere or the complex plane with slits parallel to the real axis removed.


  1. See (Whittaker & Watson 1927), Appendix.
  2. See ( Whittaker & Watson 1927 ), p. 10.
  3. Weisstein, Eric W. "Argand Diagram". Retrieved 19 April 2018.
  4. See (Whittaker & Watson 1927), p. 9.
  5. See ( Flanigan 1983 ), p. 305.
  6. 1 2 See ( Moretti 1964 ), pp. 113–119.
  7. See (Whittaker & Watson 1927), pp. 235–236.
  8. See ( Wall 1948 ), p. 39.

Works Cited