Namespaces
Variants
Actions

User:Whayes43

From Encyclopedia of Mathematics
Revision as of 15:52, 16 September 2015 by Whayes43 (talk | contribs)
Jump to: navigation, search

for Euclidean geometry

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

In Hilbert's system of axioms the primary (primitive undefined) objects are $points$, (straight) $lines$, $planes$ and the relations between these terms are those of belonging to, being between, and being congruent to. The nature of the primary objects and of 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 eight axioms which describe the relation belonging to.

. For any two points there exists a straight line passing through them.

. There exists only one straight line passing through any two distinct points.

. At least two points lie on any straight line. There exist at least three points not lying on the same straight line.

. 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.

. There exists only one plane passing through any three points not lying on the same straight line.

. If two points and of a straight line lie in a plane , then all points of lie in .

. If two planes have one point in common, then they have at least one more point in common.

. 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.

. If a point lies between a point and a point , then , and are distinct points on the same straight line and also lies between and .

. For any two points and on the straight line there exists at least one point such that the point lies between and .

. Out of any three points on the same straight line there exists not more than one point lying between the other two.

(Pasch's axiom). Let , and be three points not lying on the same straight line, and let be a straight line in the plane not passing through any of the points , or . Then, if the straight line passes through an interior point of the segment , it also passes through an interior point of the segment or through an interior point of the segment .

Group III: Axioms of Congruence

This group comprises five axioms that describe the relation of "being congruent to" (Hilbert denoted this relation by the symbol ).

. Given a segment and a ray , there exists a point on such that the segment is congruent to the segment , i.e. .

. If and , then .

. Let and be two segments on a straight line without common interior points, and let and be two segments on the same or on a different straight line, also without any common interior points. If and , then .

. Let there be given an angle , a ray and a half-plane bounded by the straight line . Then contains one and only one ray such that . Moreover, every angle is congruent to itself.

. If for two triangles and one has , , , then .

Group IV: Axioms of Continuity

This group comprises two continuity axioms.

(Archimedes' axiom). Let and be two arbitrary segments. Then the straight line contains a finite set of points such that the point lies between and , the point lies between and , etc., and such that the segments are congruent to the segment , and lies between and .

(Cantor's axiom). Let there be given, on any straight line , an infinite sequence of segments which satisfies two conditions: a) each segment in the sequence forms a part of the segment which precedes it; b) for each preassigned segment it is possible to find a natural number such that . Then contains a point belonging to all the segments of this sequence.

Group V: Axioms of Parallelism

This group comprises one axiom about parallels. Let there be given a straight line and a point not on that straight line. Then there exists not more than one straight line passing through , not intersecting and lying in the plane defined by and .

(Hilbert classified the axiom about parallels in Group IV, and the continuity axioms in Group V).

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.

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.

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

References

[1] D. Hilbert, "Grundlagen der Geometrie" , Teubner, reprint (1968)
[2] N.V. Efimov, "Höhere Geometrie" , Deutsch. Verlag Wissenschaft. (1960) (Translated from Russian)
  • Hilbert, D. (1899). "Grundlagen der Geometrie". [Reprint (1968) Teubner.]
  • Efimov, N.V. (1960). "Höhere Geometrie", Deutsch. Verlag Wissenschaft. [Translated from Russian.]


Comments

In axiom the point is also called an interior point of the segment (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.

References

[a1] H.G. Forder, "Foundations of Euclidean geometry" , Dover, reprint (1958)
[a2] A.D. Aleksandrov, "Foundations of geometry" Siberian Math. J. , July 1987, Volume 28, Issue 4, pp 523-53928 (1987) pp. 523–539 Sibirsk. Mat. Zh. , 28 (1987) pp. 9–28


  • 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.]
  • Forder, H.G. "Foundations of Euclidean geometry". [Reprint (1958) Dover.]
  • Hilbert (1899)
  • How to Cite This Entry:
    Whayes43. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Whayes43&oldid=36714