False statementConstruction: AI-adaptedVerification: AI-generatedprecheck 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 $R$ has measure zero

Statement

False claim: every nowhere dense subset of $R$ (Nowhere dense, meager (first category), residual, and second category subsets of $R$ ) has measure zero (Measure zero (a countable cover by intervals of total length below every $ε$ ) 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 \geq 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 $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} \leq b_{k}$ cover $S$ and all their partial total lengths are at most $M$ , then $M \geq 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 $ε > 0$ it has a cover by a sequence of closed intervals with all partial total lengths at most $ε$ (Measure zero (a countable cover by intervals of total length below every $ε$ ) and content zero (a finite such cover)).

Refutation

technique · direct

1.1

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

1.2

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

L2L3

2.1

So $S$ is a nowhere dense subset of $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: $Q$ has measure zero and is not nowhere dense (FALSE: every subset of $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 $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

Dependency tree · two levels

40 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on 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 RR has measure zero