Registry · Definition IV.D71 tau-effective formalized

IV.D71 — Clopen Position Localization

A state f ∈ H_τ is clopenly localized in position at scale ε if its γ-address distribution is supported on a clopen subset U_γ ⊂ S¹_γ of angular measure |U_γ| ≤ ε. Natural localization notion on compact profinite fiber.

Book IV Part 3 Ch. 20

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.AddressObstruction

Symbol: Tau.BookIV.QuantumMechanics.ClopenPositionLocalization