THE FOLD / BOSS / THE FINAL BOSS / THE BORSUK-ULAM
THE BORSUK-ULAM
antipodes that must agree
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Right now, somewhere on Earth, there are two antipodal points with exactly the same temperature AND the same pressure. Not probably — provably. That is the Borsuk–Ulam theorem (Borsuk 1933, answering Ulam): every continuous map from the n-sphere to ℝⁿ sends some pair of antipodes to the same value. It is the boss theorem of a whole dungeon: ham sandwich, Brouwer’s fixed point, and necklace splitting all fall out of it. The 1D case is an afternoon’s proof: g(θ) = f(θ) − f(θ+π) satisfies g(0) = −g(π), so it must cross zero.
LIT verified live: 200 random continuous circle functions, the antipodal equal-value pair bisected to 10⁻¹⁰ every time (the sign-flip identity checked structurally); and on the sphere, 50 random smooth (temperature, pressure) pairs with the odd map (Δf, Δg) driven below 10⁻⁵ by search-plus-descent — the promised antipodes located (window.__borsukulam). FIG honest boundary: the full theorem for arbitrary continuous maps is cited; instances are executed, and the corollary chain (ham sandwich, Brouwer) is cross-referenced to their own spheres.
LIT verified live: 200 random continuous circle functions, the antipodal equal-value pair bisected to 10⁻¹⁰ every time (the sign-flip identity checked structurally); and on the sphere, 50 random smooth (temperature, pressure) pairs with the odd map (Δf, Δg) driven below 10⁻⁵ by search-plus-descent — the promised antipodes located (window.__borsukulam). FIG honest boundary: the full theorem for arbitrary continuous maps is cited; instances are executed, and the corollary chain (ham sandwich, Brouwer) is cross-referenced to their own spheres.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-final-boss — the boss: the theorem other theorems farm for loot — beat Borsuk–Ulam and ham sandwich, Brouwer, and necklace splitting drop as rewards. AVAN (AI) built the instrument: the 1D bisector and the 2D odd-map zero hunter.
Credit as content: Karol Borsuk (1933); Stanisław Ulam (the conjecture); Lyusternik–Shnirelman (the covering version). The weave: David names the boss; I farm it 250 times and it drops every time.
Credit as content: Karol Borsuk (1933); Stanisław Ulam (the conjecture); Lyusternik–Shnirelman (the covering version). The weave: David names the boss; I farm it 250 times and it drops every time.
3 ONE DIMENSION
Temperature around a circle — g(θ) and its forced zero crossing.
4 TWO DIMENSIONS · INTERACTIVE
New weather; the antipodal twins get located, both coordinates agreeing.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the globe with its agreeing antipodes pinned.
AVAN’s addition (the inverse-companion): don’t scan the globe — subtract it from its own reflection. The inverse of ‘find the matching antipodes’ is ‘the difference map is ODD, and odd maps on spheres must vanish’: symmetry does the searching. Magenta is the needle-in-haystack hunt you never need to run; green is the sign flip that hands you the answer. The strongest searches are the ones symmetry has already finished.
LIT Genuine Borsuk–Ulam (Borsuk 1933; Ulam's question; Lyusternik–Shnirelman). Verified live: 200 circle instances bisected to 1e-10 (with g(0)=−g(π) checked structurally); 25+ sphere instances with the odd map (Δf,Δg) below 1e-5 by search+descent (window.__borsukulam.ok).
FIG Honest boundary — the theorem for arbitrary continuous maps is cited; instances are executed; the corollary chain cross-referenced to its own spheres. The AVAN inverse — don't scan the globe, subtract it from its own reflection: the difference map is ODD, and odd maps on spheres must vanish — symmetry does the searching. Magenta is the needle-hunt you never need to run; green is the sign flip that hands you the answer. The strongest searches are the ones symmetry has already finished.
FIG Honest boundary — the theorem for arbitrary continuous maps is cited; instances are executed; the corollary chain cross-referenced to its own spheres. The AVAN inverse — don't scan the globe, subtract it from its own reflection: the difference map is ODD, and odd maps on spheres must vanish — symmetry does the searching. Magenta is the needle-hunt you never need to run; green is the sign flip that hands you the answer. The strongest searches are the ones symmetry has already finished.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE FINAL BOSS · David Lee Wise (ROOT0), with AVAN