Biholomorphism

BiholomorphismMain

Community hub

Biholomorphism

8 pages, 0 posts

0 subscribers

Recent from talks

Be the first to start a discussion here.

Recent from talks

Be the first to start a discussion here.

Contribute something

About hubMembersContent overviewUpdatesRules

Main reference articles

Biholomorphism

View on Wikipedia

from Wikipedia

In the mathematical theory of functions of one or more complex variables, and also in complex algebraic geometry, a biholomorphism or biholomorphic function is a bijective holomorphic function whose inverse is also holomorphic.

Formal definition

[edit]

Formally, a biholomorphic function is a function $\phi$ defined on an open subset U of the $n$ -dimensional complex space Cⁿ with values in Cⁿ which is holomorphic and one-to-one, such that its image is an open set $V$ in Cⁿ and the inverse $\phi ^{-1}:V\to U$ is also holomorphic. More generally, U and V can be complex manifolds. As in the case of functions of a single complex variable, a sufficient condition for a holomorphic map to be biholomorphic onto its image is that the map is injective, in which case the inverse is also holomorphic.^[1]

If there exists a biholomorphism $\phi \colon U\to V$ , we say that U and V are biholomorphically equivalent or that they are biholomorphic.

Riemann mapping theorem and generalizations

[edit]

If $n=1,$ every simply connected open set other than the whole complex plane is biholomorphic to the unit disc (this is the Riemann mapping theorem). The situation is very different in higher dimensions. For example, open unit balls and open unit polydiscs are not biholomorphically equivalent for $n>1.$ In fact, there does not exist even a proper holomorphic function from one to the other.

Alternative definitions

[edit]

In the case of maps f : U → C defined on an open subset U of the complex plane C, some authors^[2] define a conformal map to be an injective map with nonzero derivative i.e., f’(z)≠ 0 for every z in U. According to this definition, a map f : U → C is conformal if and only if f: U → f(U) is biholomorphic. Notice that per definition of biholomorphisms, nothing is assumed about their derivatives, so, this equivalence contains the claim that a homeomorphism that is complex differentiable must actually have nonzero derivative everywhere. Other authors^[3] define a conformal map as one with nonzero derivative, but without requiring that the map be injective. According to this weaker definition, a conformal map need not be biholomorphic, even though it is locally biholomorphic, for example, by the inverse function theorem. For example, if f: U → U is defined by f(z) = z² with U = C–{0}, then f is conformal on U, since its derivative f’(z) = 2z ≠ 0, but it is not biholomorphic, since it is 2-1.

References

[edit]

^ Gunning, Robert Clifford (1990). Introduction to holomorphic functions of several variables. Wadsworth & Brooks/Cole mathematics series (Rev. version and complete rewriting of : Analytic functions of several complex variables ed.). Belmont (Calif.): Wadsworth. Theorem I.11 or Corollary E.10. ISBN 978-0-534-13308-5.
^ Freitag, E.; Busam, Rolf (2009). Complex analysis. Universitext (2nd ed., [2nd English ed.] ed.). Berlin: Springer. Definition IV.4.1. ISBN 978-3-540-93982-5.
^ Conway, John B. (1986). Functions of one complex variable. Functions of one complex variable (2nd ed., 4th corr. print ed.). New York Berlin Paris [etc.]: Springer. ISBN 978-0-387-90328-6.

Bibliography

[edit]

Conway, John B. (1978). Functions of One Complex Variable. Springer-Verlag. ISBN 3-540-90328-3.
D'Angelo, John P. (1993). Several Complex Variables and the Geometry of Real Hypersurfaces. CRC Press. ISBN 0-8493-8272-6.
Freitag, Eberhard; Busam, Rolf (2009). Complex Analysis. Springer-Verlag. ISBN 978-3-540-93982-5.
Gunning, Robert C. (1990). Introduction to Holomorphic Functions of Several Variables, Vol. II. Wadsworth. ISBN 0-534-13309-6.
Krantz, Steven G. (2002). Function Theory of Several Complex Variables. American Mathematical Society. ISBN 0-8218-2724-3.

This article incorporates material from biholomorphically equivalent on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

Revisions and contributors Edit on Wikipedia Read on Wikipedia

View on Grokipedia

from Grokipedia

A biholomorphism is a bijective holomorphic mapping

f: \Omega_1 \to \Omega_2

between open subsets

