4
$\begingroup$

Let $E$ and $F$ be normed vector spaces. Then if $B$ is a bounded bilinear form on $E \times F$ then every $y \in F$ defines a bounded linear functional $f_y$ where $f_y(x)=B(x, y) \forall x \in E$. When the bounded linear map $y \mapsto f_y$ of $F$ into $E^*$ the continuous dual of $E$ happens to be an isometric isomorphism, we say that $F$ is the dual of $E$ via $B$. (This can all be found in Dixmier Von Neumann Algebras) Why is it then true that

$||x||=sup_{||y|| \leq 1} |B(x, y)| \forall x \in E$? He states both this and its analog with x, y interchanged, and E, F interchanged. That version is pretty much the definition of what it means to be an isometry, but this one here is not.

  • 0
    Notice that neither I nor Dixmier have said anything about symmetry of $B$.2012-07-12

2 Answers 2

3

In general, for $E$ a normed space with continuous dual $E^*$, one has for all $x\in E$ that

$\|x\|=\sup_{\alpha\in E^*,\|\alpha\|=1}|\alpha(x)|$

by a standard Hahn-Banach argument. Since by assumption $F\to E^*$ is an isometric isomorphism, this answers your question.

  • 1
    @Jeff: we realized this at the same time! Problem solved :)2012-07-12
3

The constuction of $f$ which you report implies, for any $y\in F$, that $f_y\in E^{\ast},\text{ with }||f_y||_{E^{\ast}}=\sup\{B(x,y):x\in E,\ \||x||_E=1\}$ This constitues one of the equalities stated in Dixmier.


The further hypothesis that $y\in F\to f_y\in E^{\ast}$ is an isometric isomorphism, means that $f(F)=E^{\ast}\quad\text{and}\quad||f_y||_{E^{\ast}}=||y||_F,\ \forall y\in F\tag{1}.$ A corollary of Hahn-Banach theorem states that $||x||_E=\sup\{\langle\phi,x\rangle:\phi\in E^{\ast}\, ||\phi||_{E^{\ast}}=1\}, \forall x\in E.\tag{2}$ From $(1)$ and $(2)$ we conclude that, as searched, $||x||_E=\sup\{\langle f_y,x\rangle=B(x,y):y\in F,\ ||y||_{F}=||f_y||_{E^{\ast}}=1\}.$ This is the second equality stated in Dixmier.

  • 0
    Actually the wikipedia definition of polars is the "dual" flavor but I think the definition is intended to allow for the "predual" flavor as well, where what is meant by polar say of $E_1$ is the set of elements $x$ in $L_{\tilde}$ for which $|E_1(x)|\subset B_1$2012-07-12