The sphere is the inverse image of under the continuous map , so it is closed in . It is bounded. The Heine-Borel theorem therefore makes it compact. Every metric space is Hausdorff: distinct points have disjoint open balls of radii smaller than half their distance. The Euclidean subspace metric supplies that property here. Hence is compact and Hausdorff.
Articles by others on the same topic
There are currently no matching articles.