Möbius transformation mapping












1












$begingroup$


I would like to understand how to choose the right Mobius transformation.
For example, the Mobius transformation that maps upper half plane onto the unit disk is:



$z rightarrow frac{z-i}{z+i}$



or



the Mobius transformation that maps the unit disk one to one onto the right half-plane is:



$zrightarrowfrac{1+z}{1-z}$



I would like to understand how one gets to this Möbius transformations.
Thank you!










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    If you envision the complex plane as the Bloch sphere, then understand that Möbius transformations map "circles to circles", where these circles are on the Bloch sphere, then many times all you have to do is figure out where $0,1,$ and $infty$ map to, and you're done. To be clear, the term "circles" here includes regular circles in the complex plane, as well as straight lines in the complex plane.
    $endgroup$
    – Adrian Keister
    Dec 13 '18 at 15:09










  • $begingroup$
    Would you be able to illustrate it for me with one of the examples above? I have never used the Bloch sphere before. Thank you!
    $endgroup$
    – user608881
    Dec 13 '18 at 17:49
















1












$begingroup$


I would like to understand how to choose the right Mobius transformation.
For example, the Mobius transformation that maps upper half plane onto the unit disk is:



$z rightarrow frac{z-i}{z+i}$



or



the Mobius transformation that maps the unit disk one to one onto the right half-plane is:



$zrightarrowfrac{1+z}{1-z}$



I would like to understand how one gets to this Möbius transformations.
Thank you!










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    If you envision the complex plane as the Bloch sphere, then understand that Möbius transformations map "circles to circles", where these circles are on the Bloch sphere, then many times all you have to do is figure out where $0,1,$ and $infty$ map to, and you're done. To be clear, the term "circles" here includes regular circles in the complex plane, as well as straight lines in the complex plane.
    $endgroup$
    – Adrian Keister
    Dec 13 '18 at 15:09










  • $begingroup$
    Would you be able to illustrate it for me with one of the examples above? I have never used the Bloch sphere before. Thank you!
    $endgroup$
    – user608881
    Dec 13 '18 at 17:49














1












1








1





$begingroup$


I would like to understand how to choose the right Mobius transformation.
For example, the Mobius transformation that maps upper half plane onto the unit disk is:



$z rightarrow frac{z-i}{z+i}$



or



the Mobius transformation that maps the unit disk one to one onto the right half-plane is:



$zrightarrowfrac{1+z}{1-z}$



I would like to understand how one gets to this Möbius transformations.
Thank you!










share|cite|improve this question











$endgroup$




I would like to understand how to choose the right Mobius transformation.
For example, the Mobius transformation that maps upper half plane onto the unit disk is:



$z rightarrow frac{z-i}{z+i}$



or



the Mobius transformation that maps the unit disk one to one onto the right half-plane is:



$zrightarrowfrac{1+z}{1-z}$



I would like to understand how one gets to this Möbius transformations.
Thank you!







complex-analysis complex-numbers mobius-transformation






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 13 '18 at 15:13









Boshu

708315




708315










asked Dec 13 '18 at 14:51









user608881user608881

283




283








  • 1




    $begingroup$
    If you envision the complex plane as the Bloch sphere, then understand that Möbius transformations map "circles to circles", where these circles are on the Bloch sphere, then many times all you have to do is figure out where $0,1,$ and $infty$ map to, and you're done. To be clear, the term "circles" here includes regular circles in the complex plane, as well as straight lines in the complex plane.
    $endgroup$
    – Adrian Keister
    Dec 13 '18 at 15:09










  • $begingroup$
    Would you be able to illustrate it for me with one of the examples above? I have never used the Bloch sphere before. Thank you!
    $endgroup$
    – user608881
    Dec 13 '18 at 17:49














  • 1




    $begingroup$
    If you envision the complex plane as the Bloch sphere, then understand that Möbius transformations map "circles to circles", where these circles are on the Bloch sphere, then many times all you have to do is figure out where $0,1,$ and $infty$ map to, and you're done. To be clear, the term "circles" here includes regular circles in the complex plane, as well as straight lines in the complex plane.
    $endgroup$
    – Adrian Keister
    Dec 13 '18 at 15:09










  • $begingroup$
    Would you be able to illustrate it for me with one of the examples above? I have never used the Bloch sphere before. Thank you!
    $endgroup$
    – user608881
    Dec 13 '18 at 17:49








1




1




$begingroup$
If you envision the complex plane as the Bloch sphere, then understand that Möbius transformations map "circles to circles", where these circles are on the Bloch sphere, then many times all you have to do is figure out where $0,1,$ and $infty$ map to, and you're done. To be clear, the term "circles" here includes regular circles in the complex plane, as well as straight lines in the complex plane.
$endgroup$
– Adrian Keister
Dec 13 '18 at 15:09




$begingroup$
If you envision the complex plane as the Bloch sphere, then understand that Möbius transformations map "circles to circles", where these circles are on the Bloch sphere, then many times all you have to do is figure out where $0,1,$ and $infty$ map to, and you're done. To be clear, the term "circles" here includes regular circles in the complex plane, as well as straight lines in the complex plane.
$endgroup$
– Adrian Keister
Dec 13 '18 at 15:09












