Notemos que f es biyectiva, pero no es un homeomorfismo que Y (como subespacio de R tiene la topología discreta que es diferente de aquella de Sierpinski.