Registry · Definition IV.D78 tau-effective formalized

IV.D78 — Mass as Fiber Stiffness

Mass m_k of a mode ψ_k is the H_∞ eigenvalue evaluated via fiber curvature. Mass = how expensive the spatial address is to maintain.

Book IV Part 3 Ch. 22

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.MassAsFiberStiffness