A Nonseparable Invariant Extension of Lebesgue Measure -- A Generalized and Abstract Approach

Debashish Sen; Sanjib Basu

REVIEW 3 major objections 4 minor 19 references

A Nonseparable Invariant Extension of Lebesgue Measure -- A Generalized and Abstract Approach

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Under GCH, every free transitive group action on a $k^+$-sized set admits a nonseparable invariant extension of its $k$-additive structure, with $2^{k^+}$ mutually separated sets.

desk verdict The Ulam-matrix selection step in Theorem 2.13 is unsupported, so the main theorem is not established, but the abstract framework is genuinely interesting. read the letter →

arxiv 1908.08277 v3 pith:M4BCJFUS submitted 2019-08-22 math.FA math.LO

Sanjib Basu , Debashish Sen This is my paper · ORCID

classification math.FAmath.LO MSC 28A0528D0528A9928C10

keywords TransformationgroupsinvariantmeasuresnonseparableextensionUlam(kk+)-matrixk-additivemeasurablestructurestrictlyk-independentfamilyk-smallsystemadmissiblealgebra

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper claims that the classical construction of a nonseparable invariant extension of Lebesgue measure is a special case of a general set-theoretic mechanism. Under the generalized continuum hypothesis, the same mechanism works for any set $X$ of cardinality $k^+$ carrying a transformation group $G$ that acts freely and transitively: from a $k$-additive algebra $S$ and a $k$-small system of small sets, one can build an invariant $k$-additive extension containing a strictly $k$-independent family (all Boolean intersections over at most $k$ members are nonempty) of $2^{k^+}$ sets. The paper packages nonseparability without a measure, using a uniformity whose entourages compare sets by symmetric difference. If the theorem is right, the 1950 result is not an accident of the real line but an instance of a general combinatorial principle.

What carries the argument

The machinery has four interacting pieces: the $k$-additive measurable structure $(S,I)$, an invariant algebra together with a proper invariant ideal closed under unions of at most $k$ sets; the $k$-small system $\{N_\alpha\}$, a sequence of invariant families of small sets whose intersection $N_\infty$ is a $k$-additive ideal; the Ulam($k$,$k^+$)-matrix, a $k$ by $k^+$ array of subsets of $k^+$ used to carve the orbit partition $\{\Omega_\gamma\}$ into many candidate sets $E_{\xi,\rho}$; and a strictly $k$-independent family on the index set (all Boolean intersections of size at most $k$ are nonempty), transplanted to $X$ as the family $\{A_i\}$. The uniformity on the extended algebra is defined by $U_\alpha=\{(E,F): E\triangle F\in N_\alpha\}$, so that $A_i$ and $A_j$ being separated at $U_{\alpha_0}$ is exactly the statement that their symmetric difference is not a small set.

What would settle it

To test the proof's pivotal step, take $k=\omega_0$, $X$ of cardinality $\omega_1$, a free transitive action, and choose $S$ and $\{N_\alpha\}$ so that every $E_{\xi,\rho}$ obtained from the Ulam($\omega_0,\omega_1$)-matrix lies in $N_\infty$. If in fact no row $\xi$ has $\omega_1$ many columns with $E_{\xi,\rho}\notin N_\infty$, the construction in Theorem 2.13 cannot proceed; checking this configuration would settle the claim.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.14. It states that if $G$ acts freely and transitively on a set $X$ with $\mathrm{card}(X)=k^+$, and $S$ is a diffused, $k$-additive, $G$-invariant algebra admissible with respect to a $k$-small system $\{N_\alpha\}_{\alpha<k}$, then under GCH the measurable structure $(\tilde S,N_\infty)$ extends to some $(\tilde{\tilde S},N_\infty)$ with a uniformity base $\{U_\alpha\}_{\alpha<k}$ and a strictly $k$-independent family $\{A_i:i\in I\}$ of sets from $\tilde{\tilde S}$ such that $\mathrm{card}(I)=2^{k^+}$ and $(A_i,A_j)\notin U_{\alpha_0}$ for distinct $i,j$. The proof realizes each $A_i$ as a union of selected blocks $E_{\xi_0,\rho}$ taken from the rows of the Ulam($k$,$k^+$)-matrix, and the separation condition says their symmetric differences are not small.

