Paper 4, Section II, E
Part IB, 2012
State and prove the Bolzano-Weierstrass theorem in . [You may assume the Bolzano-Weierstrass theorem in .]
Let be a subset and let be a mapping such that for all , where is the Euclidean distance in . Prove that if is closed and bounded, then is a bijection. Is this result still true if we drop the boundedness assumption on ? Justify your answer.