Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

While reading a paper (pdf) about the history of modern logic, I learned that some opinions (about deductive/axiomatic mathematics) typically attributed to David Hilbert can be traced back to Moritz Pasch. After googling for Moritz Pasch, I was surprised to learn that he had found important implicit assumptions in Euclid missing from the axioms/postulates. I read on wikipedia that both Pasch's theorem and Pasch's axiom cannot be derived from Euclid's postulates.

Are there simple models similar to elliptic and hyperbolic geometry for the parallel postulate that allow to illustrate this fact in a simple way?

share|improve this question
1  
It seems to me that whether Pasch's theorem is a theorem of plane geometry or not depends on what one considers plane geometry to be; the theorem depends critically on a notion of order which isn't even part of geometry as Euclid defines it. AFAIK the only less than/greater than comparison in Euclid's axioms is in the parallel postulate, where the angles 'less than right angles' define the side on which non-parallel lines meet, and it's not even clear that that can be used to define a linear notion of less than, greater than, or between. –  Steven Stadnicki Apr 5 '13 at 22:12
    
As such, violating Pasch's theorem seems as simple as defining a new 'between' relation of one's own and saying by fiat that "B between (A, C)" and "C between (B,D)" but not "B between (A,D)". To invalidate this sort of trivial counterexample then a more explicit definition of the linear-order relationship would be needed, and it seems plausible that any useful definition that correlates with an inherent notion of betweenness would then allow the derivation of Pasch's theorem. –  Steven Stadnicki Apr 5 '13 at 22:15
    
@StevenStadnicki OK, I see. I guess that's the reason why "Pasch's theorem" cannot be derived, but is less important than "Pasch's axiom". –  Thomas Klimpel Apr 5 '13 at 22:28

1 Answer 1

up vote 6 down vote accepted

There are no simple models. To violate Pasch's Axiom in a Hilbert-type setup, we need to use a discontinuous solution of the Cauchy functional equation $f(x+y)=f(x)+f(y)$. Such a discontinuous solution requires (part of) the Axiom of Choice.

In ZF with added axiom that every set of reals is Lebesgue measurable, the Pasch Axiom is a theorem of a Hilbert-style axiomatization that leaves out the Pasch Axiom.

Remark: The first construction of a non-Paschian geometry that otherwise satisfies the full set of Hilbert's axioms is due to Szmielew. A proof that such a geometry must be of the Szmielew type was given by Adler.

share|improve this answer
    
What happens if you also throw out Dedekind completeness so as to introduce gaps or holes into the lines? Is it then possible to give an explicit model in which Pasch fails (note that Euclid also does not mention anything like Dedekind completeness, so a model which jettisons this axiom may still be considered to be "model of Euclid's postulates" that is still a "plane geometry")? –  mike4ty4 Oct 26 at 6:40
    
That raises an interesting question, which could be fruitful, about what we can say over Euclidean fields. Maybe the answer is simple, but I know the (older) literature pretty well, and do not recall anything. I tempted to start exploring! –  André Nicolas Oct 26 at 15:30

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.