The Rationals are Disconnected

Topology · Axiom Academy

EXAMPLE The Rationals are Disconnected Proving that ℚ is totally disconnected using irrational separations One of the most striking properties of the rational numbers ℚ (with the subspace topology from ℝ) is that they are totally disconnected . This means between any two distinct rational numbers, we can find an "irrational gap" that separates them into disjoint open sets. Let's explore this profound topological property through three detailed examples. Both are open in the subspace topology Separating 1/2 and 2/3 with √2/3 General Proof: Any Two Rationals p/q and r/s (separated by the irrational α) The rational numbers ℚ with the subspace topology from ℝ are totally disconnected Between any two distinct rationals, we can find an irrational number that acts as a "separator" These separators allow us to construct disjoint open sets in ℚ containing each rational The density of irrational numbers in ℝ is essential to this property This shows that ℚ, despite being dense in ℝ, has a very different topological structure Total disconnectedness means ℚ has no nontrivial connected subsets - only singleton sets are connected Based on the example above, which approach is correct?

This is the written version of the interactive lesson above. See the full Topology course.