\Omega_1, \Omega_2 \subseteq \mathbb{C}^n

such that its inverse

f^{-1}: \Omega_2 \to \Omega_1

is also holomorphic.^[1] In complex analysis, biholomorphic maps preserve the underlying complex structure of domains and manifolds, enabling the classification of geometric objects up to biholomorphic equivalence, where two spaces are considered equivalent if a biholomorphism exists between them.^[2] This equivalence is fundamental because it transfers analytic properties: a function on one domain is holomorphic if and only if its composition with a biholomorphism is holomorphic on the equivalent domain.^[2] In one complex variable (

n=1

), the Riemann mapping theorem asserts that every simply connected proper open subset of

\mathbb{C}

is biholomorphic to the unit disk

\mathbb{D} = \{ z \in \mathbb{C} : |z| < 1 \}

, providing a canonical model for such domains and highlighting the flexibility of biholomorphic classification in this setting.^[2] However, in several complex variables (

n \geq 2

), the theory becomes more rigid; for instance, the unit ball

B^n = \{ z \in \mathbb{C}^n : \|z\| < 1 \}

and the unit polydisk

D^n = \{ z \in \mathbb{C}^n : |z_j| < 1 \ \forall j = 1, \dots, n \}

are biholomorphically inequivalent, as demonstrated by differences in their automorphism groups and boundary behavior./01%3A_Holomorphic_Functions_in_Several_Variables/1.04%3A_Inequivalence_of_Ball_and_Polydisc) Biholomorphisms extend naturally to complex manifolds, where they serve as structure-preserving isomorphisms, and their study reveals deep connections to Lie groups, rigidity phenomena, and applications in geometry and physics.^[3]

Fundamentals

Definition

A biholomorphic function, or biholomorphism, is a central concept in complex analysis that establishes a strong form of equivalence between domains in complex space. Holomorphic functions, which form the foundation for biholomorphisms, are complex-valued functions that are differentiable in the complex sense on an open set, meaning they satisfy the Cauchy-Riemann equations and possess a complex derivative everywhere in that domain.^[4] Formally, a function

\phi: U \to V

between open connected subsets

U, V \subset \mathbb{C}^n

is biholomorphic if it is holomorphic, bijective onto its image, and its inverse

\phi^{-1}: V \to U

is also holomorphic.^[5] The bijectivity condition ensures that

\phi

is an isomorphism in the category of complex domains, and the holomorphy of the inverse follows locally from the holomorphic inverse function theorem: if

\phi

is holomorphic and its Jacobian matrix (or derivative in one variable) is invertible at a point, then

\phi

is locally biholomorphic near that point with a holomorphic local inverse.^[6] Two domains

U

and

V

\mathbb{C}^n

are said to be biholomorphically equivalent if there exists a biholomorphism

\phi: U \to V

.^[2] This equivalence relation classifies complex domains up to holomorphic coordinate changes, preserving their intrinsic complex structure.

Basic Properties

Biholomorphisms exhibit conformality, meaning they preserve angles and orientation locally at every point. This follows from the fact that a biholomorphic map

\phi: \Omega \to \Omega'

between open sets in

\mathbb{C}

is holomorphic with

\phi'(z) \neq 0

everywhere, as non-zero derivatives of holomorphic functions act as complex linear isomorphisms on tangent spaces, scaling and rotating but not reflecting.^[7] Biholomorphisms inherit the open mapping property from non-constant holomorphic functions, ensuring that the image of any open set under

\phi

is open in

\mathbb{C}^n

. Since

\phi

is bijective and its inverse

\phi^{-1}

is also holomorphic (hence non-constant), this property holds globally, distinguishing biholomorphisms from general holomorphic maps that may not be surjective or injective.^[8] As isomorphisms of complex manifolds, biholomorphisms preserve the underlying complex structure, mapping holomorphic functions on

\Omega

bijectively to those on

\Omega'

and inducing isomorphisms on sheaves of holomorphic sections. They also preserve holomorphic differential forms, as the pullback under

\phi

maintains the

(p,q)

-type decomposition in the complexified cotangent bundle.^[3] Locally, near any point

z_0 \in \Omega

, a biholomorphism

\phi

admits a multivariable power series (Taylor) expansion, where the linear term is given by the Jacobian matrix

D\phi(z_0)

