Coninuity Axiom
This topic defines a Dedekind cut and proves the Dedekind Axiom implies the Archimedes Axiom.
After introducing the measure of a segment and an angle, the triangular inequality and the Saccheri-Legendre Theorem are proven.
Axiom (Archimedes Axiom) If
is any segment,
any point, and
any ray with vertex
then for every point
on
there is a number
such that when
is laid off
times on
starting at
, a point
is reached such that
and either
or
is between
and
![continuity axiom _gr_17.gif]](pages/continuity-axiom/Images/continuity-axiom_gr_17.gif)
Axiom (Dedekind Axiom) Suppose there exists two subsets
and
of
with the following properties:
(i)
![continuity axiom _gr_22.gif]](pages/continuity-axiom/Images/continuity-axiom_gr_22.gif) (ii)
![continuity axiom _gr_23.gif]](pages/continuity-axiom/Images/continuity-axiom_gr_23.gif) (iii)
![continuity axiom _gr_24.gif]](pages/continuity-axiom/Images/continuity-axiom_gr_24.gif) (iv)
(v)
, and (vi)
.
Then there exists a unique point
on
such that one of the subsets is equal to a ray of
with vertex
and the other subset is equal to the complement.
Definition (Dedekind Cut Of A Line) The subsets
and
on a line
with the properties in the Dedekind Axiom are called a Dedekind cut of the line
In a similar manner a Dedekind cut for a ray can be defined and a proposition corresponding to the Dedekind Axiom (but for rays) can be proven from the Dedekind Axiom.
Proposition (Dedekind Axiom Implies Archimede Axiom) The Archimede Axiom is a consequence of the Dedekind Axiom and the Hilbert Axioms of Incidence, Betweenness, and Congruence.
Proof. Given a segment
and a point
on line
with ray
of
emanating from
Let
consist of
and all points on
reached by laying off copies of segment
on
starting from
Let
be the complement of
in
If
is empty, then the Archimede axiom holds, so assume that
is nonempty.
We will show that
and
make a Dedekind cut of
We are assuming
is nonempty and clearly
is non empty because we lay off at least one copy of
Since
is the complement of
in
we note that
Obviously,
since
is the complmenet of
Next, suppose two points
are in
with say
then
holds; to see this, let
be between
and
Suppose
could be reached by laying off some numbers of copies of
starting at
, then by the Betweenness Property,
is also reached by
contradicting
Thus,
Similarly, when
and
are two points in
it follows
So we have a Dedekind cut of
Let
be the point of
furnished by the Dedekind Axiom.
Case 1.
Suppose
Then for some number
can be reached by laying off copies of segment
on
starting from
By laying off one more copy of
we can reach a point in
but by definition of
that is not possible. Case 2.
Suppose
Lay off a copy of
on the ray opposite to
starting at
obtaining a point
lies on
so
Then for some number
can be reached by laying off copies of
Whence,
can be reached by laying off one more copy of
starting from
contradicting
Therefore,
is empty which means that every point on
can be reached by laying off some number of copies of
so the Archimede axiom holds.
Calculus (With Analytic Geometry)(8th edition)
 List Price: $209.95 Buy Used: $71.79 You Save: $138.16 (66%) New (56) Used (173) from $71.79Designed for the three-semester calculus course for math and science majors, Calculus continues to offer instructors and students new and innovative teaching and learning resources. This was the first (more)
|
The Misbehavior of Markets: A Fractal View of Financial Turbulence
 List Price: $17.95 Buy New: $16.99 You Save: $0.96 (5%) New (5) Used (4) from $7.48From the inventor/founder of fractal geometry, the award-winning book that turns modern financial theory on its head Mathematical superstar and inventor of fractal geometry, Benoit Mandelbrot, has spent (more)
|
The Fractal Geometry of Nature
 Buy New: $34.99 New (6) Used (15) from $27.90Clouds are not spheres, mountains are not cones, and lightening does not travel in a straight line. The complexity of nature's shapes differs in kind, not merely degree, from that of the shapes of ordinary (more)
|
The Golden Ratio: The Story of PHI, the World's Most Astonishing Number
 List Price: $14.95 Buy Used: $4.81 You Save: $10.14 (68%) New (40) Used (51) Collectible (1) from $4.81Throughout history, thinkers from mathematicians to theologians have pondered the mysterious relationship between numbers and the nature of reality. In this fascinating book, Mario Livio tells the tale (more)
|
Trigonometry (9th Edition)
 List Price: $138.67 Buy New: $85.32 You Save: $53.35 (38%) New (33) Used (29) from $85.32Over the years, the text has been shaped and adapted to meet the changing needs of both students and educators. As always, special care was taken to respond to the specific suggestions of users and reviewers (more)
|
Geometry
 List Price: $94.88 Buy Used: $6.95 You Save: $87.93 (93%) New (29) Used (117) from $6.95Geometry (more)
|
Geometry For Dummies (For Dummies (Math & Science))
 List Price: $19.99 Buy New: $8.52 You Save: $11.47 (57%) New (53) Used (10) from $8.52Learning geometry doesn?t have to hurt. With a little bit of friendly guidance, it can even be fun! Geometry For Dummies, 2nd Edition, helps you make friends with lines, angles, theorems and postulates. (more)
|
College Algebra with Modeling and Visualization (3rd Edition) (Rockswold Series)
 List Price: $138.67 Buy Used: $20.00 You Save: $118.67 (86%) New (25) Used (127) from $20.00Gary Rockswold focuses on teaching algebra in context, answering the question, "Why am I learning this?" and ultimately motivating the students to succeed in this class. In addition, the author's understanding (more)
|
Euclid's Elements
 List Price: $29.95 Buy New: $25.99 You Save: $3.96 (13%) New (2) from $25.99Green Lion Press has prepared a new one-volume edition of T.L. Heath's translation of the thirteen books of Euclid's "Elements" In keeping with Green Lion's design commitment, diagrams have been placed (more)
|
The Symmetries of Things
 List Price: $75.00 Buy New: $60.00 You Save: $15.00 (20%) New (7) Used (4) from $59.99Start with a single shape. Repeat it in some way translation, reflection over a line, rotation around a point and you have created symmetry. Symmetry is a fundamental phenomenon in art, science, and nature (more)
|
Cite this as: Continuity Axiom Published by Library of Math -- Online math organized by subject into topics.
Written by Smith, David A.
http://www.libraryofmath.com/continuity-axiom.html
|
|