arxiv: 2604.13626 · v1 · submitted 2026-04-15 · 🧮 math.GN

Recognition: unknown

A generalization of the Lebesgue density theorem via modulus density

H. S. Behmanush , M. K\"u\c{c}\"ukaslan

Authors on Pith no claims yet

Pith reviewed 2026-05-10 12:08 UTC · model grok-4.3

classification 🧮 math.GN

keywords Lebesgue density theoremmodulus densitydensity pointdensity topologyapproximately continuous functionsgeneralized topologiesmeasure zero setsreal line

0 comments

The pith

Under Condition (A), the γ-density points of any Lebesgue measurable set differ from the set itself by a null set.

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

The paper defines a γ-density point of a measurable subset of the real line using a modulus function γ in place of the usual length scaling. It first proves that every such γ-density point is necessarily an ordinary Lebesgue density point. The two notions are then shown to be equivalent precisely when γ satisfies the auxiliary Condition (A). This equivalence immediately yields a modulus analogue of the Lebesgue density theorem: almost every point of E is a γ-density point. The same condition makes the induced γ-density topology coincide with the classical Lebesgue density topology, while the paper records further topological properties of the new topology and shows that the bounded γ-approximately continuous functions form a Banach space under the supremum norm.

Core claim

When a modulus function γ satisfies Condition (A), every Lebesgue measurable set E ⊆ ℝ differs from the set of its γ-density points by a Lebesgue null set. The paper reaches this conclusion by proving the inclusion of γ-density points inside Lebesgue density points in full generality and the converse inclusion under Condition (A). The associated γ-density topology τ_γ is contained in the classical density topology τ_d in general and equals τ_d exactly when Condition (A) holds.

What carries the argument

The γ-density point of a set E at x, defined via the limit of the ratio of the measure of E ∩ I to the γ-scaled length of the interval I as I shrinks to x, together with Condition (A) on γ that forces these points to coincide with ordinary Lebesgue density points.

If this is right

The γ-density topology τ_γ is always contained in the Lebesgue density topology τ_d.
Equality τ_γ = τ_d holds exactly when γ satisfies Condition (A).
Every countable subset of ℝ is closed in τ_γ.
The space (ℝ, τ_γ) is nonseparable, nonregular, and nonmetrizable.
The collection of bounded γ-approximately continuous functions forms a Banach space under the supremum norm.

Where Pith is reading between the lines

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

The construction supplies a one-parameter family of density topologies indexed by moduli, potentially allowing comparison or interpolation between the classical density topology and other known variants such as ψ-density topologies.
Because τ_γ is nonmetrizable, sequential continuity arguments may fail for γ-approximately continuous functions, even though the bounded ones remain Banach.
If Condition (A) can be relaxed to a weaker growth restriction on γ, the same null-set conclusion might extend to larger classes of moduli arising in irregular or fractal settings.
The vector-space property of γ-approximately continuous functions suggests they could serve as a test class for other generalized continuity notions tied to modulus-based densities.

Load-bearing premise

Condition (A) must hold for the modulus function γ so that γ-density points become identical to ordinary Lebesgue density points.

What would settle it

A concrete modulus function γ obeying the basic modulus axioms but violating Condition (A), together with a positive-measure set E whose γ-density points and Lebesgue density points differ by a positive-measure set.

read the original abstract

In this paper, we introduce the notion of a $\gamma$-density point for Lebesgue-measurable subsets of $\mathbb{R}$, where $\gamma$ is a modulus function, and study its basic measure-theoretic properties. We show that every $\gamma$-density point is a Lebesgue density point, while under Condition~(A) the two notions coincide. Consequently, for such modulus functions, the set of $\gamma$-density points of a measurable set differs from the set itself only by a null set, yielding a modulus version of the Lebesgue Density Theorem. We then define the associated $\gamma$-density topology $\tau_\gamma$ and investigate its structure. In general, $\tau_\gamma$ is contained in the classical Lebesgue density topology, and if $\gamma$ satisfies Condition~(A), then $\tau_\gamma=\tau_d$. We also compare $\tau_\gamma$ with $\psi$-density topologies and establish several topological properties of $\tau_\gamma$, including that countable sets are $\tau_\gamma$-closed and that $(\mathbb{R},\tau_\gamma)$ is nonseparable, nonregular, and nonmetrizable. Finally, we introduce $\gamma$-approximately continuous functions, prove that they form a vector space, and show that the bounded class of such functions is a Banach space under the supremum norm.

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 gives a modulus-function version of the Lebesgue density theorem that recovers the classical result under Condition (A), then builds the associated topology and function class on top.

