Exercise 1, § 4

Let E and F be two infinite dimensional Hilbert spaces satisfying the first axiom of countability, $(a_n)$ an orthonormal basis of E, and $(b_n)$ an orthonormal basis of F. a) Let $u$ be a continuous linear mapping from E into F; let $u(a_n) = \sum_m \alpha_{mn} b_m$. Show that

b) Give an example of a double sequence $(\alpha_{mn})$ such that $\sum_m |\alpha_{mn}|^2 \leq 1$ for all $n$ and $\sum_n |\alpha_{mn}|^2 \leq 1$ for all $m$, but such that there does not exist any continuous linear mapping $u$ from E into F such that $\langle u(a_n)|b_m \rangle = \alpha_{mn}$ for every pair of integers $(m, n)$. (Show that if $I \subset \mathbf{N}$ is a set of $p$ integers, and if $V_p$ (resp. $W_p$) is the subspace of E (resp. F) generated by the $a_n$ (resp. $b_n$) such that $n \in I$, then there exists a linear mapping $u_p$ from $V_p$ onto $W_p$ such that $\langle u_p(a_n)|b_m \rangle = \frac{1}{\sqrt{p}}$ for $m \in I$ and $n \in I$, and that $\|u_p\| \geq \sqrt{p}$.)