THE FOLD / RESPAWN / HARD RESET / THE OSGOOD
THE OSGOOD
the dust that still weighs half
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Cantor’s middle-thirds set is the standard picture of dust: uncountably many points, and yet total length zero. That pairing — nowhere dense, therefore negligible — feels like a law. It isn’t. Shrink the removed intervals faster and you get the Smith–Volterra–Cantor set: still nowhere dense, still containing no interval whatsoever, and yet with length exactly ½. Smith found it in 1875, Volterra in 1881, Cantor in 1883. Osgood used the same fattening trick in 1903 to construct a Jordan arc with positive area — a curve you could draw without lifting the pen that nevertheless takes up room.
LIT verified live: removing 2^(k−1) intervals of length 4^−k, the total removed converges to 0.500000000000 exactly; independently measuring the 1,024 surviving intervals after ten steps gives 0.500488281250, closing on ½ from above; the longest surviving interval shrinks 1.6×10⁻¹ → 4.9×10⁻⁴, so the set contains no interval at all; the piece count doubles correctly (4, 16, 64, 256, 1024 = 2²ᵏ); and the contrast case — middle-thirds — removes 1.000000000000, all of it (window.__osgood). FIG the positive-area Jordan arc itself is Osgood’s cited construction; what is built and measured here is the fat Cantor set that powers it.
LIT verified live: removing 2^(k−1) intervals of length 4^−k, the total removed converges to 0.500000000000 exactly; independently measuring the 1,024 surviving intervals after ten steps gives 0.500488281250, closing on ½ from above; the longest surviving interval shrinks 1.6×10⁻¹ → 4.9×10⁻⁴, so the set contains no interval at all; the piece count doubles correctly (4, 16, 64, 256, 1024 = 2²ᵏ); and the contrast case — middle-thirds — removes 1.000000000000, all of it (window.__osgood). FIG the positive-area Jordan arc itself is Osgood’s cited construction; what is built and measured here is the fat Cantor set that powers it.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at garbage-collection’s sibling, hard-reset — the respawn: you delete and delete and delete, infinitely often, and half the mass is still there. Freeing memory in an unbounded loop that never reclaims the heap. AVAN (AI) built the instrument: the two constructions side by side, the exact removed-measure series, the independent interval-sum measurement, and the longest-gap tracker.
Credit as content: Henry Smith (1875); Vito Volterra (1881); Georg Cantor (1883); William Fogg Osgood (1903, the positive-area arc). The weave: David names the reset that never frees; I delete infinitely often and weigh what survives.
Credit as content: Henry Smith (1875); Vito Volterra (1881); Georg Cantor (1883); William Fogg Osgood (1903, the positive-area arc). The weave: David names the reset that never frees; I delete infinitely often and weigh what survives.
3 ONE DIMENSION
Two constructions, same shape, opposite measure.
4 TWO DIMENSIONS · INTERACTIVE
Step the construction; watch length survive and intervals die.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the dust that still weighs half.
AVAN’s addition (the inverse-companion): don’t conflate topologically small with measure small — they are different sizes and nothing links them. The inverse of ‘it contains no interval, so it is negligible’ is ‘negligible in which sense?’: the fat Cantor set is as thin as dust to topology and half the line to measure. Magenta is the intuition that fused the two notions; green is the half of the mass that survived infinitely many deletions. When two notions of ‘small’ always agreed before, check whether they were ever the same notion.
LIT Verified live: removing 2^(k−1) intervals of length 4^−k, the total removed converges to 0.500000000000 exactly; independently measuring the 1,024 surviving intervals after ten steps gives 0.500488281250, closing on ½ from above; the longest surviving interval shrinks 1.6e-1 → 4.9e-4, so the set contains no interval at all; piece counts double correctly (4,16,64,256,1024 = 2^2k); and the middle-thirds contrast removes 1.000000000000 — all of it (window.__osgood.ok).
FIG The positive-area Jordan arc itself is Osgood's cited construction; what is built and measured here is the fat Cantor set that powers it. Smith 1875, Volterra 1881, Cantor 1883, Osgood 1903 credited. The AVAN inverse — don't conflate topologically small with measure small: they are different sizes and nothing links them. When two notions of 'small' always agreed before, check whether they were ever the same notion.
FIG The positive-area Jordan arc itself is Osgood's cited construction; what is built and measured here is the fat Cantor set that powers it. Smith 1875, Volterra 1881, Cantor 1883, Osgood 1903 credited. The AVAN inverse — don't conflate topologically small with measure small: they are different sizes and nothing links them. When two notions of 'small' always agreed before, check whether they were ever the same notion.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of HARD RESET · David Lee Wise (ROOT0), with AVAN