Measurable additive function is continuous

ID: measurable-additive-function-is-continuous

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!