I need to prove the following theorem:
Let be a complete separable metric space and a Borel set. Then there exists a complete separable totally disconnected metric space and a continuous map of such that is one-one and maps onto .
I have the theorem proved in case when but I don't know how to cope with the general case.
Thank you for help.