I'm a high school math teacher and I write math raps every year for my students. I'm working on my lyrics and I need help making sure something is mathematically accurate.
I'd like to make reference to a 3 dimensional space with zero curvature being Euclidean space. Is it correct to say that a space with zero curvature is Euclidean?
I've only really seen curvature applied to discussions of surfaces- and, for example, a cylinder has zero Gaussian curvature, but is clearly not "flat" (i.e. Euclidean)
I would appreciate any insights : )
PS: If you'd like to see any of my raps you can find them on my Youtube channel.
It is acceptable to refer to any space with zero-curvature as "Euclidean". If you examine the behavior of geometry in the cylinder, but restricting your attention to a region that does not completely encircle it, you will discover that the behavior in it is completely indistinguishable from a similarly restricted region in the plane. (Note that distances are to be measured along the cylinder here, not by direct line through the middle.) This is obvious enough: split the cylinder along a lengthwise chord, and you can unroll it perfectly flat. Thus the cylinder actually is Euclidean.
It is a little harder to see that the torus is also Euclidean, as it doesn't have that same property of being able to be flattened completely when cut. But the thing is, this is a result of the "extrinsic geometry" of the surface - that is, how the surface has been made to sit in the surrounding space. But if we ignore the surrounding space and pretend that all we are aware of is the points of the surface itself, no such difference is spottable. Curvature and similar behavior is "intrinsic geometry". No matter how this surface is placed in space (even higher dimensional spaces), the intrinsic geometry does not change, and the cylinder and torus behave exactly like the plane, as long as you restrict your attention to a non-encircling region.