nLab
operator topology

Context

Topology

Functional analysis

Contents

Idea

An operator topology is an abbreviation of a topology on a space of (continuous linear) operators between topological vector spaces over a fixed field kk of reals or complexes (possibly also p-adics, skewfield of quaternions etc.). In other words the hom-sets in the category of topological vector spaces as objects and continuous linear operators as morphisms are equipped with an operator topology.

There are many widely used topologies, some with standard names. Let L(V,W)=Hom TVS(V,W)L(V,W) = Hom_{TVS}(V,W) be the set of continuous linear operators.

  • weak operator topology on L(V,W)L(V,W) is given by the basis of open neighborhoods of zero given by sets of the form U(x,f)={AL(V,W):f(A(x))<1}U(x,f) = \{A\in L(V,W) : |f(A(x)) \lt 1 \} where xVx\in V and fW *=Hom TVS(W,k)f\in W^* = Hom_{TVS}(W,k). A sequence (A n)(A_n) converges to AA is weak operator topology iff the sequence (A n(x))(A_n(x)) converges to A(x)A(x) in the weak topology on WW. We write A nwAA_n\stackrel{w}\longrightarrow A or wlimA n=Aw-lim A_n = A.

  • strong operator topology: the basis of neighborhoods of zero are given by sets N(x,U)={AL(V,W)AvU}N(x,U) = \{A\in L(V,W) \,|\, Av \in U\}, where vVv\in V and UU is a neighborhood of zero in WW. For convergence of sequences, we write A nsAA_n\stackrel{s}\longrightarrow A or slimA n=As-lim A_n= A.

  • uniform operator topology: here we assume that V,WV,W are normed spaces with norms p Vp_V, p Wp_W. Then L(V,W)L(V,W) has a uniform operator topology induced by the norm given by the formula

p(A)=sup v0p W(Av)p V(v) p(A) = sup_{v\neq 0} \frac{p_W(Av)}{p_V (v)}
  • ultraweak operator topology

Properties

Relation to norm topology

The reason that in the definition of a unitary representation, the strong operator topology on 𝒰()\mathcal{U}(\mathcal{H}) is used and not the norm topology, is that only few homomorphisms turn out to be continuous in the norm topology.

Example: let GG be a compact Lie group and L 2(G)L^2(G) be the Hilbert space of square integrable measurable functions with respect to its Haar measure. The right regular representation of GG on L 2(G)L^2(G) is defined as

R:G𝒰(L 2(G)) R: G \to \mathcal{U}(L^2(G))
g(R g:f(x)f(xg)) g \mapsto (R_g: f(x) \mapsto f(x g))

and this will generally not be continuous in the norm topology, but is always continuous in the strong topology.

References

  • A. A. Kirillov, A. D. Gvišiani, Теоремы и задачи функционального анализа (theorems and exercises in functional analysis), Moskva, Nauka 1979, 1988

Revised on November 19, 2011 16:38:03 by Toby Bartels (76.85.192.183)