What is the category of I in I with Euclidean metric? I is the set of irrationals. From some topology worksheets I found online that I am using to self-study: Let $I$ be the set of irrationals, and $d$ be the Euclidean metric. What is the category of $I$ in $(I, d)$? I'm sure it is of the second category, but I am unsure of how to prove it. At first I wanted to use the fact that the irrationals are of second category in the reals, but since I now don't have the fact that every neighborhood of some irrational contains a rational, I don't know to proceed.
 A: The space of all irrationals is completely metrizable, since is is a $G_\delta$ subset of $\mathbb{R}$. And so by the Baire category theorem it is of the second category.
A: 
Lemma: The property of being a nowhere dense set is, so to say, "densely intrinsic", meaning that if $f:(X,\tau)\to (Y,\rho)$ is an embedding with dense image and $S\subseteq X$, then $S$ is nowhere dense if and only if $f[S]$ is nowhere dense in $Y$.

Consequently, so is being first category. Since the irrationals are not first category in $\Bbb R$, they aren't in their subspace topology either.
To prove the central assertion, note that $\operatorname{cl}_XS$ contains a non-empty open set if and only if there is some $U\in\rho$ such that $\operatorname{cl}_{f[X]}f[S]\supseteq U\cap f[X]\supsetneq \emptyset$. If the latter, then $$\operatorname{cl}_Yf[S]= \operatorname{cl}_Y\operatorname{cl}_{f[X]}f[S]\supseteq\operatorname{cl}_Y(U\cap f[X])\stackrel{\text{density of }f[X]}\supseteq U$$
and therefore $f[S]$ is not nowhere dense in $Y$.
On the other hand, if $f[S]$ is not nowhere dense in $Y$, then $\operatorname{cl}_Yf[S]$ contains a non-empty open set $U$, and therefore $$\operatorname{cl}_{f[X]}f[S]=f[X]\cap \operatorname{cl}_Yf[S]\supseteq U\cap f[X]\stackrel{\text{density}}\ne\emptyset$$
