False statementConstruction: AI-adaptedVerification: AI-generatedSession-authored (Fable 5 assisted)precheck passjudge pass (z-ai/glm-5.2)audited 2026-07-27

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced — the exact statement appears in a cited source; only wording and notation differ.
AI-adapted — a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated — a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

FALSE: every nowhere dense subset of $\mathbb{R}$ has measure zero

Statement

False claim: every nowhere dense subset of $\mathbb{R}$ (Nowhere dense, meager (first category), residual, and second category subsets of $\mathbb{R}$ ) has measure zero (Measure zero (a countable cover by intervals of total length below every $\varepsilon$ ) and content zero (a finite such cover)).

The claim is tempting because a nowhere dense set is topologically thin: its closure contains no interval at all, so it is "full of holes" everywhere. The error is to read that as a statement about total length. Holes may be plentiful and short at the same time, and the Smith-Volterra-Cantor set is built precisely so that they are.

Facts & Assumptions

Given: The Smith-Volterra-Cantor set $S$ of The Smith-Volterra-Cantor set: the same construction removing, at stage $n \ge 1$ , an open middle interval of length $4^{-n}$ from each of the $2^{n-1}$ remaining intervals.

[A1]

The false claim: every nowhere dense subset of $\mathbb{R}$ has measure zero.

[L1]

$S$ is nowhere dense (The Smith-Volterra-Cantor set is compact, perfect and nowhere dense, and does not have measure zero, claim 3).

[L2]

If sequences $(a_k)$ , $(b_k)$ with $a_k \le b_k$ cover $S$ and all their partial total lengths are at most $M$ , then $M \ge 2^{-1}$ ; in particular $S$ does not have measure zero (The Smith-Volterra-Cantor set is compact, perfect and nowhere dense, and does not have measure zero, claim 4).

[L3]

A set is null when for every real $\varepsilon > 0$ it has a cover by a sequence of closed intervals with all partial total lengths at most $\varepsilon$ (Measure zero (a countable cover by intervals of total length below every $\varepsilon$ ) and content zero (a finite such cover)).

Refutation

technique · direct

1.1

The set $S$ is a subset of $\mathbb{R}$ and is nowhere dense, by [L1].

1.2

$S$ does not have measure zero: a cover witnessing nullity at $\varepsilon := 4^{-1}$ would have all partial total lengths at most $4^{-1}$ , and [L2] then forces $4^{-1} \ge 2^{-1}$ , which is false.

L2L3

2.1

So $S$ is a nowhere dense subset of $\mathbb{R}$ that does not have measure zero, and the claim [A1] fails at $S$ ; the claim is therefore false.

step 1.1step 1.2A1∎

Remarks

The converse implication is also false, and for a completely different reason: $\mathbb{Q}$ has measure zero and is not nowhere dense (FALSE: every subset of $\mathbb{R}$ of measure zero is nowhere dense). So neither of the two notions of smallness implies the other, and the two failures are witnessed by sets of different cardinality, $S$ being uncountable and $\mathbb{Q}$ countable.
What is true. A nowhere dense set contains no interval of positive length, which is a genuine consequence of the definition; and a set of measure zero also contains no interval of positive length (A sequence of intervals covering $[a,b]$ has total length at least $b - a$ , so no interval of positive length has measure zero). The two conditions share that consequence and nothing beyond it.
The named witness is The Smith-Volterra-Cantor set is nowhere dense and does not have measure zero ↗.

Depends on

Used by

The Smith-Volterra-Cantor set is nowhere dense and does not have measure zero Counterexample

Dependency tree · next 3 levels

Direct dependencies and their dependencies through the next three levels: 112 results over 18 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.

Sources

Smith-Volterra-Cantor set (Wikipedia) (standard reference, not scraped)
Null set (Wikipedia) (standard reference, not scraped)
A. Jin, Cantor sets in topology, analysis, and financial markets (standard reference, not scraped)

FALSE: every nowhere dense subset of R\mathbb{R}R has measure zero