Projection operator in Hilbert space

1,016

You always can, even if $H$ is not separable. Let $\{e_j\}_{j\in J}$ be an orthonormal basis of $H$. Now let $\mathcal F=\{F\subset J:\ |F|<\infty\}$, ordered by inclusion. This order is not total, but that is not relevant.

Now consider the net $\{P_F\}_{F\in\mathcal F}$, where $P_F$ is the orthogonal projection onto the span of $\{e_j:\ j\in F\}$.

Convergence in the strong operator topology is pointwise convergence. So fix $h\in H$ and $\varepsilon> 0$. Then $h=\sum_jc_je_j$, where the limit is taken along the net $\mathcal F$ and there exists $F_0\in\mathcal F$ such that $\|h-\sum_{j\in F_0}c_je_j\|<\varepsilon$. But this is $\|h-P_{F_0}h\|<\varepsilon$. For any $F\in\mathcal F$ such that $F\geq F_0$, we have $\|h-P_Fh\|\leq\|h-P_{F_0}h\|<\varepsilon$. So $$ \lim_{\mathcal F}P_Fh=h, $$ which implies that $$ \lim_{\mathcal F}P_F=I $$ in the strong operator topology.

Share:
1,016

Related videos on Youtube

Rancho
Author by

Rancho

Updated on August 01, 2022

Comments

  • Rancho
    Rancho over 1 year

    Let $H$ be a Hilbert space, can we find an increasing net of finite rank projections which converge to the identity in the strong operator topology?

    And I think if $H$ is separable, we can find an orthonormal basis $\{v_{n}\}_{n=1}^{\infty}$ and let $p_{n}$ be the projection (from $H$) onto span$\{v_{1}, ..., v_{n}\}$. Then, we can verify $||p_{n}x-x||\rightarrow 0$ for all $x\in H$. But what about the case that $H$ is not separable?

  • Rancho
    Rancho over 9 years
    Is there anything wrong in my viewpoint if $H$ is a separable Hilbert space? And in your answer, what do you mean by $F \geq \{h\}$ and then how can you get $P_{F}h=h$?
  • Martin Argerami
    Martin Argerami over 9 years
    No, nothing wrong. The set $\mathcal F$ is ordered by inclusion, so $F\geq \{h\}$ means $h\in F$. The equality is not such, I'm editing the answer right now.
  • Rancho
    Rancho over 9 years
    Why does $||\sum_{j\notin F_{0}}c_{j}e_{j}||<\varepsilon$?
  • Martin Argerami
    Martin Argerami over 9 years
    It's the definition of convergence. In the separable case you would write $\|\sum_{j\geq j_0}c_je_j\|<\varepsilon$.