Status
On this page
Status
Topics
Status
On this page
Status
Topics
Let be such that is measurable for every . Is it true that
where is continuous, is additive (so ), and for every and almost all (depending on ) ?
Let be such that is measurable for every . Is it true that
where is measurable, is additive (so ), and for every and almost all (depending on ) ?
Source: erdosproblems.com/908
An accepted solution exists. The statement is true.
PROVED, the site's label (page last edited 30 December 2025), which describes the corrected Statement: the site's commentary calls the problem a conjecture of de Bruijn and Erdős and credits Laczkovich [La80] with the affirmative answer. Laczkovich's Theorem 3 proves the corrected Statement and is recorded as an accepted full claim.
The change replaces "continuous" by "measurable" as the condition on ; nothing else changes. The evidence is the posers' own words. De Bruijn, whom the site credits as co-poser, records the conjecture as Erdős's in [dB51], printed p. 195, "where is measurable". Erdős's 1982 retrospective [Er82e], Chapter V, §3, printed p. 76, prints "where is continuous", cites [dB51] and [La80] beside the problem and reports that Laczkovich proved it. Laczkovich proved the measurable form: his Theorem 3 [La80], printed p. 224, proves it, and his introduction, printed p. 217, states Erdős's conjecture with measurable. The defect is already in [Er82e], and the site's wording follows it. The site's label and the problem's standing judge the corrected Statement. The site also cites [Er81b], Erdős's 'Problems' in The Scottish Book (1981), whose statement of the problem is not recorded here; the correction rests on [dB51], [Er82e] and [La80].