Operator theory

Normal operators are important because the spectral theorem holds for them. Today, the class of normal operators is well understood. Examples of normal operators are

The existence of a polar decomposition is a consequence of Douglas' lemma:

The C*-identity is a very strong requirement. For instance, together with the spectral radius formula, it implies that the C*-norm is uniquely determined by the algebraic structure: