Bicommutant

Les propriétés galoisiennes du commutant entraînent que :

• le bicommutant est un opérateur de clôture, i.e.
  • ${\displaystyle X\subset X''}$
  • ${\displaystyle X\subset Y\Rightarrow X''\subset Y''}$
  • ${\displaystyle (X'')''=X''~}$
• ${\displaystyle X'''=X'~}$, cette dernière égalité (qui entraîne la précédente) venant de

${\displaystyle X\subset X''\Rightarrow (X'')'\subset X'}$ et de ${\displaystyle X'\subset (X')''}$.

On a ainsi, par récurrence, les relations suivantes :

${\displaystyle X\subset X''=X''''=X''''''=\ldots =X^{2n}=\ldots }$

${\displaystyle X'=X'''=X'''''=\ldots =X^{2n-1}=\ldots }$

pour tout entier n ≥ 1.

• Théorème du bicommutant de von Neumann
• Centralisateur