This came up in a discussion at AIM.
Let be the unit sphere. Suppose that is a continuous map which does not decrease distances: that is, for all . By the generalized Jordan theorem the complement of has two components, precisely one of which, denoted , is bounded.
Prove that contains an open ball of radius 1.