Registry · Definition IV.D63 tau-effective formalized

IV.D63 — Physical State Space

Physical states satisfy normalization and stability (eigenstate or finite superposition of H_∞ eigenstates). H_phys ⊂ H_τ.

Book IV Part 3 Ch. 18

Dependency Graph

Depends on (1)

IV.D62

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.HilbertSpace

Symbol: Tau.BookIV.QuantumMechanics.PhysicalStateSpace