Is outer measure a measure?

The following seems to be a perfect match to this question. In the following, $|*|$ denotes a Lebesgue measure, and $|*|_e$ denotes an outer measure. The outer measure does not satisfy the countable additivity on disjoint sets because of the existence of non-measurable sets. As a result, outer measure is not a measure.

enter image description here


You need to be careful about whether you're talking about measurable sets or any sets at all! There's confusion about this already in your first sentence

Lebesgue measure is shown to have countable additivity on disjoint sets, i.e. if $A_k$ is a countable sequence of disjoint measurable sets...;

you need to add the word "measurable" to the first clause.

You ask whether outer measure is countably additive, and precisely because of this confusion I'm not sure whether you're asking about additivity for any disjoint sets or just for measurable sets. The answer to your question is yes or no, depending. Outer measure is countably additive on measurable sets. It is not countably additive on sets in general.

You ask about a counterexample. It's not possible to give a simple example of non-additivity in general. Because the example has to involve non-measurable sets, and even proving that a non-measurable set exists is not trivial...