Namespaces
Variants
Actions

Difference between revisions of "Pasch axiom"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
One of the order axioms in the [[Hilbert system of axioms|Hilbert system of axioms]] of Euclidean geometry. The statement of the axiom uses the concept  "lies within (between) a segment" , and a segment is regarded here as a system of two distinct points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p0718001.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p0718002.png" />; points lying  "between"  <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p0718003.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p0718004.png" /> are said to be points (or interior points) of the segment. The concept  "between"  (lying between) is described by the group of axioms of order, to which Pasch' axiom also belongs. It can be stated as follows: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p0718005.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p0718006.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p0718007.png" /> be three non-collinear points and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p0718008.png" /> be a straight line in the plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p0718009.png" /> of these three points that does not pass through any of them; if the line passes through a point between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p07180010.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p07180011.png" />, then it must also pass through a point between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p07180012.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p07180013.png" /> or a point between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p07180014.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p07180015.png" />.
+
{{TEX|done}}
 +
One of the order axioms in the [[Hilbert system of axioms|Hilbert system of axioms]] of Euclidean geometry. The statement of the axiom uses the concept  "lies within (between) a segment" , and a segment is regarded here as a system of two distinct points $A$ and $B$; points lying  "between"  $A$ and $B$ are said to be points (or interior points) of the segment. The concept  "between"  (lying between) is described by the group of axioms of order, to which Pasch' axiom also belongs. It can be stated as follows: Let $A$, $B$ and $C$ be three non-collinear points and let $a$ be a straight line in the plane $(ABC)$ of these three points that does not pass through any of them; if the line passes through a point between $A$ and $B$, then it must also pass through a point between $A$ and $C$ or a point between $B$ and $C$.
  
This is an axiom of [[Absolute geometry|absolute geometry]]. By means of Hilbert's other axioms of order it can be proved that the line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p07180016.png" /> cannot intersect both <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p07180017.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071800/p07180018.png" />. M. Pasch stated this axiom in [[#References|[1]]].
+
This is an axiom of [[Absolute geometry|absolute geometry]]. By means of Hilbert's other axioms of order it can be proved that the line $a$ cannot intersect both $AC$ and $BC$. M. Pasch stated this axiom in [[#References|[1]]].
  
 
====References====
 
====References====

Latest revision as of 15:09, 9 April 2014

One of the order axioms in the Hilbert system of axioms of Euclidean geometry. The statement of the axiom uses the concept "lies within (between) a segment" , and a segment is regarded here as a system of two distinct points $A$ and $B$; points lying "between" $A$ and $B$ are said to be points (or interior points) of the segment. The concept "between" (lying between) is described by the group of axioms of order, to which Pasch' axiom also belongs. It can be stated as follows: Let $A$, $B$ and $C$ be three non-collinear points and let $a$ be a straight line in the plane $(ABC)$ of these three points that does not pass through any of them; if the line passes through a point between $A$ and $B$, then it must also pass through a point between $A$ and $C$ or a point between $B$ and $C$.

This is an axiom of absolute geometry. By means of Hilbert's other axioms of order it can be proved that the line $a$ cannot intersect both $AC$ and $BC$. M. Pasch stated this axiom in [1].

References

[1] M. Pasch, "Vorlesungen über neuere Geometrie" , Springer, reprint (1926)
[2] D. Hilbert, "Grundlagen der Geometrie" , Teubner, reprint (1962)


Comments

Sometimes the Veblen–Young axiom of projective geometry is, erroneously, called Pasch' axiom.

References

[a1] H.S.M. Coxeter, "Introduction to geometry" , Wiley (1969) pp. 178
How to Cite This Entry:
Pasch axiom. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Pasch_axiom&oldid=13442
This article was adapted from an original article by L.A. Sidorov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article