Banach norm rigidity from continuous point evaluations

ID: banach-norm-rigidity-from-continuous-point-evaluations

On for compact Hausdorff , any complete norm making every point evaluation functional continuous is equivalent to the uniform norm. If converges in the new norm to and uniformly to , evaluation gives for every , so the identity map between the two Banach spaces has closed graph. The closed graph theorem and open mapping theorem make the identity and its inverse bounded. Completeness of the proposed norm is essential to this argument.

New to topics? Read the docs here!