h-simplex
- 2
- 0
Homework Statement
I want to prove this proposition:
Let f: M \rightarrow N be a uniformly continuous bijection between metric spaces. If M is complete, then N is complete.
The Attempt at a Solution
I have a 'partial' solution, whose legitimacy hinges upon a claim that I am unable to prove, namely that the inverse of a uniformly continuous bijection is uniformly continuous.
Assuming that is true, here goes my 'proof':
Let (y_n) be a Cauchy sequence in N. Then, since f^{-1} is uniformly continuous, (f^{-1}(y_n)) is Cauchy in M; since M is complete, there exists a \in M such that f^{-1}(y_n) \rightarrow a. Hence by continuity of f, we have f(f^{-1}(y_n)) = y_n \rightarrow f(a) \in N. Thus N is complete.
The above proof seems very 'natural' ... but as I mentioned, it hinges on something I am unable to prove, or disprove. So is my claim correct and if so how can I prove it? If not... well then I have no idea how to prove the original claim; this was my best idea.