I have:
both have their usual topologies as subsbaces of
I want to show that
My work:
Let
Let map to by:
Now,
so is one-to-one and onto.
and
and are continuous in the unduced topologies on both sets, so... that's it?