I have recently learned some abstract concept of induced measures such as outer measure, inner measure, outer measurable, and complete measures on sigma-ring. I am confused as to what is the purpose of introducing these extensions? (some intuitive answers?)
I also learned about the existence of a nonmeasurable set(Vitali set), and cantor set as Lebesgue measurable but not Borel set.