Registry · Definition IV.D68 tau-effective formalized

IV.D68 — Address Uncertainty

Position uncertainty (Δx)² and momentum uncertainty (Δp)² for a normalized state ψ ∈ H_τ, defined as expectation-value variances of X-hat and P-hat. Quantifies address precision on the fiber T².

Book IV Part 3 Ch. 20

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.AddressObstruction

Symbol: Tau.BookIV.QuantumMechanics.AddressUncertainty