Banach–Stone theorem (source code)

= Banach–Stone theorem
{c}
{wiki}

A surjective linear <isometry> $U:C(K)\to C(L)$ between compact Hausdorff function spaces has the form $(Uf)(s)=u(s)f(h(s))$, where $h:L\to K$ is a <homeomorphism> and $u$ is continuous with modulus one. Thus the <Banach space> structure of $C(K)$ determines $K$ up to <homeomorphism>.