Load-bearing premise

The proof rests on one row of the Ulam matrix producing $k^+$ many unions $E_{\xi_0,\rho}$ that do not belong to the small ideal $N_\infty$; if every such union were small, the strictly $k$-independent family and the nonmeasurability argument would not get off the ground.

Editorial extensions

If this is right

Taking $k=\omega_0$ and $X=[0,1)$ recovers the classical nonseparable invariant extension, with $2^{2^{\omega_0}}=2^{\mathfrak c}$ many separated sets.
Nonseparability becomes a purely structural notion: a $k$-additive measurable structure is nonseparable exactly when it has such a uniformity base and a strictly $k$-independent family separated at some entourage.
Under GCH the construction delivers $2^{k^+}$ mutually separated invariant sets, the maximum possible cardinality for a family on a $k^+$-sized set.
Every transformation in $G$ preserves the extended structure, so the extension inherits full $G$-invariance rather than only quasi-invariance.
The adjoined sets are not in the original algebra $\tilde S$ but are thick, so the extension produces a large supply of new nonmeasurable sets at no extra metrical cost.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The GCH hypothesis is probably stronger than necessary: what Proposition 2.11 really needs is the cardinal arithmetic $k^\lambda=k$ for $\lambda<k$, so the same argument may work in models where $2^k$ is larger but the relevant exponentiation is tame.
The same matrix combinatorics that blocks maximal extensions of diffused measures is here repurposed to create many separated extension sets, suggesting a common root for nonmeasurability and nonseparability.
The uniformity on $\tilde{\tilde S}$ could be used to define a topological character for arbitrary $k$-additive measurable structures, letting uniform-space language carry over to measure extension theory.
A natural test case is a compact metrizable group with its translation-invariant measure: the theorem should yield the known nonseparable invariant extension without any appeal to the group's topology.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: the main theorem is not proved; the Ulam-matrix selection step in Theorem 2.13 is a real gap. The paper has a nice abstract setup, but the load-bearing argument is broken.

The new stuff: the k-additive measurable structures, k-small systems, and strict k-independence with respect to a structure are reasonable generalizations of ideas from Riečan–Neubrunn and Kharazishvili. The uniformity on ~~S defined from the small system is a clever way to talk about nonseparability without a measure. The writing is clear and the debt to [1] and [12] is explicit.

The soft spot is the proof of Theorem 2.13. The authors correctly show that each Ωγ is a union of at most k sets gL, each in N∞, so Ωγ ∈ N∞. Then they claim that from the Ulam(k,k+)-matrix one can pick ξ0 and k+ columns with E_{ξ0,ρ} ∉ N∞. But under the standard Ulam-matrix definition used in this literature, each Π_{ξ,ρ} has size at most k, so each E_{ξ,ρ} is again a union of at most k null sets and is null. The sentence 'This is so because N∞ is k-additive and X∉N∞' does not work: k-additivity does not lift from cells to the row union when the row has k+ cells. The construction of the independent family {Ai} and their nonmeasurability depends on this selection, so Theorem 2.14 collapses.

Proposition 2.5 is also underproved: the transfinite recursion produces only k many translates, which cannot contradict k+-saturation. That result is used later, so it is another load-bearing gap. And the claim of generalizing Kakutani–Oxtoby is overstated because the theorem assumes a free transitive action, while KO's isometry group is neither.

The abstract framework is worth thinking about, but as it stands the paper does not establish its central result. If the authors can fix the selection argument (or state and prove a nonstandard Ulam matrix property), there may be a respectable paper here. I would send it to a referee who knows Ulam matrices and measure extension theory, but with the expectation of major revision. My own recommendation is not to cite it as a result until the proof is repaired.

Referee Report

3 major / 4 minor

Summary. The paper proposes an abstract and generalized formulation of the Kakutani-Oxtoby nonseparable invariant extension theorem. It works in the setting of a space (X,G) with a transformation group, using k-additive measurable structures (S,I), k-small systems {N_α}, Ulam(k,k^+)-matrices, and strictly k-independent families. The main results are Theorem 2.13, which asserts, under GCH, the existence of a strictly k-independent family of size 2^{k^+} with respect to (~S,N∞), and Theorem 2.14, which packages this into an extension (~~S,N∞) equipped with a uniformity whose α0-th entourage separates the family. The intended contribution is a uniform framework that specializes to extensions of Lebesgue measure and generalizes them to arbitrary infinite cardinals k.

Significance. If the main theorems were proved, the framework would be a genuinely useful abstraction: it connects Kharazishvili-style measurable structures, Riečan-Neubrunn small systems, Ulam matrices, and Tarski-style independent families, and it replaces the metric character of a measure with a uniformity in a natural way. The paper also makes explicit use of GCH and of external results from the authors' earlier work and from Pantsulaia. However, the central proof contains a load-bearing gap: the selection of a row of the Ulam matrix with non-null entries is not justified and is, under the standard Ulam-matrix definition, incompatible with the preceding conclusion that every Ω_γ is in N∞. Because the construction of the family {A_i} and the nonmeasurability conclusion depend directly on that selection, the main results are not established in the present form.

major comments (3)

[Theorem 2.13, proof (Ulam selection)] The selection of ξ0 and Ξ is unsupported and conflicts with the preceding steps. From k^+-saturation the proof correctly obtains gL ∈ N∞ for every g ∈ G. Since Ω_γ = (G_γ \ ∪_{η<γ} G_η)L is a union of at most k of the sets gL and N∞ is k-additive, every Ω_γ belongs to N∞. For the standard Ulam(k,k^+)-matrix used in this literature, each entry Π_{ξ,ρ} has cardinality at most k; hence E_{ξ,ρ} = ∪_{γ∈Π_{ξ,ρ}} Ω_γ is a union of at most k null sets and therefore E_{ξ,ρ} ∈ N∞ for all ξ<k and ρ<k^+. The asserted existence of ξ0 and a set Ξ ⊆ k^+ of cardinality k^+ with E_{ξ0,ρ} ∉ N∞ is therefore false under that definition. The justification 'because N∞ is k-additive and X ∉ N∞' does not suffice: a row of the matrix has k^+ cells, and k-additivity does not allow one to pass from the nullness of each cell to the nullness of the row union. Since the whole construction of the family {A_i : i∈I}, the thickness argument, and the nonmeasurability conclusion in Theorem 2.13 are built on this selection, the proofs of Theorems 2.13 and 2.14 are not established. The authors must either state an explicit nonstandard Ulam-matrix property with entries of cardinality up to k^+ and prove it, or supply a different argument for the selection.
[Proposition 2.5] The transfinite construction in the proof of Proposition 2.5 is not specified, and as written it does not contradict k^+-saturation. To contradict k^+-saturation one needs a family of more than k pairwise disjoint sets from S \ I, but the proof constructs a family {g_α : α < k} of length k; such a family has cardinality k and is allowed by the definition of k^+-saturation. Moreover, no argument is given for the existence of the g_α with X \ ∪_{α<k} g_α E ∈ I; this is a nontrivial covering property of the action. Proposition 2.5 is used in Theorem 2.13 to infer that each E_{ξ0,ρ} is (~S,N∞)-thick and that the sets A_i are not in ~S, so this gap is also load-bearing for the main result.
[Theorem 2.14, final separation step] Even if the previous steps were granted, the proof has not shown that (A_i,A_j) ∉ U_{α0} for i≠j. The family {~Ξ_i} is strictly k-independent in the sense that intersections of at most k choices of members or complements are nonempty; this does not imply that ~Ξ_i Δ ~Ξ_j has cardinality at least k, nor that the corresponding union of the sets E_{ξ0,ρ} lies outside N_{α0}. The classes N_{α0} are only required to satisfy the small-system conditions of Definition 2.6; in particular, they are not shown to be closed under finite unions of arbitrary sets outside N∞. Thus the final separation conclusion of Theorem 2.14 is not justified by the stated construction.

