6
$\begingroup$

Let $H$ be a Hilbert space with inner product $\langle\cdot,\cdot\rangle$ and let $V,W$ be two closed subspaces. For $x_0\in H$ we may define the sequence of projections $x_{2n+1}=P_W(x_{2n}), \qquad x_{2n+2}=P_V(x_{2n+1}).$ I intend to prove that if $V\cap W=\{0\}$, then $x_n\rightarrow 0$.

In the first place, one can easily show that $||x_{n+1}||^2=\langle x_{n+1},x_n\rangle$, from which one easily deduces that the sequence of norms is decreasing, so that $\lVert x_n\rVert\to\ell\geq 0$.

Then one can also show that if $V\cap W=\{0\}$ and a subsequemce $\{x_{2n_k}\}_k$ converges weakly to some $x$, then the sequence $\{x_{2n_k+1}\}_k$ also converges weakly to $x$, whence $x=0$.

So now it suffices to prove that a subsequence $\{x_{2n_k+1}\}$ converges weakly to something. For this, I first note that $\lVert x_n\rVert^2=\langle x_{n+1},x_{n-2}\rangle=\cdots=\langle x_{2n-1},x_0\rangle$ And now I would like to use that the sequence of norms converges and Riesz's representation theorem to conclude weak convergence but I am unsure as to how to proceed, since while it is true that any functional in $H$ is of the for $\langle \cdot,x_0\rangle$, varying $x_0$ also varies the sequence $\{x_{2n-1}\}$.

Thanks in advance for any insight.

  • 0
    @t.b. of course - thanks!2012-05-02

1 Answers 1

3

(disclaimer: my professional (de)-formation makes me dislike "vector computations" and makes me prefer "operator computations". I feel that in many cases algebraic arguments over the operators are neater than vector manipulations)

Your result is a particular case of something more general: if $P,Q$ are projections onto closed subspaces $M$ and $N$ of $H$ respectively, then $ \lim_{n\to\infty}(QPQ)^n=P\wedge Q, $ where $P\wedge Q$ is the projection onto $M\cap N$ and the limit is taken in the strong operator topology (i.e. with the pointwise convergence).

To see this, fix any $z\in H$; then $ \langle (QPQ)^{2n+1}z,z\rangle=\langle (QPQ)^n(QPQ)(QPQ)^{n}z,z\rangle=\langle (QPQ)(QPQ)^{n}z,(QPQ)^nz\rangle=\langle PQ(QPQ)^{n}z,PQ(QPQ)^nz\rangle= \|PQ(QPQ)^nz\|^2\leq\|Q(QPQ)^nz\|^2=\|(QPQ)^nz\|^2 =\langle(QPQ)^nz,(QPQ)^nz\rangle=\langle(QPQ)^{2n}z,z\rangle. $ This shows that $(QPQ)^{2n+1}\leq(QPQ)^{2n}$ as operators. A very similar argument shows that $(QPQ)^{2n+2}\leq(QPQ)^{2n+1}$. So the sequence of selfadjoint operators $\{(QPQ)^n\}$ is monotone, and so it converges in the strong operator topology to a selfadjoint operator $R$.

Edit: here's a short justification of the last sentence. That $\{(QPQ)^n\}_n$ is monotone decreasing (and positive) implies that for any $z\in H$ the sequence of numbers $\{\langle(QPQ)^nz,z\rangle\}_n$ is positive and decreasing, so convergent to a number $R_{x,x}$; using polarization, one gets that $\langle(QPQ)^nz,w\rangle\to R_{z,w}$ in such a way that the map $(z,w)\mapsto R_{z,w}$ is a sesquilinear form; it is then standard that any sesquilinear form defines an operator, which we call $R$ in this case.

We also have, since the sequence is bounded, that the product of the limit is the limit of the product, so $ R^2=\lim_{n\to\infty}(QPQ)^n\lim_{n\to\infty}(QPQ)^n =\lim_{n\to\infty}(QPQ)^n(QPQ)^n=\lim_{n\to\infty}(QPQ)^{2n}=R. $ This shows that $R$ is a projection. Also, since it is the infimum of the sequence, $ R\leq QPQ\leq Q^2=Q, $ and similarly $R\leq P$. So $R\leq P\wedge Q$. On the other hand, $P\wedge Q\leq P$ and $P\wedge Q\leq Q$, so $ PQP\geq P(P\wedge Q)P=P\wedge Q, $ and similarly $(PQP)^n\geq P\wedge Q$ for all $n$. So $P\wedge Q\leq R$. Thus $R=P\wedge Q$.

  • 0
    @t.b.: sorry I didn't answer you directly, I was about to do it after I edited but then I had to leave for a while.2012-05-02