Namespaces
Variants
Actions

Difference between revisions of "Hilbert system of axioms"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
 
Line 1: Line 1:
 
''for Euclidean geometry''
 
''for Euclidean geometry''
  
A system of axioms proposed by D. Hilbert [[#References|[1]]] in 1899, and subsequently amended and made more precise by him.
+
A system of axioms first proposed by D. Hilbert in 1899, and subsequently amended and made more precise by him.
  
In Hilbert's system of axioms the primary (undefined) notions are points, straight lines, planes, and the relations between them are expressed by the words  "belongs to" , "between in the Hilbert system of axiomsbetween"  and "congruence in geometrycongruent to in the Hilbert system of axiomscongruent to" . The nature of the primary objects and the relations between those objects are arbitrary as long as the objects and the relations satisfy the axioms.
+
===Hilbert's system of axioms===
 +
 
 +
The primary (primitive undefined) objects are $points$, (straight) $lines$, $planes$.
 +
 
 +
The relations between these objects are ''belonging to'', ''being between'', and ''being congruent to''.
 +
 
 +
The nature of both the primary objects and the relations between those objects are arbitrary as long as the objects and the relations satisfy the axioms.
  
 
Hilbert's system contains 20 axioms, which are subdivided into five groups.
 
Hilbert's system contains 20 axioms, which are subdivided into five groups.
  
===Group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h0474001.png" />===
+
====Group I: Axioms of Incidence or Connection====
comprises eight incidence axioms which describe the relation "belonging" .
+
This group comprises 8 axioms describing the relation ''belonging to''.
 +
 
 +
$\mathbf{I}_1$. For any two points there exists a straight line passing through them.
 +
 
 +
$\mathbf{I}_2$. There exists only one straight line passing through any two distinct points.
 +
 
 +
$\mathbf{I}_3$. At least two points lie on any straight line. There exist at least three points not lying on the same straight line.
 +
 
 +
$\mathbf{I}_4$. There exists a plane passing through any three points not lying on the same straight line. At least one point lies on any given plane.
 +
 
 +
$\mathbf{I}_5$. There exists only one plane passing through any three points not lying on the same straight line.
 +
 
 +
$\mathbf{I}_6$. If two points $A$ and $B$ of a straight line $a$ lie in a plane $\alpha$, then all points of $a$ lie in $\alpha$.
 +
 
 +
$\mathbf{I}_7$. If two planes have one point in common, then they have at least one more point in common.
 +
 
 +
$\mathbf{I}_8$. There exist at least four points not lying in the same plane.
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h0474002.png" />. For any two points there exists a straight line passing through them.
+
====Group II: Axioms of Order====
 +
This group comprises four axioms describing the relation ''being between''.
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h0474003.png" />. There exists only one straight line passing through any two distinct points.
+
$\mathbf{II}_1$. If a point $B$ lies between a point $A$ and a point $C$, then $A$, $B$, and $C$ are distinct points on the same straight line and $B$ also lies between $C$ and $A$.
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h0474004.png" />. At least two points lie on any straight line. There exist at least three points not lying on the same straight line.
+
::''Definitions'':
 +
::* The ''line segment'' $AC$ is the set of points $A$, $C$, and all points lying between $A$ and $C$.
 +
::* Points $A$ and $C$ are the ''endpoints'' of the segment
 +
::* Point $B$ and all other points between $A$ and $C$ are ''interior points'' of the segment
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h0474005.png" />. There exists a plane passing through any three points not lying on the same straight line. At least one point lies on any given plane.
+
$\mathbf{II}_2$. For any two points $A$ and $B$ on the straight line $AB$, there exists at least one point $C$ such that the point $B$ lies between $A$ and $C$.
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h0474006.png" />. There exists only one plane passing through any three points not lying on the same straight line.
+
$\mathbf{II}_3$.Out of any three points on the same straight line there exists not more than one point lying between the other two.
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h0474007.png" />. If two points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h0474008.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h0474009.png" /> of a straight line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740010.png" /> lie in a plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740011.png" />, then all points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740012.png" /> lie in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740013.png" />.
+
$\mathbf{II}_4$.(Pasch's axiom). Let $A$, $B$, and $C$ be three points not lying on the same straight line,
 +
:::and let $a$ be a straight line in the plane $ABC$ not passing through any of the points $A$, $B$, or $C$.
 +
::Then, if the straight line $a$ passes through an interior point of the segment $AB$,
 +
:::it also passes through an interior point of the segment $AC$ or through an interior point of the segment $BC$.
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740014.png" />. If two planes have one point in common, then they have at least one more point in common.
+
====Group III: Axioms of Congruence====
 +
This group comprises five axioms describing the relation "being congruent to" (Hilbert denoted this relation by the symbol $\equiv$).
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740015.png" />. There exist at least four points not lying in the same plane.
+
$\mathbf{III}_1$. Given a segment $AB$ and a ray $OX$, there exists a point $B’$ on $OX$ such that the segment $AB$ is congruent to the segment $OB’$, i.e. $AB \equiv OB’$.
  
===Group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740016.png" />===
+
$\mathbf{III}_2$. If $A’B’ \equiv AB$ and $A’’B’’ \equiv AB$, then $A’B’ \equiv A’’B’’$.
comprises four order axioms describing the relation  "between" .
 
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740017.png" />. If a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740018.png" /> lies between a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740019.png" /> and a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740020.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740021.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740022.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740023.png" /> are distinct points on the same straight line and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740024.png" /> also lies between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740025.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740026.png" />.
+
$\mathbf{III}_3$. Let $AB$ and $BC$ be two segments on a straight line without common interior points,
 +
:::and let $A’B’$ and $B’C’$ be two segments on the same or on a different straight line, also without any common interior points.
 +
::If $AB \equiv A’B’$  and $BC \equiv B’C’$, then $AC \equiv A’C’$.
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740027.png" />. For any two points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740028.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740029.png" /> on the straight line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740030.png" /> there exists at least one point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740031.png" /> such that the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740032.png" /> lies between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740033.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740034.png" />.
+
$\mathbf{III}_4$. Let there be given an angle $\langle AOB$, a ray $O’A’$ and a half-plane $\Pi$ bounded by the straight line $O’A’$.
 +
::Then $\Pi$ contains one and only one ray $O’B’$ such that $\langle AOB \equiv \langle A’O’B’$. Moreover, every angle is congruent to itself.
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740035.png" />. Out of any three points on the same straight line there exists not more than one point lying between the other two.
+
$\mathbf{III}_5$. If for two triangles $ABC$ and $A’B’C’$ one has $AB \equiv A’B’$, $AC \equiv A’C’$, $\langle BAC \equiv \langle B’A’C’$, then $\langle ABC \equiv \langle A’B’C’$.
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740036.png" /> (Pasch's axiom). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740037.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740038.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740039.png" /> be three points not lying on the same straight line, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740040.png" /> be a straight line in the plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740041.png" /> not passing through any of the points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740042.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740043.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740044.png" />. Then, if the straight line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740045.png" /> passes through an interior point of the segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740046.png" />, it also passes through an interior point of the segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740047.png" /> or through an interior point of the segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740048.png" />.
+
====Group IV: Axioms of Continuity====
 +
This group comprises two continuity axioms.
  
===Group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740049.png" />===
+
$\mathbf{IV}_1$. (Archimedes' axiom). Let $AB$ and $CD$ be two arbitrary segments.
comprises five axioms of congruence, which describe the relation of  "being congruent"  (Hilbert denoted this relation by the symbol <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740050.png" />).
+
::Then the straight line $AB$ contains a finite set of points $A_1,\dotsc, A_n$
 +
:::such that the point $A_1$ lies between $A$ and $A_2$, the point $A_2$ lies between $A_1$ and $A_3$, etc.,
 +
:::and such that the segments $AA_1,\dotsc,A_{n-1}A_n$ are congruent to the segment $CD$,
 +
:::and $B$ lies between $A$ and $A_n$.
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740051.png" />. Given a segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740052.png" /> and a ray <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740053.png" />, there exists a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740054.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740055.png" /> such that the segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740056.png" /> is congruent to the segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740057.png" />, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740058.png" />.
+
$\mathbf{IV}_2$. (Cantor's axiom). Let there be given, on any straight line $a$, an infinite sequence of segments $A_1B_1, A_2B_2,\dotsc,$ which satisfies two conditions:
 +
::# each segment in the sequence forms a part of the segment which precedes it;
 +
::# for each preassigned segment $CD$ it is possible to find a natural number $n$ such that $A_nB_n < CD$.
 +
::Then $a$ contains a point $M$ belonging to all the segments of this sequence.
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740059.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740060.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740061.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740062.png" />.
+
====Group V: Axiom of Parallelism====
 +
This group comprises one axiom about parallels.
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740063.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740064.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740065.png" /> be two segments on a straight line without common interior points, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740066.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740067.png" /> be two segments on the same or on a different straight line, also without any common interior points. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740068.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740069.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740070.png" />.
+
$\mathbf{V}_1$. Let there be given a straight line $a$ and a point $A$ not on that straight line.
 +
::Then there exists not more than one straight line passing through $A$ not intersecting $a$ and lying in the plane defined by $a$ and $A$.
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740071.png" />. Let there be given an angle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740072.png" />, a ray <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740073.png" /> and a half-plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740074.png" /> bounded by the straight line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740075.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740076.png" /> contains one and only one ray <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740077.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740078.png" />. Moreover, every angle is congruent to itself.
+
===Hilbert’s system and Euclid’s ''Elements''===
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740079.png" />. If for two triangles <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740080.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740081.png" /> one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740082.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740083.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740084.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740085.png" />.
+
Hilbert's system of axioms was the first fairly rigorous foundation of [[Euclidean geometry|Euclidean geometry]].
  
===Group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740086.png" />===
+
All elements (terms, axioms, and postulates) of Euclidean geometry that are not explicitly stated in Hilbert’s system can be defined by or derived from the basic elements (objects, relations, and axioms) of his system.
comprises two continuity axioms.
 
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740087.png" /> (Archimedes' axiom). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740088.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740089.png" /> be two arbitrary segments. Then the straight line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740090.png" /> contains a finite set of points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740091.png" /> such that the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740092.png" /> lies between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740093.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740094.png" />, the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740095.png" /> lies between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740096.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740097.png" />, etc., and such that the segments <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740098.png" /> are congruent to the segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h04740099.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400100.png" /> lies between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400101.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400102.png" />.
+
Similarly, all the propositions, theorems, and constructions of Euclidean geometry not specifically stated in Hilbert’s system are logically deducible from his axioms, or from statements which are deducible from these axioms.
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400103.png" /> (Cantor's axiom). Let there be given, on any straight line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400104.png" />, an infinite sequence of segments <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400105.png" /> which satisfies two conditions: a) each segment in the sequence forms a part of the segment which precedes it; b) for each preassigned segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400106.png" /> it is possible to find a natural number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400107.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400108.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400109.png" /> contains a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400110.png" /> belonging to all the segments of this sequence.
+
===Metamathematics of Hilbert’s system===
  
===Group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400111.png" />===
+
Hilbert's system of axioms is ''complete''.
comprises one axiom about parallels. Let there be given a straight line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400112.png" /> and a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400113.png" /> not on that straight line. Then there exists not more than one straight line passing through <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400114.png" />, not intersecting <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400115.png" /> and lying in the plane defined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400116.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400117.png" />.
 
  
(Hilbert classified the axiom about parallels in Group IV, and the continuity axioms in Group V).
+
Further, if the arithmetic of real numbers is ''consistent'', then Hilbert’s system is ''consistent''.
  
All other axioms of Euclidean geometry are defined by the basic concepts of Hilbert's system of axioms, while all the statements regarding the properties of geometrical figures and not included in Hilbert's system must be logically deducible from the axioms, or from statements which are deducible from these axioms.
+
The Axiom of Parallelism is ''independent'' of the other axioms, shown by the following:
 +
::replacing the Axiom of Parallelism by its negation yields a new system of axioms (the system of axioms of [[Lobachevskii geometry]]) that is also consistent
 +
Other axioms of this system are also demonstrably ''independent'' of one other.
  
Hilbert's system of axioms is complete; it is consistent if the arithmetic of real numbers is consistent. If, in Hilbert's system, the axiom about parallels is replaced by its negation, the new system of axioms thus obtained is also consistent (the system of axioms of Lobachevskii geometry), which means that the axiom about parallels is independent of the other axioms in Hilbert's system. It is also possible to demonstrate that some other axioms of this system are independent of the others.
+
===Historical note===
  
Hilbert's system of axioms is the first fairly rigorous foundation of [[Euclidean geometry|Euclidean geometry]].
+
In Hilbert’s original (German) system, the axioms were grouped differently than shown above:
 +
* Group IV contained the Axiom of Parallelism
 +
* Group V contained a single Axiom of Continuity -- Archimemes’ Axiom
 +
Shortly afterwards, in translations (French/English) of his original system, Hilbert added a second Axiom of Continuity -- an Axiom of Completeness of his own devising. In subsequent editions and translations, the Axiom of Completeness has been based on various definitions of the real numbers. The axiom shown above is based on Cantor’s definition.
  
====References====
+
===Primary sources===
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  D. Hilbert,  "Grundlagen der Geometrie" , Teubner, reprint  (1968)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N.V. Efimov,  "Höhere Geometrie" , Deutsch. Verlag Wissenschaft.  (1960)  (Translated from Russian)</TD></TR></table>
 
  
 +
* Hilbert, D. (1899). "Grundlagen der Geometrie". [Reprint (1968) Teubner.]
  
 +
===References===
  
====Comments====
+
* Aleksandrov, A.D. "Foundations of geometry," ''Siberian Mathematical Journal'', July 1987, Vol. 28, Issue 4, pp 523-539. [Trans. ''Sibirskii Matematicheskii Zhurnal'', Vol. 28, No. 4, pp. 9–28, July–August, 1987.]
In axiom <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400118.png" /> the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400119.png" /> is also called an interior point of the segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047400/h047400120.png" /> (Pasch's axiom should be read with this in mind).
 
  
Also, Hilbert originally used different continuity axioms: the Archimedean axiom and a completeness axiom of his own.
+
* Efimov, N.V. (1960). "Höhere Geometrie", Deutsch. Verlag Wissenschaft. [Translated from Russian.]
  
====References====
+
* Forder, H.G. "Foundations of Euclidean geometry". [Reprint (1958) Dover.]
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  H.G. Forder,  "Foundations of Euclidean geometry" , Dover, reprint  (1958)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  A.D. Aleksandrov,  "Foundations of geometry"  ''Siberian Math. J.'' , '''28'''  (1987)  pp. 523–539  ''Sibirsk. Mat. Zh.'' , '''28'''  (1987)  pp. 9–28</TD></TR></table>
 

Latest revision as of 23:34, 16 September 2015

for Euclidean geometry

A system of axioms first proposed by D. Hilbert in 1899, and subsequently amended and made more precise by him.

Hilbert's system of axioms

The primary (primitive undefined) objects are $points$, (straight) $lines$, $planes$.

The relations between these objects are belonging to, being between, and being congruent to.

The nature of both the primary objects and the relations between those objects are arbitrary as long as the objects and the relations satisfy the axioms.

Hilbert's system contains 20 axioms, which are subdivided into five groups.

Group I: Axioms of Incidence or Connection

This group comprises 8 axioms describing the relation belonging to.

$\mathbf{I}_1$. For any two points there exists a straight line passing through them.

$\mathbf{I}_2$. There exists only one straight line passing through any two distinct points.

$\mathbf{I}_3$. At least two points lie on any straight line. There exist at least three points not lying on the same straight line.

$\mathbf{I}_4$. There exists a plane passing through any three points not lying on the same straight line. At least one point lies on any given plane.

$\mathbf{I}_5$. There exists only one plane passing through any three points not lying on the same straight line.

$\mathbf{I}_6$. If two points $A$ and $B$ of a straight line $a$ lie in a plane $\alpha$, then all points of $a$ lie in $\alpha$.

$\mathbf{I}_7$. If two planes have one point in common, then they have at least one more point in common.

$\mathbf{I}_8$. There exist at least four points not lying in the same plane.

Group II: Axioms of Order

This group comprises four axioms describing the relation being between.

$\mathbf{II}_1$. If a point $B$ lies between a point $A$ and a point $C$, then $A$, $B$, and $C$ are distinct points on the same straight line and $B$ also lies between $C$ and $A$.

Definitions:
  • The line segment $AC$ is the set of points $A$, $C$, and all points lying between $A$ and $C$.
  • Points $A$ and $C$ are the endpoints of the segment
  • Point $B$ and all other points between $A$ and $C$ are interior points of the segment

$\mathbf{II}_2$. For any two points $A$ and $B$ on the straight line $AB$, there exists at least one point $C$ such that the point $B$ lies between $A$ and $C$.

$\mathbf{II}_3$.Out of any three points on the same straight line there exists not more than one point lying between the other two.

$\mathbf{II}_4$.(Pasch's axiom). Let $A$, $B$, and $C$ be three points not lying on the same straight line,

and let $a$ be a straight line in the plane $ABC$ not passing through any of the points $A$, $B$, or $C$.
Then, if the straight line $a$ passes through an interior point of the segment $AB$,
it also passes through an interior point of the segment $AC$ or through an interior point of the segment $BC$.

Group III: Axioms of Congruence

This group comprises five axioms describing the relation "being congruent to" (Hilbert denoted this relation by the symbol $\equiv$).

$\mathbf{III}_1$. Given a segment $AB$ and a ray $OX$, there exists a point $B’$ on $OX$ such that the segment $AB$ is congruent to the segment $OB’$, i.e. $AB \equiv OB’$.

$\mathbf{III}_2$. If $A’B’ \equiv AB$ and $A’’B’’ \equiv AB$, then $A’B’ \equiv A’’B’’$.

$\mathbf{III}_3$. Let $AB$ and $BC$ be two segments on a straight line without common interior points,

and let $A’B’$ and $B’C’$ be two segments on the same or on a different straight line, also without any common interior points.
If $AB \equiv A’B’$ and $BC \equiv B’C’$, then $AC \equiv A’C’$.

$\mathbf{III}_4$. Let there be given an angle $\langle AOB$, a ray $O’A’$ and a half-plane $\Pi$ bounded by the straight line $O’A’$.

Then $\Pi$ contains one and only one ray $O’B’$ such that $\langle AOB \equiv \langle A’O’B’$. Moreover, every angle is congruent to itself.

$\mathbf{III}_5$. If for two triangles $ABC$ and $A’B’C’$ one has $AB \equiv A’B’$, $AC \equiv A’C’$, $\langle BAC \equiv \langle B’A’C’$, then $\langle ABC \equiv \langle A’B’C’$.

Group IV: Axioms of Continuity

This group comprises two continuity axioms.

$\mathbf{IV}_1$. (Archimedes' axiom). Let $AB$ and $CD$ be two arbitrary segments.

Then the straight line $AB$ contains a finite set of points $A_1,\dotsc, A_n$
such that the point $A_1$ lies between $A$ and $A_2$, the point $A_2$ lies between $A_1$ and $A_3$, etc.,
and such that the segments $AA_1,\dotsc,A_{n-1}A_n$ are congruent to the segment $CD$,
and $B$ lies between $A$ and $A_n$.

$\mathbf{IV}_2$. (Cantor's axiom). Let there be given, on any straight line $a$, an infinite sequence of segments $A_1B_1, A_2B_2,\dotsc,$ which satisfies two conditions:

  1. each segment in the sequence forms a part of the segment which precedes it;
  2. for each preassigned segment $CD$ it is possible to find a natural number $n$ such that $A_nB_n < CD$.
Then $a$ contains a point $M$ belonging to all the segments of this sequence.

Group V: Axiom of Parallelism

This group comprises one axiom about parallels.

$\mathbf{V}_1$. Let there be given a straight line $a$ and a point $A$ not on that straight line.

Then there exists not more than one straight line passing through $A$ not intersecting $a$ and lying in the plane defined by $a$ and $A$.

Hilbert’s system and Euclid’s Elements

Hilbert's system of axioms was the first fairly rigorous foundation of Euclidean geometry.

All elements (terms, axioms, and postulates) of Euclidean geometry that are not explicitly stated in Hilbert’s system can be defined by or derived from the basic elements (objects, relations, and axioms) of his system.

Similarly, all the propositions, theorems, and constructions of Euclidean geometry not specifically stated in Hilbert’s system are logically deducible from his axioms, or from statements which are deducible from these axioms.

Metamathematics of Hilbert’s system

Hilbert's system of axioms is complete.

Further, if the arithmetic of real numbers is consistent, then Hilbert’s system is consistent.

The Axiom of Parallelism is independent of the other axioms, shown by the following:

replacing the Axiom of Parallelism by its negation yields a new system of axioms (the system of axioms of Lobachevskii geometry) that is also consistent

Other axioms of this system are also demonstrably independent of one other.

Historical note

In Hilbert’s original (German) system, the axioms were grouped differently than shown above:

  • Group IV contained the Axiom of Parallelism
  • Group V contained a single Axiom of Continuity -- Archimemes’ Axiom

Shortly afterwards, in translations (French/English) of his original system, Hilbert added a second Axiom of Continuity -- an Axiom of Completeness of his own devising. In subsequent editions and translations, the Axiom of Completeness has been based on various definitions of the real numbers. The axiom shown above is based on Cantor’s definition.

Primary sources

  • Hilbert, D. (1899). "Grundlagen der Geometrie". [Reprint (1968) Teubner.]

References

  • Aleksandrov, A.D. "Foundations of geometry," Siberian Mathematical Journal, July 1987, Vol. 28, Issue 4, pp 523-539. [Trans. Sibirskii Matematicheskii Zhurnal, Vol. 28, No. 4, pp. 9–28, July–August, 1987.]
  • Efimov, N.V. (1960). "Höhere Geometrie", Deutsch. Verlag Wissenschaft. [Translated from Russian.]
  • Forder, H.G. "Foundations of Euclidean geometry". [Reprint (1958) Dover.]
How to Cite This Entry:
Hilbert system of axioms. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hilbert_system_of_axioms&oldid=13772
This article was adapted from an original article by V.T. Bazylev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article