(a) Let $\left(H_{1},\langle\cdot, \cdot\rangle_{1}\right),\left(H_{2},\langle\cdot, \cdot\rangle_{2}\right)$ be two Hilbert spaces, and $T: H_{1} \rightarrow H_{2}$ be a bounded linear operator. Show that there exists a unique bounded linear operator $T^{*}: H_{2} \rightarrow H_{1}$ such that

$$\left\langle T x_{1}, x_{2}\right\rangle_{2}=\left\langle x_{1}, T^{*} x_{2}\right\rangle_{1}, \quad \forall x_{1} \in H_{1}, x_{2} \in H_{2}$$

(b) Let $H$ be a separable Hilbert space. We say that a sequence $\left(e_{i}\right)$ is a frame of $H$ if there exists $A, B>0$ such that

$$\forall x \in H, \quad A\|x\|^{2} \leqslant \sum_{i \geqslant 1}\left|\left\langle x, e_{i}\right\rangle\right|^{2} \leqslant B\|x\|^{2}$$

State briefly why such a frame exists. From now on, let $\left(e_{i}\right)$ be a frame of $H$. Show that $\operatorname{Span}\left\{e_{i}\right\}$ is dense in $H$.

(c) Show that the linear map $U: H \rightarrow \ell^{2}$ given by $U(x)=\left(\left\langle x, e_{i}\right\rangle\right)_{i \geqslant 1}$ is bounded and compute its adjoint $U^{*}$.

(d) Assume now that $\left(e_{i}\right)$ is a Hilbertian (orthonormal) basis of $H$ and let $a \in H$. Show that the Hilbert cube $\mathcal{C}_{a}=\left\{x \in H\right.$ such that $\left.\forall i \geqslant 1,\left|\left\langle x, e_{i}\right\rangle\right| \leqslant\left|\left\langle a, e_{i}\right\rangle\right|\right\}$ is a compact subset of $H$.