Manuscript XIII-C@1 · XIII-C.tex · section · e6556893

C5: normalization and overlap audit

C5: normalization and overlap audit · lines 1078–1092

XIII-C@1#eq:ordered-values

A completed extension must retain the inherited ordered values:

supp V_{g} strictly later than supp O supp O strictly later than supp V_{g} ⟹ R_{1} = 0, ⟹ R_{1} = \frac{i}{ℏ} [O, V_{g}]_{⋆_{H}} .

These refer to full functional supports, not just the observation support.

Displayed formulas in this passage

XIII-C@1#eq:ordered-values · line 1082
$supp V_{g} strictly later than supp O supp O strictly later than supp V_{g} ⟹ R_{1} = 0, ⟹ R_{1} = \frac{i}{ℏ} [O, V_{g}]_{⋆_{H}} .$