In mathematics, specifically functional analysis, the von Neumann bicommutant theorem 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.
Read more about Von Neumann Bicommutant Theorem: Proof
Famous quotes containing the words von, neumann and/or theorem:
“War seems to be one of the most salutary phenomena for the culture of human nature; and it is not without regret that I see it disappearing more and more from the scene.”
—Karl Wilhelm Von Humboldt (1767–1835)
“It means there are times when a mere scientist has gone as far as he can. When he must pause and observe respectfully while something infinitely greater assumes control.”
—Kurt Neumann (1906–1958)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)