minor comments (4)

[Title, abstract, and body] There are many typographical and grammatical errors, including 'NONSEPERABLE' in the title, 'U lam' and 'som e' in the abstract, 'frammework', 'classess', and 'an uniform'. The paper needs a careful proofreading pass.
[Introduction, notation paragraph] The sentence 'We write card A and card A to denote the cardinals of any set A or any class A of sets' contains a duplicated symbol; the intended distinction between a set and a class of sets is unclear and should be clarified.
[Theorem 2.14 statement] The term 'diffused' is used in Theorem 2.14 but is not defined in the paper; it is only explained for measures in the introduction. The authors should define what it means for a k-additive algebra or measurable structure to be diffused.
[Uniformity proof after Theorem 2.13] In the verification that V = {U_α} is a base of a uniformity, the line 'N_β ∪ N_γ ⊆ N_α' is not a direct consequence of conditions (v) and (vi) as written; condition (v) applies to unions of chosen sets E_β ∈ N_β, not to unions of the classes. This can likely be repaired with a more explicit choice of δ, β, and γ, but the argument should be rewritten.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central extension theorem is assembled from external combinatorial lemmas; the flagged Ulam-matrix gap is a proof-rigor issue, not a circular reduction.

full rationale

The paper's derivation chain is self-contained against its cited inputs. Theorem 2.13 and Theorem 2.14 use: Proposition 2.11 and 2.12 from Pantsulaia [12] for GCH cardinal arithmetic and the existence of a maximal strictly k-independent family; a standard increasing-subgroup representation from Kharazishvili [6]; and the Riecan-Neubrunn small-system framework [13]-[16]. The authors' own prior paper [1] is cited for definitions (2.1-2.4) and for the Ulam(k,k^+)-matrix; these are parameter-free combinatorial facts and definitions that do not assume Theorem 2.13 or 2.14, so under the stated rules they count as independent support rather than circularity. The key step in Theorem 2.13 ('Then there exists ξ0 ... This is so because N∞ is k-additive and X∉N∞') is an attempted derivation from the Ulam-matrix column-sum property together with k-additivity, not an import of the desired conclusion. The family {Ai} is first constructed outside ~S and only then used to generate ~~S; the final membership Ai∈~~S and the separation (Ai,Aj)∉U_{α0} are consequences of the construction, not inputs. The reader-flagged failure of the Ulam-matrix selection is a potential correctness or rigor defect in the proof, not an instance of a prediction reducing to its inputs by construction; therefore it does not raise the circularity score.

Assumptions & free parameters 0 free parameters · 6 assumptions · 4 invented entities

The paper introduces several abstract mathematical constructs (k-additive structures, k-small systems, uniformities) but no empirical entities. The proof relies on GCH and on unproved cited results, including the authors' own Ulam matrix formulation, making the axiom load substantial.

assumptions (6)

