Registry · Theorem
IV.T102
tau-effective
formalized
IV.T102 — tau-Heisenberg inequality
tau-Heisenberg inequality: for every ontic defect bundle d and every refinement level n, Delta x_n * Delta p_n >= hbar_tau. The bound is attained by sigma-saturated states centered on the crossing point of L, a consequence of compactness of hat{Z} (continuous functions on compact spaces attain minima).
Book IV
Part 1
Ch. 7