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:
“From cradle to grave this problem of running order through chaos, direction through space, discipline through freedom, unity through multiplicity, has always been, and must always be, the task of education, as it is the moral of religion, philosophy, science, art, politics and economy; but a boy’s will is his life, and he dies when it is broken, as the colt dies in harness, taking a new nature in becoming tame.”
—Henry Brooks Adams (1838–1918)
“Many people have an oversimplified picture of bonding that could be called the “epoxy” theory of relationships...if you don’t get properly “glued” to your babies at exactly the right time, which only occurs very soon after birth, then you will have missed your chance.”
—Pamela Patrick Novotny (20th century)