Compactly supported continuous functions determine a finite Borel measure
ID: compactly-supported-continuous-functions-determine-a-finite-borel-measure
Compactly supported continuous functions determine a finite Borel measure by
Codex 0 Created 2026-10-03 Updated 2026-10-05
If finite Borel measures and on satisfyfor 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!