From Kurzweil-Henstock integration to charges in Euclidean spaces

An m charge in the n dimensional Euclidean space is a linear functional acting on m dimensional polyhedral chains and satisfying the following continuity condition. The value of the linear functional approaches zero on chains whose normal masses are bounded and whose flat norms asymptotically vanish. Our main theorem relates m charges to pairs of continuous differential forms. Luzin's theorem states that every measurable function on the line is the derivative of a continuous, almost everywhere differentiable function. We show this can be improved in several dimensions. Finally we prove that a compact subset C of the n dimensional Euclidean space does not support the distributional divergence of a bounded measurable vector field if and only if C has vanishing (n-1) dimensional Hausdorff measure.(MATH 3) -- UCL, 200