|This article is reprinted from the Spring/Summer 2004 issue of FIDELIO Magazine.|
Knowing the True Geometry,
Figure 1Euclids parallel postulate: If ∠a + ∠b < 180°, then lines A and B converge.
The first three postulates are constructions that describe the assumption that space is infinite and continuous. The fourth postulate describes the assumption that figures in space dont change their shape with changes in position. It is the fifth, convoluted, negatively stated postulate that drew the attention of Kästner, Gauss, and Riemann, as it had for so many others over the preceding 2,000 years. The troubling question is, is it self-evident that the two straight lines will converge when extended indefinitely? Or, stated inversely, if the two straight lines make two interior right angles with the third line, that they will never convergethat is, they will be what Euclid defines as parallel.
Figure 2The further the point of convergence, the the greater the interior angles.
A: That is exactly the argument Gauss had with H.C. Schumacher back in 1831. You are assuming as self-evidently true, that the infinite is merely the simple extension of the finite. Embedded in the idea that underlies your drawing, are the assumptions about space described in the first four of Euclids postulates, that is, that space is continuous, infinite, and homogeneous. In his letter to Schumacher, Gauss proposed that he consider what the same drawing would look like, if space were anti-Euclidean. In such a case, the triangles in your drawing would look quite different. Gauss depicted these triangles as formed by negatively curved arcs, similar to hypocycloids [See Figure 3].
Figure 3Anti-Euclidean, negatively curved triangle.
From the standpoint of Euclidean geometry, this discontinuity between the finite and the infinite would seem contradictory. In his 1831 correspondence, Gauss used this pedagogical example to criticize Schumacher for thinking of the infinite as a completed simple extension of the finite. Instead, Gauss says the infinite should be thought of as a boundary.
(Incidentally, Georg Cantor later criticized Gauss for rejecting the notion of a completed infinite; but, although Gauss did not have Cantors concept of the transfinite, Cantor must not have taken into consideration Gausss complete thoughts on this question.)
Gauss wrote Schumacher, In this sense, anti-Euclidean geometry contains in it nothing contradictory, although those many results that at first must seem paradoxical, would be a contradiction owing only to a self-deception, brought forth by a prior habit of taking Euclidean geometry as rigorously true. And he ends his letter: There is nothing contradictory in this, as long as finite man doesnt presume to want to regard something infinite, as given and capable of being comprehended by his habitual way of viewing things.
Q: That brings me to the point that I originally thought was an error, or contradiction, last week. If Gauss says that paradoxes such as these arise from the habit of taking Euclidean geometry as rigorously true, how can we determine what the true geometry is? On the one hand, Kästner says, [T]he basis of truth and certainty is not in the metaphor of the subject, but in the intelligibility, the conceptions of reason in which those metaphors lie. That, I would think, would be obvious from those geometrical theorems that are capable of being proven. One never concludes from the form, but from it, one thinks of the reason of the form. From this standpoint, it seems that one could determine the true geometry purely from the conceptions of reason that underlie it. Yet, the pedagogical went on to say, using the examples of Kepler, Gauss, and Riemann, that the only way to determine truth is in the domain of physics. Isnt this contradictory?
A: Now were at the problem. Look again at Keplers revolution over Ptolemy, Brahe, and Copernicus. Kepler rejected those three models, not merely because their results deviated from physical observation, but because they were merely models, and could not, and did not intend to, distinguish the truth underlying the physical observations [See Figure 4(a)-(c)].
Ptolemaic system:Earth-centered, constant circular action.
Copernican system: sun-centered, constant circular action.
Brahes system: mixed Earth-and sun-centered, constant circular action.
All three derived the physically observed non-uniform motion of the planets, from mathematics constructed from constant circular action; whereas Kepler constructed a mathematics of non-constant curvature, from the physically observed non-uniform motion [See Figure 5].
Figure 5Keplerian system: Non-constant motion on an elliptical orbit. The ratios of swept-out areas. In equal time intervals, therefore, the areas of the curvilinear sectors swept out by the planet, will b e equaleven though the curvilinear distances traversed on the orbit are constantly changing. In the region about perihelion, nearest the sun, the planet moves fastest, covering the gratest orbital distance; whereas, at aphelion, farthest from the sun, it moves most slowly, covering the least distance.
So too is the case, as Gauss points out, with Euclidean geometry. As Gauss shows, you cannot attribute to physical space the characteristics of Euclidean geometry, just because we are habituated to viewing things that way. But, how then are we to determine the characteristics of geometry? It could not be simply a matter of replacing the parallel postulate, with some other postulate, because that would lead us into the same predicament as that of Ptolemy, Brahe, and Copernicus. We would still be unable to determine which geometry is the true one, unless we constructed that geometry out of the paradoxes of physical measurement, as Kepler did. For the same reasons that Kepler rejected the models of Ptolemy, Brahe, and Copernicus, Gauss became convinced when he was 15 years old, that Euclidean geometry was not the true one. It was not the true one, because it could not be proven true, no matter how accustomed we were to its results. To determine the characteristics of the true geometry, Gauss followed the method of Kepler: He constructed physical measurements in the domain of geodesy, electrodynamics, geomagnitism and astronomy, which were continued by Riemann, Weber, Fresnel, Ampere, and others.
And this takes us into another higher domain, the domain of physical economy as developed by Lyndon LaRouche, a domain one can come to know best by studying LaRouches works directly.
* * *
Q: Ive been reading the last pedagogical discussions on anti-Euclidean geometry, and I still get confused when I try to think of different geometries. The only thing that comes to mind is the difference between a sphere and plane, which difference I think of in terms of the difference between the characteristics of triangles on a plane and on a sphere. Is this what is meant by anti-Euclidean geometry?
A: No. The problem isnt with the images you describe, but with the way in which you think of those images. You have to direct your mind toward the concepts underlying the way you think of geometry. While one may proceed, at first, to the concepts through images, the concepts are not found in the images.
Think of how Abraham Gotthelf Kästner concludes his essay, On the Mathematical Concept of Space:
[T]he basis of truth and knowledge does not lie in the sense notion [or image-N-BD] of the subject, but in the intelligible concept: in the concepts of reason concerning the cause of the sense image.
This, I would imagine, should be clear for the teachings of geometry, to everyone who can grasp its proofs. We never draw conclusions from the [visual-N-BD] images, but only from that which our mind thinks about them ... .
Q: So, what are the concepts that underlie the images of Euclidean and anti-Euclidean geometries, and how can we distinguish which geometry is the true one?
A: We can arrive at these concepts pedagogically by recreating Gausss discoveries, and the earlier investigations of his teacher Kästner. The first step is to force your mind to recognize the underlying assumptions of Euclidean geometry. But, first and foremost, you have to recognize that those assumptions exist, and then grasp the way in which they arise, and how they remain hidden from your conscious thought. This is what Kästner and Gauss tried so hard to get their colleagues to understand.
First, recall to mind the 1831 correspondence between Schumacher and Gauss, on the subject of parallel lines. In May 1831, Schumacher proposed to Gauss a proof of the truth of Euclids parallel postulate, by demonstrating that the sum of the angles of a triangle is always 180 degrees. While Schumachers proof was formally valid, Gauss pointed out a devastating error in his friends thinking. Underlying Schumachers demonstration was the assumption that space was infinitely extended and had zero curvature. In such a space, straight lines would behave as Schumacher indicated. But, if space were bounded and curved, straight lines would behave differently. According to Gauss, Schumachers assumption arose from an early habituation to thinking of Euclidean geometry as rigorously true.
The sides of a triangle drawn on a sphere are curved.
A: You are falling into the trap Kästner warns about. You are looking for certainty and truth in the images, not in the concepts. Why do you say the triangles on the sphere have curved sides?
Do you remember a pedagogical discussion written by Jonathan Tennenbaum back in 1998, in which he posed the experiment of drawing an equator on a sphere and two great circles that intersect that equator? When you look at those great circles from the center of the sphere, they appear to be straight lines. In fact, the image you see appears to be two parallel straight lines, intersecting another straight line at 90 degrees [See Figure 7].
Figure 7Great circles on a sphere. Seen from the spheres center, the lines appear to be parallel at the equator, but converge at the pole.
A: Then you surely remember that when you looked straight ahead to the equator, the lines looked parallel, but when you turned your eye toward the pole, the lines began to converge.
Q: That is what I recall being so surprising.
A: Well, Gauss posed a similar paradox to Schumacher. If space had a negative curvature, then the sum of the angles of a triangle would be less than 180 degrees. The sides of such triangles depicted on a flat piece of paper would look like hypocycloids, although, as discussed last week, this is just a depiction. But, if space were negatively curved, the sides of the triangles, whose angles added up to less than 180 degrees, would nevertheless be straight lines.
Q: Im having trouble visualizing such a concept.
A: For exactly the reason stated by Gauss above. Visualizing this idea seems to contradict your assumptions, because when you think of triangles whose angles add up to less than 180 degrees, you think of their depiction in Euclidean space. As such, you can only think of such triangles as having curved sides. But, if space were not Euclidean, this would not be a contradiction. As Gauss told Schumacher: Anti-Euclidean geometry contains nothing contradictory, although some people at first will consider many of its results paradoxicalthe which, however, to consider as contradictory, would be a self-deception, arising from an early habituation to thinking of Euclidean geometry as rigorously true.
Q: This will take some thinking.
A: Thats the idea. Now, refresh your recollection of the Euclids parallel postulate by drawing two straight lines on a piece of paper and label them A and B [Figure 1]. Then draw a third line C, that cuts the other two. The parallel postulate says that lines A and B will intersect if the angles they make with C are less than 180 degrees. Conversely, if the angles are greater than 180 degrees they will diverge. If the angles are equal to 180 degrees they will never meet.
Q: That I remember.
Q: How can it be that we have three sets of three lines, all configured in the same way, and yet get three entirely different results?
A: Now youre beginning to see the paradox that Gauss and Kästner posed, to get people to recognize the underlying assumptions they had made about the nature of space. In a certain sense, this is an inversion of the problem Kepler posed with respect to the geometries of Ptolemy, Brahem and Copernicus. In that case, three entirely different configurations yielded the equivalent result. In the paradox posed here, three equivalent configurations yield entirely different results. Nevertheless the same principle is demonstrated: the primary role of cognition.
Now go back and think about why you thought the parallel postulate of Euclid was true in the first place.
Q: Because when I drew the picture, the two lines always intersected, as long as I extended them far enough.
A: In other words, you thought it was true, because it always worked.
Q: Yes, and there was nothing to indicate it would be otherwise.
A: And you assumed that if it worked in a small region of space, it would continue to work in a large, or even infinite region of space.
Q: Well, why not? There is nothing to indicate it shouldnt. I even tried it with a very large piece of paper, and the lines still intersected.
Q: How, then, can I know the underlying nature of space, if no matter what the curvature, the straight lines will appear straight? How can I know if these lines will converge, diverge, or be parallel?
|Carl F. Gauss wrote of the seeming paradoxes of anti-Euclidean geometry: There is nothing contradictory on this, as long as finite man doesnt mistake something infinite, as something given, and thus capable of being comprehended by his habitual way of viewing things.|
As Gauss told Schumacher in 1831 with respect to this very paradox, There is nothing contradictory in this, as long as finite man doesnt mistake something infinite, as something given, and thus capable of being comprehended by his habitual way of viewing things.
In future issues we will investigate this further.
A translation of excerpts from Abraham Kästners On the Conceptions that Underlie Space appears in this issue.
The Schiller Institute
PO BOX 20244
Washington, DC 20041-0244
Thank you for supporting the Schiller Institute. Your membership and contributions enable us to publish FIDELIO Magazine, and to sponsor concerts, conferences, and other activities which represent critical interventions into the policy making and cultural life of the nation and the world.
Contributions and memberships are not tax-deductible.
VISIT THESE OTHER PAGES:
Home | Search | About | Fidelio | Economy | Strategy | The LaRouche Frameup | Conferences
Links | LaRouche | Music | Join | Books | Concerts | Highlights | Education |
Health | Spanish Pages | Poetry | Dialogue of Cultures
Maps | What's New