Notes on Geometry and Epistemology, Phil 2234:

advertisement
Notes on Geometry and Epistemology, Phil 2234:
1. The Tradition: From the time of Euclid, geometry was regarded as the best example of just
how human knowledge of the world should work. Beginning with the axioms (and
definitions), Euclidean geometers set forth to prove all the theorems of geometry. Since the
truth of the axioms was generally regarded as self-evident, and since the theorems followed
from those axioms (as we could see simply by following through each proof), geometry
seemed to show that we could know substantial facts about the world (about the results of
certain measurements, for example) by means of “pure reason”. Thus geometry seemed to
support the idea of a priori knowledge, that is, the idea that we can know things about the
world without depending on experience to tell us about them. The notion that we have such
knowledge (and its employment in the construction of systems of metaphysics) is one of the
central themes of rationalism, one of the two influential forms of philosophy to emerge in
early modern times. (Descartes, in particular, held that we had innate ideas of the basic
natures or properties that things could possess, and that we could clearly and distinctly grasp
how these natures had to be related to each other without any need for experience to show us.)
2. The sticking point: But from very early on, geometers were concerned about Euclid’s fifth
axiom. This axiom says that given any line and a point not on that line, one and only one line
can be drawn through the point, parallel to the line. Unlike the other four (which say simple
and straightforward things like “Given any two points, one and only one (straight) line can be
drawn connecting them.” And “A circle of any radius can be drawn with any given point as its
centre.”, this “parallels” axiom is complex enough and hard enough to be intuitively certain
about that many thought it really ought to be proven as a theorem, rather than left as an
axiom.
3. Efforts to prove the parallel postulate: Efforts to prove the axiom go way back, including
many of the great Arab geometers, and continue up to Saccheri, a Jesuit priest who actually
thought he had succeeded in “cleansing Euclid of all blemish”. Saccheri took the approach of
trying to prove the axiom by reductio. That is, he assumed that it was false and tried to derive
a contradiction. There are (of course) two ways that it could be false. There could be no
parallel lines at all, through the given point, or there could be more than one. From both of
these, Saccheri tried to show that some contradiction would follow. And in fact, from the first
(the “no parallels” assumption) he was able to do it. The other axioms do require that there be
at least one parallel (though they can easily be adjusted to remove this impediment). But from
the second, “many parallels” assumption, though he did derive some odd theorems (one of
which he mistook for a contradiction), in fact he derived no contradiction at all. In fact, as has
been shown since, there are systems of geometric axioms that include the “no parallels”
axiom, and others that include the “many parallels” axiom, which are provably consistent IF
Euclid’s axioms are consistent.
4. Non-Euclidean Geometry: The upshot of all this was the recognition, early in the nineteenth
century, that there were non-Euclidean systems of geometry. The geometrical truth, it
seemed, could no longer be decided a priori, by pure reason. There were now three different
“classes” of geometry: Bolyai-Lobachevskii, Riemannian, and Euclidean. Riemann, in
particular, systematized the whole range of geometries for “curved” space. These geometries
are Euclidean in the limit, that is, by confining ourselves to a small enough area, we can make
the geometry as close to Euclidean as we want. But as the area gets larger, the geometry
differs more and more from Euclid’s.
Geometry Bolyai-Lobachevskii
Euclid
Rieman
n
Parallels
Many
One
None
C/D for a
circle
>
=
<
Sum of
interior
angles for
a triangle
< 180o
= 1800
> 180o
5.
6.
7.
8.
Physical Space and Visualization: A further objection was also raised to the idea that threedimensional physical space could really be non-Euclidean. We can easily picture nonEuclidean surfaces—the surface of a sphere obeys the principles of Riemannian geometry:
lines are great circles (i.e. circles that cut the sphere in half—these give shortest distance paths
along the surface), there are no parallels (all great circles intersect), triangles have angle sums
greater than 180o, etc. And the saddle surface (or the pseudo-sphere) gives us BolyaiLobaschevski geometry, with many parallels, etc. But these surfaces are embedded (when we
imagine them) in a Euclidean 3-space. How can we imagine the embedding space itself being
non-Euclidean? Some (Kant, for example) thought this was just impossible to do. But
Helmholtz suggested instead that what was required was not to imagine a three dimensional
space “from the outside”, in the fourth dimension (in parallel to what we do with these
surfaces embedded in 3-space), but instead to ask what measurement results we would get in a
non-Euclidean space. If we imagine our physical measurements giving us non-Euclidean
results, that just is imagining 3-space to be non-Euclidean.
Gauss’ Test: Gauss proposed to test which geometry applies (at least on the scale of the
earth) by measuring the angles contained in a large triangle formed by shining lights on the
peaks of three mountains. (This is entirely in the Helmholtz spirit, though it predates
Helmholtz’ work on the issue.) The results (unsurprisingly) came out to 180o, within
experimental error. But this result’s interpretation needs some real care. After all, the method
used seems to assume that light rays travel in straight lines. If they don’t, then the figure
enclosed by the light rays would not really be a triangle, and the sum of the angles contained
in it could differ from the sum of the angles in a real triangle. Of course we could test
whether the light was travelling in straight lines by finding some other way to measure
whether the lines the light followed were straight. For example, we could try to measure the
length of the paths the light followed. If these paths were the shortest paths from peak to
peak, then (since a line is the shortest distance between any two points) we would have to say
the lines were straight after all. But when we make this measurement, we are assuming that
nothing is distorting our measuring rods, making one path seem shorter when in fact it’s really
longer. And if the distortion is caused by a universal force, i.e., a force which distorts the
results of all measuring devices to exactly the same extent, then there is no way we can use
our observations to rule out the possibility that such a force has affected our measurements.
Poincarre’s Conventionalism: Poincarré’s response to this problem was to accept a form of
conventionalism. According to conventionalism, there is no objectively right geometry for
physical space. Instead, we can choose (conventionally) any geometry we want. Of course,
to make that geometry fit with actual measurement results, we may have to invoke universal
forces. These forces can be chosen in such a way as to “adjust” whatever measurements
(corrected for any differential forces affecting their outcomes) we make to fit our choice of
geometry. Given that we can make this choice, and fix any problems using universal forces,
Poincarre suggested that we ought to use Euclidean geometry because it is so simple and
convenient. But that is not to say that physical space is really Euclidean. According to
Poincarre, space is not really one way or another; it’s our choice of geometry that decides how
we will go about measuring the world.
Einstein vs. Lorentz: Einstein’s interpretation of the Lorentz equations is an interesting
switch. Lorentz interpreted his transformations as the effect of a universal force, caused by
motion through the ether, which would prevent us from detecting that motion in any way. But
Einstein derives them from the principle of relativity (for Galilean frames) and the constancy
of the velocity of light for all observers. So for Lorentz a universal force has distorted the
results of our measurements, but for Einstein, our measurements are just as they should be,
and the transformations simply express how our measurements will compare with the
measurements of someone moving with respect to us (at some constant velocity). Einstein
has dispensed with the ether, which Lorentz claimed was there but couldn’t be measured. So
in a clear sense, Einstein has a more economical theory.
Download