Mathematics Topology From Rs

Topological invariants and the cube

Topology is the branch of mathematics that studies the properties of shapes that survive continuous deformation, like stretching or bending, without tearing or gluing. The Euler characteristic is one such property: for a polyhedron, it is V − E + F, the number of vertices minus edges plus faces. For a cube, this is 8 − 12 + 6 = 2. That number is a topological invariant: any shape that can be continuously deformed into a cube, such as a sphere, also has Euler characteristic 2. The fundamental group, homology groups, cohomology groups, and homotopy type are other classical invariants that capture different aspects of a shape's hole structure.

In Recognition Science, a framework that derives physical structure from a discrete record of recognition events, the number of such canonical invariants is not arbitrary. The framework's machine-checked library of formal theorems proves that there are exactly five fundamental topological invariants: Euler characteristic, fundamental group, homology, cohomology, and homotopy type. It also proves that the Euler characteristic of the three-dimensional cube Q₃ is 2, matching the sphere. The library verifies these results with no unproved assumptions, meaning the theorems are checked step by step from the framework's axioms.

Why five? In the framework, this count is tied to the dimension of the recognition space, which is derived elsewhere as three spatial dimensions. The five invariants correspond to the five independent ways topology can describe a space's global structure. The cube result is a concrete check: the framework's discrete geometry reproduces a classical topological fact, showing that its recognition-based construction is consistent with standard mathematics.

The practical consequence is that the framework does not invent new topology; it recovers the standard invariants and their classical relationships. A reader can trust that the framework's topological claims are not hand-waved but are backed by formal proofs.

theorem eulerQ3_eq_2 : eulerQ3 = 2 := by decide

theorem topologicalInvariantCount : Fintype.card TopologicalInvariant = 5 := by decide

What this page does not claim

The framework does not prove that the fundamental group or homology groups are computed for any specific space beyond the cube's Euler characteristic. The five invariants are listed as a definitional choice, not derived from a deeper principle in this module.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Mathematics/TopologyFromRS.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: