Namespaces
Variants
Actions

Difference between revisions of "Preservation of domain, principle of"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
A property of holomorphic functions on domains in the complex plane: the set of values of every non-constant holomorphic function on a domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074440/p0744401.png" /> is also a domain, that is, an open connected set. The basic property here is that of openness of the image, which follows from Rouché's theorem or from the principle of the argument (cf. [[Rouché theorem|Rouché theorem]]; [[Argument, principle of the|Argument, principle of the]]). The principle of preservation of domain can be considered as a generalization of the [[Maximum-modulus principle|maximum-modulus principle]] for holomorphic functions.
+
<!--
 +
p0744401.png
 +
$#A+1 = 13 n = 0
 +
$#C+1 = 13 : ~/encyclopedia/old_files/data/P074/P.0704440 Preservation of domain, principle of
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
The principle of preservation of domain holds for holomorphic functions on an arbitrary complex manifold: the set of values of any non-constant holomorphic function on a connected [[Complex manifold|complex manifold]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074440/p0744402.png" /> is a domain in the complex plane. It also holds for holomorphic mappings from complex manifolds into Riemann surfaces. However, holomorphic mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074440/p0744403.png" /> into complex manifolds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074440/p0744404.png" /> of dimension exceeding 1 need not be open, in general: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074440/p0744405.png" /> is non-constant, but has rank everywhere less than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074440/p0744406.png" />, say, then the image <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074440/p0744407.png" /> has no interior points, in general. Openness can also be violated in the case when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074440/p0744408.png" /> on sets of small dimension. For example, under the mapping
+
{{TEX|auto}}
 +
{{TEX|done}}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074440/p0744409.png" /></td> </tr></table>
+
A property of holomorphic functions on domains in the complex plane: the set of values of every non-constant holomorphic function on a domain  $  D \subset  \mathbf C $
 +
is also a domain, that is, an open connected set. The basic property here is that of openness of the image, which follows from Rouché's theorem or from the principle of the argument (cf. [[Rouché theorem|Rouché theorem]]; [[Argument, principle of the|Argument, principle of the]]). The principle of preservation of domain can be considered as a generalization of the [[Maximum-modulus principle|maximum-modulus principle]] for holomorphic functions.
  
from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074440/p07444010.png" /> into itself, the image is the non-open set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074440/p07444011.png" />. The principle of preservation of domain holds for holomorphic mappings if the condition that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074440/p07444012.png" /> be non-constant is replaced by stronger requirements, one of the simplest being the zero-dimensionality of the set of points for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074440/p07444013.png" />.
+
The principle of preservation of domain holds for holomorphic functions on an arbitrary complex manifold: the set of values of any non-constant holomorphic function on a connected [[Complex manifold|complex manifold]]  $  X $
 +
is a domain in the complex plane. It also holds for holomorphic mappings from complex manifolds into Riemann surfaces. However, holomorphic mappings  $  f :  X \rightarrow Y $
 +
into complex manifolds  $  Y $
 +
of dimension exceeding 1 need not be open, in general: If  $  f $
 +
is non-constant, but has rank everywhere less than  $  \mathop{\rm dim}  Y $,
 +
say, then the image  $  f ( X) \subset  Y $
 +
has no interior points, in general. Openness can also be violated in the case when  $  \mathop{\rm rank}  f <  \mathop{\rm dim}  Y $
 +
on sets of small dimension. For example, under the mapping
 +
 
 +
$$
 +
( z _ {1} , z _ {2} )  \rightarrow  ( z _ {1} , z _ {1} z _ {2} )
 +
$$
 +
 
 +
from  $  \mathbf C  ^ {2} $
 +
into itself, the image is the non-open set $  \mathbf C  ^ {2} \setminus  \{ w _ {1} = 0;  w _ {2} \neq 0 \} $.  
 +
The principle of preservation of domain holds for holomorphic mappings if the condition that $  f $
 +
be non-constant is replaced by stronger requirements, one of the simplest being the zero-dimensionality of the set of points for which $  \mathop{\rm rank}  f < \mathop{\rm dim}  Y $.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  I.I. [I.I. Privalov] Priwalow,  "Einführung in die Funktionentheorie" , '''1–3''' , Teubner  (1965–1967)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  R.C. Gunning,  H. Rossi,  "Analytic functions of several complex variables" , Prentice-Hall  (1965)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  I.I. [I.I. Privalov] Priwalow,  "Einführung in die Funktionentheorie" , '''1–3''' , Teubner  (1965–1967)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  R.C. Gunning,  H. Rossi,  "Analytic functions of several complex variables" , Prentice-Hall  (1965)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====

Latest revision as of 08:07, 6 June 2020


A property of holomorphic functions on domains in the complex plane: the set of values of every non-constant holomorphic function on a domain $ D \subset \mathbf C $ is also a domain, that is, an open connected set. The basic property here is that of openness of the image, which follows from Rouché's theorem or from the principle of the argument (cf. Rouché theorem; Argument, principle of the). The principle of preservation of domain can be considered as a generalization of the maximum-modulus principle for holomorphic functions.

The principle of preservation of domain holds for holomorphic functions on an arbitrary complex manifold: the set of values of any non-constant holomorphic function on a connected complex manifold $ X $ is a domain in the complex plane. It also holds for holomorphic mappings from complex manifolds into Riemann surfaces. However, holomorphic mappings $ f : X \rightarrow Y $ into complex manifolds $ Y $ of dimension exceeding 1 need not be open, in general: If $ f $ is non-constant, but has rank everywhere less than $ \mathop{\rm dim} Y $, say, then the image $ f ( X) \subset Y $ has no interior points, in general. Openness can also be violated in the case when $ \mathop{\rm rank} f < \mathop{\rm dim} Y $ on sets of small dimension. For example, under the mapping

$$ ( z _ {1} , z _ {2} ) \rightarrow ( z _ {1} , z _ {1} z _ {2} ) $$

from $ \mathbf C ^ {2} $ into itself, the image is the non-open set $ \mathbf C ^ {2} \setminus \{ w _ {1} = 0; w _ {2} \neq 0 \} $. The principle of preservation of domain holds for holomorphic mappings if the condition that $ f $ be non-constant is replaced by stronger requirements, one of the simplest being the zero-dimensionality of the set of points for which $ \mathop{\rm rank} f < \mathop{\rm dim} Y $.

References

[1] I.I. [I.I. Privalov] Priwalow, "Einführung in die Funktionentheorie" , 1–3 , Teubner (1965–1967) (Translated from Russian)
[2] R.C. Gunning, H. Rossi, "Analytic functions of several complex variables" , Prentice-Hall (1965)

Comments

In the older German literature the concept occurs as the "GebietstreueGebietstreue" of a holomorphic mapping. In English, one usually speaks of the open mapping principle, cf. [a1].

References

[a1] G.T. Whyburn, "Topological analysis" , Princeton Univ. Press (1964)
[a2] E.M. Chirka, "Complex analytic sets" , Kluwer (1989) (Translated from Russian)
How to Cite This Entry:
Preservation of domain, principle of. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Preservation_of_domain,_principle_of&oldid=48281
This article was adapted from an original article by E.M. Chirka (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article