Library of Math
Online Math Organized by Subject Into Topics
Subscribe to the Library of Math Feed
PRINT LINKED RELATED

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 continuity axiom _gr_1.gif] is any segment, continuity axiom _gr_2.gif] any point, and continuity axiom _gr_3.gif] any ray with vertex continuity axiom _gr_4.gif] then for every point continuity axiom _gr_5.gif] on continuity axiom _gr_6.gif] there is a number continuity axiom _gr_7.gif] such that when continuity axiom _gr_8.gif] is laid off continuity axiom _gr_9.gif] times on continuity axiom _gr_10.gif] starting at continuity axiom _gr_11.gif], a point continuity axiom _gr_12.gif] is reached such that continuity axiom _gr_13.gif] and either continuity axiom _gr_14.gif] or continuity axiom _gr_15.gif] is between continuity axiom _gr_16.gif]and continuity axiom _gr_17.gif]

continuity axiom _gr_18.gif]

Axiom (Dedekind Axiom) Suppose there exists two subsets continuity axiom _gr_19.gif] and continuity axiom _gr_20.gif] of continuity axiom _gr_21.gif] with the following properties:

    (i) continuity axiom _gr_22.gif]
    
    (ii) continuity axiom _gr_23.gif]
    
    (iii) continuity axiom _gr_24.gif]
    
    (iv) continuity axiom _gr_25.gif]
    
    (v) continuity axiom _gr_26.gif], and
        
    (vi)   continuity axiom _gr_27.gif].

Then there exists a unique point continuity axiom _gr_28.gif] on continuity axiom _gr_29.gif] such that one of the subsets is equal to a ray of continuity axiom _gr_30.gif] with vertex continuity axiom _gr_31.gif] and the other subset is equal to the complement.

Definition (Dedekind Cut Of A Line) The subsets continuity axiom _gr_32.gif] and continuity axiom _gr_33.gif] on a line continuity axiom _gr_34.gif] with the properties in the Dedekind Axiom are called a Dedekind cut of the line continuity axiom _gr_35.gif]

    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 continuity axiom _gr_36.gif] and a point continuity axiom _gr_37.gif] on line continuity axiom _gr_38.gif] with ray continuity axiom _gr_39.gif] of continuity axiom _gr_40.gif] emanating from continuity axiom _gr_41.gif] Let continuity axiom _gr_42.gif] consist of continuity axiom _gr_43.gif] and all points on continuity axiom _gr_44.gif] reached by laying off copies of segment continuity axiom _gr_45.gif] on continuity axiom _gr_46.gif] starting from continuity axiom _gr_47.gif] Let continuity axiom _gr_48.gif] be the complement of continuity axiom _gr_49.gif] in continuity axiom _gr_50.gif] If continuity axiom _gr_51.gif] is empty, then the Archimede axiom holds, so assume that continuity axiom _gr_52.gif] is nonempty.
    We will show that continuity axiom _gr_53.gif] and continuity axiom _gr_54.gif] make a Dedekind cut of continuity axiom _gr_55.gif] We are assuming continuity axiom _gr_56.gif] is nonempty and clearly continuity axiom _gr_57.gif] is non empty because we lay off at least one copy of continuity axiom _gr_58.gif] Since continuity axiom _gr_59.gif] is the complement of continuity axiom _gr_60.gif] in continuity axiom _gr_61.gif] we note that continuity axiom _gr_62.gif] Obviously, continuity axiom _gr_63.gif] since continuity axiom _gr_64.gif] is the complmenet of continuity axiom _gr_65.gif]
    Next, suppose two points continuity axiom _gr_66.gif] continuity axiom _gr_67.gif] are in continuity axiom _gr_68.gif] with say continuity axiom _gr_69.gif] then continuity axiom _gr_70.gif] holds; to see this, let continuity axiom _gr_71.gif] be between continuity axiom _gr_72.gif] and continuity axiom _gr_73.gif] Suppose continuity axiom _gr_74.gif] could be reached by laying off some numbers of copies of continuity axiom _gr_75.gif] starting at continuity axiom _gr_76.gif], then by the Betweenness Property, continuity axiom _gr_77.gif] is also reached by continuity axiom _gr_78.gif] contradicting continuity axiom _gr_79.gif] Thus, continuity axiom _gr_80.gif] Similarly,  when continuity axiom _gr_81.gif] and continuity axiom _gr_82.gif] are two points in continuity axiom _gr_83.gif] it follows continuity axiom _gr_84.gif] So we have a Dedekind cut of continuity axiom _gr_85.gif]
    Let continuity axiom _gr_86.gif] be the point of continuity axiom _gr_87.gif] furnished by the Dedekind Axiom.
    Case 1. Suppose continuity axiom _gr_88.gif] Then for some number continuity axiom _gr_89.gif] continuity axiom _gr_90.gif] can be reached by laying off copies of segment continuity axiom _gr_91.gif] on continuity axiom _gr_92.gif] starting from continuity axiom _gr_93.gif] By laying off one more copy of continuity axiom _gr_94.gif] we can reach a point in continuity axiom _gr_95.gif] but by definition of continuity axiom _gr_96.gif] that is not possible.
    Case 2. Suppose continuity axiom _gr_97.gif] Lay off a copy of continuity axiom _gr_98.gif] on the ray opposite to continuity axiom _gr_99.gif] starting at continuity axiom _gr_100.gif] obtaining a point continuity axiom _gr_101.gif] continuity axiom _gr_102.gif] lies on continuity axiom _gr_103.gif] so continuity axiom _gr_104.gif] Then for some number continuity axiom _gr_105.gif] continuity axiom _gr_106.gif] can be reached by laying off copies of continuity axiom _gr_107.gif] Whence, continuity axiom _gr_108.gif] can be reached by laying off one more copy of continuity axiom _gr_109.gif] starting from continuity axiom _gr_110.gif] contradicting continuity axiom _gr_111.gif] Therefore, continuity axiom _gr_112.gif] is empty which means that every point on continuity axiom _gr_113.gif] can be reached by laying off some number of copies of continuity axiom _gr_114.gif] so the Archimede axiom holds. continuity axiom _gr_115.gif]

Geometry Books

Calculus (With Analytic Geometry)(8th edition) Product Image
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 Product Image
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 Product Image
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 Product Image
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) Product Image
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 Product Image
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)) Product Image
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) Product Image
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 Product Image
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 Product Image
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
about us contact us privacy policy terms of use mision statement lom help
The Library of Math - Online Math Organized by Subject Into Topics. © 2005 - 2009 www.LibraryOfMath.com All rights reserved. math rss