  An operator \(O\) is a mapping of a vector space onto itself; it takes any vector \(\ket{B}\) in a space onto another vector \(\ket{B'}\) also in the space; \(O \ket{B} = \ket{B'}\). Linear operators are operators that have the following properties: 