^{repost from math.se.}

I was trying to generalize some results from measure theory to functions that are "almost" measures but not additive. Then, I thought it could be interesting to do this in a general fashion, by finding a general way to convert a non-additive set function to an additive one. Here is the general idea.

Suppose $f$ is a a set function. For concreteness, suppose $f$ is defined on the Borel subsets of the real interval $[0,1]$ and satisfies the following properties:

**Continuity**: $f(A)=0$ whenever $A$ has Lebesgue measure $0$ (in particular, $f(\emptyset)=0$).**Monotonicity**: $f(A)\leq f(B)$ whenever $A\subseteq B$.**Non-triviality**: $f([0,1])=1$.

I would like to define a function $g$ with the following properties:

**None**: $g(A)=0$ whenever $f(A)=0$**Whole**: $g(A)=1$ whenever $f(A)=1$**Middle**:If $C\supseteq B \supseteq A$ and $f(C\setminus B)=f(B\setminus A)$, then $g(B)=[g(C)+g(A)]/2$,

The intuition is that, if $B$ is exactly between $A$ and $C$ (according to the function $f$), then its measure is exactly between their measures (according to $g$).

MY QUESTIONS:

- What conditions on $f$ guarantee that such a function $g$ exists?
- If it exists, is it indeed additive?

POSITIVE EXAMPLE:

Let $f(A)=\text{length}(A)^2$. It is continuous, monotone and non-trivial, but it is not additive. Define $g$ by: $g(A)=\text{length}(A)$. It satisfies the None, Whole and Middle requirements, and it is indeed additive.

NEGATIVE EXAMPLE:

Let: $$ a(A) = \text{length}(A \cap [0,1/2]) $$ $$ b(A) = \text{length}(A \cap [1/2,1]) $$ $$ f(A) = a(A) + 2 b(A)^2 $$ So $f$ is continuous, monotone and non-trivial. Suppose that a function $g$ exists. Then by the Middle property: $$ g([0,1/2])=g([1/2,1])=0.5 $$ and: $$ g([0,1/4])=g([1/4,1/2])=g([1/2,3/4])=g([3/4,1])=0.25 $$

If $g$ is additive, then: $$ g([0,1/4]\cup[1/2,3/4])=0.5 $$

Again by the Middle property: $$ g([0,3/16])=g([3/16,1/4]\cup[1/2,3/4])=0.25 $$

But this does not make sense because $g([0,1/4])=g([1/2,3/4])=0.25$.

My conjecture is that an additive $g$ exists only if $f$ is an increasing monotone transformation of an additive function.

distortionof a measure and treated in Example 2.1 in Denneberg's book "Non-additive measure and integral" $\endgroup$ – Dirk May 6 '19 at 15:11