$begingroup$
Would you be able to illustrate it for me with one of the examples above? I have never used the Bloch sphere before. Thank you!
$endgroup$
– user608881
Dec 13 '18 at 17:49




$begingroup$
Would you be able to illustrate it for me with one of the examples above? I have never used the Bloch sphere before. Thank you!
$endgroup$
– user608881
Dec 13 '18 at 17:49










2 Answers
2






active

oldest

votes


















2












$begingroup$

For your first example, because the boundary of the upper half-plane is a "circle" (in the Riemann sphere sense (sorry, Riemann sphere, not Bloch sphere)), and the boundary of the unit disk is a circle (plainly, but also in the Riemann sphere sense), we try to map the boundary of the one to the boundary of the other. We start with a generic Möbius transformation:
$$w=frac{az+b}{cz+d}.$$
Here $a,b,c,dinmathbb{C}$ and $ad-bcnot=0.$
Let's remember that $z$ is a point in the upper half-plane, and $w$ is in the unit circle. So if we consider the following table:
$$begin{array}{c|c}z &w \ hline 0 &b/d \ hline 1 &(a+b)/(c+d) \ hline infty &a/c end{array},$$
we need all three points in the second column to be unique points on the unit circle. How did I get the points for $z?$ The answer is this: they're the most straight-forward points on the real axis (the boundary of the upper half plane) to plug into the transformation. We can see right away that we need $|b|=|d|,; |a|=|c|,$ and $|a+b|=|c+d|,$ in order for the $w$ points to be on the unit circle. There are a number of ways to do this, so let's try $a=b=c=d=1:$
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &1 \ hline infty &a/c &1 end{array}.$$
Clearly, this won't work: the $w$ have to be unique! Could we work backwards? How if we could map $0to 1, ; 1to i, ; inftyto-1?$ Are there $a,b,c,d$ to make that work? Let's see:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &i \ hline infty &a/c &-1 end{array}.$$
So here $b=d$ and $a=-c$. To get $i$ out of $dfrac{a+b}{c+d}=dfrac{a+b}{-a+b}$ would require $a+b=i(-a+b),$ so (remembering that $a,binmathbb{C}$) we would have
begin{align*}
a(1+i)&=b(i-1) \
a&=frac{b(i-1)}{i+1}.
end{align*}

We have one degree of freedom here, now. Let's just let $b=1,$ and see what falls out. We get
$$a=frac{i-1}{i+1}cdotfrac{i-1}{i-1}=frac{(i-1)(i-1)}{2}=frac{-1-2i+1}{2}=-i.$$
Then, from before, we have $d=1$ and $c=i,$ so the mapping is
$$w=frac{-iz+1}{iz+1}.$$
We can see that $ad-bcnot=0.$ What about the interior? Let's see if $z=i$ maps to the interior of the unit circle. $z=i$ goes to $(1+1)/(0)$. Oops! Can't do that. We can see that $z=-i$ maps to $w=0$. So what's going on? We actually mapped the lower half-plane to the unit circle! The upper half-plane got mapped to everything outside the unit circle. What went wrong? Well, we had some freedom in choosing what to map $0,1,infty$ to, so we must have done that wrong. Let's try going around the boundary of the unit circle the other way ($0,1,infty$ got mapped to a counter-clockwise orientation on the unit circle before), and see if we can fix it:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &-1 \ hline 1 &(a+b)/(c+d) &? \ hline infty &a/c &1 end{array}.$$
We'll leave the middle one blank for now, but to get the clockwise orientation, it'll need to have a positive imaginary part. Let's try $a=c=1$. Now $b=-d,$ and we're going to need nonzero imaginary parts to get that third point right. The easiest thing to try is $b=i, ; d=-i$. Let's check the middle row:
$$frac{a+b}{c+d}=frac{1+i}{1-i}cdotfrac{1+i}{1+i}=frac{1+2i-1}{2}=i, $$
which makes our transformation
$$w=frac{z+i}{z-i}.$$
Does this work? We check the interior again: $z=i$ should map to the interior of the unit circle. We get $w=(2i)/(0),$ which doesn't work again! So we try it the other way, with $b=-i$ and $d=i$, and you'll find that it works.



I wanted to show you how I think about Möbius transformations, and how I get one to work. It basically all comes down to this: if you generalize the concept of circle to circles or lines (lines still being a circle on the Riemann sphere), then Möbius transformations map circles to circles. Use that to map one boundary to the other, and then get the interiors to match up. That's the basic plan of attack.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thanks a lot! Very helpful!
    $endgroup$
    – user608881
    Dec 13 '18 at 19:47



















0












$begingroup$

