2
$\begingroup$

The following statements suggests $B(H)$-valued Egoroff's theorem when $H$ is a separable Hilbert space. Probably it will be hold even if a von Neumann algebra $M$ whose predual is separable is replaced. I have no clear proof for this claim. Any comment on this claim?

Theorem enter link description here. Let $H$ be a separable Hilbert space. Then Borel sigma algebra coming from the weak and strong operator topology coincide.

Operator-valued Egoroff's Theorem. Assume that $H$ is a separable Hilbert space and $(\Omega,M,\mu)$ is a finite measure space. Let $\varphi_n:\Omega\to B(H)$ be a sequence of operator-valued measurable functions on $\Omega$ converging pointwise-strongly to $\varphi$. Then for any arbitrary positive trace class operator $\omega$ and positive real numbers $\epsilon$ and $\delta$, there exist a measurable set $ E\subseteq\Omega$ and a projection $p\in B(H)$ satisfying $ \mu(E)<\epsilon$ and $ \omega(1-p)<\delta$,
such that
$$ \sup_{_{t\in E^c}}\|(\varphi_n(t)-\varphi(t))p\|\longrightarrow 0.$$

Proof. Note that $\omega=\sum_{i=1}^\infty\alpha_i e_i\otimes e_i$ where $\{\alpha_i\}_{_{i\in \mathbb{N}}}\in \ell^1$ ($\alpha_i\geq0$) and $\{e_i\}_{_{i\in \mathbb{N}}}$ is an orthonormal set of $H$. Let $N\in \mathbb{N}$ with $\sum_{i=N+1}^\infty\alpha_i<\delta.$ Without loss of generality, we may assume that $\{e_i\}_{_{i\in \mathbb{N}}}$ is an orthonormal basis for $H$. It is concluded $\omega(1-p)<\delta$ where $p=\sum_{i=1}^N e_i\otimes e_i$. For any $1\leq i\leq N$, we consider the following sequence of positive functions:
$$g_i^n(t)=\|(\varphi_n(t)-\varphi(t))e_i\| =(\sum_{j=1}^\infty|\langle(\varphi_n(t)-\varphi(t))e_i,e_j\rangle|^2)^{\frac{1}{2}}$$ All functions $g_i^n$'s are measurable. Moreover, for every $1\leq i\leq N$ the sequence
$\{g_i^n\}_{n\in\mathbb{N}}$ is pointwise convergent to zero, since $\varphi_n\stackrel{p.s}{\longrightarrow}\varphi$. By the classical Egoroff's
theorem, there exists a measurable set $ E_i\subseteq\Omega$ with $\mu(E_i)<\frac{\epsilon}{2^i}$ such that $g_i^n$ converging uniformly to 0 on $E_i^c$, for $1\leq i\leq N$. It means that
$$ \sup_{_{t\in E_i^c}}\|(\varphi_n(t)-\varphi(t))e_i\|\longrightarrow 0.$$
By taking $E=\bigcup_{i=1}^N E_i$, we have then $\mu(E)<\epsilon$. One may see that$$\sup_{_{t\in E^c}}\|(\varphi_n(t)-\varphi(t))p\|\longrightarrow 0.$$

$\endgroup$
  • $\begingroup$ Doesn't this argument work if $B(H)$ is replaced by any dual Banach space? Incidentally, perhaps you should make it a bit clearer whether you are assuming strong measurability of your vector-valued functios or weak measurability $\endgroup$ – Yemon Choi Feb 3 '18 at 23:44
  • $\begingroup$ @ Yemon Choi, As for you second comment, I added a theorem. For the first one, perhaps $B(X)$ is better replaced when $X$ is a dual Banach space. Any way, I do interest to follow any comment concerning the Hilbert case yet. $\endgroup$ – Ali Bagheri Feb 4 '18 at 18:46

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.