Birkhoff's axioms

Birkhoff's axioms

In 1932, G. D. Birkhoff created a set of four postulates of Euclidean geometry sometimes referred to as Birkhoff's axioms. These postulates are all based on basic geometry that can be confirmed experimentally with a scale and protractor. Since the postulates build upon the real numbers, the approach is similar to a model-based introduction to Euclidean geometry. Other often-used axiomizations of plane geometry are Hilbert's axioms and Tarski's axioms.

Postulates

Postulate I: Postulate of Line Measure. A set of points {A, B...} on any line can be put into a 1:1 correspondence with the real numbers {a, b...} so that |b-a| = d(A,B) for all points A and B.

Postulate II: Point-Line Postulate. There is one and only one line, l, that contains any two given distinct points P and Q.

Postulate III: Postulate of Angle Measure. A set of rays {l, m, n...} through any point O can be put into 1:1 correspondence with the real numbers a(mod 2π) so that if A and B are points (not equal to O) of l and m, respectively, the difference am - al (mod 2π) of the numbers associated with the lines l and m is angleAOB.

Postulate IV: Postulate of Similarity. Given two triangles ABC and A'B'C' and some constant k>0, d(A', B') = kd(A, B), d(A', C')=kd(A, C) and angleB'A'C'angleBAC, then d(B', C')=kd(B,C), angleC'B'A'angleCBA, and angleA'C'B'angleACB

References

* Birkhoff, G. D., 1932, "A Set of Postulates for Plane Geometry (Based on Scale and Protractors)," "Annals of Mathematics 33".


Wikimedia Foundation. 2010.

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

Look at other dictionaries:

  • Birkhoff — is the surname of: * Garrett Birkhoff (1911 1996), American mathematician, son of George D. * George David Birkhoff (1884 1944), American mathematicianThings named after George David Birkhoff: * Birkhoff (crater) * Birkhoff interpolation *… …   Wikipedia

  • George David Birkhoff — Infobox Scientist name = George David Birkhoff box width = image width =150px caption = George David Birkhoff birth date = 21 March 1884 birth place = Overisel, Michigan death date = 12 November 1944 death place = Cambridge, Massachusetts… …   Wikipedia

  • George David Birkhoff —  Ne pas confondre avec son fils, le mathématicien Garrett Birkhoff George David Birkhoff. George David Birkhoff (né le 21 mars 1884 dans le Michigan mort le …   Wikipédia en Français

  • Tarski's axioms — Tarski s axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry, called elementary, that is formulable in first order logic with identity, and requiring no set theory. Other modern axiomizations of… …   Wikipedia

  • List of axioms — This is a list of axioms as that term is understood in mathematics, by Wikipedia page. In epistemology, the word axiom is understood differently; see axiom and self evidence. Individual axioms are almost always part of a larger axiomatic… …   Wikipedia

  • 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… …   Wikipedia

  • Euclidean geometry — A Greek mathematician performing a geometric construction with a compass, from The School of Athens by Raphael. Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his… …   Wikipedia

  • List of mathematics articles (B) — NOTOC B B spline B* algebra B* search algorithm B,C,K,W system BA model Ba space Babuška Lax Milgram theorem Baby Monster group Baby step giant step Babylonian mathematics Babylonian numerals Bach tensor Bach s algorithm Bachmann–Howard ordinal… …   Wikipedia

  • Continuous geometry — In mathematics, continuous geometry is an analogue of complex projective geometry introduced by von Neumann (1936, 1998), where instead of the dimension of a subspace being in a discrete set 0, 1, ..., n, it can be an element of the unit… …   Wikipedia

  • Axiomes de Hilbert — David Hilbert Dans un mémoire paru en 1899, Les fondements de la géométrie ((de)Grundlagen der Geometrie), David Hilbert propose une axiomatisation de la géométrie euclidienne. Ce sont ces axiomes, qui ont été révisés au cours des éditions… …   Wikipédia en Français

Share the article and excerpts

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