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!