Let be an operator and be an eigenvector such that .
A ladder operator of is an operator such that where .
#m/def/linalg
It follows that
i.e. is either zero or an eigenvector.
A raising operator is a ladder operator for which is positive and real,
likewise a lowering operator is a ladder operator for which is negative and real.