The Egoroff theorem for operator-valued measures in locally convex spaces (Q2634892): Difference between revisions

The following Egorov-type theorem is proved. Let \(X,Y\) be locally convex Hausdorff topological linear spaces, \(L(X,Y)\) the space of all continuous linear operators from \(X\) to \(Y\) endowed with the strong operator topology, \(\Sigma\) a \(\sigma\)-algebra on \(T\) and \(m:\Sigma\rightarrow L(X,Y)\) a purely atomic \(\sigma\)-additive measure of finite variation. If \(f_i:T\rightarrow X\), \(i\in I\), is a net of measurable functions converging pointwise to a measurable function \(f\), then \((f_i)_{i\in I}\) converges \(m\)-almost uniformly to \(f\). Here the authors call a function \(f:T \rightarrow X\) measurable if the real-valued function \(p\circ f\) is measurable in the usual sense for every \(p\in P\), where \(P\) is a given family of seminorms defining the topology of \(X\).