Hilbert's axioms

Hilbert's axioms

Hilbert's axioms are a set of 20 assumptions (originally 21), David Hilbert proposed in 1899 as the foundation for a modern treatment of Euclidean geometry. Other well-known modern axiomatizations of Euclidean geometry are those of Tarski and of George Birkhoff.

The axioms

The undefined primitives are: point, line, plane. There are three primitive relations:
* "Betweenness", a ternary relation linking points;
* "Containment", three binary relations, one linking points and lines, one linking points and planes, and one linking lines and planes;
* "Congruence", two binary relations, one linking line segments and one linking angles, each denoted by an infix ≅.Note that line segments, angles, and triangles may each be defined in terms of points and lines, using the relations of betweenness and containment.

All points, lines, and planes in the following axioms are distinct unless otherwise stated.

I. Incidence

I.1: Two distinct points "A" and "B" always completely determine a straight line "a". We write "AB" = "a" or "BA" = "a". Instead of “determine,” we may also employ other forms of expression; for example, we may say “"A" lies upon "a"”, “"A" is a point of "a"“, “"a" goes through "A" and through "B"”, ”"a" joins "A" and or with "B"”, etc. If "A" lies upon "a" and at the same time upon another straight line "b", we make use also of the expression: “The straight lines "a" and "b" have the point "A" in common,” etc.

I.2: Any two distinct points of a straight line completely determine that line; that is, if "AB" = "a" and "AC" = "a", where "B" ≠ "C", then also "BC" = a".

I.3: Three points "A", "B", "C" not situated in the same straight line always completely determine a plane α. We write "ABC" = "α". We employ also the expressions: “"A", "B", "C", lie in α”; “A, B, C are points of α”, etc.

I.4: Any three points "A", "B", "C" of a plane α, which do not lie in the same straight line, completely determine that plane.

I.5: If two points "A", "B" of a straight line "a" lie in a plane α, then every point of "a" lies in α. In this case we say: “The straight line "a" lies in the plane α,” etc.

I.6: If two planes α, β have a point "A" in common, then they have at least a second point "B" in common.

I.7: Upon every straight line there exist at least two points, in every plane at least three points not lying in the same straight line, and in space there exist at least four points not lying in a plane.

II. Order

II.1: If a point "B" is between points "A" and "C", "B" is also between "C" and "A", and there exists a line containing the points "A,B,C".

II.2: If "A" and "C" are two points of a straight line, then there exists at least one point "B" lying between "A" and "C" and at least one point "D" so situated that "C" lies between "A" and "D".

II.3: Of any three points situated on a straight line, there is always one and only onewhich lies between the other two.

II.5: Pasch's Axiom: Let A, B, C be three points not lying in the same straight line and let "a" be a straight line lying in the plane ABC and not passing through any of the points A, B, C. Then, if the straight line "a" passes through a point of the segment AB, it will also pass through either a point of the segment BC or a point of the segment AC.

III. Parallels

III.1: In a plane α there can be drawn through any point "A", lying outside of a straight line "a", one and only one straight line which does not intersect the line "a". This straight line is called the parallel to "a" through the given point "A".

IV. Congruence

IV.1: If "A", "B" are two points on a straight line "a", and if "A"ˡ is a point upon the same or another straight line "a"ˡ , then, upon a given side of "A"ˡ on the straight line "a"ˡ , we can always find one and only one point "B"ˡ so that the segment "AB" (or "BA") is congruent to the segment "A"ˡ "B"ˡ . We indicate this relation by writing "AB" ≅ "A"ˡ "B"ˡ. Every segment is congruent to itself; that is, we always have "AB" ≅ "AB".

We can state the above axiom briefly by saying that every segment can be "laid off"upon a given side of a given point of a given straight line in one and only one way.

IV.2: If a segment "AB" is congruent to the segment "A"ˡ"B"ˡ and also to the segment "A"ˡˡ"B"ˡˡ, then the segment "A"ˡ"B"ˡ is congruent to the segment "A"ˡˡ"B"ˡˡ; that is, if "AB" ≅ "A"ˡ"B" and "AB" ≅ "A"ˡˡ"B"ˡˡ, then "A"ˡ"B"ˡ ≅ "A"ˡˡ"B"ˡˡ

