New basic result in classical descriptive set theory: Preservation of completeness

The aim of this note is to prove the following result: that f is a continuous function from the space of irrationals ω ω onto Y such that the image f ( U ) of every set U which is open and closed in ω ω is the union of one open and one closed set. Then Y is a completely metrizable space.