equation 12.71 eq:hilbert-weyl-relation

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

• depends_on definition A.580 Weyl operator ¶
  • depends_on definition A.585 The Gaussian average of the Weyl operators ¶
    • depends_on theorem A.587 The Gaussian average is a non-zero projector that absorbs the Weyl operators ¶
      • depends_on lemma A.590 The Gram matrix is universal ¶
        • depends_on proposition A.591 Any two irreducible Weyl systems are equivalent ¶
      • depends_on proposition A.589 Cyclic subspaces and the rank of the average ¶
        • depends_on lemma A.590 The Gram matrix is universal ¶ ↺
        • depends_on proposition A.591 Any two irreducible Weyl systems are equivalent ¶ ↺
      • depends_on proposition A.592 The vacuum of the Schrödinger system ¶
  • depends_on lemma A.581 Composition law ¶
    • depends_on lemma A.582 Joint strong continuity ¶
      • depends_on lemma A.583 Absolutely convergent operator-valued integrals ¶
        • depends_on definition A.585 The Gaussian average of the Weyl operators ¶ ↺
    • depends_on lemma A.590 The Gram matrix is universal ¶ ↺
• depends_on lemma A.581 Composition law ¶ ↺