Math of QM: 8.2. Stone-von Neumann Theorem: Properties of Operators W(s,t)

Properties of the operators W(s,t) and W_h; in particular: non-triviality of W_h for non-trivial h.
This is the part 2 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.