normalizedProjector
plain-language theorem explainer
Normalizes an endomorphism A by the scalar μ via P = μ⁻¹ A. Anyone proving the algebraic projector step from the Hessian-geometry paper cites this. The body is a one-line scalar multiple; all content lives in the downstream lemmas that assume A² = μA and μ ≠ 0.
Claim. For a real scalar $\mu$ and an endomorphism $A$ of a real module $V$, the normalized operator is $P := \mu^{-1} A$. When $A^2 = \mu A$ and $\mu \neq 0$, this $P$ is the projector used to build the almost-product and golden operators.
background
The module isolates the algebraic core of the paper on golden and metallic structures on Hessian manifolds. Reciprocal cost geometry produces a rank-one Hessian tensor; after normalization one obtains a projector $P$ with $P^2 = P$. From that projector the almost-product operator $F = 2P - I$ satisfies $F^2 = I$, and the golden operator $G = \varphi P + (1-\varphi)(I-P)$ satisfies $G^2 = G + I$.
Here $V$ is an arbitrary real module (AddCommGroup with Module ℝ V), and endomorphisms are written Module.End ℝ V. The scalar $\mu$ is the eigenvalue-like factor in the relation $A^2 = \mu A$ (in the rank-one case it is the pairing $\ell(v)$). The definition itself does not enforce that relation; downstream theorems do.
This sits in the Foundation layer of the forcing stack: the algebraic projector-to-golden step that later multi-coordinate Hessian arguments (cost Hessian operators) instantiate with concrete recognition-cost data.
proof idea
Pure definition: the normalized projector is the scalar multiple $\mu^{-1} \bullet A$. No lemmas are applied. Downstream proofs (e.g. that $P^2 = P$) expand $P P = (\mu^{-1} A)(\mu^{-1} A)$, insert $A^2 = \mu A$, and cancel $\mu$ using $\mu \neq 0$.
why it matters
This is the normalization map that turns a cost-induced endomorphism into the projector $P$ required by the golden-structure route. Parent results include: the theorem that $A^2 = \mu A$ and $\mu \neq 0$ imply $P$ is a projector; the theorem that the golden operator built from that $P$ satisfies $G^2 = G + I$; the rank-one specializations; and the multi-coordinate Phase-4 $\varphi$-forcing theorems that apply the same normalization to the recognition-cost Hessian operator.
It feeds the ProjectorGoldenCertificate package (almost-product and golden-structure fields) and the J-Hessian multi-coordinate certificate. In the Recognition Science chain this is the algebraic hinge between reciprocal cost geometry and the golden operator identity tied to $\varphi$ (T5–T6 forcing landmarks). Status is definitional scaffolding for proved theorems, not an open question.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.