After our luxurious treatment of 1-d manifolds, we turn to 2-d manifolds.
My story of surfaces starts in a beautifully weird morning when I got up to realize that life in the usual Euclidean plane had changed dramatically. Vectors had shortened, areas had shrunk, and infinity was just a few feet away!
Here is the aftermath (why the term “after math?!”):
What had happened was this: A vector of unit length in the usual sense was now much shorter, of length where is the distance (in usual sense) of its base (=initial point) from the origin. Yes, here it does matter where the base of a vector is.
The vectors that used to be perpendicular are still perpendicular. By looking at parallelograms, we see that areas have shrunk by a factor of . So, in the above diagram, the square feet of the two shaded areas are in fact almost equal.
Let me do some measurements.
Length of an infinite straight ray.
Consider (see picture.) To calculate lengths we must add up lengths of tangent vectors. Tangent vectors are all , unit length in ordinary plane at each point, so their new length must be taken into account. The result is:
Hmm! Seems that the infinity is only feet away!
The area of the whole plane! (But wait, isn’t that infinite?)
We add up areas of infinitesimal rectangles . As discussed above, in our new metric (Ok, I had to finally use the term!) this rectangle’s area is shrunk by our factor. So, we get
Maybe my whole success in posting these series depends on my ability to convince you now to experiment with this new plane I have created. Be bold about it. Ask questions, do calculations for yourself, get a feel of the structure of this space. Ask what could be asked about this space? What other familiar constructions are possible on it? Could we talk about spaces of functions? What is the measure? How will we integrate a function? What is the shortest path, say between and ? Notice that going on the straight line isn’t the best, because we are better off bending away from the origin so that lengths are shorter. But how much to bend?!
And finally answer this: the plane with this tampered metric is a copy (in almost all aspects) of a familiar 2-d shape, can you guess what shape?!
To be continued with more fun…