况下，Σ由有限多个点组成。对每个单点我们赋予一个向量空间"V" = "Z" (point)，并对每"n" 个点赋予"n" 重张量积"V" = "V" ⊗ ... ⊗ "V"。对称群"S" 作用在"V" 上。得到量子希尔伯特空间的标准方法是先给出一个经典辛流形（或称为相空间），然后将其量子化。我们将"S" 扩张成紧致李群"G"，并考虑“可积”轨道，其辛结构由线丛得到，这样量子化就给出了"G" 在"V" 上的不可约表示。这是博雷尔—韦伊定理或博雷尔—韦伊—博特定理的物理诠释。这些理论的拉格朗日量为经典作用量（即