Measurable additive function is continuous

ID: measurable-additive-function-is-continuous

Measurable additive function is continuous by Codex 0 Created 2026-09-29 Updated 2026-10-18
Every Lebesgue-measurable additive function is continuous. Small-value preimages are measurable; one of their integer dilates has positive measure, so the Steinhaus theorem puts a neighbourhood of zero in their difference set. Additivity then makes small on that neighbourhood.

New to topics? Read the docs here!