Von Neumann bicommutant theorem

Von Neumann bicommutant theorem

In mathematics, the von Neumann bicommutant theorem in functional analysis relates the closure of a set of bounded operators on a Hilbert space in certain topologies to the bicommutant of that set. In essence, it is a connection between the algebraic and topological sides of operator theory.

The formal statement of the theorem is as follows. Let M be an algebra of bounded operators on a Hilbert space H, containing the identity operator and closed under taking adjoints. Then the closures of M in the weak operator topology and the strong operator topology are equal, and are in turn equal to the bicommutant M’’ of M. This algebra is the von Neumann algebra generated by M.

There are several other topologies on the space of bounded operators, and one can ask what are the *-algebras closed in these topologies. If M is closed in the norm topology then it is a C*-algebra, but not necessarily a von Neumann algebra. One such example is the C*-algebra of compact operators (on an infinite dimensional Hilbert space). For most other common topologies the closed *-algebras containing 1 are still von Neumann algebras; this applies in particular to the weak operator, strong operator, *-strong operator, ultraweak, ultrastrong, and *-ultrastrong topologies. It is related to the Jacobson density theorem.

Proof

Let "H" be a Hilbert space and "L"("H") the bounded operators on "H". Consider a self-adjoint subalgebra M of "L"("H"). Suppose also, M contains the identity operator on "H".

As stated above, the theorem claims the following are equivalent:

:i) M = M′′.:ii) M is closed in the weak operator topology.:iii) M is closed in the strong operator topology.

The adjoint map "T" → "T*" is continuous in the weak operator topology. So the commutant "S’" of any subset "S" of "L"("H") is weakly closed. This gives i) ⇒ ii). Since the weak operator topology is weaker than the strong operator topology, it is also immediate that ii) ⇒ iii). What remains to be shown is iii) ⇒ i). It is true in general that "S" ⊂ "S′′" for any set "S", and that any commutant "S′" is strongly closed. So the problem reduces to showing M′′ lies in the strong closure of M.

For "h" in "H", consider the smallest closed subspace M"h" that contains {"Mh"| "M" ∈ M}, and the corresponding orthogonal projection "P".

Since "M" is an algebra, one has "PTP" = "TP" for all "T" in M. Self-adjointness of M further implies that "P" lies in M&prime;. Therefore for any operator "X" in M&prime;&prime;, one has "XP" = "PX". Since "M" is unital, "h" &isin; M"h", hence "Xh"&isin; M"h" and for all ε > 0, there exists "T" in M with ||"Xh - Th"|| < ε.

Given a finite collection of vectors "h1",..."hn", consider the direct sum

: { ilde H} = oplus_1 ^n H.

The algebra N defined by

:{mathbf N} = {oplus_1 ^n M ; | ; M in {mathbf M} } sub L({ ilde H})

is self-adjoint, closed in the strong operator topology, and contains the identity operator. Given a "X" in M&prime;&prime;, the operator

: oplus_1 ^n X in L( { ilde H} )

lies in N&prime;&prime;, and the argument above shows that, all ε > 0, there exists "T" in M with ||"Xh"1 - "Th"1||,...,||"Xhn - Thn"|| < ε. By definition of the strong operator topology, the theorem holds.

Non-unital case

The algebra M is said to be "non-degenerate" if for all "h" in "H", M"h" = {0} implies "h" = 0. If M is non-degenerate and a sub C*-algebra of "L"("H"), it can be shown using an approximate identity in M that the identity operator "I" lies in the strong closure of M. Therefore the bicommutant theorem still holds.

References

*W.B. Arveson, "An Invitation to C*-algebras", Springer, New York, 1976.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • John von Neumann — Von Neumann redirects here. For other uses, see Von Neumann (disambiguation). The native form of this personal name is Neumann János. This article uses the Western name order. John von Neumann …   Wikipedia

  • Théorème du bicommutant de von Neumann — Le théorème du bicommutant de von Neumann est un théorème d analyse fonctionnelle qui établit un lien entre l adhérence d un ensemble d opérateurs linéaires bornés sur un espace de Hilbert dans certaines topologies et le bicommutant de cet… …   Wikipédia en Français

  • Théorème de von Neumann — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. De nombreux théorèmes de mathématiques ou de physique théorique portent le nom de John von Neumann, parmi lesquels : le théorème du bicommutant de… …   Wikipédia en Français

  • Jacobson density theorem — In mathematics, the Jacobson density theorem in ring theory is an important generalization of the Artin Wedderburn theorem. It is named for Nathan Jacobson.It states that given any irreducible module M for a ring R , R is dense in its bicommutant …   Wikipedia

  • Kaplansky density theorem — In the theory of von Neumann algebras, the Kaplansky density theorem states thatif A is a * subalgebra of the algebra B ( H ) of bounded operators on a Hilbert space H , then the strong closure of the unit ball of A in B ( H ) is the unit ball of …   Wikipedia

  • Bicommutant — In algebra, the bicommutant of a subset S of a semigroup (such as an algebra or a group) is the commutant of the commutant of that subset. It is also known as the double commutant or second commutant and is written S^{prime prime}.The bicommutant …   Wikipedia

  • List of mathematics articles (V) — NOTOC Vac Vacuous truth Vague topology Valence of average numbers Valentin Vornicu Validity (statistics) Valuation (algebra) Valuation (logic) Valuation (mathematics) Valuation (measure theory) Valuation of options Valuation ring Valuative… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • Commutant — In algebra, the commutant of a subset S of a semigroup (such as an algebra or a group) A is the subset S′ of elements of A commuting with every element of S. In other words, S′ forms a subsemigroup. This generalizes the concept of centralizer in… …   Wikipedia

  • List of functional analysis topics — This is a list of functional analysis topics, by Wikipedia page. Contents 1 Hilbert space 2 Functional analysis, classic results 3 Operator theory 4 Banach space examples …   Wikipedia

Share the article and excerpts

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