Ordered geometry

Ordered geometry

Ordered geometry is a form of geometry featuring the concept of intermediacy (or "betweenness") but, like projective geometry, omitting the basic notion of measurement. Ordered geometry is a fundamental geometry forming a common framework for affine, Euclidean, absolute, and hyperbolic geometry (but not for projective geometry).

Contents

History

Moritz Pasch first defined a geometry without reference to measurement in 1882. His axioms were improved upon by Peano (1889), Hilbert (1899), and Veblen (1904).[1] Euclid anticipated Pasch's approach in definition 4 of The Elements: "a straight line is a line which lies evenly with the points on itself".[2]

Primitive concepts

The only primitive notions in ordered geometry are points A, B, C, ... and the relation of intermediacy [ABC] which can be read as "B is between A and C".

Definitions

The segment AB is the set of points P such that [APB].

The interval AB is the segment AB and its end points A and B.

The ray A/B (read as "the ray from A away from B") is the set of points P such that [PAB].

The line AB is the interval AB and the two rays A/B and B/A. Points on the line AB are said to be collinear.

An angle consists of a point O (the vertex) and two non-collinear rays out from O (the sides).

A triangle is given by three non-collinear points (called vertices) and their three segments AB, BC, and CA.

If three points A, B, and C are non-collinear, then a plane ABC is the set of all points collinear with pairs of points on one or two of the sides of triangle ABC.

If four points A, B, C, and D are non-coplanar, then a space (3-space) ABCD is the set of all points collinear with pairs of points selected from any of the four faces (planar regions) of the tetrahedron ABCD.

Axioms of ordered geometry

  1. There exist at least two points.
  2. If A and B are distinct points, there exists a C such that [ABC].
  3. If [ABC], then A and C are distinct (A≠C).
  4. If [ABC], then [CBA] but not [CAB].
  5. If C and D are distinct points on the line AB, then A is on the line CD.
  6. If AB is a line, there is a point C not on the line AB.
  7. (Axiom of Pasch) If ABC is a triangle and [BCD] and [CEA], then there exists a point F on the line DE for which [AFB].
  8. Axiom of dimensionality:
    1. For planar ordered geometry, all points are in one plane. Or
    2. If ABC is a plane, then there exists a point D not in the plane ABC.
  9. All points are in the same plane, space, etc. (depending on the dimension one chooses to work within).
  10. (Dedekind's Axiom) For every partition of all the points on a line into two nonempty sets such that no point of either lies between two points of the other, there is a point of one set which lies between every other point of that set and every point of the other set.

These axioms are closely related to Hilbert's axioms of order. For a comprehensive survey of axiomatizations of ordered geometry see.[3]

Results

Sylvester's problem of collinear points

The Sylvester-Gallai theorem can be proven within ordered geometry.,[4][5]

Parallelism

Gauss, Bolyai, and Lobachevsky developed a notion of parallelism which can be expressed in ordered geometry.[6]

Theorem (existence of parallelism): Given a point A and a line r, not through A, there exist exactly two limiting rays from A in the plane Ar which do not meet r. So there is a parallel line through A which does not meet r.

Theorem (transmissibility of parallelism): The parallelism of a ray and a line is preserved by adding or subtracting a segment from the beginning of a ray.

The symmetry of parallelism cannot be proven in ordered geometry.[7] Therefore, the "ordered" concept of parallelism does not form an equivalence relation on lines.

See also

References

  1. ^ Coxeter, H. S. M. (1969). Introduction to Geometry. New York: John Wiley & Sons. pp. 176. ISBN 0471504580. 
  2. ^ Heath, Thomas (1956). The Thirteen Books of Euclid's Elements (Vol 1). New York: Dover Publications. pp. 165. ISBN 0486600882. 
  3. ^ Pambuccian, Victor (2011). "The axiomatics of ordered geometry: I. Ordered incidence spaces". Expositiones Mathematicae 29: 24–66. doi:10.1016/j.exmath.2010.09.004. 
  4. ^ Coxeter, H. S. M. (1969). Introduction to Geometry. New York: John Wiley & Sons. pp. 181–182. ISBN 0471504580. 
  5. ^ Pambuccian, Victor (2009). "A Reverse Analysis of the Sylvester-Gallai Theorem". Notre Dame Journal of Formal Logic 50: 245–260. doi:10.1215/00294527-2009-010. 
  6. ^ Coxeter, H. S. M. (1969). Introduction to Geometry. New York: John Wiley & Sons. pp. 189–190. ISBN 0471504580. 
  7. ^ Bussemann, Herbert (1955). Geometry of Geodesics. New York: Academic Press. pp. 139. ISBN 0121483509. 

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Ordered field — In mathematics, an ordered field is a field together with a total ordering of its elements that is compatible with the field operations. Historically, the axiomatization of an ordered field was abstracted gradually from the real numbers, by… …   Wikipedia

  • Ordered ring — In abstract algebra, an ordered ring is a commutative ring R with a total order ≤ such that for all a, b, and c in R: if a ≤ b then a + c ≤ b + c. if 0 ≤ a and 0 ≤ b then 0 ≤ ab. Ordered rings are familiar from arithmetic. Examples include the… …   Wikipedia

  • geometry — [[t]ʤiɒ̱mɪtri[/t]] 1) N UNCOUNT Geometry is the branch of mathematics concerned with the properties and relationships of lines, angles, curves, and shapes. ...the very ordered way in which mathematics and geometry describe nature. 2) N UNCOUNT:… …   English dictionary

  • Absolute geometry — is a geometry based on an axiom system for Euclidean geometry that does not assume the parallel postulate or any of its alternatives. The term was introduced by János Bolyai in 1832.[1] It is sometimes referred to as neutral geometry,[2] as it is …   Wikipedia

  • Affine geometry — is a form of geometry featuring the unique parallel line property (see the parallel postulate) but where the notion of angle is undefined and lengths cannot be compared in different directions (that is, Euclid s third and fourth postulates are… …   Wikipedia

  • Euclidean geometry — A Greek mathematician performing a geometric construction with a compass, from The School of Athens by Raphael. Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his… …   Wikipedia

  • Analytic geometry — Cartesian coordinates. Analytic geometry, or analytical geometry has two different meanings in mathematics. The modern and advanced meaning refers to the geometry of analytic varieties. This article focuses on the classical and elementary meaning …   Wikipedia

  • Point (geometry) — In geometry, topology and related branches of mathematics a spatial point describes a specific point within a given space that consists of neither volume, area, length, nor any other higher dimensional analogue. Thus, a point is a 0 dimensional… …   Wikipedia

  • Non-Archimedean ordered field — In mathematics, a non Archimedean ordered field is an ordered field that does not satisfy the Archimedean property. Examples are the Levi Civita field, the hyperreal numbers, the surreal numbers, the Dehn field, and the field of rational… …   Wikipedia

  • Whitehead's point-free geometry — In mathematics, point free geometry is a geometry whose primitive ontological notion is region rather than point. Two axiomatic systems are set out below, one grounded in mereology, the other in mereotopology and known as connection theory… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”