which is invertible, ensuring the map is a local biholomorphism by the inverse function theorem for holomorphic functions. This representation underscores the local invertibility and analyticity central to biholomorphic equivalence.^[7]^[8]

Results in One Complex Variable

Riemann Mapping Theorem

The Riemann mapping theorem states that any simply connected open subset

U

of the complex plane

\mathbb{C}

, where

U \neq \mathbb{C}

, is biholomorphic to the unit disk

\mathbb{D} = \{ z \in \mathbb{C} : |z| < 1 \}

.^[9] More precisely, for any point

a \in U

, there exists a unique biholomorphism

f: U \to \mathbb{D}

such that

f(a) = 0

and

f'(a) > 0

.^[10] This normalization ensures the mapping is uniquely determined up to automorphisms of the unit disk.^[9] The theorem was first stated by Bernhard Riemann in his 1851 doctoral dissertation, where he sketched the result as part of his work on conformal mappings and Riemann surfaces.^[10] Although Riemann's argument relied on the Dirichlet principle, which faced criticism for lacking rigor, the first rigorous proofs for the general case were provided independently by Henri Poincaré and Paul Koebe in 1907.^[11] An influential treatment integrating the theorem into the broader framework of Riemann surfaces was provided by Hermann Weyl in his 1913 book Die Idee der Riemannschen Fläche.^[12] The existence of the biholomorphism is established using the theory of normal families and Montel's theorem. Consider the family of holomorphic functions on

U

that map into

\mathbb{D}

, fix

a

to 0, have positive derivative at

a

, and are injective; this family is uniformly bounded and thus normal by Montel's theorem, allowing extraction of a convergent subsequence to a limit function.^[9] The limit is shown to be injective via Hurwitz's theorem and onto

\mathbb{D}

by maximizing the derivative at

a

and using properties of simply connected domains, such as the existence of analytic square roots.^[10] Uniqueness follows from the Schwarz lemma applied to the composition of two such mappings, implying they differ by an automorphism of

\mathbb{D}

, which is eliminated by the normalization conditions.^[9] As a consequence, all simply connected proper subsets of

\mathbb{C}

are conformally equivalent to one another via biholomorphisms.^[10]

Automorphisms and the Unit Disk

The automorphism group of the unit disk

\mathbb{D} = \{ z \in \mathbb{C} : |z| < 1 \}

, denoted

\operatorname{Aut}(\mathbb{D})

, consists of all biholomorphic maps from

\mathbb{D}

to itself. These automorphisms are precisely the Möbius transformations of the form

\phi(z) = e^{i\theta} \frac{z - a}{1 - \bar{a} z},

where

|a| < 1

and

\theta \in \mathbb{R}

.^[13] This explicit parametrization shows that each automorphism is determined by a point

a \in \mathbb{D}

(specifying a "translation") and a rotation angle

\theta

.^[13] The group

\operatorname{Aut}(\mathbb{D})

acts transitively on

\mathbb{D}

, meaning that for any two points

z_1, z_2 \in \mathbb{D}

, there exists

\phi \in \operatorname{Aut}(\mathbb{D})

such that

\phi(z_1) = z_2

.^[13] The stabilizer of the origin,

\{ \phi \in \operatorname{Aut}(\mathbb{D}) : \phi(0) = 0 \}

, comprises the rotations

z \mapsto e^{i\theta} z

.^[13] This structure classifies

\operatorname{Aut}(\mathbb{D})

up to conjugation as the group

\operatorname{PSU}(1,1)

, the projective special unitary group of signature (1,1), which plays a key role in normalizing domains via the Riemann mapping theorem.^[13] In hyperbolic geometry, the biholomorphisms of

\mathbb{D}

correspond exactly to the orientation-preserving isometries of the Poincaré disk model, where the hyperbolic metric is given by

ds^2 = \frac{4|dz|^2}{(1 - |z|^2)^2}

.^[14] These isometries preserve the hyperbolic distance, ensuring that

\operatorname{Aut}(\mathbb{D})

realizes the full group of symmetries for the model.^[14] On the extended complex plane

\hat{\mathbb{C}} = \mathbb{C} \cup \{\infty\}

, known as the Riemann sphere, the automorphism group consists of all Möbius transformations

\phi(z) = \frac{az + b}{cz + d}

with

ad - bc \neq 0

.^[15] For proper subdomains like

\mathbb{D}

, the automorphisms are the subgroup of those Möbius transformations that map

\mathbb{D}

