selfadjoint operator; Hilbert spaces; bounded variation; lemma