Suppose is a compact metric space and is a finite Borel measure on . Is the measure determined by the value of the measure of the balls?
Let be non-negative, finite Borel measures on that are singular with respect to each other. Find for -almost every and -almost every .
Let be an infinite dimensional normed space. There is no non-trivial translation invariant Borel measure on which is finite on open balls.
Show that if is a compact subset of , and if every intersection of with an hyperplane has measure zero in , then has measure zero.
Note This is valid for any measurable set in any -compact measure space by virtue of Tonelli’s theorem. The point is to prove this without using this. The fact that is compact will come in handy.