IV.3: Let "AB" and "BC" be two segments of a straight line a which have no pointsin common aside from the point "B", and, furthermore, let "A"ˡ"B"ˡ and "B"ˡ"C"ˡ be two segments of the same or of another straight line "a"ˡ having, likewise, no point otherthan "B"ˡ in common. Then, if "AB" ≅ "A"ˡ"B"ˡ and "BC" ≅ "B"ˡ"C"ˡ, we have "AC" ≅ "A"ˡ"C"ˡ.

IV.4: Let an angle (h, k) be given in the plane α and let a straight line aˡ be given in a plane αˡ. Suppose also that, in the plane α, a definite side of the straight line "a"ˡ be assigned. Denote by "h"ˡ a half-ray of the straight line "a"ˡ emanating from a point "O"ˡ of this line. Then in the plane αˡ there is one and only one half-ray "k"ˡ such that the angle ("h", "k"), or ("k", "h"), is congruent to the angle ("h"ˡ, "k"ˡ) and at the same time all interior points of the angle ("h"ˡ, "k"ˡ) lie upon the given side of "a"ˡ. We express this relation by means of the notation ∠("h", "k") ≅ ("h"ˡ, "k"ˡ)

Every angle is congruent to itself; that is, ∠("h", "k") ≅ ("h", "k")

or

∠("h", "k") ≅ ("k", "h")

IV.5: If the angle ("h", "k") is congruent to the angle ("h"ˡ, "k"ˡ) and to the angle ("h"ˡˡ, "k"ˡˡ), then the angle ("h"ˡ, "k"ˡ) is congruent to the angle ("h"ˡˡ, "k"ˡˡ); that is to say, if ∠("h", "k") ≅ ("h"ˡ, "k"ˡ) and ∠("h", "k") ≅ ("h"ˡˡ, "k"ˡˡ), then ∠("h"ˡ, "k"ˡ) ≅ ("h"ˡˡ, "k"ˡˡ).

IV.6: If, in the two triangles ABC and AˡBˡCˡ the congruences AB ≅ AˡBˡ, AC ≅ AˡCˡ, ∠BAC ≅ ∠BˡAˡCˡ hold, then the congruences ∠ABC ≅ ∠AˡBˡCˡ and ∠ACB ≅ ∠AˡCˡBˡ also hold.

V. Continuity

V.1: Axiom of Archimedes. Let "A"1 be any point upon a straight line between the arbitrarily chosen points"A" and "B". Take the points "A"2, "A"3, "A"4, . . . so that "A"1 lies between "A" and "A"2, "A"2 between "A"1 and "A"3, "A"3 between "A"2 and "A"4 etc. Moreover, let the segments "AA"1, "A"1"A"2, "A"2"A"3, "A"3"A"4, . . . be equal to one another. Then, among this series of points, there always exists a certain point "A"n such that "B" lies between "A" and "A"n.

V.2: "Line completeness". To a system of points, straight lines, and planes, it is impossible to add other elements in such a manner that the system thus generalized shall form a new geometry obeying all of the five groups of axioms. In other words, the elements of geometry form a system which is not susceptible of extension, if we regard the five groups of axioms as valid.

Discussion

Hilbert's discarded axiom

Hilbert (1899) included a 21st axiom that read as follows:

II.4: Pasch's Theorem. Any four points "A", "B", "C", "D" of a straight line can always be so arranged that "B" shall lie between "A" and "C" and also between "A" and "D", and, furthermore, that "C" shall lie between "A" and "D" and also between "B" and "D".

R. L. Moore proved that this axiom is redundant, in 1902.

Application

These axioms axiomatize Euclidian solid geometry. Removing four axioms mentioning "plane" in an essential way, namely I.3-6, omitting the last clause of I.7, and modifying III.1 to omit mention of planes, yields an axiomatization of Euclidean plane geometry.

