Biholomorphically equivalent domains: Difference between revisions

From Companal
(New page: ==Definition== Let <math>U,V \subset \mathbb{C}^n</math> be domains (open connected subset). We say that <math>U,V</math> are '''biholomorphically equivalent''' if there exists a [[h...)
 
m (3 revisions)
 
(2 intermediate revisions by the same user not shown)
Line 3: Line 3:
Let <math>U,V \subset \mathbb{C}^n</math> be [[domain]]s (open connected subset). We say that <math>U,V</math> are '''biholomorphically equivalent''' if there exists a  [[holomorphic function]] <math>\varphi:U \to V</math> with a holomorphic inverse <math>\varphi^{-1}:V \to U</math>.
Let <math>U,V \subset \mathbb{C}^n</math> be [[domain]]s (open connected subset). We say that <math>U,V</math> are '''biholomorphically equivalent''' if there exists a  [[holomorphic function]] <math>\varphi:U \to V</math> with a holomorphic inverse <math>\varphi^{-1}:V \to U</math>.


(By a holomorphic function from <math>U</math> to <math>V</math>, we mean a holomorphic function from <math>U</math> to <math>\C^n</math>, whose image lies completely inside <math>V</math>. In this case, we get a bijection from <math>U</math> to <math>V</math> that is holomorphic both ways.
(By a holomorphic function from <math>U</math> to <math>V</math>, we mean a holomorphic function from <math>U</math> to <math>\mathbb{C}^n</math>, whose image lies completely inside <math>V</math>. In this case, we get a bijection from <math>U</math> to <math>V</math> that is holomorphic both ways.
 
When <math>n=1</math>, biholomorphically equivalent domains are also termed '''conformally equivalent'''.
 
==Relation with other equivalence relations==
 
===Weaker equivalence relations===
 
* [[Diffeomorphic domains]]
* [[Homeomorphic domains]]
* [[Homotopy-equivalent domains]]
 
==Facts==
 
Any two simply connected open subsets of <math>\mathbb{C}</math> are biholomorphically equivalent. This is a consequence of the [[Riemann mapping theorem]].

Latest revision as of 19:10, 18 May 2008

Definition

Let be domains (open connected subset). We say that are biholomorphically equivalent if there exists a holomorphic function with a holomorphic inverse .

(By a holomorphic function from to , we mean a holomorphic function from to , whose image lies completely inside . In this case, we get a bijection from to that is holomorphic both ways.

When , biholomorphically equivalent domains are also termed conformally equivalent.

Relation with other equivalence relations

Weaker equivalence relations

Facts

Any two simply connected open subsets of are biholomorphically equivalent. This is a consequence of the Riemann mapping theorem.