standard math ZFC
The paper states in Section 2 that all arguments are carried out within ZFC.
domain assumption Generalized Continuum Hypothesis (GCH)
Assumed in Theorem 2.13 and 2.14 via Propositions 2.11 and 2.12 to obtain cardinal arithmetic and the existence of a strictly k-independent family of size 2^{k^+}.
ad hoc to paper Existence and exact properties of Ulam(k,k^+)-matrix
Invoked in Theorem 2.13 but cited only to the authors' prior paper [1]; the required properties are not stated, and the proof depends on unstated details of this matrix.
domain assumption Proposition 2.11 (cardinal arithmetic under GCH)
Cited from Pantsulaia [12]; used to ensure k is not cofinal with k^+ and k^λ = k.
domain assumption Proposition 2.12 (existence of maximal strictly k-independent family)
Cited from Pantsulaia [12]; provides the strictly independent family on ~Ξ used to build the family {Ai}.
domain assumption Existence of a G-selector L in S
A hypothesis of Theorem 2.13 needed to form the partition {Ωγ}; not guaranteed in the concrete Kakutani-Oxtoby setting.

invented entities (4)

k-additive measurable structure (S,I)
purpose: Provides the abstract domain on which the extension theorem operates; replaces a measure space with an algebra plus an ideal.
Definition 2.1, attributed to the authors' earlier paper [1]; it is a mathematical construct with no empirical content.
k-small system {Nα}
purpose: Generalizes Riecan's small systems to allow construction of the ideal N∞ and a uniformity on the extended algebra.
Definition 2.6; a technical device, no independent evidence needed.
Uniformity V on ~~S
purpose: Encodes nonseparability in the absence of a measure; the family {Ai} is separated by U_{α0}.
Defined immediately before Theorem 2.14; a mathematical substitute for metric nonseparability.
Strictly k-independent family with respect to (S,I)
purpose: Produces the large family of sets that are pairwise separated and nonmeasurable.
Definition 2.10; a combinatorial notion, no new physical entity.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A Nonseparable Invariant Extension of Lebesgue Measure -- A Generalized and Abstract Approach." pith.science (2026). https://pith.science/paper/M4BCJFUS

@misc{pith2026190808277,
  author       = {Pith},
  title        = {Pith review of: A Nonseparable Invariant Extension of Lebesgue Measure -- A Generalized and Abstract Approach},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/M4BCJFUS}},
  note         = {Machine review of arXiv:1908.08277}
}

read the original abstract

Here using some methods of combinatorial set theory, particularly the ones related to the construction of independent families of sets and some modified version of the notion of small sets originally introduced by Riecan, Riecan and Neubrunn, we give abstract and generalized formulation of a remarkable theorem of Kakutani and Oxtoby relating to nonseparable extension of Lebesgue measure in spaces with transformation groups

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

[1]

S.Basu and D.Sen, Abstract formulations of some theorems on nonmeasurable se ts, Trans of A.Razmadze Math Inst, Journal Elsevier, Vol 171, Issue 1, pg 10 − 15, April 2017

work page 2017
[12]

G.Pantsulia, An application of independent families of sets to the measur e extension problem, Georgian Mathematical Journal, Vol 11(2004), No2, 379 − 390

work page 2004
[2]

E.Hewitt and A.Ross, Abstract Harmonic Analysis , Vol I, Springer-Verlag 1979

work page 1979
[3]

A.B.Kharazishvili, Transformation groups and invariant measures, Set theoret ic aspects , World Scientiﬁc, 1988. 10

work page 1988
[4]

· · · · · ·, Invariant measurable structure on groups and nonmeasurabl e subgroups, Real. Anal. Exchange, Vol 25(2), 1999, 931 − 936

work page 1999
[5]

· · · · · ·, Some remarks on additive properties of invariant σ-ideals on the real line , Real. Anal. Exchange, Vol 20, No2, 1995-96, 715 − 724

work page 1995
[6]

· · · · · ·, Topics in Measure theory and Real Analysis , Atlantis Press, World Scientiﬁc, 2009

work page 2009
[7]

· · · · · · , Metrical transitivity and nonseparable extensions of inva riant measures, Tai- wanese Journal of Mathematics, Vol 13, No3, 343 − 349, June 2009

work page 2009

Show all 19 references

[8]

A.B.Kharazishvili and A.Kirtadze, Nonseparable left-invariant measures on uncount- able solvable groups Proc.A.Razmadze. Math. Inst, 139(2005), 45 − 52

