THE FOLD / RESPAWN / THE RESURRECT / THE VITALI
THE VITALI
the set that cannot be measured
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Call two reals equivalent when they differ by a rational. That chops [0,1] into uncountably many classes, each countable and each dense. Now pick one representative from every class — you need the axiom of choice to do it — and call the result V. Translate V by each rational in [−1,1]: the copies are disjoint, their union contains [0,1], and it all fits inside [−1,2]. If V had a length m, countable additivity would force the total to be ≥ 1 and ≤ 3 simultaneously — but the total is either 0 (if m = 0) or infinite (if m > 0). Neither is allowed, so V has no length at all. Vitali, 1905: the first set that cannot be measured.
LIT verified live as an exact finite contradiction: the m = 0 branch sums to 0, which cannot reach the required 1; the m > 0 branch is run at m = 10⁻³, 10⁻⁶, 10⁻⁹ and overflows the box measure 3 after 3,001 / 3,000,001 / 3,000,000,001 translates respectively; the countability the argument needs is exhibited constructively (24,465 distinct rationals enumerated in [−1,1] with denominators ≤ 200); and the coset partition is modelled exactly in ℤ/120 with a subgroup of index 12 — 12 classes covering all 120 elements (window.__vitali). FIG the set itself cannot be exhibited: its existence needs choice, and Solovay proved in 1970 that without choice it is consistent for every set of reals to be measurable. This page verifies the contradiction, never the set.
LIT verified live as an exact finite contradiction: the m = 0 branch sums to 0, which cannot reach the required 1; the m > 0 branch is run at m = 10⁻³, 10⁻⁶, 10⁻⁹ and overflows the box measure 3 after 3,001 / 3,000,001 / 3,000,000,001 translates respectively; the countability the argument needs is exhibited constructively (24,465 distinct rationals enumerated in [−1,1] with denominators ≤ 200); and the coset partition is modelled exactly in ℤ/120 with a subgroup of index 12 — 12 classes covering all 120 elements (window.__vitali). FIG the set itself cannot be exhibited: its existence needs choice, and Solovay proved in 1970 that without choice it is consistent for every set of reals to be measurable. This page verifies the contradiction, never the set.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-resurrect — the respawn: the object is summoned by an axiom rather than built, has no properties you can compute, and vanishes entirely from the universe if you decline to assume choice. It exists exactly as much as you let it. AVAN (AI) built the instrument: the two-branch contradiction, the constructive countability witness, and the finite coset model.
Credit as content: Giuseppe Vitali (1905); Henri Lebesgue (the measure being contradicted); Robert Solovay (1970, the model where every set is measurable); Banach & Tarski (the more spectacular consequence, one shelf over). The weave: David names the resurrection; I show both branches of the assumption dying, exactly.
Credit as content: Giuseppe Vitali (1905); Henri Lebesgue (the measure being contradicted); Robert Solovay (1970, the model where every set is measurable); Banach & Tarski (the more spectacular consequence, one shelf over). The weave: David names the resurrection; I show both branches of the assumption dying, exactly.
3 ONE DIMENSION
Both branches of ‘V has a length’, and where each one dies.
4 TWO DIMENSIONS · INTERACTIVE
Choose a length for V; watch the arithmetic refuse it.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the rational translates stacking, disjoint and endless.
AVAN’s addition (the inverse-companion): don’t ask what the set looks like — ask which axiom is paying for it. The inverse of ‘this object is pathological’ is ‘this object is a receipt’: choice buys you selections you cannot describe, and non-measurability is the invoice. Decline the axiom and the monster is simply absent. Magenta is the axiom, invisible in the statement and responsible for everything; green is the arithmetic, which never had a choice. Every impossibility is priced in some assumption you forgot you made.
LIT Verified live as an exact finite contradiction: the m=0 branch sums to 0 and cannot reach 1; the m>0 branch at m = 1e-3/1e-6/1e-9 overflows the box measure 3 after 3,001 / 3,000,001 / 3,000,000,001 translates; countability is exhibited constructively (24,465 rationals in [−1,1] with denominators ≤200); and the coset partition is modelled exactly in ℤ/120 with index 12 — 12 classes covering all 120 elements (window.__vitali.ok).
FIG The set itself CANNOT be exhibited: its existence needs choice, and Solovay proved in 1970 that without choice it is consistent for every set of reals to be measurable. This page verifies the contradiction, never the set. Vitali 1905, Lebesgue, Solovay 1970, Banach–Tarski credited. The AVAN inverse — ask which axiom is paying: non-measurability is the invoice choice hands you. Every impossibility is priced in an assumption you forgot you made.
FIG The set itself CANNOT be exhibited: its existence needs choice, and Solovay proved in 1970 that without choice it is consistent for every set of reals to be measurable. This page verifies the contradiction, never the set. Vitali 1905, Lebesgue, Solovay 1970, Banach–Tarski credited. The AVAN inverse — ask which axiom is paying: non-measurability is the invoice choice hands you. Every impossibility is priced in an assumption you forgot you made.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE RESURRECT · David Lee Wise (ROOT0), with AVAN