ベール空間
Using formula_12 we get another homeomorphism from formula_13 to the irrationals in the open unit interval formula_14 and we can do the same for the negative irrationals. We see that the irrationals are the topological sum of four spaces homeomorphic to the Baire space and therefore also homeomorphic to the Baire space.