Math of QM: 8.3. Stone-von Neumann Theorem: Projection onto Vacuum in Schrödinger Representation

Projection operator onto vacuum in the Schroedinger representation.
This is part 3 of Lecture 8 in the lecture series "Mathematical Aspects of Quantum Mechanics" of Roland Speicher in the winter term 2020/21 at Saarland University, Germany. Lecture 8, which is split into 7 parts, states and proves the Stone-von Neumann uniqueness theorem for representations of the Weyl relations.