Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. Let be such that, for every real , the difference is Lebesgue measurable in . Then there is a pointwise decomposition with measurable, additive and, for every fixed real , outside a null set that may depend on . This is Theorem 3 of Laczkovich's paper, which says that the class of Lebesgue measurable functions has the weak difference property; the paper's digest is the [[../library/analysis/laczkovich_1980_functions_measurable_differences/_index|source card]]. It answers the corrected Statement of Problem 908, whose summand is measurable, in the affirmative. The problem assumes measurability of the differences for only; the identity supplies the negative shifts. Its proof is not reconstructed in this corpus.
Acceptance. The result is refereed: M. Laczkovich, Functions with measurable differences, Acta Mathematica Academiae Scientiarum Hungaricae 35 (1980), 217–235, received by the journal on August 10, 1978. It is reviewed in the sense of a documented independent acceptance: Thomas Bloom, the curator of erdosproblems.com, marks Problem 908 proved and credits this paper for the affirmative answer. No Lean proof is recorded.
The page is dated by the first day of the issue month: the publisher's record for the article gives volume 35, issue 1-2, March 1980.