Lemma 2.27 . [00HY]

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

Lemma 2.27.

If $\phi:\mathcal{A}_{1}\to\mathcal{A}_{2}$ is a homomorphism of Banach $k$ -algebras with dense image, then $\phi^{\star}$ is an injective map whose image is closed.