A simple answer is, when we want a map between unit disk and a right /left /upper /lower half-plane is considering the map
$$w=dfrac{1+z}{1-z}$$
as a base, which maps unit disk to right halfplane ${{bf Re} w>0}$. With rotation $dfrac{pi}{2}$ of the range, we find a map $idfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w>0}$, other rotation makes $i^2dfrac{1+z}{1-z}:{mathbb D}to{{bf Re} w<0}$ and with another rotation we have the mapping $i^3dfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w<0}$. Inverse of each of above maps, enable us to have a map from a half-plane to unit disk.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    I have a question. For example if we consider the map between the unit disk and the upper half plane (Im w > 0) : i (1+z)/(1-z). Is the inverse (meaning the map of upper half plane to unit disk) going to be w= (z-i)/ (z+i)? This is the result I'm obtaining and it's no the correct one, which is: w=(z+i)/z-i).
    $endgroup$
    – user608881
    Dec 13 '18 at 20:35










  • $begingroup$
    $w=frac{z+i}{z-i}$ maps upper half-plane to exterior of the unit disk. Let $frac12+frac{i}{2}to2i-1$.
    $endgroup$
    – Nosrati
    Dec 14 '18 at 2:59










  • $begingroup$
    Sorry my mistake. For the map of unit disk to right half-plane we have w=(1+z)/(1-z). The inverse I find it to be w=(z-1)/(z+1). However, my teacher wrote that the map of right half-plane to unit disk is: w=(1-z)/(1+z). Is this wrong or we can consider it to be the same thing?
    $endgroup$
    – user608881
    Dec 14 '18 at 7:29












  • $begingroup$
    both are correct, $frac{z-1}{1+z}=color{red}{-}frac{1-z}{1+z}$, each map flip the circle horizontally!
    $endgroup$
    – Nosrati
    Dec 14 '18 at 7:40












  • $begingroup$
    Thank you! Very helpful!
    $endgroup$
    – user608881
    Dec 14 '18 at 7:48











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3038106%2fm%25c3%25b6bius-transformation-mapping%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes









2












$begingroup$

For your first example, because the boundary of the upper half-plane is a "circle" (in the Riemann sphere sense (sorry, Riemann sphere, not Bloch sphere)), and the boundary of the unit disk is a circle (plainly, but also in the Riemann sphere sense), we try to map the boundary of the one to the boundary of the other. We start with a generic Möbius transformation:
$$w=frac{az+b}{cz+d}.$$
Here $a,b,c,dinmathbb{C}$ and $ad-bcnot=0.$
Let's remember that $z$ is a point in the upper half-plane, and $w$ is in the unit circle. So if we consider the following table:
$$begin{array}{c|c}z &w \ hline 0 &b/d \ hline 1 &(a+b)/(c+d) \ hline infty &a/c end{array},$$
we need all three points in the second column to be unique points on the unit circle. How did I get the points for $z?$ The answer is this: they're the most straight-forward points on the real axis (the boundary of the upper half plane) to plug into the transformation. We can see right away that we need $|b|=|d|,; |a|=|c|,$ and $|a+b|=|c+d|,$ in order for the $w$ points to be on the unit circle. There are a number of ways to do this, so let's try $a=b=c=d=1:$
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &1 \ hline infty &a/c &1 end{array}.$$
Clearly, this won't work: the $w$ have to be unique! Could we work backwards? How if we could map $0to 1, ; 1to i, ; inftyto-1?$ Are there $a,b,c,d$ to make that work? Let's see:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &i \ hline infty &a/c &-1 end{array}.$$
So here $b=d$ and $a=-c$. To get $i$ out of $dfrac{a+b}{c+d}=dfrac{a+b}{-a+b}$ would require $a+b=i(-a+b),$ so (remembering that $a,binmathbb{C}$) we would have
begin{align*}
a(1+i)&=b(i-1) \
a&=frac{b(i-1)}{i+1}.
end{align*}

We have one degree of freedom here, now. Let's just let $b=1,$ and see what falls out. We get
$$a=frac{i-1}{i+1}cdotfrac{i-1}{i-1}=frac{(i-1)(i-1)}{2}=frac{-1-2i+1}{2}=-i.$$
Then, from before, we have $d=1$ and $c=i,$ so the mapping is
$$w=frac{-iz+1}{iz+1}.$$
We can see that $ad-bcnot=0.$ What about the interior? Let's see if $z=i$ maps to the interior of the unit circle. $z=i$ goes to $(1+1)/(0)$. Oops! Can't do that. We can see that $z=-i$ maps to $w=0$. So what's going on? We actually mapped the lower half-plane to the unit circle! The upper half-plane got mapped to everything outside the unit circle. What went wrong? Well, we had some freedom in choosing what to map $0,1,infty$ to, so we must have done that wrong. Let's try going around the boundary of the unit circle the other way ($0,1,infty$ got mapped to a counter-clockwise orientation on the unit circle before), and see if we can fix it:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &-1 \ hline 1 &(a+b)/(c+d) &? \ hline infty &a/c &1 end{array}.$$
We'll leave the middle one blank for now, but to get the clockwise orientation, it'll need to have a positive imaginary part. Let's try $a=c=1$. Now $b=-d,$ and we're going to need nonzero imaginary parts to get that third point right. The easiest thing to try is $b=i, ; d=-i$. Let's check the middle row:
$$frac{a+b}{c+d}=frac{1+i}{1-i}cdotfrac{1+i}{1+i}=frac{1+2i-1}{2}=i, $$
which makes our transformation
$$w=frac{z+i}{z-i}.$$
Does this work? We check the interior again: $z=i$ should map to the interior of the unit circle. We get $w=(2i)/(0),$ which doesn't work again! So we try it the other way, with $b=-i$ and $d=i$, and you'll find that it works.



