A generalization of the Lebesgue density theorem via modulus density

Abstract

In this paper, we introduce the notion of a $γ$-density point for Lebesgue-measurable subsets of $\mathbb{R}$, where $γ$ is a modulus function, and study its basic measure-theoretic properties. We show that every $γ$-density point is a Lebesgue density point, while under Condition~(A) the two notions coincide. Consequently, for such modulus functions, the set of $γ$-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 $γ$-density topology $τ_γ$ and investigate its structure. In general, $τ_γ$ is contained in the classical Lebesgue density topology, and if $γ$ satisfies Condition~(A), then $τ_γ=τ_d$. We also compare $τ_γ$ with $ψ$-density topologies and establish several topological properties of $τ_γ$, including that countable sets are $τ_γ$-closed and that $(\mathbb{R},τ_γ)$ is nonseparable, nonregular, and nonmetrizable. Finally, we introduce $γ$-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.