Manuscript IV@1 · IV.tex · section · 351cb2d7
A self-contained quadratic-domain lemma
Shared conventions and elementary measurement facts › A self-contained quadratic-domain lemma · lines 616–621
Let , let be its number operator, and let be the union of its finite number sectors. This includes arbitrary vectors in each sector.