Projective geometry and Euclid both
measure intervals by intervals, but
Euclid
Projective Geometry and Euclid part ways here, because there is no exclusively geometric way to validate these assumptions, meaning that, for
Projective Geometry, size and equality do not exist, In Addition :-
Points haven't size (not even zero):
Lines haven't length (not even ∞): Planes haven't area (not even ∞^{2}). |
As there are three elements – point, line and plane – there are three fundamental types of interval ...
We note that, for every type, whenever one interval is formed, two are in fact formed.
For example, we may trace out one interval going right from
A
to B on the line l, shown on the left above,
and may also trace out a second interval going left
from A to B. (The latter tracing works
because a line has no ends.)
Elements have no ends, but can, by ‘two-of-the-same’ incident with
one ‘not-the-same’,
serve as ends – of intervals.
Intervals have ends, Elements do not. |