Weak operator topology

Weak operator topology

In functional analysis, the weak operator topology, often abbreviated WOT, is the weakest topology on the set of bounded operators on a Hilbert space "H" such that the functional sending an operator "T" to the complex number <"Tx", "y"> is continuous for any vectors "x" and "y" in the Hilbert space.

Equivalently, a net "Ti" &sub; "B"("H") of bounded operators converges to "T" &isin; "B"("H") in WOT if for all "y*" in "H*" and "x" in "H", the net "y*"("Tix") converges to "y*"("Tx").

Relationship with other topologies on "B"("H")

The WOT is the weakest among all common topologies on "B"("H"), the bounded operators on a Hilbert space "H".

Strong operator topology

The strong operator topology, or SOT, on "B"("H") 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 "H" = "l"2(N) and consider the sequence {"Tn"} where "T" is the unilateral shift. An application of Cauchy-Schwarz shows that "Tn" &rarr; 0 in WOT. But clearly "Tn" does not converge to 0 in SOT.

The linear functionals on the set of bounded operators on a Hilbert space which are continuous in the strong operator topology are precisely those which are continuous in the WOT. 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 "Tα" &rarr; 0 in SOT if and only if "Tα*Tα" &rarr; 0 in WOT.

Weak-star operator topology

The predual of "B"("H") is the trace class operators C1("H"), and it generates the w*-topology on "B"("H"), called the weak-star operator topology or σ-weak topology. The weak-operator and σ-weak topologies agree on norm-bounded sets in "B"("H").

A net {"Tα"} &sub; "B"("H") converges to "T" in WOT if and only Tr("TαF") converges to Tr("TF") for all finite rank operator "F". Since every finite rank operator is trace-class, this implies that WOT is weaker than the σ-weak topology. To see why the claim is true, recall that every finite rank operator "F" is a finite sum "F" = &sum; "λi uivi*". So {"Tα"} converges to "T" in WOT means Tr("TαF") = &sum; "λi vi*"("Tαui") converges to &sum; "λi vi*"("T ui") = Tr("TF").

Extending slightly, one can say that the weak-operator and σ-weak topologies agree on norm-bounded sets in "B"("H"): Every trace-class operator is of the form "S" = &sum; "λi uivi*", where the series of positive numbers &sum;"λi" converges. Suppose sup"α" ||"Tα"|| = "k" < &infin;, and "Tα" converges to "T" in WOT. For every trace-class "S", Tr ("Tα"S) = &sum;"λi vi*"("Tαui") converges to &sum; "λi vi*"("T ui") = Tr("TS"), by invoking, for instance, the dominated convergence theorem.

Therefore every norm-bounded set is compact in WOT, by the Banach-Alaoglu theorem.

Other properties

The adjoint operation "T" &rarr; "T*", as an immediate consequence of its definition, is continuous in WOT.

Multiplication is not jointly continuous in WOT: again let "T" 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 "n". (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" &rarr; "T" in WOT, then "STi" &rarr; "ST" and "TiS" &rarr; "TS" in WOT.

See also

*Weak topology
*Weak-star topology
*Topologies on the set of operators on a Hilbert space


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Operator topology — In the mathematical field of functional analysis there are several standard topologies which are given to the algebra B(H) of bounded linear operators on a Hilbert space H. Contents 1 Introduction 2 List of topologies on B(H) 3 …   Wikipedia

  • Weak-star topology — The weak star topology can refer to *a topology related to the weak topology. *a specific weak star topology on the set of bounded operators on a Hilbert space; see Weak star operator topology …   Wikipedia

  • Strong operator topology — In functional analysis, a branch of mathematics, the strong operator topology, often abbreviated SOT, is the weakest topology on the set of bounded operators on a Hilbert space (or, more generally, on a Banach space) such that the evaluation map… …   Wikipedia

  • Weak topology — This article discusses the weak topology on a normed vector space. For the weak topology induced by a family of maps see initial topology. For the weak topology generated by a cover of a space see coherent topology. In mathematics, weak topology… …   Wikipedia

  • Ultraweak topology — In functional analysis, a branch of mathematics, the ultraweak topology, also called the weak * topology, or weak * operator topology or sigma; weak topology, on the set B ( H ) of bounded operators on a Hilbert space is the weak * topology… …   Wikipedia

  • Self-adjoint operator — In mathematics, on a finite dimensional inner product space, a self adjoint operator is one that is its own adjoint, or, equivalently, one whose matrix is Hermitian, where a Hermitian matrix is one which is equal to its own conjugate transpose.… …   Wikipedia

  • Weak convergence (Hilbert space) — In mathematics, weak convergence is a type of convergence of a sequence of points in a Hilbert space (and, more generally, in a Banach space). DefinitionA sequence of points (x n) in a Hilbert space H , with n an integer, is said to converge… …   Wikipedia

  • Compact operator on Hilbert space — In functional analysis, compact operators on Hilbert spaces are a direct extension of matrices: in the Hilbert spaces, they are precisely the closure of finite rank operators in the uniform operator topology. As such, results from matrix theory… …   Wikipedia

  • Strong topology — In mathematics, a strong topology is a topology which is stronger than some other default topology. This term is used to describe different topologies depending on context, and it may refer to:* the final topology on the disjoint union * the… …   Wikipedia

  • Glossary of topology — This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”