I wanted to show you how I think about Möbius transformations, and how I get one to work. It basically all comes down to this: if you generalize the concept of circle to circles or lines (lines still being a circle on the Riemann sphere), then Möbius transformations map circles to circles. Use that to map one boundary to the other, and then get the interiors to match up. That's the basic plan of attack.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thanks a lot! Very helpful!
    $endgroup$
    – user608881
    Dec 13 '18 at 19:47
















2












$begingroup$

For your first example, because the boundary of the upper half-plane is a "circle" (in the Riemann sphere sense (sorry, Riemann sphere, not Bloch sphere)), and the boundary of the unit disk is a circle (plainly, but also in the Riemann sphere sense), we try to map the boundary of the one to the boundary of the other. We start with a generic Möbius transformation:
$$w=frac{az+b}{cz+d}.$$
Here $a,b,c,dinmathbb{C}$ and $ad-bcnot=0.$
Let's remember that $z$ is a point in the upper half-plane, and $w$ is in the unit circle. So if we consider the following table:
$$begin{array}{c|c}z &w \ hline 0 &b/d \ hline 1 &(a+b)/(c+d) \ hline infty &a/c end{array},$$
we need all three points in the second column to be unique points on the unit circle. How did I get the points for $z?$ The answer is this: they're the most straight-forward points on the real axis (the boundary of the upper half plane) to plug into the transformation. We can see right away that we need $|b|=|d|,; |a|=|c|,$ and $|a+b|=|c+d|,$ in order for the $w$ points to be on the unit circle. There are a number of ways to do this, so let's try $a=b=c=d=1:$
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &1 \ hline infty &a/c &1 end{array}.$$
Clearly, this won't work: the $w$ have to be unique! Could we work backwards? How if we could map $0to 1, ; 1to i, ; inftyto-1?$ Are there $a,b,c,d$ to make that work? Let's see:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &i \ hline infty &a/c &-1 end{array}.$$
So here $b=d$ and $a=-c$. To get $i$ out of $dfrac{a+b}{c+d}=dfrac{a+b}{-a+b}$ would require $a+b=i(-a+b),$ so (remembering that $a,binmathbb{C}$) we would have
begin{align*}
a(1+i)&=b(i-1) \
a&=frac{b(i-1)}{i+1}.
end{align*}

We have one degree of freedom here, now. Let's just let $b=1,$ and see what falls out. We get
$$a=frac{i-1}{i+1}cdotfrac{i-1}{i-1}=frac{(i-1)(i-1)}{2}=frac{-1-2i+1}{2}=-i.$$
Then, from before, we have $d=1$ and $c=i,$ so the mapping is
$$w=frac{-iz+1}{iz+1}.$$
We can see that $ad-bcnot=0.$ What about the interior? Let's see if $z=i$ maps to the interior of the unit circle. $z=i$ goes to $(1+1)/(0)$. Oops! Can't do that. We can see that $z=-i$ maps to $w=0$. So what's going on? We actually mapped the lower half-plane to the unit circle! The upper half-plane got mapped to everything outside the unit circle. What went wrong? Well, we had some freedom in choosing what to map $0,1,infty$ to, so we must have done that wrong. Let's try going around the boundary of the unit circle the other way ($0,1,infty$ got mapped to a counter-clockwise orientation on the unit circle before), and see if we can fix it:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &-1 \ hline 1 &(a+b)/(c+d) &? \ hline infty &a/c &1 end{array}.$$
We'll leave the middle one blank for now, but to get the clockwise orientation, it'll need to have a positive imaginary part. Let's try $a=c=1$. Now $b=-d,$ and we're going to need nonzero imaginary parts to get that third point right. The easiest thing to try is $b=i, ; d=-i$. Let's check the middle row:
$$frac{a+b}{c+d}=frac{1+i}{1-i}cdotfrac{1+i}{1+i}=frac{1+2i-1}{2}=i, $$
which makes our transformation
$$w=frac{z+i}{z-i}.$$
Does this work? We check the interior again: $z=i$ should map to the interior of the unit circle. We get $w=(2i)/(0),$ which doesn't work again! So we try it the other way, with $b=-i$ and $d=i$, and you'll find that it works.



I wanted to show you how I think about Möbius transformations, and how I get one to work. It basically all comes down to this: if you generalize the concept of circle to circles or lines (lines still being a circle on the Riemann sphere), then Möbius transformations map circles to circles. Use that to map one boundary to the other, and then get the interiors to match up. That's the basic plan of attack.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thanks a lot! Very helpful!
    $endgroup$
    – user608881
    Dec 13 '18 at 19:47














