Let be commutative unital Banach algebras and let be a continuous unital map such that
Let
be the map from the space of maximal ideals of to the space of maximal ideals of induced by .
How to prove that is a topologically injective map?
(Recall that an operator is called topologically injective if is a homeomorphism)
My progress on the problem is the following: first of all, the space of maximal ideals of a commutative Banach algebra can be identified with the space of continuous functionals of the form . Clearly the map above is continuous, since the pointwise convergence of a net in implies the convergence of the net )
(the space of continuous linear functional is endowed with the weak* topology)
If we assume for the moment that the map is bijective, then the fact that a continuous bijective map between compact Hausdorff spaces is a homeomorphism, yields the result.
(here the space of maximal ideals is compact in weak* topology since the algebra is unital)
The suggested proposition looks like a relaxation of the aformentioned reasoning above though i cannot figure out an easy way to modify it to make it work. Are there any hints?
Let
be the map from the space of maximal ideals of to the space of maximal ideals of induced by .
How to prove that is a topologically injective map?
(Recall that an operator is called topologically injective if is a homeomorphism)
My progress on the problem is the following: first of all, the space of maximal ideals of a commutative Banach algebra can be identified with the space of continuous functionals of the form . Clearly the map above is continuous, since the pointwise convergence of a net in implies the convergence of the net )
(the space of continuous linear functional is endowed with the weak* topology)
If we assume for the moment that the map is bijective, then the fact that a continuous bijective map between compact Hausdorff spaces is a homeomorphism, yields the result.
(here the space of maximal ideals is compact in weak* topology since the algebra is unital)
The suggested proposition looks like a relaxation of the aformentioned reasoning above though i cannot figure out an easy way to modify it to make it work. Are there any hints?