Note: This is sort of a “part 2” to this post, which is the two-dimensional analogue to this (mainly) three-dimensional post.
It’s fairly early/late (4:39AM) and I’m pretty sleepy but I wanted to try and get this post in, so I apologize in advance if it seems “more math-y and less descriptive.”
As an expansion to the previous post, the same concept can be applied to the sphere and . And similar to before, the top of our sphere is punctured, i.e. the point .
We now look for a function that allows us to input a point on our plane and output a point on our sphere, that is, , where . The line that will assist us with this assignment is now a vector, as would be required, so here’s our new system:
Another, more convenient way of writing this system can be done by noting that can simply be rewritten (by adding the vectors in its definition) as
thus giving us
by equating the the parameter in each component. From here we just need to take turns solving for , , and in terms of and and we should be all set!
Solving for x:
Solving for y:
Note, for and , the radical was chosen to be positive or else both would’ve reduced to to being for all values of and , which is not always the case, for instance at , that should be mapped to the sphere at the point on the sphere, and similarly , thus indicating we take the positive root.
Solving for z:
Let’s let .
Now taking the numerator that doesn’t assign to the punctured point…
Using the above information, our function is defined
and there we have it!
Now, this function is actually bijective as well. Go ahead and find the explicit inverse! That is, if I give you a and you tell me what was assigned there.
On another note, doesn’t it seem like the function about really resembles the one from our previous post? Our other function was defined to be . You know, I dare be so bold as to assert the following.
The function where defined by
Proof: Too tired, but I’ll leave it up to the reader to prove/disprove.
The set is isomorphic to .
Another way of proving the above conjecture is finding the horrendous function’s inverse (the answer is called the stereographic projection, but there’s no fun in googling first!).
Also, the conjecture implies that and , which is really worth giving it some thought if this is your first time hearing this. That radius 1 circle from last post? It has as many points as the real number line. The sphere of radius 1 in this post? Has as many points as the infinite two-dimensional plane of real numbers. Just let that set in.
Has the existential crisis kicked in yet?
On a very final note, if you thought that this and the preceding post were interesting I highly recommend looking into stereographic projections. Also, if you want a sort of “interactive” program to mess around with spherical geometry and projections onto a plane, take a look at this java program called Sphaerica. Here’s some screenshots from it:
Well, that’s all I got for today. Probably will be a good few days until my next post so I can mainly focus on my studies. See you then!