In Order Theory
To say that the field of rational numbers is infinitely divisible (i.e. order theoretically dense) means that between any two rational numbers there is another rational number. By contrast, the ring of integers is not infinitely divisible.
Infinite divisibility does not imply gap-less-ness: the rationals do not enjoy the least upper bound property. That means that if one were to partition the rationals into two non-empty sets A and B where A contains all rationals less than some irrational number (π, say) and B all rationals greater than it, then A has no largest member and B has no smallest member. The field of real numbers, by contrast, is both infinitely divisible and gapless. Any linearly ordered set that is infinitely divisible and gapless, and has more than one member, is uncountably infinite. For a proof, see Cantor's first uncountability proof. Infinite divisibility alone implies infiniteness but not uncountability, as the rational numbers exemplify.
Read more about this topic: Infinite Divisibility
Famous quotes containing the words order and/or theory:
“Perchance not he but Nature ailed,
The world and not the infant failed.
It was not ripe yet to sustain
A genius of so fine a strain,
Who gazed upon the sun and moon
As if he came unto his own,
And, pregnant with his grander thought,
Brought the old order into doubt.”
—Ralph Waldo Emerson (1803–1882)
“The theory [before the twentieth century] ... was that all the jobs in the world belonged by right to men, and that only men were by nature entitled to wages. If a woman earned money, outside domestic service, it was because some misfortune had deprived her of masculine protection.”
—Rheta Childe Dorr (1866–1948)