Dedekind Cut - Construction of The Real Numbers

Construction of The Real Numbers

See also: Construction of the real numbers#Construction by Dedekind cuts

A typical Dedekind cut of the rational numbers is given by

This cut represents the irrational number √2 in Dedekind's construction. To establish this truly, one must show that this really is a cut and that it is the square root of two. However, neither claim is immediate. Showing that it is a cut requires showing that for any positive rational with, there is a rational with and The choice works. Then we have a cut and it has a square no larger than 2, but to show equality requires showing that if is any rational number less than 2, then there is positive in with .

Note that the equality b2 = 2 cannot hold since √2 is not rational.

Read more about this topic:  Dedekind Cut

Famous quotes containing the words construction of the, construction of, construction, real and/or numbers:

    No real “vital” character in fiction is altogether a conscious construction of the author. On the contrary, it may be a sort of parasitic growth upon the author’s personality, developing by internal necessity as much as by external addition.
    —T.S. (Thomas Stearns)

    No real “vital” character in fiction is altogether a conscious construction of the author. On the contrary, it may be a sort of parasitic growth upon the author’s personality, developing by internal necessity as much as by external addition.
    —T.S. (Thomas Stearns)

    No real “vital” character in fiction is altogether a conscious construction of the author. On the contrary, it may be a sort of parasitic growth upon the author’s personality, developing by internal necessity as much as by external addition.
    —T.S. (Thomas Stearns)

    My Friend is not of some other race or family of men, but flesh of my flesh, bone of my bone. He is my real brother.
    Henry David Thoreau (1817–1862)

    And when all bodies meet
    In Lethe to be drowned,
    Then only numbers sweet
    With endless life are crowned.
    Robert Herrick (1591–1674)