Einstein's Theories of Relativity and Gravitation by Albert Einstein, is part of the HackerNoon Books Series. You can jump to any chapter in this book here. Euclidean or Non-Euclidean
Euclidean or Non-Euclidean
Nevertheless, we must face the possibility that the space we live in, or any other manifold of any sort whatever with which we deal on geometric principles, may turn out to be non-Euclidean. How shall we finally determine this? By measures—the Euclidean measures the angles of an actual triangle and finds the sum to be exactly 180 degrees; or he draws parallel lines of indefinite extent and finds them to be everywhere equally distant; and from these data he concludes that our space is really Euclidean. But he is not necessarily right.
We ask him to level off a plot of ground by means of a plumb line. Since the line always points to the earth’s center, the “level” plot is actually a very small piece of a spherical surface. Any test conducted on this plot will exhibit the numerical characteristics of the Euclidean geometry; yet we know the geometry of this surface is Riemannian. The angle-sum is really greater than 180 degrees; lines that are everywhere equidistant are not both geodesics.[138]
The trouble, of course, is that on this plot we deal with so minute a fraction of the whole sphere that we cannot make measurements sufficiently refined to detect the departure from Euclidean standards. So it is altogether sensible for us to ask: “Is the universe of space about us really Euclidean in whatever of realized geometry it presents to us? Or is it really non-Euclidean, but so vast in size that we have never yet been able to extend our measures to a sufficiently large portion of it to make the divergence from the Euclidean standard discernible to us?”
This discussion is necessarily fragmentary, leaving out much that the writer would prefer to include. But it is hoped that it will nevertheless make it clear that when the contestants in the Einstein competition speak of a non-Euclidean universe as apparently having been revealed by Einstein, they mean simply that to Einstein has occurred a happy expedient for testing Euclideanism on a smaller scale than has heretofore been supposed possible. He has devised a new and ingenious sort of measure which, if his results be valid, enables us to operate in a smaller region while yet anticipating that any non-Euclidean characteristics of the manifold with which we deal will rise above the threshold of measurement. This does not mean that Euclidean lines and planes, as we picture them in our mind, are no longer non-Euclidean, but merely that these concepts do not quite so closely correspond with the external reality as we had supposed.
As to the precise character of the non-Euclideanism which is revealed, we may leave this to later chapters and to the competing essayists. We need [139]only point out here that it will not necessarily be restricted to the matter of parallelism. The parallel postulate is of extreme interest to us for two reasons; first because historically it was the means by which the possibilities and the importance of non-Euclidean geometry were forced upon our attention; and second because it happens to be the immediate ground of distinction between Euclidean geometry and two of the most interesting alternatives. But Euclidean geometry is characterized, not by a single postulate, but by a considerable number of postulates. We may attempt to omit any one of these so that its ground is not specifically covered at all, or to replace any one of them by a direct alternative. We might conceivably do away with the superposition postulate entirely, and demand that figures be proved equivalent, if at all, by some more drastic test. We might do away with the postulate, first properly formulated by Hilbert, on which our ideas of the property represented in the word “between” depend. We might do away with any single one of the Euclidean postulates, or with any combination of two or more of them. In some cases this would lead to a lack of categoricity and we should get no geometry at all; in most cases, provided we brought a proper degree of astuteness to the formulation of alternatives for the rejected postulates, we should get a perfectly good system of non-Euclidean geometry: one realized, if at all, by other elements than the Euclidean point, line and plane, and one whose elements behave toward one another differently from the Euclidean point, line and plane.[140]
Merely to add definiteness to this chapter, I annex here the statement that in the geometry which Einstein builds up as more nearly representing the true external world than does Euclid’s, we shall dispense with Euclid’s (implicit) assumption, underlying his (explicitly stated) superposition postulate, to the effect that the act of moving things about does not affect their lengths. We shall at the same time dispense with his parallel postulate. And we shall add a fourth dimension to his three—not, of course, anything in the nature of a fourth Euclidean straight line perpendicular, in Euclidean space, to three lines that are already perpendicular to each other, but something quite distinct from this, whose nature we shall see more exactly in the next chapter. If the present chapter has made it clear that it is proper for us to do this, and has prevented anyone from supposing that the results of doing it must be visualized in a Euclidean space of three dimensions or of any number of dimensions, it will have served its purpose.
About HackerNoon Book Series: We bring you the most important technical, scientific, and insightful public domain books.
This book is part of the public domain. Albert Einstein (2020). Einstein's Theories of Relativity and Gravitation. Urbana, Illinois: Project Gutenberg. Retrieved October 2022.
This eBook is for the use of anyone anywhere at no cost and with almost no restrictions whatsoever. You may copy it, give it away or re-use it under the terms of the Project Gutenberg License included with this eBook or online at www.gutenberg.org, located at https://www.gutenberg.org/cache/epub/63372/pg63372-images.html
