The Set of All Irrationals
Since the reals form an uncountable set, of which the rationals are a countable subset, the complementary set of irrationals is uncountable.
Under the usual (Euclidean) distance function d(x, y) = |x − y|, the real numbers are a metric space and hence also a topological space. Restricting the Euclidean distance function gives the irrationals the structure of a metric space. Since the subspace of irrationals is not closed, the induced metric is not complete. However, being a G-delta set—i.e., a countable intersection of open subsets—in a complete metric space, the space of irrationals is topologically complete: that is, there is a metric on the irrationals inducing the same topology as the restriction of the Euclidean metric, but with respect to which the irrationals are complete. One can see this without knowing the aforementioned fact about G-delta sets: the continued fraction expansion of an irrational number defines a homeomorphism from the space of irrationals to the space of all sequences of positive integers, which is easily seen to be completely metrizable.
Furthermore, the set of all irrationals is a disconnected metrizable space. In fact, the irrationals have a basis of clopen sets so the space is zero-dimensional.
Read more about this topic: Irrational Number
Famous quotes containing the word set:
“Nothing comes to pass in nature, which can be set down to a flaw therein; for nature is always the same and everywhere one and the same in her efficiency and power of action; that is, nature’s laws and ordinances whereby all things come to pass and change from one form to another, are everywhere and always; so that there should be one and the same method of understanding the nature of all things whatsoever, namely, through nature’s universal laws and rules.”
—Baruch (Benedict)