read the letter

The main point is straightforward: they define gamma-density points for a modulus function gamma, show that every such point is already a Lebesgue density point, and prove the converse once gamma meets Condition (A). From there they get that the gamma-density points of a measurable set differ from the set by a null set, which is just the classical theorem restated in the new language. They also introduce the gamma-density topology tau_gamma, show it sits inside the usual density topology and equals it under (A), and check that countable sets are closed, the space is nonseparable and nonmetrizable, and the bounded gamma-approximately continuous functions form a Banach space under the sup norm. All of that follows directly from the definitions and the classical theorem once (A) is granted, with no hidden circularity in the argument structure. The easy direction holds without (A), which is clean. The comparisons to psi-density topologies are a reasonable check against existing work. The soft spot is that Condition (A) is presented as the key technical requirement without much discussion of how restrictive it is or what concrete modulus functions satisfy it beyond the obvious cases. If (A) turns out to be satisfied only by functions that essentially reproduce Lebesgue density, the generalization stays narrow. The topological and functional-analytic parts read as standard extensions once the density points are in place. This is for specialists in density topologies and approximate continuity. A reader already working in that corner of real analysis will find the definitions and the recovery of the classical theorem useful to have on record. It is solid enough on its own terms to deserve a serious referee who can check the proofs and the exact scope of Condition (A).

Referee Report

2 major / 3 minor

Summary. The paper introduces γ-density points for Lebesgue-measurable subsets of ℝ using a modulus function γ, proves that every such point is a Lebesgue density point (without extra assumptions), and shows that under Condition (A) the two notions coincide. This yields a modulus version of the Lebesgue density theorem: the γ-density points of E differ from E by a null set. The associated γ-density topology τ_γ is defined and shown to be contained in the classical Lebesgue density topology τ_d, with equality when γ satisfies (A). Comparisons with ψ-density topologies are given, along with topological properties of (ℝ, τ_γ) (countable sets are closed; the space is nonseparable, nonregular, and nonmetrizable). The paper concludes by defining γ-approximately continuous functions, proving they form a vector space, and showing that the bounded ones constitute a Banach space under the supremum norm.

Significance. If the technical details hold, the work supplies a parameterized family of density notions that recover the classical Lebesgue density theorem precisely when the modulus satisfies the stated Condition (A). The induced topologies and the Banach-space result on approximate continuity extend the literature on density topologies and approximately continuous functions in a natural way, offering a uniform framework for further generalizations.

major comments (2)

[§2] §2, Definition of Condition (A): the precise statement of Condition (A) on the modulus γ is load-bearing for the converse implication in Theorem 3.3 and for the equality τ_γ = τ_d. It should be isolated as a numbered definition with an immediate example of a modulus that satisfies it and one that does not, so that the scope of the generalization is transparent.
[§4] §4, proof of non-metrizability of (ℝ, τ_γ): the argument that τ_γ is nonmetrizable appears to rely on the fact that it is not regular; however, the explicit separation axiom failure (e.g., a specific pair of sets that cannot be separated) is not exhibited, which weakens the claim that the topology is strictly coarser than τ_d in a topologically significant way.

minor comments (3)

[Introduction] The introduction cites the classical Lebesgue density theorem but does not reference the standard formulation in terms of the density topology τ_d; adding a brief paragraph recalling the definition of τ_d would make the comparison with τ_γ immediate.
[§3] Notation: the symbol γ is used both for the modulus function and (implicitly) for the induced density; a short notational remark distinguishing γ-density from the function itself would prevent confusion in §3.
[§5] The statement that bounded γ-approximately continuous functions form a Banach space is correct under the sup norm, but the completeness proof is only sketched; a one-line reference to the fact that uniform limits preserve the γ-density condition would suffice.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript, the positive overall assessment, and the recommendation for minor revision. The comments are constructive and will help improve the clarity of the presentation. We address each major comment below.

read point-by-point responses

Referee: [§2] §2, Definition of Condition (A): the precise statement of Condition (A) on the modulus γ is load-bearing for the converse implication in Theorem 3.3 and for the equality τ_γ = τ_d. It should be isolated as a numbered definition with an immediate example of a modulus that satisfies it and one that does not, so that the scope of the generalization is transparent.

