1
$\begingroup$

I need to show that the Strong Operator topology is strictly stronger in $\ell_2$ (space of complex sequences that are square summable). I can show that convergence in the strong operator topology implies it in the weak sense, but cannot come up with an example of a weakly converging sequence of operators that does not converge strongly.

$\endgroup$
  • $\begingroup$ The sequence $a_n$ with only nonzero entry at $n$-th entry? $\endgroup$ – user99914 Nov 6 '13 at 4:48
  • $\begingroup$ This is in the space of bounded linear operators on l2 - not on l2 itself. What you described was a sequence in l2. I need a sequence of operators. $\endgroup$ – Jorge Nov 6 '13 at 4:58
  • 1
    $\begingroup$ When dealing with counterexamples in operators of Hilbert spaces, my advice is look at the unilateral shift or its adjoint. $\endgroup$ – minimalrho Nov 6 '13 at 5:11
  • $\begingroup$ I corrected the question in the title to match the one in the body. Note that Norbert's answer addressed the original title question (asking for an example of an operator converging strongly but not weakly). $\endgroup$ – Nate Eldredge Nov 6 '13 at 14:24
2
$\begingroup$

Your title question is answered by Norbert, but what you ask in the text of the question is the appropriate thing to ask.

The hint of the answer is given in the comments by minimalrho, but here it is as an answer.

Let $U:l^2(\mathbb{N})\rightarrow l^2(\mathbb{N})$ be given by

$$ U(a_0, a_1, ...)=(0, a_0, a_1, a_2, ...) $$

Notice that $U$ is a (non-surjective) isometry so in particular $\|U(\xi)\|\not\rightarrow0$ for any nonzero $\xi$.

However let $\xi=(a_0, a_1, ...)$ and $\eta=(b_0, b_1, ...)$. Now note that

$$|\langle U^n(\xi), \eta\rangle|=\left|\left\langle U^n(a_0, a_1, ...), (b_0, b_1, ...)\right\rangle\right| =$$

$$|\langle (\underbrace{0, ..., 0}_{\text{n times}}, a_0, a_1, ...), (b_0, b_1, ...)\rangle| = $$

$$ |\langle (\underbrace{0, ..., 0}_{\text{n times}}, a_0, a_1, ...), (\underbrace{0, ..., 0}_{\text{n times}}, b_n, b_{n+1}, ...)\rangle| \leq $$

$$\|\xi\|\cdot\|(0, ..., 0, b_n, b_{n+1}, ...)\| $$

where the last inequality is by Cauchy-Schwarz. Then we just notice that

$$ \|(0, ..., 0, b_n, b_{n+1}, ...)\|\rightarrow 0 $$

in order to get that $U^n\rightarrow 0$ in the WOT.

$\endgroup$
2
$\begingroup$

Convergence in strong operator topology implies convergence in weak operator topology. This result is valid for operators between arbitrary normed spaces.

Assume $(T_\lambda:\lambda\in\Lambda)\subset\mathcal{B}(E,F)$ is a net that converges to $T\in\mathcal{B}(E,F)$ in strong operator topology. Take arbitrary $x\in E$ and $y\in F^*$. By assumption $\lim_{\lambda\in\Lambda} T_\lambda(x)=T(x)$, hence $$ \lim\limits_{\lambda\in\Lambda}y((T_\lambda-T)(x))= y(\lim\limits_{\lambda\in\Lambda}T_\lambda(x)-T(x)) =y(0) =0 $$ Since $x\in E$ and $y\in F^*$ are arbitrary, then $(T_\lambda:\lambda\in\Lambda)$ converges to $T$ in the weak operator topology.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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