Biholomorphically equivalent domains: Difference between revisions
No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
(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. | (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]]. | |||
Revision as of 20:56, 16 April 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.