Talk:Inner regular measure

Page contents not supported in other languages.
Source: Wikipedia, the free encyclopedia.

Tight and Radon The article states:

since a finite measure μ is inner regular if and only if, for all ε > 0, there is some compact subset K of X such that μ(X \ K) < ε.

I only know of a proof of this equivalence for metric spaces. Is it known to be true more generally? Logicdavid (talk) 13:49, 14 December 2023 (UTC)[reply]