2












2








2





$begingroup$

For your first example, because the boundary of the upper half-plane is a "circle" (in the Riemann sphere sense (sorry, Riemann sphere, not Bloch sphere)), and the boundary of the unit disk is a circle (plainly, but also in the Riemann sphere sense), we try to map the boundary of the one to the boundary of the other. We start with a generic Möbius transformation:
$$w=frac{az+b}{cz+d}.$$
Here $a,b,c,dinmathbb{C}$ and $ad-bcnot=0.$
Let's remember that $z$ is a point in the upper half-plane, and $w$ is in the unit circle. So if we consider the following table:
$$begin{array}{c|c}z &w \ hline 0 &b/d \ hline 1 &(a+b)/(c+d) \ hline infty &a/c end{array},$$
we need all three points in the second column to be unique points on the unit circle. How did I get the points for $z?$ The answer is this: they're the most straight-forward points on the real axis (the boundary of the upper half plane) to plug into the transformation. We can see right away that we need $|b|=|d|,; |a|=|c|,$ and $|a+b|=|c+d|,$ in order for the $w$ points to be on the unit circle. There are a number of ways to do this, so let's try $a=b=c=d=1:$
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &1 \ hline infty &a/c &1 end{array}.$$
Clearly, this won't work: the $w$ have to be unique! Could we work backwards? How if we could map $0to 1, ; 1to i, ; inftyto-1?$ Are there $a,b,c,d$ to make that work? Let's see:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &i \ hline infty &a/c &-1 end{array}.$$
So here $b=d$ and $a=-c$. To get $i$ out of $dfrac{a+b}{c+d}=dfrac{a+b}{-a+b}$ would require $a+b=i(-a+b),$ so (remembering that $a,binmathbb{C}$) we would have
begin{align*}
a(1+i)&=b(i-1) \
a&=frac{b(i-1)}{i+1}.
end{align*}

We have one degree of freedom here, now. Let's just let $b=1,$ and see what falls out. We get
$$a=frac{i-1}{i+1}cdotfrac{i-1}{i-1}=frac{(i-1)(i-1)}{2}=frac{-1-2i+1}{2}=-i.$$
Then, from before, we have $d=1$ and $c=i,$ so the mapping is
$$w=frac{-iz+1}{iz+1}.$$
We can see that $ad-bcnot=0.$ What about the interior? Let's see if $z=i$ maps to the interior of the unit circle. $z=i$ goes to $(1+1)/(0)$. Oops! Can't do that. We can see that $z=-i$ maps to $w=0$. So what's going on? We actually mapped the lower half-plane to the unit circle! The upper half-plane got mapped to everything outside the unit circle. What went wrong? Well, we had some freedom in choosing what to map $0,1,infty$ to, so we must have done that wrong. Let's try going around the boundary of the unit circle the other way ($0,1,infty$ got mapped to a counter-clockwise orientation on the unit circle before), and see if we can fix it:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &-1 \ hline 1 &(a+b)/(c+d) &? \ hline infty &a/c &1 end{array}.$$
We'll leave the middle one blank for now, but to get the clockwise orientation, it'll need to have a positive imaginary part. Let's try $a=c=1$. Now $b=-d,$ and we're going to need nonzero imaginary parts to get that third point right. The easiest thing to try is $b=i, ; d=-i$. Let's check the middle row:
$$frac{a+b}{c+d}=frac{1+i}{1-i}cdotfrac{1+i}{1+i}=frac{1+2i-1}{2}=i, $$
which makes our transformation
$$w=frac{z+i}{z-i}.$$
Does this work? We check the interior again: $z=i$ should map to the interior of the unit circle. We get $w=(2i)/(0),$ which doesn't work again! So we try it the other way, with $b=-i$ and $d=i$, and you'll find that it works.



I wanted to show you how I think about Möbius transformations, and how I get one to work. It basically all comes down to this: if you generalize the concept of circle to circles or lines (lines still being a circle on the Riemann sphere), then Möbius transformations map circles to circles. Use that to map one boundary to the other, and then get the interiors to match up. That's the basic plan of attack.






share|cite|improve this answer









$endgroup$



For your first example, because the boundary of the upper half-plane is a "circle" (in the Riemann sphere sense (sorry, Riemann sphere, not Bloch sphere)), and the boundary of the unit disk is a circle (plainly, but also in the Riemann sphere sense), we try to map the boundary of the one to the boundary of the other. We start with a generic Möbius transformation:
$$w=frac{az+b}{cz+d}.$$
Here $a,b,c,dinmathbb{C}$ and $ad-bcnot=0.$
Let's remember that $z$ is a point in the upper half-plane, and $w$ is in the unit circle. So if we consider the following table:
$$begin{array}{c|c}z &w \ hline 0 &b/d \ hline 1 &(a+b)/(c+d) \ hline infty &a/c end{array},$$
we need all three points in the second column to be unique points on the unit circle. How did I get the points for $z?$ The answer is this: they're the most straight-forward points on the real axis (the boundary of the upper half plane) to plug into the transformation. We can see right away that we need $|b|=|d|,; |a|=|c|,$ and $|a+b|=|c+d|,$ in order for the $w$ points to be on the unit circle. There are a number of ways to do this, so let's try $a=b=c=d=1:$
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &1 \ hline infty &a/c &1 end{array}.$$
Clearly, this won't work: the $w$ have to be unique! Could we work backwards? How if we could map $0to 1, ; 1to i, ; inftyto-1?$ Are there $a,b,c,d$ to make that work? Let's see:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &i \ hline infty &a/c &-1 end{array}.$$
So here $b=d$ and $a=-c$. To get $i$ out of $dfrac{a+b}{c+d}=dfrac{a+b}{-a+b}$ would require $a+b=i(-a+b),$ so (remembering that $a,binmathbb{C}$) we would have
begin{align*}
a(1+i)&=b(i-1) \
a&=frac{b(i-1)}{i+1}.
end{align*}

We have one degree of freedom here, now. Let's just let $b=1,$ and see what falls out. We get
$$a=frac{i-1}{i+1}cdotfrac{i-1}{i-1}=frac{(i-1)(i-1)}{2}=frac{-1-2i+1}{2}=-i.$$
Then, from before, we have $d=1$ and $c=i,$ so the mapping is
$$w=frac{-iz+1}{iz+1}.$$
We can see that $ad-bcnot=0.$ What about the interior? Let's see if $z=i$ maps to the interior of the unit circle. $z=i$ goes to $(1+1)/(0)$. Oops! Can't do that. We can see that $z=-i$ maps to $w=0$. So what's going on? We actually mapped the lower half-plane to the unit circle! The upper half-plane got mapped to everything outside the unit circle. What went wrong? Well, we had some freedom in choosing what to map $0,1,infty$ to, so we must have done that wrong. Let's try going around the boundary of the unit circle the other way ($0,1,infty$ got mapped to a counter-clockwise orientation on the unit circle before), and see if we can fix it:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &-1 \ hline 1 &(a+b)/(c+d) &? \ hline infty &a/c &1 end{array}.$$
We'll leave the middle one blank for now, but to get the clockwise orientation, it'll need to have a positive imaginary part. Let's try $a=c=1$. Now $b=-d,$ and we're going to need nonzero imaginary parts to get that third point right. The easiest thing to try is $b=i, ; d=-i$. Let's check the middle row:
$$frac{a+b}{c+d}=frac{1+i}{1-i}cdotfrac{1+i}{1+i}=frac{1+2i-1}{2}=i, $$
which makes our transformation
$$w=frac{z+i}{z-i}.$$
Does this work? We check the interior again: $z=i$ should map to the interior of the unit circle. We get $w=(2i)/(0),$ which doesn't work again! So we try it the other way, with $b=-i$ and $d=i$, and you'll find that it works.



I wanted to show you how I think about Möbius transformations, and how I get one to work. It basically all comes down to this: if you generalize the concept of circle to circles or lines (lines still being a circle on the Riemann sphere), then Möbius transformations map circles to circles. Use that to map one boundary to the other, and then get the interiors to match up. That's the basic plan of attack.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Dec 13 '18 at 19:06









Adrian KeisterAdrian Keister

5,26571933




5,26571933












  • $begingroup$
    Thanks a lot! Very helpful!
    $endgroup$
    – user608881
    Dec 13 '18 at 19:47


















  • $begingroup$
    Thanks a lot! Very helpful!
    $endgroup$
    – user608881
    Dec 13 '18 at 19:47
















$begingroup$
Thanks a lot! Very helpful!
$endgroup$
– user608881
Dec 13 '18 at 19:47




$begingroup$
Thanks a lot! Very helpful!
$endgroup$
– user608881
Dec 13 '18 at 19:47











0












$begingroup$

A simple answer is, when we want a map between unit disk and a right /left /upper /lower half-plane is considering the map
$$w=dfrac{1+z}{1-z}$$
as a base, which maps unit disk to right halfplane ${{bf Re} w>0}$. With rotation $dfrac{pi}{2}$ of the range, we find a map $idfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w>0}$, other rotation makes $i^2dfrac{1+z}{1-z}:{mathbb D}to{{bf Re} w<0}$ and with another rotation we have the mapping $i^3dfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w<0}$. Inverse of each of above maps, enable us to have a map from a half-plane to unit disk.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    I have a question. For example if we consider the map between the unit disk and the upper half plane (Im w > 0) : i (1+z)/(1-z). Is the inverse (meaning the map of upper half plane to unit disk) going to be w= (z-i)/ (z+i)? This is the result I'm obtaining and it's no the correct one, which is: w=(z+i)/z-i).
    $endgroup$
    – user608881
    Dec 13 '18 at 20:35










  • $begingroup$
    $w=frac{z+i}{z-i}$ maps upper half-plane to exterior of the unit disk. Let $frac12+frac{i}{2}to2i-1$.
    $endgroup$
    – Nosrati
    Dec 14 '18 at 2:59










  • $begingroup$
    Sorry my mistake. For the map of unit disk to right half-plane we have w=(1+z)/(1-z). The inverse I find it to be w=(z-1)/(z+1). However, my teacher wrote that the map of right half-plane to unit disk is: w=(1-z)/(1+z). Is this wrong or we can consider it to be the same thing?
    $endgroup$
    – user608881
    Dec 14 '18 at 7:29












  • $begingroup$
    both are correct, $frac{z-1}{1+z}=color{red}{-}frac{1-z}{1+z}$, each map flip the circle horizontally!
    $endgroup$
    – Nosrati
    Dec 14 '18 at 7:40












  • $begingroup$
    Thank you! Very helpful!
    $endgroup$
    – user608881
    Dec 14 '18 at 7:48
















0












$begingroup$

A simple answer is, when we want a map between unit disk and a right /left /upper /lower half-plane is considering the map
$$w=dfrac{1+z}{1-z}$$
as a base, which maps unit disk to right halfplane ${{bf Re} w>0}$. With rotation $dfrac{pi}{2}$ of the range, we find a map $idfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w>0}$, other rotation makes $i^2dfrac{1+z}{1-z}:{mathbb D}to{{bf Re} w<0}$ and with another rotation we have the mapping $i^3dfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w<0}$. Inverse of each of above maps, enable us to have a map from a half-plane to unit disk.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    I have a question. For example if we consider the map between the unit disk and the upper half plane (Im w > 0) : i (1+z)/(1-z). Is the inverse (meaning the map of upper half plane to unit disk) going to be w= (z-i)/ (z+i)? This is the result I'm obtaining and it's no the correct one, which is: w=(z+i)/z-i).
    $endgroup$
    – user608881
    Dec 13 '18 at 20:35










  • $begingroup$
    $w=frac{z+i}{z-i}$ maps upper half-plane to exterior of the unit disk. Let $frac12+frac{i}{2}to2i-1$.
    $endgroup$
    – Nosrati
    Dec 14 '18 at 2:59










  • $begingroup$
    Sorry my mistake. For the map of unit disk to right half-plane we have w=(1+z)/(1-z). The inverse I find it to be w=(z-1)/(z+1). However, my teacher wrote that the map of right half-plane to unit disk is: w=(1-z)/(1+z). Is this wrong or we can consider it to be the same thing?
    $endgroup$
    – user608881
    Dec 14 '18 at 7:29












  • $begingroup$
    both are correct, $frac{z-1}{1+z}=color{red}{-}frac{1-z}{1+z}$, each map flip the circle horizontally!
    $endgroup$
    – Nosrati
    Dec 14 '18 at 7:40












  • $begingroup$
    Thank you! Very helpful!
    $endgroup$
    – user608881
    Dec 14 '18 at 7:48














0












0








0





$begingroup$

A simple answer is, when we want a map between unit disk and a right /left /upper /lower half-plane is considering the map
$$w=dfrac{1+z}{1-z}$$
as a base, which maps unit disk to right halfplane ${{bf Re} w>0}$. With rotation $dfrac{pi}{2}$ of the range, we find a map $idfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w>0}$, other rotation makes $i^2dfrac{1+z}{1-z}:{mathbb D}to{{bf Re} w<0}$ and with another rotation we have the mapping $i^3dfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w<0}$. Inverse of each of above maps, enable us to have a map from a half-plane to unit disk.






share|cite|improve this answer









$endgroup$



A simple answer is, when we want a map between unit disk and a right /left /upper /lower half-plane is considering the map
$$w=dfrac{1+z}{1-z}$$
as a base, which maps unit disk to right halfplane ${{bf Re} w>0}$. With rotation $dfrac{pi}{2}$ of the range, we find a map $idfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w>0}$, other rotation makes $i^2dfrac{1+z}{1-z}:{mathbb D}to{{bf Re} w<0}$ and with another rotation we have the mapping $i^3dfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w<0}$. Inverse of each of above maps, enable us to have a map from a half-plane to unit disk.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Dec 13 '18 at 19:23









NosratiNosrati

26.5k62354




