Functional analysis Mathematical quantization Theorems in functional analysis Stone–von Neumann theorem