A note on the strong-operator topology of countably generated O-vector spaces (Q909970)

Let \({\mathcal D}\) be a dense subspace in a Hilbert space \({\mathcal H}\) and \({\mathcal L}_ c({\mathcal D},{\mathcal H})\) the set of all closable linear operators with domain \({\mathcal D}\). An O-vctor space \({\mathcal A}\) on \({\mathcal D}\) is a subspace of \({\mathcal L}_ c({\mathcal D})\) with the identity operator. An O-vector space \({\mathcal A}\) on \({\mathcal D}\) is said to be closed if the locally convex topology \(t_{{\mathcal A}}\) on \({\mathcal D}\) generated by the seminorms \(\{\| \cdot \|_ a:=\| a\|\); \(a\in {\mathcal A}\}\) is complete. The strong topology \(\sigma^{{\mathcal D}}\) on \({\mathcal A}\) is the locally convex topology defined by the family of seminorms \(\| \cdot \|_{\phi}=\| \cdot \phi \|\), \(\phi\) \(\equiv {\mathcal D}\). The author has obtained the following result in this paper: Theorem: Suppose \({\mathcal A}\) is a closed O-vector space on \({\mathcal D}\) with countable algebraic basis such that \({\mathcal D}\subset {\mathcal D}(a^*)\) and \(a^*{\mathcal D}\subset {\mathcal D}\) for all \(a\in {\mathcal A}\). Then, the strong topology \(\sigma^{{\mathcal D}}\) on \({\mathcal A}\) is equal to the finest locally convex topology on \({\mathcal A}\) if and only if for each continuous seminorm p on \({\mathcal D}[t_{{\mathcal A}}]\) the vector space \[ {\mathcal A}^ p:=\cup_{\lambda >0}\{a\in {\mathcal A};\quad \| a\phi \| \leq \lambda p(\phi)\quad for\quad all\quad \phi \in {\mathcal D}\} \] is finite- dimensional.