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. โ
Verified tagged author-source HTML ยท 1904.03696v1 ยท cited publication edition alignment unverified.