Theorem 7.8 . [01GW]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Theorem 7.8.
The map defined by is continuous and proper. Hence is compact. Furthermore, the topology on is equivalent to the topology of pointwise convergence on either or .