bijectively to itself, restricting the full group to preserve the domain boundary in the spherical metric.^[15]

Equivalent Characterizations

Conformal Mappings

In complex analysis, a conformal mapping is defined as a holomorphic function

f: U \to V

between open domains

U, V \subset \mathbb{C}

such that

f'(z) \neq 0

for all

z \in U

. This condition ensures that the mapping preserves angles between intersecting curves at every point, up to orientation, because the derivative

f'(z)

acts as a complex multiplication, which scales and rotates tangent vectors uniformly without distortion.^[16]^[17] In the setting of one complex variable, biholomorphisms between domains in

\mathbb{C}

are precisely the bijective conformal mappings. An injective holomorphic function with non-vanishing derivative is locally biholomorphic by the holomorphic inverse function theorem, and global injectivity ensures that the local inverses patch together to form a single-valued holomorphic inverse on the image, making the map a biholomorphism onto its image.^[18]^[5] This equivalence holds for connected open sets, as the monodromy theorem guarantees unique analytic continuation of the inverse branches without branching issues when the map is injective.^[19] Geometrically, conformal mappings preserve local shapes by maintaining the conformal modulus of quadrilaterals and the angles of infinitesimal figures, facilitating the study of domain equivalences. A prominent class of such maps, the Möbius transformations (rational functions of the form

f(z) = \frac{az + b}{cz + d}

with

ad - bc \neq 0

), are biholomorphisms of the extended complex plane

\hat{\mathbb{C}}

that map generalized circles (circles or straight lines) to generalized circles, underscoring their role in preserving Euclidean and hyperbolic geometries.^[20]^[21] The notion of conformality in complex analysis differs from that in real multivariable calculus, where angle-preserving maps (with orthogonal Jacobian matrices up to scaling) may lack the global analyticity imposed by holomorphy; the complex version requires infinite differentiability and satisfies the Cauchy-Riemann equations, yielding stronger rigidity and orientation preservation.^[17]^[22]

Alternative Definitions

In the context of complex manifolds, a biholomorphism can be defined as an isomorphism between two complex manifolds

M

and

N

, meaning a bijective holomorphic map

f: M \to N

such that the induced map on structure sheaves

f^*: \mathcal{O}_N \to f_*\mathcal{O}_M

is an isomorphism of sheaves of rings, ensuring that the inverse

f^{-1}

is also holomorphic with respect to the atlas charts where transition maps are biholomorphic.^[23] This formulation emphasizes the compatibility with the complex structure, where local coordinate charts

\phi_i: U_i \to D_i \subset \mathbb{C}^n

M

and

\psi_j: V_j \to E_j \subset \mathbb{C}^n

N

satisfy that

\psi_j \circ f \circ \phi_i^{-1}

is biholomorphic on its domain.^[23] Equivalence to the standard definition follows from the fact that such isomorphisms preserve the holomorphic functions on open sets, as shown by the compatibility of transition functions in the atlases.^[23] Another variant arises in the study of domains in

\mathbb{C}^n

, where a biholomorphism is characterized as a local biholomorphism— a holomorphic map with non-vanishing complex Jacobian determinant—that extends to a global biholomorphism via analytic continuation, particularly when the domains are simply connected.^[24] In one complex variable, for simply connected domains, the monodromy theorem ensures that local inverses glue uniquely to a global holomorphic inverse, provided the map is bijective.^[24] This extension relies on the path-connectedness and simply connectedness, allowing analytic continuation along paths without branching.^[24] A common misconception is the existence of holomorphic bijections between domains in

\mathbb{C}^n

whose inverses are not holomorphic; however, no such examples exist, as the implicit function theorem guarantees that a holomorphic map with non-vanishing Jacobian is locally biholomorphic, and global bijectivity ensures the continuous global inverse is holomorphic everywhere by the identity theorem on overlaps of local charts.^[24] Historically, early formulations in several complex variables described biholomorphisms near a point via formal power series expansions in

\mathbb{C}[[z - p]]

with an invertible Jacobian matrix at

p

, ensuring local invertibility in the formal category before convergence is established.^[25] This approach, rooted in the work on normal forms for mappings, predates modern sheaf-theoretic definitions and focused on the convergence of series under non-degeneracy conditions of the Jacobian.^[25]

Examples and Applications

Specific Examples

A fundamental example of a biholomorphism is the affine transformation

\phi(z) = az + b

