besagt, daß jeder normierte Raum zu einem Unterraum eines Raums stetiger Funktionen C(K) auf einem geeigneten Kompaktum K isometrisch isomorph ist. Man kann als Kompaktum die duale Einheitskugel in der Schwach-*-Topologie und als Isometrie die Abbildung \(x\mapsto \hat{x},\) wobei \(\hat{x}({x}^{\prime})={x}^{\prime}(x)\) ist, wählen.