Expansion and completeness theorems for operator manifolds

Some expansion and completeness theorems for operator manifolds, which are currently being employed in propagator theory, are derived. It is shown that excitation or ionization operators satisfying the conditions Q   Λ † |0〉 = |Λ〉 and Q Λ |0〉 = 0 for general excited states |Λ〉 and reference state |0〉 may be expanded uniquely in particular sets of basis operators. These results are then used to discuss rigorous expressions for fermion propagators.