Compactly supported continuous functions determine a finite Borel measure

ID: compactly-supported-continuous-functions-determine-a-finite-borel-measure

If finite Borel measures and on satisfy
for every compactly supported continuous function , then . This follows from the uniqueness part of the Riesz representation theorem; alternatively, continuous functions that approximate indicators from above and below recover the measure of every interval and hence every Borel set.

New to topics? Read the docs here!