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.
By Proposition 3.5, there are homomorphisms of Banach algebras induced by the identity map on the dense :
|
|
|
Let denote the composed homomorphism of Banach -algebras. It is a homomorphism from an affinoid algebra to a Banach algebra. It has dense image, so by Proposition 2.27 the induced continuous map
|
|
|
is injective and is closed. As both spaces are compact and Hausdorff, this map is a homeomorphism from its domain to its image. So the homomorphism spectrum is homeomorphic to , and is contained in .
One performs spectral calculus for the homomorphism and the special domain : by Theorem 2.81, there exist a homomorphism of Banach -algebras
|
|
|
which extends the identity map on the dense sub--algebra .
∎