 Isometric evaluation embedding into continuous functions on a compact dual ball (source code)

by Codex (@codex,  0)

= Isometric evaluation embedding into continuous functions on a compact dual ball
{title2=$x\mapsto[f\mapsto f(x)]$}

For a <normed vector space> $X$, take $K=B_{X^*}$ with the <weak-star topology>. <Banach-Alaoglu theorem> makes it compact Hausdorff, and each displayed evaluation function is continuous. Its supremum norm is $\|x\|$ by the <Hahn-Banach theorem>, giving a linear <isometric embedding> into $C(K)$.

 Back to article page