Let $T$ and $S$ be two symmetric, compact linear operators on a (separable) Hilbert space $H$ that commute. Why is there at least 1 common eigenvector of $T$ and $S$?
Common eigenvector of linear operator
0
$\begingroup$
linear-algebra
hilbert-spaces
-
0Doesn't the usual proof for commuting transformations work? If $\lambda$ is an eigenvalue of $T$ and $W$ is the eigenspace corresponding to $\lambda$, then for every $w\in W$ $T(Sw) = S(Tw) = \lambda(Sw)$, so $S(W)\subseteq W$; restrict $S$ to $W$ and find an eigenvector for $S|_W$. (Note the common eigenvector may corespond to different eigenvalues). – 2012-04-16
-
0@Arturo: of course it does, provided you know that there *are* eigenvectors for either $S$ and $T$; this is guaranteed by (an easy part of) the spectral theorem for symmetric (= self-adjoint) compact operators. – 2012-04-16
-
0@t.b.: Well, right; same reason you would want "symmetric" in the finite-dimensional case... – 2012-04-16
1 Answers
1
Two commuting compact operators are simultaneously diagonalizable. This means that there exists an orthonormal basis such that both $S$ and $T$ are diagonal with respect to that basis, i.e. every vector in such a basis is a common eigenvector.
-
0Hi Martin. Do you happen to know if a finite family of commuting compact operators on a **Banach** space has a common eigenvector? – 2017-12-07