Rediscovered theorem of Luzin

Marcin Michalski

arxiv: 1907.09305 · v1 · pith:LORLBXHBnew · submitted 2019-07-18 · 🧮 math.LO

Rediscovered theorem of Luzin

Marcin Michalski This is my paper

Pith reviewed 2026-05-24 19:06 UTC · model grok-4.3

classification 🧮 math.LO

keywords Luzin theoremset decompositionLebesgue measureBaire categoryreal numbersfull sets

0 comments

The pith

Any subset of the reals decomposes into two subsets full with respect to Lebesgue measure or Baire category.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper reconstructs Luzin's 1934 argument to establish that every set X of real numbers can be partitioned into two disjoint subsets A and B whose union is X, with both A and B full in the sense of Lebesgue measure. An analogous partition exists when fullness is measured instead by the Baire category. A sympathetic reader would care because the result shows that neither null sets nor meager sets can block such a splitting for an arbitrary real set. The proof follows the original reasoning as closely as possible rather than replacing it with later techniques.

Core claim

Luzin proved that for every X ⊆ ℝ there is a decomposition X = A ∪ B with A ∩ B = ∅ such that both A and B are full with respect to Lebesgue measure, and likewise when fullness is taken with respect to the Baire category.

What carries the argument

Decomposition of an arbitrary real set into two full subsets, one for each of the two standard notions of size.

If this is right

The decomposition applies to every subset of the reals.
The same splitting works independently for the measure and category notions.
No real set is irreducible under these notions of fullness.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result may help construct sets that are simultaneously thick in measure and category.
It raises the question whether the two pieces can be chosen with extra regularity, such as being Borel.
Similar decompositions might exist for other ideals on the reals.

Load-bearing premise

The dense arguments in Luzin's 1934 paper can be correctly interpreted and completed into a rigorous modern proof without gaps or alterations to the original idea.

What would settle it

An explicit set X ⊆ ℝ for which no such decomposition into two full subsets exists, or a concrete unresolvable gap in the reconstructed 1934 reasoning.

read the original abstract

In 1934 N. N. Luzin proved in his short (but dense) paper \textit{Sur la decomposition des ensembles} that every set $X\subseteq \mathbb{R}$ can be decomposed into two full, with respect to Lebesgue measure or category, subsets. We will try to (at least partially) decipher the reasoning of Luzin and prove this result following his idea.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper reconstructs Luzin's 1934 theorem on set decompositions but adds no new mathematics.

read the letter

The one thing to know is that this paper is an exposition that reconstructs a 1934 theorem by Luzin rather than offering any new mathematical statement or technique. The theorem says every set of reals splits into two subsets that are each large in the sense of Lebesgue measure and also in the sense of Baire category. The authors aim to decipher the original dense argument and present a clearer modern version following the same idea. What the paper does well is take on the job of unpacking Luzin's short, dense original argument into something that a modern reader can follow more easily. That kind of historical reconstruction can be genuinely helpful when the source material is hard to access or interpret. The main limitation is the absence of novelty. The authors are clear that this is a rediscovery, so the contribution is limited to the quality of the new proof they produce. If that proof is faithful to Luzin and free of gaps, it adds a useful reference; if not, the paper has little to offer beyond restating a known fact. The abstract gives no indication of errors, and the claim matches standard results in the area. This paper is aimed at specialists in descriptive set theory and real analysis who have an interest in how these decomposition ideas developed. It is unlikely to interest a wider audience or change how people think about the subject. I would recommend sending the paper to peer review. A careful check of the reconstructed proof would be worthwhile, and if it holds up it could find a place as a note in a relevant journal.

Referee Report

0 major / 3 minor

Summary. The manuscript reconstructs N.N. Luzin's 1934 theorem from the short paper 'Sur la decomposition des ensembles', proving that every set X ⊆ ℝ admits a decomposition into two subsets that are each full (thick) with respect to Lebesgue measure or Baire category, by deciphering and completing the original dense argument into a modern proof.

Significance. The result is a known classical theorem in real analysis and descriptive set theory. The paper's contribution is an accessible modern exposition that follows Luzin's original reasoning rather than a new proof technique; if the reconstruction is accurate and gap-free, it adds pedagogical and historical value by making the argument available in contemporary notation and terminology.

minor comments (3)

The abstract and introduction should explicitly define the term 'full' (e.g., whether it means positive outer measure in every interval, or comeager in every interval, or the precise variant used for measure versus category) to avoid ambiguity for readers unfamiliar with Luzin's original terminology.
Section headings and theorem statements would benefit from numbering for easier reference, especially when the proof follows Luzin's multi-step dense argument.
The manuscript should include a brief comparison (even one paragraph) with modern proofs of the same decomposition result to clarify what is gained by adhering to Luzin's 1934 approach.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and the positive assessment of our manuscript as an accessible modern exposition of Luzin's 1934 theorem. The referee's summary correctly identifies the paper's goal of deciphering and completing the original dense argument.

Circularity Check

0 steps flagged

No significant circularity; external historical reconstruction

full rationale

The paper presents a reconstruction of Luzin's 1934 external result on decomposing subsets of the reals into full sets w.r.t. measure or category. No internal equations, fitted parameters, self-definitional steps, or load-bearing self-citations appear. The derivation chain follows an external source rather than reducing to its own inputs by construction. This matches the default case of a self-contained exposition with no circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only; no free parameters, invented entities, or nonstandard axioms are mentioned. Standard background from ZFC and measure theory is presupposed.

axioms (1)

standard math Standard ZFC set theory and properties of Lebesgue measure and Baire category
Invoked implicitly when discussing full sets with respect to measure or category.

pith-pipeline@v0.9.0 · 5568 in / 1098 out tokens · 19393 ms · 2026-05-24T19:06:37.635347+00:00 · methodology

Rediscovered theorem of Luzin

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)