nLab
normal operator

Contents

Definition

An element aAa \in A in a C-star algebra is called normal if it commutes with its star-adjoint:

aa *=a *a. a a^* = a^* a \,.

Properties

The spectral theorem asserts, roughly, that (bounded) normal operators can be diagonalized.