Talk:Inner regular measure

Latest comment: 4 months ago by Logicdavid in topic Tight and Radon

Tight and Radon edit

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