Adjoints and Riesz Representation Theorem

Adjoint

Proposition

Let T\colon \H\to\H be a bounded linear map on a separable Hilbert space \H. Then there exists a unique bounded linear map T^{*}\colon \H\to\H such that $⟨Tf,g⟩=⟨f,T^{\ast }g⟩$ for all f,g\in\H. We call $T^{\ast }$ the adjoint of $T$.

Proposition

The operator norm of the adjoint is equal to the operator norm of the original operator, i.e. $\Vert T^{\ast }\Vert =\Vert T\Vert$.

Riesz Representation Theorem

Linear Functional

A linear functional $\ell$ is a linear transformation from a Hilbert space to the underlying field of scalars.

Riesz Representation Theorem

Let $\ell$ be a continuous linear functional on a Hilbert space \H. Then, there exists a unique g\in\H, such that $\ell (f)=⟨f,g⟩$ for all f\in \H. Moreover, $\Vert \ell \Vert =\Vert g\Vert$.

Proof Consider the kernel of $\ell$, say $\S :=\ker \ell =\{f\in \stackrel{˝}{:}\ell (f)=0\}$, which is a closed subspace of \H, so $\stackrel{˝}{=}\S \oplus {\S }^{\perp }$. If ${\S }^{\perp }=\varnothing$, then $\ell =0$. Otherwise, pick some $h\in {\S }^{\perp }$ with $\Vert h\Vert =1$, and let $g:=\overline{\ell (h)}h$. Then if we let $u:=\ell (f)h-\ell (h)f$, observe that $u\in \S$ because $\ell (u)=\ell (f)\ell (h)-\ell (h)\ell (h)=0$, therefore, $0=⟨u,h⟩=\ell (f)⟨h,h⟩-⟨f,\overline{\ell (h)}h⟩=\ell (f)⟨h,h⟩-⟨f,g⟩,$which shows that $\ell (f)=⟨f,g⟩$. Moreover, if $g^{\prime }\in {\S }^{\perp }$ is another element such that $\ell (f)=⟨f,g^{\prime }⟩$, then we have $\ell (f)=⟨f,g⟩=⟨f,g^{\prime }⟩,$it follows that $⟨f,g-g^{\prime }⟩=0$ for all f\in\H, which implies that $g=g^{\prime }$. $\square$

Infinite Diagonal Matrix

Diagonalised Linear Operator

Suppose \H is a separable Hilbert space with orthonormal basis $\{e_i{\}}_{i=1}^{\infty }$. A linear operator T\colon \H\to\H is diagonalised if there exists a sequence of scalars $\{{\lambda }_i{\}}_{i=1}^{\infty }\subset \text{C}$ such that $T(e_i)={\lambda }_i{e}_i,\text{for all }i.$

Proposition

Suppose T\colon \H\to\H is a diagonalised linear operator on a separable Hilbert space \H with orthonormal basis $\{e_i{\}}_{i=1}^{\infty }$. Then the following holds:

• $\Vert T\Vert ={\sup }_k|{\lambda }_k|$,
• $T^{\ast }$ is also diagonalised with ${\bar{\lambda }}_k$ as the diagonal entries. Hence, $T=T^{\ast }$ if and only if ${\lambda }_k\in \mathbb{R}$ for all $k$.
• $T$ is unitary if and only if $|{\lambda }_k|=1$ for all $k$.
• $T$ is an orthogonal projection if and only if ${\lambda }_k\in \{0,1\}$ for all $k$.