Given a complex Hilbert space
with associated space
of continuous linear
operators from
to itself, the commutant
of an arbitrary subset
is the collection of all elements in
which commute with all elements
of
:
.
Across the literature on the subject, the set is sometimes denoted
, a reference to the fact that a linear operator between
normed vector spaces
is continuous if and only if it is bounded (Royden and Fitzpatrick 2010).
The notions of commutant and bicommutant are fundamental to the study of von Neumann algebras (Dixmier 1981).