Authors: We agree that elevating Condition (A) to a numbered definition with concrete examples will make the scope of the generalization more transparent to readers. In the revised manuscript we will isolate the condition as a standalone numbered definition in §2 and immediately supply two examples: the identity modulus γ(t)=t, which satisfies Condition (A), and a slower-growing modulus (e.g., γ(t)=t/log(1/t) for t sufficiently small) that fails it. This will also clarify the precise circumstances under which τ_γ coincides with the classical Lebesgue density topology τ_d. revision: yes
Referee: [§4] §4, proof of non-metrizability of (ℝ, τ_γ): the argument that τ_γ is nonmetrizable appears to rely on the fact that it is not regular; however, the explicit separation axiom failure (e.g., a specific pair of sets that cannot be separated) is not exhibited, which weakens the claim that the topology is strictly coarser than τ_d in a topologically significant way.

Authors: We thank the referee for this observation. While the existing argument correctly invokes the fact that metrizable spaces are regular (hence failure of regularity implies non-metrizability), we acknowledge that an explicit witness of the separation failure would strengthen the claim and better illustrate how τ_γ is strictly coarser than τ_d. In the revision we will add a concrete example—specifically, a closed set and a point outside its closure that cannot be separated by disjoint τ_γ-open sets—thereby making the non-regularity (and consequent non-metrizability) fully explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper introduces the definition of a γ-density point for a modulus function γ and proves two directions: every γ-density point is a Lebesgue density point (without Condition (A)), and under Condition (A) the converse holds so the notions coincide. The modulus Lebesgue Density Theorem then follows immediately by applying the classical external theorem to the equivalent notion. This structure relies on standard measure-theoretic arguments and the classical LDT rather than any self-referential reduction, fitted parameters renamed as predictions, or load-bearing self-citations. The topological and functional extensions are likewise direct consequences of the definitions and the equivalence result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard axioms of Lebesgue measure on the reals, the definition of a modulus function, and the unstated Condition (A). No free parameters or new physical entities are introduced; the work is definitional and deductive.

axioms (2)

standard math Lebesgue measure on R satisfies the classical density theorem
Invoked to show that gamma-density points are ordinary density points and to obtain the null-set conclusion.
domain assumption Modulus functions gamma exist and satisfy the technical Condition (A)
Condition (A) is required for the coincidence of gamma-density points with Lebesgue density points and for equality of the topologies.

pith-pipeline@v0.9.0 · 5545 in / 1535 out tokens · 35763 ms · 2026-05-10T12:08:36.716477+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

20 extracted references · 13 canonical work pages

[1]

Aizpuru, A., List´ an-Garc´ ıa, M.C., Rambla-Barreno, F.: Density by moduli and statistical convergence.Quaestiones Mathematicae37(4), 525–530 (2014).https://doi.org/10.2989/ 16073606.2014.981683

work page arXiv 2014
[2]

Tatra Mt

Filipczak M., Terepeta M., On continuity concerned withψ-density topologies. Tatra Mt. Math. Publ. 34(2), 2006: 29–36

2006
[3]

Scientific Issues, Mathematics XIV, Jan Dlugosz University in Czestochowa, Czestochowa 2009: 21–36

Go´ zdziewicz-Smejda A., Lazarow E., Comparison ofψ-Sparse Topologies. Scientific Issues, Mathematics XIV, Jan Dlugosz University in Czestochowa, Czestochowa 2009: 21–36

2009
[4]

Goffman C., Neugebauer C. J. and Nishiura T., Density topology and approximate continuity, Duke Math. J. 28(4) 1961, 497–505.https://doi.org/10.1215/S0012-7094-61-02847-2

work page doi:10.1215/s0012-7094-61-02847-2 1961
[5]

Haupt, C./Ch

O. Haupt, C./Ch. Pauc, La topologie approximative de Denjoy envisag´ ee comme vraie topolo- gie, C. R. Acad. Sci. Paris, 234 (1952), 390–392

1952
[6]

and Pauc C

Haupt O. and Pauc C. Y., ¨Uber die durch allgemeine Ableitungsbasen bestimmten Topolo- gien. Ann. Mat. Pura Appl. Ser. IV 36, 1954, 247–271.https://doi.org/10.1007/BF02412841

work page doi:10.1007/bf02412841 1954
[7]

Hejduk J., On the Density Topologies Generated by Functions. Tatra. Mt. Math. Publ 40(2), 2008, 133–141

2008
[8]

and K¨ u¸ c¨ ukaslan M., Loranty A., On< s >-generalized topologies

