Given a Hilbert space , the
-strong operator topology is the topology
on the algebra
of bounded operators
from
to itself defined as follows: A sequence
of operators in
converges to an operator
-strongly if and only if
for all compact
operators
. Here,
denotes the algebra of bounded operators from
to itself.
The -strong
topology is sometimes referred to as the ultrastrong topology due to it being "stronger"
than the strong topology.
One can prove that the -strong topology on
is generated by the collection of seminorms
,
as above, where here,
.
The -strong
topology is important for a number of reasons, not the least of which is its application
to the study of von Neumann algebras. What's
more, the notion of the
-strong topology is merely one in a larger hierarchical
class of operator topologies on
which includes the
-weak topology, the
-strong* topology, etc.; this hierarchy is the focus of
considerable study in its own right.