2005
[9]

Math, Vol 52, 1950, pp 574 − 579

S.Kodaira and S.Kakutani, A nonseparable translation-invariant extension of the Lebesgue measure space, Ann. Math, Vol 52, 1950, pp 574 − 579

1950
[10]

Math, Vol 52, 1950, pp 580 − 590

S.Kakutani and J.C.Oxtoby, Construction of a nonseparable invariant extension of the Lebesgue measure space , Ann. Math, Vol 52, 1950, pp 580 − 590

1950
[11]

K.Kuratowski and A.Mostowski, Set theory (with an introduction to descriptive set theory), North-Holland Publishing Company, 1976

1976
[13]

B.Rieˇcan, Abstract formulations of some theorems of measure theory , Math. Slovaca. Vol 16(1966), No 3, 268 − 273

1966
[14]

Casopis, Vol 19(1969), No 2, 138 − 144

· · · · · ·, Abstract formulations of some theorems of measure theory II , Math. Casopis, Vol 19(1969), No 2, 138 − 144

1969
[15]

B.Rieˇcan and T.Neubrunn, Integral, measure and ordering , Kluwer Academic Pub- lisher, Bratislava, 1977

1977
[16]

Casopis, Vol 21(1971), No2, 117 − 123

Z.Ri´ecanova, On an abstract formulation of regularity , Mat. Casopis, Vol 21(1971), No2, 117 − 123

1971
[17]

Math, Vol 25, 1935, pp 551 − 558

E.Szpilrajn (E.Marczewski), Sur l′ extension de la measure Lebesguienne , Fund. Math, Vol 25, 1935, pp 551 − 558. 11

1935
[18]

Nauk, Vol 1, no 2(12), 1946, pp 179 − 188 (Russian)

· · · · · ·, On problems of the theory of measure , Uspekhi Mat. Nauk, Vol 1, no 2(12), 1946, pp 179 − 188 (Russian)

1946
[19]

S.Ulam, Zur Masstheorie in der allgemeinen Mengenlehre , Fund. Math. Vol 16, 1930, pp 140 − 150. AUTHOR’S ADDRESS S.Basu Department of Mathematics Bethune College, Kolkata W.B. India E-mail : sanjibbasu08@gmail.com D.Sen Saptagram Adarsha vidyapith (High), Habra, 24 Parganas (...

1930

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

S.Basu and D.Sen, Abstract formulations of some theorems on nonmeasurable se ts, Trans of A.Razmadze Math Inst, Journal Elsevier, Vol 171, Issue 1, pg 10 − 15, April 2017

work page 2017

[2] [12]

G.Pantsulia, An application of independent families of sets to the measur e extension problem, Georgian Mathematical Journal, Vol 11(2004), No2, 379 − 390

work page 2004

[3] [2]

E.Hewitt and A.Ross, Abstract Harmonic Analysis , Vol I, Springer-Verlag 1979

work page 1979

[4] [3]

A.B.Kharazishvili, Transformation groups and invariant measures, Set theoret ic aspects , World Scientiﬁc, 1988. 10

work page 1988

[5] [4]

· · · · · ·, Invariant measurable structure on groups and nonmeasurabl e subgroups, Real. Anal. Exchange, Vol 25(2), 1999, 931 − 936

work page 1999

[6] [5]

· · · · · ·, Some remarks on additive properties of invariant σ-ideals on the real line , Real. Anal. Exchange, Vol 20, No2, 1995-96, 715 − 724

work page 1995

[7] [6]

· · · · · ·, Topics in Measure theory and Real Analysis , Atlantis Press, World Scientiﬁc, 2009

work page 2009

[8] [7]

· · · · · · , Metrical transitivity and nonseparable extensions of inva riant measures, Tai- wanese Journal of Mathematics, Vol 13, No3, 343 − 349, June 2009

work page 2009