|
<a href="/mmss/courses/infinity/Usage.shtml"> <img src="/mmss/courses/infinity/images/buttons/Usage.GIF" height="14" width="77" border="0" alt="Usage"></a> <a href="/mmss/courses/infinity/Cardinality/index.shtml"> <img src="/mmss/courses/infinity/images/buttons/Cardinality.GIF" height="14" width="79" border="0" alt="Cardinality"></a> <a href="/mmss/courses/infinity/Geometry/index.shtml"> <img src="/mmss/courses/infinity/images/buttons/Geom.GIF" height="14" width="69" border="0" alt="Geometry"></a> <a href="/mmss/courses/infinity/Induction/index.shtml"> <img src="/mmss/courses/infinity/images/buttons/Induction.GIF" height="14" width="70" border="0" alt="Induction"></a> <a href="/mmss/courses/infinity/Philosophy/index.shtml"> <img src="/mmss/courses/infinity/images/buttons/Philosophy.GIF" height="14" width="77" border="0" alt="Philosophy"></a> <a href="/mmss/courses/infinity/Equals1.shtml"> <img src="/mmss/courses/infinity/images/buttons/9991.GIF" height="14" width="88" border="0" alt=".999=1?"></a> <a href="/mmss/courses/infinity/Feedback.shtml"> <img src="/mmss/courses/infinity/images/buttons/Feedback.GIF" height="14" width="64" border="0" alt="Feedback"></a> |
<a href="/mmss/">
<img src="/mmss/courses/infinity/images/buttons/MMSloc.GIF" height="14" width="36" border="0" alt="MMS"></a>
<img src="/mmss/courses/infinity/images/buttons/slash.GIF"
height="14" width="6" border="0" alt=":">
<a href="/mmss/courses/">
<img src="/mmss/courses/infinity/images/buttons/Courses.GIF"
height="14" width="57" border="0" alt="Courses"></a>
<img src="/mmss/courses/infinity/images/buttons/slash.GIF"
height="14" width="6" border="0" alt=":">
<a href="/mmss/courses/infinity/index.shtml">
<img src="/mmss/courses/infinity/images/buttons/Infinity.GIF"
height="14" width="57" border="0" alt="Infinity"></a>
<img src="/mmss/courses/infinity/images/buttons/slash.GIF"
height="14" width="6" border="0" alt=":">
<a href="/mmss/courses/infinity/Geometry/index.shtml">
<img src="/mmss/courses/infinity/images/buttons/Geom.GIF"
height="14" width="69" border="0" alt="Geometry"></a>
<img src="/mmss/courses/infinity/images/buttons/slash.GIF"
height="14" width="6" border="0" alt=":">
<img src="/mmss/courses/infinity/images/buttons/Lesson5.GIF"
height="14" width="63" border="0" alt="Lesson5">
<< Previous Next >> Projective geometry.Spheres and infinite planes: ironing out the wrinklesYou may have noticed that the plane and the sphere don't perfectly match up. First of all, the "opposite" infinite points on the plane (which are really the same point) seem to correspond to two genuinely different points on the equator of the sphere. This is no good. Second, no point on the plane corresponds to the many points on the top half of the sphere. The line of sight from them goes "skyward." Each of these presents us with a problem matching up our infinite plane with our sphere diagram. How can we resolve them?In order to resolve the problem of the two points which are really the same point, we cannot allow two opposing points across the equator from one another to be "different." We must merge these points into one. This suggests what we should do about the points on the top of the sphere as well. We merge them with the opposing points on the bottom of the sphere, so that each point gets merged with exactly one point, on the exact opposite of the sphere. What are we left with, after performing this strange operation on the sphere? Certainly not a sphere, but another kind of shape which is exceedingly hard to draw. (As mathematicians say, it "does not immerse into 3-space.") This shape is called the "projective plane," and is identical to the infinite plane we've been discussing before. In fact, it satisfies the axioms of geometry which we desire, so long as we're careful to interpret "point" to mean "pair of opposing points on the sphere," and "line" as "great circle on the sphere:"
|