, where

a \neq 0

and

b \in \mathbb{C}

. This map is holomorphic on the entire complex plane

\mathbb{C}

and bijective onto

\mathbb{C}

, with inverse

\phi^{-1}(w) = (w - b)/a

, establishing it as a biholomorphism from

\mathbb{C}

to itself.^[26] Another illustrative example is the exponential map

\exp(z)

, which serves as a biholomorphism from the horizontal strip

\{z \in \mathbb{C} : |\operatorname{Im} z| < \pi/2\}

onto

\mathbb{C} \setminus (-\infty, 0]

. The inverse is a branch of the complex logarithm, confirming the bijectivity and holomorphy in both directions.^[27] On the punctured complex plane

\mathbb{C} \setminus \{0\}

, the power maps

z \mapsto z^k

for integer

k \neq 0

are biholomorphic precisely when

|k| = 1

, i.e., the maps

z \mapsto az

(with

a \neq 0

) and

z \mapsto a/z

(with

a \neq 0

). These are holomorphic, injective, and surjective on

\mathbb{C} \setminus \{0\}

, with inverses of the same form.^[28] In contrast, the squaring map

z \mapsto z^2

\mathbb{C} \setminus \{0\}

is holomorphic but fails to be a biholomorphism, as it is two-to-one (not injective) while being surjective onto

\mathbb{C} \setminus \{0\}

.^[26] The automorphisms of the unit disk provide a class of non-trivial biholomorphisms from the disk to itself, given by Möbius transformations of the form

e^{i\theta} \frac{a - z}{1 - \overline{a} z}

for

\theta \in \mathbb{R}

and

|a| < 1

.^[29]

Applications in Complex Analysis

Biholomorphisms play a central role in the uniformization theorem, which classifies simply connected Riemann surfaces up to biholomorphic equivalence by showing that each is biholomorphic to one of three canonical models: the Riemann sphere, the complex plane, or the unit disk.^[30] This theorem, proved independently by Henri Poincaré and Paul Koebe in 1907, provides a foundational tool for understanding the global structure of Riemann surfaces through conformal equivalence. The Riemann mapping theorem serves as a key enabler for this result in the simply connected case.^[31] In solving boundary value problems, biholomorphisms simplify the Dirichlet problem for the Laplace equation by mapping arbitrary simply connected domains to the unit disk, where solutions can be explicitly constructed using the Poisson integral formula.^[31] This mapping preserves harmonic functions up to composition, allowing boundary data on the original domain to be transformed and solved in the disk before pulling back the result.^[32] Such techniques reduce computational complexity for irregular boundaries in potential theory. Biholomorphisms facilitate the transfer of function-theoretic properties between domains, such as boundedness, the location of zeros, or analytic continuation, by composing holomorphic functions across the mapping.^[33] For instance, if a function is bounded on one domain, its composition with a biholomorphism yields a bounded function on the equivalent domain, preserving essential analytic behaviors.^[34] Historically, Bernhard Riemann applied conformal mappings—precursors to modern biholomorphisms—in his 1851 habilitation thesis to model electrostatic fields and incompressible fluid flows, leveraging their angle-preserving invariance to solve two-dimensional potential problems.^[31] This work laid the groundwork for using biholomorphisms in physical applications, influencing developments in both electrostatics and hydrodynamics.^[32]

Extension to Several Complex Variables

Definitions and Distinctions

In several complex variables, a biholomorphic map

\phi: U \to V

between open subsets

U, V \subset \mathbb{C}^n

is defined as a holomorphic function that is bijective onto

V

with a holomorphic inverse

\phi^{-1}: V \to U

.^[35] This condition implies that the Jacobian matrix of

\phi

is invertible everywhere in

U

, ensuring local bijectivity and smoothness of the inverse.^[34] In contrast to the one-variable case, where biholomorphisms are simply conformal equivalences of Riemann surfaces, the higher-dimensional setting introduces additional rigidity due to the multivariable nature of holomorphy.^[34] A key distinction from the one-variable theory is the absence of a Riemann mapping theorem analog; not every bounded domain in

\mathbb{C}^n

for

n > 1

is biholomorphic to the unit ball. For instance, the unit ball

\mathbb{B}^n = \{ z \in \mathbb{C}^n : \|z\| < 1 \}

and the unit polydisk

\mathbb{D}^n = \{ z \in \mathbb{C}^n : |z_j| < 1 \ \forall j \}

