Is a Lebesgue measurable subset a null set if each compact subset is a nullset?

279 Views Asked by At

If $A \subset \Bbb{R}$ is Lebesgue measurable.($m$ is Lebesgue measure) and for every compact $K \subset A$, $m(K)=0$; is it true that $m(A)=0$?

1

There are 1 best solutions below

1
On

Yes, $m(A) = 0$, given your hypothesis. This is a direct consequence of the inner regularity of Lebesgue measure, as David pointed out, which states that $$ m(A) = \sup\{ m(K) : K \subset A, K \textrm{ compact} \}. $$