Depois de definido o homeomorfismo entre $\mathbb{N}^{\mathbb{N}}$ e os irracionais, basta percebermos que os pontos de $\mathbb{R} \setminus \mathbb{Q}$ não apresentam sistema de fundamental de vizinhanças compactas.