3
$\begingroup$

Ok,so this should be easy, however I havent taken functional analysis for a while. But given a compact self-adjoint operator on a hilbert space H(over the complex numbers), we define v to be a cyclic vector if and only if the family q(A)v for complex polynomials is dense in H. Halmos, in the article "What does the spectral theorem say?", claims that a hilbert space (additional assumptions on its structure?) can be decomposed as a direct sum of subspaces so that the restriction of A to these spaces has a cyclic vector. He says it can be proved by "a standard transfinite argument." Well Im not up on my standards, and I was wondering if someone could break this problem down (pun intended) for me, preferably as suggesting the tools Ill need to carry out a proof?

$\endgroup$
1
  • $\begingroup$ Of course, if you're willing to put the cart before the horse, then the spectral theorem says that $H\cong\bigoplus L^2(\mathbb R,\mu)$ where $A$ is multiplication by $x$ in each of these spaces, so $f\equiv 1$ is cyclic (by the Weierstrass approximation theorem). $\endgroup$ Jun 5, 2014 at 4:07

1 Answer 1

7
$\begingroup$

Here's how the argument goes: pick any nonzero vector v_0 \in H_0=H, and consider the A-invariant closed subspace E_0 generated by v (i.e., E_0 is the closure of the space of q(A)v_0 for q polynomial). E_0 is A-invariant and has v as a cyclic vector. Now let H_1 be the orthogonal complement of E_0; since A is self-adjoint, H_1 will also be A-invariant. We can now repeat the argument and pick v_1 in H_1 and let E_1 be the A-invariant closed subspace generated by v_1. We then let H_2 be the orthogonal complement of E_1 in H_1, or equivalently the orthogonal complement of E_0+E_1 in H. We keep repeating this by induction.

When does this process stop? Well if eventually H_n=0, we can't pick a nonzero vector v_n. We now have all of H decomposed as an orthogonal direct sum E_0+E_1+...+E_{n-1}, and each E_i is cyclic. However, there's no reason to expect H_n to be 0 for any finite n. In this case, what we can do is write H_\omega for the intersection of all the H_n (the orthogonal complement of the sum of all the E_n). If H_\omega=0, we are done since H is the sum of all the E_n. If not, we pick v_\omega \in H_\omega nonzero and get another E_\omega, and then let H_{\omega+1} be the complement of E_\omega in H_\omega, and so on.

We can keep doing this "forever" by transfinite induction, breaking off cyclic A-invariant subspaces one by one and taking intersections at infinite limits, until eventually some H_\alpha must be 0 (if nothing else, for \alpha greater than the cardinality of H H_\alpha must be 0!). We then have H as a direct sum of all the E_\beta for \beta<\alpha.

Incidentally, in the case that A is the identity, this is exactly how you get an orthonormal basis for an arbitrary Hilbert space, or a basis for any vector space (replacing orthogonal complement by quotient in that case). More generally, this shows that over a semisimple ring, every module is a direct sum of cyclic modules (which can in fact be chosen to be simple).

Also, if you assume H is separable, you can rig the construction to guarantee that it stops after only \omega steps (i.e., H_\omega=0) and thus not have to worry about tranfinite induction. Let {e_n} be a basis for H, and when you choose v_n choose it so that e_n is in the span of {v_0,...,v_n}. Every e_n will then be in the span of the E_n, so they must be all of H.

$\endgroup$
2
  • $\begingroup$ Hi, I'm trying to do the same exercise (decompose a hilbert space as an orthogonal sum of cyclic subspaces for some algebra closed under adjoints) and I'm confused about one aspect of your proof. Can the following situation ever arise: you have $\bigoplus E_i \subsetneqq H$ and $\overline{\bigoplus E_i} =H$?. In this case, the orthogonal complement is $0$ so your induction wouldn't continue but you still haven't exhausted everything. $\endgroup$ Apr 30, 2018 at 20:18
  • $\begingroup$ By definition the direct sum is closed (we are talking about the Hilbert space direct sum, so we take the closure). $\endgroup$ Apr 30, 2018 at 20:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.