In a cyclic order, such as the real projective line, two pairs of points separate each other when they occur alternately in the order. Thus the ordering a b c d of four points has (a,c) and (b,d) as separating pairs. This point-pair separation is an invariant of projectivities of the line.

Concept

The concept was described by G. B. Halsted at the outset of his Synthetic Projective Geometry:

With regard to a pair of different points of those on a straight, all remaining fall into two classes, such that every point belongs to one and only one. If two points belong to different classes with regard to a pair of points, then also the latter two belong to different classes with regard to the first two. Two such point pairs are said to 'separate each other.' Four different points on a straight can always be partitioned in one and only one way into pairs separating each other.[1]

Given any pair of points on a projective line, they separate a third point from its harmonic conjugate.

A pair of lines in a pencil separates another pair when a transversal crosses the pairs in separated points.

The point-pair separation of points was written AC//BD by H. S. M. Coxeter in his textbook The Real Projective Plane.[2]

Application

The relation may be used in showing the real projective plane is a complete space. The axiom of continuity used is "Every monotonic sequence of points has a limit." The point-pair separation is used to provide definitions:

  • {An} is monotonic ≡ ∀ n > 1
  • M is a limit ≡ (∀ n > 2 ) ∧ (∀ P ⇒ ∃ n ).

Unoriented circle

Whereas a linear order endows a set with a positive end and a negative end, an other relation forgets not only which end is which, but also where the ends are located. In this way it is a final, further weakening of the concepts of a betweenness relation and a cyclic order. There is nothing else that can be forgotten: up to the relevant sense of interdefinability, these three relations are the only nontrivial reducts of the ordered set of rational numbers.[3]

A quaternary relation S(a, b, c, d) is defined satisfying certain axioms, which is interpreted as asserting that a and c separate b from d.[4][5]

Axioms

The separation relation was described with axioms in 1898 by Giovanni Vailati.[6]

  • abcd = badc
  • abcd = adcb
  • abcd ⇒ ¬ acbd
  • abcd ∨ acdb ∨ adbc
  • abcd ∧ acde ⇒ abde.

References

  1. ^ G. B. Halsted (1906) Synthetic Projective Geometry, Introduction, p. 7 via Internet Archive
  2. ^ H. S. M. Coxeter (1949) The Real Projective Plane, Chapter 10: Continuity, McGraw Hill
  3. ^ Macpherson, H. Dugald (2011), "A survey of homogeneous structures" (PDF), Discrete Mathematics, 311 (15): 1599–1634, doi:10.1016/j.disc.2011.01.024, retrieved 28 April 2011
  4. ^ Huntington, Edward V. (July 1935), "Inter-Relations Among the Four Principal Types of Order" (PDF), Transactions of the American Mathematical Society, 38 (1): 1–9, doi:10.1090/S0002-9947-1935-1501800-1, retrieved 8 May 2011
  5. ^ Edward V. Huntington and Kurt E. Rosinger (1932) "Postulates for Separation of Point-Pairs (Reversible order on a closed line)", Proceedings of the American Academy of Arts and Sciences 67(4): 61–145, JSTOR 20022891
  6. ^ Bertrand Russell (1903) The Principles of Mathematics, Separation of couples via Internet Archive
Allikas: https://en.wikipedia.org/wiki/Point-pair_separation
No tags for this post.