Complex analysis, finding a bijection

[QuantumLuck]

Homework Statement

Let Omega = C\((-inf,-1]U[1,inf)), find a holomorphic bijection phimega-->delta, where delta is the open unit disk

Homework Equations

Reimann Mapping Theorem
Special Mapping formulas: can map wedges onto wedges, with deletion of real line from zero to infinity in order to deal with log.
The unique bilinear mapping that sends 3 points onto; inf,0,1.

The Attempt at a Solution

so what this looks like, is all of C besides for the parts on the real line that goes from -inf to 1 and 1 to inf. also, if we consider C-hat and the point at infinity we can see that this is a simply connected domain and so by Reimann Mapping Theorem there exists a bijection between it and every other simply connected domain(of which delta is one). so, in its present form this domain is unworkable. so i want to somehow map it onto the real line from 0 to inf from which i can go from there. like i said, i know the unique bilinear mapping but that is for 3 discrete points, which does not work in this case since i have the whole line. also, i need it to be 1 to 1, since it must be a bijection and i already have a point at 1 and infinity.

 

[Billy Bob]

Your Omega makes me think of the function sin(z). Can you use it (suitably restricted) or its inverse (suitably restricted), composed with a few other mappings, to create your desired mapping?

 

[QuantumLuck]

while interesting, the problem that i see with this is that the zeroes of sin(z) are points on the real line so it does not relate to my original omega. after a little discussion and searching we found a simplified form of the bilinear mapping when one of the points is -inf or +inf. however, this is still for 3 discrete points. and even if we say we map the interior as a point between our two ends i am a bit concerned that i might map the line on the left side of the plane onto the right half of the plane and that the point of infinity will then have two same points. one from the original omega and one from the mapping.

 

[QuantumLuck]

while interesting, the problem that i see with this is that the zeroes of sin(z) are points on the real line so it does not relate to my original omega. after a little discussion and searching we found a simplified form of the bilinear mapping when one of the points is -inf or +inf. however, this is still for 3 discrete points. and even if we say we map the interior as a point between our two ends i am a bit concerned that i might map the line on the left side of the plane onto the right half of the plane and that the point of infinity will then have two same points. one from the original omega and one from the mapping.

 

[Billy Bob]

What is the image of the strip -pi/2 < x < pi/2 under the mapping f(z)=sin z?

 

[QuantumLuck]

when you say strip you mean just that piece of the real line right? because we are only varying x. so it look like a standard sine function, oscillating between -1 and 1...which is the part of our real line that still exists in my omega. but i fail to see what the connection is between this fact and the composition of bijections that lead to the unit disk.

 

[Billy Bob]

when you say strip you mean just that piece of the real line right?

No, I mean the infinite strip {x+iy : -pi/2 < x < pi/2}, between the two vertical lines x=-pi/2 and x=pi/2. It's easiest perhaps if you can just look up sin(z) in a table of conformal mappings.

Remember, you may find bijections that go from the unit disc to Omega, instead of the other way around. One step at a time, transform something to Omega, or Omega to something. Then transform that something to another thing, or vice versa.