Let X be a set, A a ring of subsets of X, μ ∶ A...
Let be a set, a ring of subsets of , a premeasure and the outer measure generated by . (By Caratheodory)
If and satisfacies , then for each existx such that
I try to test this, my first idea was to give a cover of , I just don't know if I can find said cover in , as the measure is not finite, so the extension is not unique, someone can give me a hint how to proceed?