neutral geometry
Dedekind Cuts. Let be a line in a linear orderedgeometry and let be two subsets on . A point issaid to be between and if for any pair of points and , is between and . Note that necessarilylies on .
For example, given a ray on a line . If is thesource of , then is a point between and itsopposite ray , regardless whether the ray is defined to beopen or closed. It is easy to see that is the unique pointbetween and .
Given a line , a Dedekind cut on is a pair of subsets such that and there is a uniquepoint between and . A ray on a line andits compliment constitute a Dedekind cut on.
If form a Dedekind cut on , then and have two additional properties:
- 1.
no point on is strictly between two points on , and
- 2.
no point on is strictly between two points on .
Conversely, if satisfy the above two conditions, can we say that and constitute a Dedekind cut? In a neutral geometry, the answer is yes.
Neutral Geometry. A neutral geometry is a linear orderedgeometry satisfying
- 1.
the congruence axioms
, and
- 2.
the continuity axiom:given any line with such that
- (a)
no point on is (strictly) between two points on , and
- (b)
no point on is (strictly) between two points on .
then and constitute a Dedekind cut on . In otherwords, there is a unique point between and .
- (a)
Clearly, contains at most one point. The continuity axiom is also known as Dedekind’s Axiom.
Properties.
- 1.
Let be a line, satisfying (a) and (b)above and let . Suppose lying on is a rayemanating from . Then either or .
- 2.
Let be a line, satisfying (a) and (b)above and let be the unique point as mentioned above. Then aclosed ray emanating from is either or .This implies that every Dedekind cut on a line consists of at least one ray.
- 3.
We can similarly propose a continuity axiom on a ray as follows: given any ray with such that
- –
no point on is strictly between two points on , and
- –
no point on is strictly between two points on .
then there is a unique point on between and .It turns out that the two continuity axioms are equivalent
.
- –
- 4.
Archimedean Property Given two line segments
and , then there is a unique natural number
and a unique point , such that
- (a)
lies on the line segment ,
- (b)
does not lie on the line segment, and
- (c)
.
This property usually appears in the study of ordered fields.
- (a)
- 5.
For any given line and any point , there exists a line passing through that is perpendicular
to .
- 6.
Consequently, for any given line and any point not lying on , there exists at leaast one line passing through that is parallel
to . If there is more than one line passing through parallel to , then there are infinitely many of these lines.
Examples.
- •
A Euclidean geometry
is a neutral geometry satisfying the Euclid’sparallel axiom: for any given line and any given point not lying onthe line, there is a unique line passing through the point andparallel to the given line.
- •
A hyperbolic geometry (or Bolyai-Lobachevsky geometry) is a neutralgeometry satisfying the hyperbolic axiom: for any given line and anygiven point not lying on the line, there are at least two distinct (hence infinitely many)lines passing through the point and parallel to the given line.
- •
In fact, one can replace the indefinite article “a” in thefirst letter of each of the above examples by the definitearticle “the”. It can be shown that any two Euclidean geometriesare geometrically isomorphic (preserving incidence, order,congruence
, and continuity). Similarly, any two hyperbolicgeometries are isomorphic. Such geometries are said to becategorical.
- •
An elliptic geometry is not a neutral geometry, because pairwise distinct parallel lines do not exist.
Title | neutral geometry |
Canonical name | NeutralGeometry |
Date of creation | 2013-03-22 15:33:49 |
Last modified on | 2013-03-22 15:33:49 |
Owner | CWoo (3771) |
Last modified by | CWoo (3771) |
Numerical id | 9 |
Author | CWoo (3771) |
Entry type | Definition |
Classification | msc 51F10 |
Classification | msc 51F05 |
Synonym | absolute geometry |
Synonym | Dedekind axiom |
Defines | hyperbolic axiom |
Defines | Bolyai-Lobachevsky geometry |
Defines | continuity axiom |
Defines | categorical |