Skip to main content
3 of 4
typo
George Lowther
  • 17.1k
  • 1
  • 66
  • 98

Let S be a subset of the reals such that S∩[a,b] and Sc∩[a,b] cannot be written as a countable union of closed sets for any a<b. This can be done (this explicit example of a non-Borel set achieves this). Let ℚ be the rationals. Then, A=(Sxℚ)U(Scxℚc) and B=(Sxℚc)U(Scxℚ) should do it.

The proof is as follows. Suppose that the curve t→(f(t),g(t)) lies in A, and consider a closed bounded interval I. As the curve lies in A, f(I)∩S = f(I∩g-1(ℚ))=∪x∈ℚf(I∩g-1(x)) is a union of countably many closed sets. By the choice of S, f(I) must be a single point. Hence, f is constant. Then, g is a continuous function mapping into either ℚ or ℚc, so is also constant. So A is totally path disconnected. The argument for B follows in the same way by exchanging S and Sc

George Lowther
  • 17.1k
  • 1
  • 66
  • 98