are not biholomorphic when

n > 1

, as demonstrated by Poincaré through analysis of their automorphism groups and invariants akin to Cartan's uniqueness theorem, which enforces strict conditions on maps fixing a point with derivative the identity.^[36]^[37] Local biholomorphisms exist generically by the inverse function theorem for holomorphic maps: if the Jacobian is invertible at a point, there is a neighborhood where

\phi

is biholomorphic.^[34] However, extending such maps globally across a domain is far more restrictive in higher dimensions, often failing due to topological or analytic obstructions absent in one variable.^[38] On complex manifolds, biholomorphisms are smooth diffeomorphisms that preserve the complex structure (holomorphic in local coordinates) with holomorphic inverses, extending the domain definition via charts. When the manifolds are Kähler, such maps pull back the Kähler form to another Kähler form compatible with the structure, preserving the metric up to a conformal scalar factor in the Hermitian sense.^[34]

Properties and Limitations

In several complex variables, biholomorphisms between strictly pseudoconvex domains exhibit significant rigidity, particularly regarding their behavior at the boundary. Specifically, a biholomorphic mapping between two bounded strictly pseudoconvex domains with

C^1

boundaries extends continuously to the boundary as a homeomorphism. This extension result, known as Fefferman's extension theorem, implies that such biholomorphisms are uniquely determined by their boundary values, highlighting a form of boundary rigidity that contrasts with the more flexible situation in one variable. Further refinements show that if the boundaries are

C^\infty

, the extension is a

C^\infty

-diffeomorphism, while for real-analytic boundaries, it is real-analytic. A notable limitation arises in the non-equivalence of certain model domains: there exist no proper holomorphic mappings from the unit polydisk

\Delta^n

\mathbb{C}^n

(

n \geq 2

) onto the unit ball

B_n

. This absence implies that the unit ball and polydisk are not biholomorphically equivalent, despite both being bounded pseudoconvex domains.^[36] The result underscores the geometric rigidity of biholomorphisms, as even proper (but non-bijective) maps fail between these domains, preventing any holomorphic equivalence. Cartan's uniqueness theorem provides another key rigidity property for automorphisms of bounded domains. For a bounded domain

\Omega \subset \mathbb{C}^n

(

n \geq 1

), if

f: \Omega \to \Omega

is a biholomorphic automorphism fixing a point

p \in \Omega

with differential

Df(p) = I

(the identity), then

f

is the identity map on

\Omega

.^[39] This theorem, originally proved by Henri Cartan, extends to show that automorphisms fixing the origin are linear fractional transformations when

\Omega

is the unit ball, but in general bounded domains, the fixed-point condition forces linearity at that point.^[39] Such uniqueness highlights the limited flexibility of automorphism groups in higher dimensions compared to one variable. Limitations of biholomorphisms also manifest in their interaction with global analytic properties on Stein manifolds. Oka's theorem asserts that Stein manifolds satisfy the holomorphic approximation property: any continuous map from a Stein space to an Oka manifold (a generalization of Stein) is homotopic to a holomorphic map, and under certain conditions, biholomorphisms preserve this Oka property.^[40] However, non-biholomorphic mappings can fail to preserve solvability of the Cousin problems; for instance, while the first Cousin problem (constructing meromorphic functions with prescribed principal parts) is always solvable on Stein manifolds, pulling back solutions under a non-biholomorphic proper map from a non-Stein domain may encounter obstructions, leading to failures in coherence or extension.^[41] This illustrates how biholomorphisms rigidly preserve the Stein structure essential for such analytic solvability, whereas weaker maps do not.

History

Media collections

Biholomorphism

Recent from talks

Recent from talks

Contribute something

Contribute something

Media Pages

Timelines

Articles

Notes collections

Notes

Notes

Days in Chronicle

Biholomorphism

Formal definition

Riemann mapping theorem and generalizations

Alternative definitions

References

Bibliography

Biholomorphism

Fundamentals

Definition

Basic Properties

Results in One Complex Variable

Riemann Mapping Theorem

Automorphisms and the Unit Disk

Equivalent Characterizations

Conformal Mappings

Alternative Definitions

Examples and Applications

Specific Examples

Applications in Complex Analysis

Extension to Several Complex Variables

Definitions and Distinctions

Properties and Limitations

References

Add your contribution

Related Hubs

Contribute something