digplanet beta 1: Athena
Share digplanet:

Agriculture

Applied sciences

Arts

Belief

Business

Chronology

Culture

Education

Environment

Geography

Health

History

Humanities

Language

Law

Life

Mathematics

Nature

People

Politics

Science

Society

Technology

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.

Birkhoff's axiom system was utilized in the secondary-school text Basic Geometry (first edition, 1940; see References). Birkhoff's axioms were also modified by the School Mathematics Study Group to provide a new standard for teaching high school geometry, known as SMSG axioms.

Postulates[edit]

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, , that contains any two given distinct points P and Q.

Postulate III: Postulate of Angle Measure. A set of rays {ℓ, 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 and m, respectively, the difference am − a (mod 2π) of the numbers associated with the lines and m is \angleAOB. Furthermore, if the point B on m varies continuously in a line r not containing the vertex O, the number am varies continuously also.

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[edit]

  • Birkhoff, George David. 1932. "A Set of Postulates for Plane Geometry (Based on Scale and Protractors)," Annals of Mathematics 33.
  • Birkhoff, George David and Ralph Beatley. 1959. Basic Geometry 3rd ed. Chelsea Publishing Co. [Reprint: American Mathematical Society, 2000. ISBN 978-0-8218-2101-5]

Original courtesy of Wikipedia: http://en.wikipedia.org/wiki/Birkhoff's_axioms — Please support Wikipedia.
A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia.
1 videos found

what is "model theory"?

Model theory (thought not described as such in the book) is a method of description used in the "freshperson" maths book from 1960, Birkhoff and Maclane's "A...

 
1 videos found

We're sorry, but there's no news about "Birkhoff's axioms" right now.

Loading

Oops, we seem to be having trouble contacting Twitter

Talk About Birkhoff's axioms

You can talk about Birkhoff's axioms with people all over the world in our discussions.

Support Wikipedia

A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia. Please add your support for Wikipedia!