Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Prove that any two simply connected open set in the plane R^2 are diffeomorphic. I know that in the complex plane any simply connected open set is diffeomorphic to either complex plane or open unit disk.How to adapt the proof here. edited later

Also I need to show that: C considered as a complex-analytic manifold is not isomorphic to the unit disk

share|improve this question

1 Answer 1

up vote 2 down vote accepted

I will use the fact that any simply connected open set is diffeomorphic to $D$, the complex unit disc. (And clearly $\mathbb{C} \simeq D$).

Given two sets $S$ and $S'$, we have diffeomorphisms $\varphi$ and $\psi'$, from $S$ (resp. $S'$) to $D$. These maps are bijective, and thus invertible. The inverse of a diffeomorphism is again a diffeomorphism, so $\varphi^{-1}$ and $\psi^{-1}$ are diffeomorphisms. We may now take the map $$\varphi \circ \psi^{-1}: S \to D \to S'$$which is again a diffeomorphism, and it is proved.

share|improve this answer
    
is it C≃D? I think it is not.but I think R^2≃D and that is I think one of the necessary things to be shown –  Koushik Jan 14 '13 at 16:20
2  
If you're looking at the standard (metric topology), they are the same (homeomorphic). And yes, $\mathbb{C} \simeq D$ by the map $\frac{z}{1-|z|^2} : D \to \mathbb{C}$. –  andybenji Jan 14 '13 at 16:26
1  
You may look at $\mathbb{C}$ as $(\mathbb{R}^2, + , *)$ where $(a,b)*(c,d) = (ac-bd, ad + bc)$. –  andybenji Jan 14 '13 at 16:28
2  
@K.Ghosh: what does Liouville's theorem tell you about an an analytic map $\mathbb{C} \to \mathbb{D}$? –  Martin Jan 14 '13 at 17:04
1  
@K.Ghosh: Yes, such a map must be constant. Be careful: andybenji showed you in the first comment how $\mathbb{C}$ and $D$ are diffeomorphic (in particular homeomorphic). What Liouville tells you is that there can be no analytic isomorphism because every analytic map $\mathbb{C}\to D$ is constant. –  Martin Jan 14 '13 at 20:38

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.