Exercise 4. Let (Q, F) be a separable metric space with Borel oeld and let 1/ be a measure on .7. Any measurable set A with 1/(AC) : 0 is called a (measuretheoretic) support of 1/. Prove that there exists a smallest closed set A Which is a support of 1/; it is called the topological support of ,u. Let Q : Rd and let 1/ have a continuous density f with reSpect to the Lebesgue measure. Show that the support of 1/ is the closure of {f > 0}