Функция кеңістіктеріндегі әлсіз топология

Weak topology on function spaces

In functional analysis, the weak operator topology, often abbreviated WOT, is the weakest topology on the set of bounded operators on a Hilbert space , such that the functional sending an operator to the complex number is continuous for any vectors and in the Hilbert space. Explicitly, for an operator there is base of neighborhoods of the following type: choose a finite number of vectors , continuous functionals , and positive real constants indexed by the same finite set An operator lies in the neighborhood if and only if for all
Equivalently, a net of bounded operators converges to in WOT if for all and , the net converges to .

The WOT is the weakest among all common topologies on , the bounded operators on a Hilbert space .

The strong operator topology, or SOT, on is the topology of pointwise convergence. Because the inner product is a continuous function, the SOT is stronger than WOT. The following example shows that this inclusion is strict. Let and consider the sequence of right shifts. An application of Cauchy Schwarz shows that in WOT. But clearly does not converge to in SOT. The linear functionals on the set of bounded operators on a Hilbert space that are continuous in the strong operator topology are precisely those that are continuous in the WOT (actually, the WOT is the weakest operator topology that leaves continuous all strongly continuous linear functionals on the set of bounded operators on the Hilbert space H). Because of this fact, the closure of a convex set of operators in the WOT is the same as the closure of that set in the SOT. It follows from the polarization identity that a net converges to in SOT if and only if in WOT.

The adjoint operation T → T*, as an immediate consequence of its definition, is continuous in WOT. Multiplication is not jointly continuous in WOT: again let be the unilateral shift. Appealing to Cauchy Schwarz, one has that both Tn and T*n converges to 0 in WOT. But T*nTn is the identity operator for all (Because WOT coincides with the σ weak topology on bounded sets, multiplication is not jointly continuous in the σ weak topology.) However, a weaker claim can be made: multiplication is separately continuous in WOT. If a net Ti → T in WOT, then STi → ST and TiS → TS in WOT.