Question on spectral theorem for compact operators

162 Views Asked by At

I'm studying a proof of the spectral theorem for compact operators. The first part of it reads as follows:

Let $X$ be an infinite dimensional inner product space and let $A: X \to X$ be a compact and self-adjoint linear operator with infinite-dimensional range.

Now as $A$ is self-adjoint we have $\sup_{\Vert x \Vert=1} |(Ax,x)| = \Vert A \Vert > 0$. So there exists a sequence $(x_n)_{n=1}^\infty$ such that $|(Ax_n,x_n)| \to \Vert A \Vert$ as $n \to \infty$.

Consequently, there exists a subsequence $(x_m)_{m=1}^\infty$ and $\lambda_1 \in \mathbb{R}$ such that:

  • $\Vert x_m \Vert = 1$ for all $m \ge 1$
  • $|(Ax_m,x_m)| \to \lambda_1$ as $n \to \infty$
  • $|\lambda_1| = \sup_{\Vert x \Vert = 1}|(Ax, x)| = \Vert A \Vert > 0.$

Questions

  1. Why does there exist the sequence $(x_n)_{n=1}^\infty$ such that $|(Ax_n,x_n)| \to \Vert A \Vert$ as $n \to \infty$?
  2. Why can we say $\Vert x_m \Vert = 1$?
1

There are 1 best solutions below

2
On BEST ANSWER

It follows from the definition of $\sup$. If $$ M=\sup\left( f(x)\ : x \in B\right), $$ then there exists a sequence $x_n\in B$ such that $$ M=\lim_{n\to \infty} f(x_n).$$ Apply this observation with $B=\text{unit sphere}$, $f(x)=|(Ax_n, x_n)|$ and $M=\|A\|$.