By isomorphism, do you mean conformal mapping (functions that preserve angles)?
The correct definition I've got is:
Let R and S be two regions. If there exists an analytic,injective function in R that satisfies: f(R)=S then the two regions R,S are isomorphic...
So I don't think it has to be conformal...
About the second one:
I know that if we take the composition of the functions then we'll get a mapping from the mentioned region to the upper half plane. But this composition doesn't preserve the points as needed...
Hope you'll be able to help me
Thanks !
So you don't care if the function is onto, then? That's interesting...
I'd fiddle around with fractional linear transformations, or Mobius transformations, as they're also called. Find out which points you want to go to which points. The key there is that Mobius transformations preserve cross-ratios. And that's the information you can use to construct your transformation.
Ofcourse it should be onto... In the definition I've written: f(R)=S...It means that the map should be onto...
Unfortunately,I've already tried solving these two questions using the guidance you mentioned- but without any success... I can't figure out how to continue the second question , from the part I mentioned above...
About the first one-I think that if we take the composition of the functions:
- we'll get the needed isomorphism...Am I right?
Hope you'll be able to continue your guidance...
Thanks !
My bad. I saw " " where you had put equality. So you have to have analytic bijections from one region to another. Such functions are conformal, at least if their derivative is everywhere non-zero.
Hmm. Initial thoughts: #2 you're guaranteed to be able to do, since the Reimann Mapping Theorem says you can go from the starting region to the open unit disk, as well as from the the open unit disk to the ending region. All the regions there are simply connected, nonempty, open, proper subsets of the complex plane.
I'll have to get back to this another time.
For #1, apply a Mobius transformation which maps to and to , while mapping the real line to itself. Then you have the plane cut along the half-line . Then use a fixed branch of the square root to map this to the upper-half plane.
By the way, any analytic mapping is automatically conformal at any point where the derivative does not vanish.