Let m'(A) = inf sum of |M_i| where i is from 1 to infinity, such that A is a subset of M_i. M_i's are disjoint.
Is m'(A) = m*(A) ?
m*(A) is outer measure.© BrainMass Inc. brainmass.com December 24, 2021, 5:30 pm ad1c9bdddf
A proof involving outer measure is provided. The solution is detailed and well presented.