Hilbert's axioms do not constitute a first-order theory because the axioms in group V cannot be expressed in first-order logic. Therefore Hilbert's axioms, unlike Tarski's, implicitly draw on set theory and so cannot be proved decidable or complete.

The value of Hilbert's "Grundlagen" was more methodological than substantive or pedagogical. Other major contributions to the axiomatics of geometry were those of Moritz Pasch, Mario Pieri, Oswald Veblen, Edward Vermilye Huntington, Gilbert Robinson, and Henry George Forder. The value of the "Grundlagen" is its pioneering approach to metamathematical questions, including:

*the use of models to prove axioms independent; and
*the need to prove the consistency and completeness of an axiom system.

Mathematics in the twentieth century evolved into a network of axiomatic formal systems. This was, in considerable part, influenced by the example Hilbert set in the "Grundlagen".

References

* Howard Eves, 1997 (1958). "Foundations and Fundamental Concepts of Mathematics". Dover. Chpt. 4.2 covers the Hilbert axioms for plane geometry.
*Ivor Grattan-Guinness, 2000. "In Search of Mathematical Roots". Princeton University Press.
*David Hilbert, 1980 (1899). " [http://www.gutenberg.org/files/17384/17384-pdf.pdf The Foundations of Geometry] ", 2nd ed. Chicago: Open Court.

External links

* [http://www.math.umbc.edu/~campbell/Math306Spr02/Axioms/Hilbert.html Math Department at the UMBC]
* [http://mathworld.wolfram.com/HilbertsAxioms.html Mathworld]

*
*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Hilbert's program — Hilbert s program, formulated by German mathematician David Hilbert in the 1920s, was to formalize all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent.Hilbert proposed that the… …   Wikipedia

  • Hilbert's problems — are a list of twenty three problems in mathematics put forth by German mathematician David Hilbert at the Paris conference of the International Congress of Mathematicians in 1900. The problems were all unsolved at the time, and several of them… …   Wikipedia

  • Hilbert's sixth problem — is to axiomatize those branches of science in which mathematics is prevalent. It occurs on the list of Hilbert s problems given out in 1900.The explicit statement reads:6. Mathematical Treatment of the Axioms of Physics. The investigations on the …   Wikipedia

  • Hilbert's fifth problem — Hilbert s fifth problem, from the Hilbert problems list promulgated in 1900 by David Hilbert, concerns the characterization of Lie groups. The theory of Lie groups describes continuous symmetry in mathematics; its importance there and in… …   Wikipedia

  • Hilbert's tenth problem — is the tenth on the list of Hilbert s problems of 1900. Its statement is as follows:Given a Diophantine equation with any number of unknown quantities and with rational integral numerical coefficients: To devise a process according to which it… …   Wikipedia

  • David Hilbert — Hilbert redirects here. For other uses, see Hilbert (disambiguation). David Hilbert David Hilbert (1912) Born …   Wikipedia

  • Hilbert-style deduction system — In logic, especially mathematical logic, a Hilbert style deduction system is a type of system of formal deduction attributed to Gottlob FregeMáté Ruzsa 1997:129] and David Hilbert. These deductive systems are most often studied for first order… …   Wikipedia

  • Hilbert's second problem — In mathematics, Hilbert s second problem was posed by David Hilbert in 1900 as one of his 23 problems. It asks for a proof that arithmetic of real numbers is consistent.In the 1930s, Kurt Gödel and Gerhard Gentzen proved results that cast new… …   Wikipedia

  • Hilbert, David — born Jan. 23, 1862, Königsberg, Prussia died Feb. 14, 1943, Göttingen, Ger. German mathematician whose work aimed at establishing the formalistic foundations of mathematics. He finished his Ph.D. at the University of Königsberg (1884) and moved… …   Universalium

  • Hilbert's fourth problem — In mathematics, Hilbert s fourth problem in the 1900 Hilbert problems was a foundational question in geometry. In one statement derived from the original, it was to find geometries whose axioms are closest to those of Euclidean geometry if the… …   Wikipedia

Share the article and excerpts

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