symmetry_is_essential
plain-language theorem explainer
The linear function f(x) = x - 1 fails the inversion invariance f(x) = f(1/x) for positive x. Researchers deriving minimal cost functionals from recognition principles cite it to exclude directional bias in comparison. The term proof assumes the symmetry property, evaluates at x = 2, and obtains an immediate contradiction by simplification.
Claim. The function $f(x) = x - 1$ does not satisfy $f(x) = f(x^{-1})$ for every $x > 0$.
background
The Ultimate Inevitability module reduces the Recognition Composition Law to three primitive requirements: symmetry, normalization, and consistency. Symmetry is defined as the property that a cost function F obeys F(x) = F(1/x) for all x > 0; the module states this is the definition of symmetric comparison, not an extra assumption. Normalization requires F(1) = 0, encoding that perfect balance carries zero cost. Upstream results include the Normalization class stating that the cost at unity is zero and the definition of symmetric comparison as the invariance under inversion.
proof idea
The proof is a direct term-mode argument. It introduces the assumption of symmetry, applies the universal quantifier to the positive real 2, and uses simplification to reach a contradiction.
why it matters
The result shows symmetry is essential because directional functions cannot serve as comparison costs. It supports the module's reduction of assumptions to symmetry, normalization, and consistency, which forces the unique J function via the Recognition Composition Law. This aligns with the forcing chain landmarks where J-uniqueness follows from inversion invariance and the eight-tick octave structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.