Automatic continuity onto a semisimple Banach algebra

ID: automatic-continuity-onto-a-semisimple-banach-algebra

An algebra homomorphism onto a semisimple Banach algebra is continuous. To see the spectral mechanism, suppose and . For any , choose with and , and set , . Apply the spectral-radius three-circle inequality to . On the outer circle its norm tends uniformly to ; on the circle of radius its spectral radius is bounded by . Hence for every , so . The unit criterion for the Jacobson radical gives , and the closed graph theorem finishes the proof.

New to topics? Read the docs here!