Let and be topological spaces, let be a continuous map, and let be equipped with the subspace topology . Let denote the map with for every , and write . Then the following hold.
1. (Restriction) The map is continuous from to .
2. (Image of a compact subset) If is compact in , then is compact in .
Loading…
No relations recorded yet.