Construction of The Real Numbers
See also: Construction of the real numbers#Construction by Dedekind cutsA 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:
“When the leaders choose to make themselves bidders at an auction of popularity, their talents, in the construction of the state, will be of no service. They will become flatterers instead of legislators; the instruments, not the guides, of the people.”
—Edmund Burke (17291797)
“When the leaders choose to make themselves bidders at an auction of popularity, their talents, in the construction of the state, will be of no service. They will become flatterers instead of legislators; the instruments, not the guides, of the people.”
—Edmund Burke (17291797)
“The construction of life is at present in the power of facts far more than convictions.”
—Walter Benjamin (18921940)
“All appointments hurt. Five friends are made cold or hostile for every appointment; no new friends are made. All patronage is perilous to men of real ability or merit. It aids only those who lack other claims to public support.”
—Rutherford Birchard Hayes (18221893)
“He bundles every forkful in its place,
And tags and numbers it for future reference,
So he can find and easily dislodge it
In the unloading. Silas does that well.
He takes it out in bunches like birds nests.”
—Robert Frost (18741963)