Hejduk J. and K¨ u¸ c¨ ukaslan M., Loranty A., On< s >-generalized topologies. Georgian Math- ematical Journal, 2024, 31 (3), 437–443.https://doi.org/10.1515/gmj-2023-2096

work page doi:10.1515/gmj-2023-2096 2024
[9]

and Loranty A., On Some Generalized Topologies Satisfying all Separation Axioms

Hejduk J. and Loranty A., On Some Generalized Topologies Satisfying all Separation Axioms. Results in Mathematics, (2024), 79:38.https://doi.org/10.1007/s00025-023-02073-4

work page doi:10.1007/s00025-023-02073-4 2024
[10]

and Nowakowski P., On strong generalized topology generated by the porosity

Hejduk J. and Nowakowski P., On strong generalized topology generated by the porosity. Topology and its Applications, 362, (2025).https://doi.org/10.1016/j.topol.2025.109223

work page doi:10.1016/j.topol.2025.109223 2025
[11]

On the abstract density topologies generated by lower and almost lower density operators, Traditional and present-day topics in real analysis

Hejduk, J., and Wiertelak, R. On the abstract density topologies generated by lower and almost lower density operators, Traditional and present-day topics in real analysis. Dedi- cated to Professor Jan Stanis law Lipi´ nski, Filipczak M., Wagner-Bojakowska E. (eds.), L´ od´ z University Press, L´ od´ z, (2013), pp. 431–447.https://doi.org/10.18778/7525-971-1.25

work page doi:10.18778/7525-971-1.25 2013
[12]

and Vizv´ ary A.,ψ I-Density Topology

Lazarow E. and Vizv´ ary A.,ψ I-Density Topology. Scientific Issues, Mathematics XV, Jan Dlugosz University in Czestochowa, Czestochowa, 2010: 67–80

2010
[13]

del C., P´ erez Fern´ andez, F

Le´ on-Saavedra, F., List´ an-Garc´ ıa, M. del C., P´ erez Fern´ andez, F. J., and Romero de la Rosa, M. P. On statistical convergence and strong Ces` aro convergence by moduli, Journal of Inequalities and Applications, 2019(1), 298.https://doi.org/10.1186/s13660-019-2252-y

work page doi:10.1186/s13660-019-2252-y 2019
[14]

C., Measure and category, Springer Verlag, New YorkHeidelberg-Berlin, 1971

Oxtoby J. C., Measure and category, Springer Verlag, New YorkHeidelberg-Berlin, 1971. https://doi.org/10.1007/978-1-4615-9964-7

work page doi:10.1007/978-1-4615-9964-7 1971
[15]

J., On strengthening the Lebesgue Density Theorem, Fund.Math

Taylor S. J., On strengthening the Lebesgue Density Theorem, Fund.Math. 46, 1959, 305–315. https://doi.org/10.4064/fm-46-3-305-315

work page doi:10.4064/fm-46-3-305-315 1959
[16]

Tatra Mt

Terepeta M., A New Approach toψ-Continuity. Tatra Mt. Math. Publ 42(1), 2009, 107–117. https://doi.org/10.2478/v10127-009-0011-z

work page doi:10.2478/v10127-009-0011-z 2009
[17]

and Wagner-Bojakowska E.,ψ-density topology, Circ

Terepeta M. and Wagner-Bojakowska E.,ψ-density topology, Circ. Mat. Palermo, SerieII, TomoXLV III, 1999, 451–476.https://doi.org/10.1007/BF02844336

work page doi:10.1007/bf02844336 1999
[18]

and Wilczy´ nski W., Comparison ofψ-Density Topologies

Wagner-Bojakowska E. and Wilczy´ nski W., Comparison ofψ-Density Topologies. Real Anal- ysis Exchange, 25(2), 1999/2000, 661–672

1999
[19]

Rendiconti del Circolo Matematico di Palermo, Series II, 49, no

Wagner-Bojakowska E., and Wilczy´ nski W., The interior operation inψ-density topology. Rendiconti del Circolo Matematico di Palermo, Series II, 49, no. 1, 2000: 5–26.https: //doi.org/10.1007/BF02904217

work page doi:10.1007/bf02904217 2000
[20]

Wilczynski W., Density topologies, Chapter 15 in Handbook of Measure Theory, Institute of Mathematics, University of Novi Sad, Elsevier, 2002, 675–702.https://doi.org/10.1016/ B978-044450263-6/50016-6

2002