Proof. [00JU]
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
Proof.
For any , the multiplicative algebra seminorm (or the corresponding character) on corresponds to a unique multiplicative algebra seminorm on by restriction. Since is dense in , the family of open sets form a basis for topology on , hence the inherited topology coincides with the originial topology. So the embedding is continuous, and the image of is compact in . Since the topology on is Hausdorff, the image of is closed. โ