Date of Award:


Document Type:


Degree Name:

Master of Science (MS)


Mathematics and Statistics


Charles Cunkle


This paper presents a proof that the classical geometry as stated by Karol Borsuk [1] follows from the join geometry of Walter Prenowitz [2].

The approach taken is to assume the axioms of Prenowitz. Using these as the foundation, the theory of join geometry is then developed to include such ideas as 'convex set', 'linear set', the important concept of 'dimension', and finally the relation of 'betweenness'. The development is in the form of definitions with the important extensions given in the form of theorems.

With a firm foundation of theorems in the join geometry, the axioms of classical geometry are examined, and then they are proved as theorems or modified and proved as theorems.

The basic notation to be used is that of set theory. No distinction is made between the set consisting of a single element and the element itself. Thus the notation for set containment is ⊂, and is used to denote element containment also. The set containing no elements, or the empty set, is denoted by Ø, The set of points belonging to at least one of the sets under consideration is called union, denoted ∪. The set of points belonging to each of the sets under consideration is called the intersection and denoted by ∩. Any other notation used will be defined at the first usage.