26.5k62354












  • $begingroup$
    I have a question. For example if we consider the map between the unit disk and the upper half plane (Im w > 0) : i (1+z)/(1-z). Is the inverse (meaning the map of upper half plane to unit disk) going to be w= (z-i)/ (z+i)? This is the result I'm obtaining and it's no the correct one, which is: w=(z+i)/z-i).
    $endgroup$
    – user608881
    Dec 13 '18 at 20:35










  • $begingroup$
    $w=frac{z+i}{z-i}$ maps upper half-plane to exterior of the unit disk. Let $frac12+frac{i}{2}to2i-1$.
    $endgroup$
    – Nosrati
    Dec 14 '18 at 2:59










  • $begingroup$
    Sorry my mistake. For the map of unit disk to right half-plane we have w=(1+z)/(1-z). The inverse I find it to be w=(z-1)/(z+1). However, my teacher wrote that the map of right half-plane to unit disk is: w=(1-z)/(1+z). Is this wrong or we can consider it to be the same thing?
    $endgroup$
    – user608881
    Dec 14 '18 at 7:29












  • $begingroup$
    both are correct, $frac{z-1}{1+z}=color{red}{-}frac{1-z}{1+z}$, each map flip the circle horizontally!
    $endgroup$
    – Nosrati
    Dec 14 '18 at 7:40












  • $begingroup$
    Thank you! Very helpful!
    $endgroup$
    – user608881
    Dec 14 '18 at 7:48


















  • $begingroup$
    I have a question. For example if we consider the map between the unit disk and the upper half plane (Im w > 0) : i (1+z)/(1-z). Is the inverse (meaning the map of upper half plane to unit disk) going to be w= (z-i)/ (z+i)? This is the result I'm obtaining and it's no the correct one, which is: w=(z+i)/z-i).
    $endgroup$
    – user608881
    Dec 13 '18 at 20:35










  • $begingroup$
    $w=frac{z+i}{z-i}$ maps upper half-plane to exterior of the unit disk. Let $frac12+frac{i}{2}to2i-1$.
    $endgroup$
    – Nosrati
    Dec 14 '18 at 2:59










  • $begingroup$
    Sorry my mistake. For the map of unit disk to right half-plane we have w=(1+z)/(1-z). The inverse I find it to be w=(z-1)/(z+1). However, my teacher wrote that the map of right half-plane to unit disk is: w=(1-z)/(1+z). Is this wrong or we can consider it to be the same thing?
    $endgroup$
    – user608881
    Dec 14 '18 at 7:29












  • $begingroup$
    both are correct, $frac{z-1}{1+z}=color{red}{-}frac{1-z}{1+z}$, each map flip the circle horizontally!
    $endgroup$
    – Nosrati
    Dec 14 '18 at 7:40












  • $begingroup$
    Thank you! Very helpful!
    $endgroup$
    – user608881
    Dec 14 '18 at 7:48
















$begingroup$
I have a question. For example if we consider the map between the unit disk and the upper half plane (Im w > 0) : i (1+z)/(1-z). Is the inverse (meaning the map of upper half plane to unit disk) going to be w= (z-i)/ (z+i)? This is the result I'm obtaining and it's no the correct one, which is: w=(z+i)/z-i).
$endgroup$
– user608881
Dec 13 '18 at 20:35




$begingroup$
I have a question. For example if we consider the map between the unit disk and the upper half plane (Im w > 0) : i (1+z)/(1-z). Is the inverse (meaning the map of upper half plane to unit disk) going to be w= (z-i)/ (z+i)? This is the result I'm obtaining and it's no the correct one, which is: w=(z+i)/z-i).
$endgroup$
– user608881
Dec 13 '18 at 20:35












$begingroup$
$w=frac{z+i}{z-i}$ maps upper half-plane to exterior of the unit disk. Let $frac12+frac{i}{2}to2i-1$.
$endgroup$
– Nosrati
Dec 14 '18 at 2:59




$begingroup$
$w=frac{z+i}{z-i}$ maps upper half-plane to exterior of the unit disk. Let $frac12+frac{i}{2}to2i-1$.
$endgroup$
– Nosrati
Dec 14 '18 at 2:59












$begingroup$
Sorry my mistake. For the map of unit disk to right half-plane we have w=(1+z)/(1-z). The inverse I find it to be w=(z-1)/(z+1). However, my teacher wrote that the map of right half-plane to unit disk is: w=(1-z)/(1+z). Is this wrong or we can consider it to be the same thing?
$endgroup$
– user608881
Dec 14 '18 at 7:29






$begingroup$
Sorry my mistake. For the map of unit disk to right half-plane we have w=(1+z)/(1-z). The inverse I find it to be w=(z-1)/(z+1). However, my teacher wrote that the map of right half-plane to unit disk is: w=(1-z)/(1+z). Is this wrong or we can consider it to be the same thing?
$endgroup$
– user608881
Dec 14 '18 at 7:29














$begingroup$
both are correct, $frac{z-1}{1+z}=color{red}{-}frac{1-z}{1+z}$, each map flip the circle horizontally!
$endgroup$
– Nosrati
Dec 14 '18 at 7:40






$begingroup$
both are correct, $frac{z-1}{1+z}=color{red}{-}frac{1-z}{1+z}$, each map flip the circle horizontally!
$endgroup$
– Nosrati
Dec 14 '18 at 7:40














$begingroup$
Thank you! Very helpful!
$endgroup$
– user608881
Dec 14 '18 at 7:48




$begingroup$
Thank you! Very helpful!
$endgroup$
– user608881
Dec 14 '18 at 7:48


















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3038106%2fm%25c3%25b6bius-transformation-mapping%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Bundesstraße 106

Le Mesnil-Réaume

Ida-Boy-Ed-Garten