# Topological spaces that resemble the space of irrationals

(This question actually arose in some research on number theory.)

I once learned that any countable dense subspace of any Euclidean space ℝn is homeomorphic to the rationals ℚ.

Now I wonder if something similar is true for the irrationals J := ℝ - ℚ (with the subspace topology from ℝ).

Let c denote the cardinality of the continuum.

I. Is each cartesian power Jn homeomorphic to J ?

Also, how far can this be pushed?

II. Let X be a dense totally disconnected subspace of ℝn such that every neighborhood of each point of X contains c points. Is X homeomorphic to J ?

What about for such subspaces of fairly nice subspaces of ℝn ?

IIa. Let X be any subspace of ℝn as described in II., and let B denote any subspace of ℝn homeomorphic to [the open unit ball in ℝn union any subset of its boundary]. Then is X ∩ B homeomorphic to J ?

And what about greater generality ?

III. Is there a simple set of conditions that describe exactly all spaces (or subspaces of ℝn) that are homeomorphic to J ? What about Jn ? (Perhaps the word homogeneous or metric needs to be included.)

(I found nothing relevant via Google, in MathSciNet, or here on MathOverflow.)

-

The space of irrationals is homeomorphic to the Baire space $\mathbb N^{\mathbb N}$ of functions from $\mathbb N$ to $\mathbb N$. Here $\mathbb N$ gets the discrete topology and the power gets the product topology. In particular, every finite or countably infinite power of the space of irrationals is homeomorphic to the irrationals.

The Baire space is very well studied in descriptive set theory. See the book by Kechris, Classical Descriptive Set Theory.

-

The space $J$ of irrationals is homeomorphic to the Baire space $N^N$ of sequences of natural numbers (this follows easily from the continued fraction expansion). In particular it is homeomorphic to $J\times J$.

-

Concerning II and IIa, every subspace of $\mathbb R^n$ that is completely metrizable is in fact a $G_\delta$ set, i.e., a countable intersection of open sets.
If you are not $G_\delta$, you are not homeomorphic to the irrationals.

That completely metrizable subspaces of $\mathbb R^n$ are $G_\delta$ was shown by E. Čech in: On bicompact spaces. Annals of Math. 38 (1937), 823–844.

-

Regarding III, the Alexandrov-Urysohn Theorem gives sufficient conditions.

Any zero-dimensional, separable, nowhere compact, and complete metric space is homeomorphic to J.

-
Since $J$ is not complete in its given metric, maybe a better way to phrase the result is "completely metrizable". Also, does "nowhere compact" mean that no nonempty open set has compact closure? (If not, what?) –  Pete L. Clark Jul 31 '10 at 1:09
@Pete: Yes, it would be nice to rephrase to get necessary and sufficient conditions. Indeed, nowhere compact means what you think it means. –  Tony Huynh Jul 31 '10 at 1:46

As regards Q (your first remark), it is true that all countable metrisable spaces without isolated points are homeomorphic to Q. If you want to omit metrisable, replace it by T_3 and second countable. One then notes that a dense subset of R^n doesn't have isolated points, and is metrisable.

-
Neat. In particular, for any $p$, the rationals endowed with the $p$-adic metric are homeomorphic to the rationals endowed with the Euclidean metric. (This came up in an offhand way in an answer I gave here some months ago. In a comment, I sketched an argument that is certainly more complicated than this.) –  Pete L. Clark Jul 31 '10 at 8:44
I guess your comment about replacing metrizable by regular (Hausdorff) second countable is just for those who don't know Urysohn's Metrization Theorem? –  Pete L. Clark Jul 31 '10 at 8:45
It's more for those who want pure topological properties. Metrisable refers to an external object R, and some like this less as a property. I don't really care either way, now that we have a complete characterisation of metrisability since the fifties. –  Henno Brandsma Aug 1 '10 at 9:09
It's also amusing that given n, the complement of any countable dense subset of R^n is homeomorphic to the complement of any other such. –  Daniel Asimov Aug 7 '10 at 18:56

Hello, Dan: Two countable dense subsets of the reals are order isomorphic and this extends to a homeomorphism of the reals. In particular, two countable dense subsets are homeomorphic via the restriction of a homeomorphism of the reals and this yields a homeomorphism of the complements.

-
Hello, Ethan. Yes, indeed -- as you may recall, I proved that (as well as an n-dimensional version) in a class of yours on PL topology around 1970. –  Daniel Asimov Aug 10 '10 at 15:59