Commutative $C^*$-algebras and $σ$-normal morphisms

Abstract

We prove in an elementary fashion that the image of a commutative monotone $σ$-complete $C^*$-algebra under a $σ$-normal morphism is again monotone $σ$-complete and give an application of this result in spectral theory.