topology

continuous onto function from (0,1)x(0,1) to [0,1]x[0,1]


How do I define such a function between the open unit square onto the closed unit square? I cannot think of any definition for a function that will be surjective.


Solution

  • Map (0,1)x(0,1) to (0,2)x(0,2) by multiplying by 2 and then truncate everything outside (0,1)x(0,1) to its support.

    Proving it is a matter of cycling through the lemmas and theorems you are allowed to use. For example,

    You may find it easier to write out the truncation part using first principle.