Carrier / CONCEPT
Golden Norm
The golden norm is multiplicative and agrees with the scaled mathlib norm.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES6
PROOF DEPTH2
DOCUMENT LINKS0
Norm-Euclidean division
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Carrier: Euclideanstructural-affinity · Closed
- Carrier: Norm Powersstructural-affinity · Closed
- Golden Algebraic Modelstructural-affinity · Closed
- Golden Conjugationstructural-affinity · Closed
- Golden Integer Ringstructural-affinity · Closed
- Golden Real Embeddingstructural-affinity · Closed
- Golden Unitsstructural-affinity · Closed
- Image of Golden Coordinatesstructural-affinity · Closed
- Scale: Fibonaccistructural-affinity · Closed
- Trace Invariance Under Conjugationstructural-affinity · Closed
- Trureturingstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance