In the theory of functions of
several complex variables
The theory of functions of several complex variables is the branch of mathematics dealing with complex number, complex-valued functions. The name of the field dealing with the properties of function of several complex variables is called several ...
, a branch of
mathematics, a polydisc is a
Cartesian product
In mathematics, specifically set theory, the Cartesian product of two sets ''A'' and ''B'', denoted ''A''×''B'', is the set of all ordered pairs where ''a'' is in ''A'' and ''b'' is in ''B''. In terms of set-builder notation, that is
: A\ ...
of
discs.
More specifically, if we denote by
the
open
Open or OPEN may refer to:
Music
* Open (band), Australian pop/rock band
* The Open (band), English indie rock band
* ''Open'' (Blues Image album), 1969
* ''Open'' (Gotthard album), 1999
* ''Open'' (Cowboy Junkies album), 2001
* ''Open'' (Y ...
disc of center ''z'' and radius ''r'' in the
complex plane
In mathematics, the complex plane is the plane formed by the complex numbers, with a Cartesian coordinate system such that the -axis, called the real axis, is formed by the real numbers, and the -axis, called the imaginary axis, is formed by th ...
, then an open polydisc is a set of the form
:
It can be equivalently written as
:
One should not confuse the polydisc with the
open ball
In mathematics, a ball is the solid figure bounded by a ''sphere''; it is also called a solid sphere. It may be a closed ball (including the boundary points that constitute the sphere) or an open ball (excluding them).
These concepts are def ...
in C
n, which is defined as
:
Here, the
norm
Naturally occurring radioactive materials (NORM) and technologically enhanced naturally occurring radioactive materials (TENORM) consist of materials, usually industrial wastes or by-products enriched with radioactive elements found in the envir ...
is the
Euclidean distance
In mathematics, the Euclidean distance between two points in Euclidean space is the length of a line segment between the two points.
It can be calculated from the Cartesian coordinates of the points using the Pythagorean theorem, therefore o ...
in C
n.
When
, open balls and open polydiscs are ''not'' biholomorphically equivalent, that is, there is no
biholomorphic mapping between the two. This was proven by
Poincaré in 1907 by showing that their
automorphism group
In mathematics, the automorphism group of an object ''X'' is the group consisting of automorphisms of ''X'' under composition of morphisms. For example, if ''X'' is a finite-dimensional vector space, then the automorphism group of ''X'' is th ...
s have different dimensions as
Lie group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the addit ...
s.
[Poincare, H,Les fonctions analytiques de deux variables et la r?epresentation conforme, Rend. Circ. Mat. Palermo23 (1907), 185-220]
When
the term ''bidisc'' is sometimes used.
A polydisc is an example of
logarithmically convex In mathematics, a function ''f'' is logarithmically convex or superconvex if \circ f, the composition of the logarithm with ''f'', is itself a convex function.
Definition
Let be a convex subset of a real vector space, and let be a function tak ...
Reinhardt domain.
References
*
*
{{PlanetMath attribution, urlname=polydisc, title=polydisc
Several complex variables