Regular measure

<h2 id="definition">Definition</h2>
Let (X, T) be a topological space and let Σ be a <a href="/facts/Sigma_algebra/8LJINLNc">σ-algebra</a> on X. Let μ be a measure on (X, Σ). A measurable subset A of X is said to be inner regular if

μ
        (
        A
        )
        =
        sup
        {
        μ
        (
        F
        )
        ∣
        F
        ⊆
        A
        ,
        F
        
           compact and measurable
        
        }
      
    
    {\displaystyle \mu (A)=\sup\{\mu (F)\mid F\subseteq A,F{\text{ compact and measurable}}\}}

This property is sometimes referred to in words as "approximation from within by compact sets." Some authors<a class="footnote-ref" id="fnref:1" href="#fn:1">1</a><a class="footnote-ref" id="fnref:2" href="#fn:2">2</a> use the term tight as a <a href="/facts/Synonym/a3BgMcdu">synonym</a> for inner regular. This use of the term is closely related to <a href="/facts/Tightness_of_measures/K9dvSWDp">tightness of a family of measures</a>, since a <a href="/facts/Finite_measure/GrjjuSXt">finite measure</a> μ is inner regular <a href="/facts/If_and_only_if/bYSxGJ66">if and only if</a>, for all ε > 0, there is some <a href="/facts/Compact_space/d0cgXJH7">compact subset</a> K of X such that μ(X \ K) < ε. This is precisely the condition that the <a href="/facts/Singleton_(mathematics)/LtNVfujT">singleton</a> collection of measures {μ} is tight.
It is said to be outer regular if

μ
        (
        A
        )
        =
        inf
        {
        μ
        (
        G
        )
        ∣
        G
        ⊇
        A
        ,
        G
        
           open and measurable
        
        }
      
    
    {\displaystyle \mu (A)=\inf\{\mu (G)\mid G\supseteq A,G{\text{ open and measurable}}\}}

<ul><li>A measure is called <a href="/facts/Inner_regular_measure/Slm20cCh">inner regular</a> if every measurable set is inner regular. Some authors use a different definition: a measure is called inner regular if every open measurable set is inner regular.</li>
<li>A measure is called outer regular if every measurable set is outer regular.</li>
<li>A measure is called regular if it is outer regular and inner regular.</li></ul>
<h2 id="examples">Examples</h2>
<h3>Regular measures</h3>
<ul><li>The <a href="/facts/Lebesgue_measure/8us9cGoW">Lebesgue measure</a> on the <a href="/facts/Real_line/6eq42xX5">real line</a> is a regular measure: see the <a href="/facts/Regularity_theorem_for_Lebesgue_measure/CjHh64e1">regularity theorem for Lebesgue measure</a>.</li>
<li>Any <a href="/facts/Baire_measure/UWELzYC5">Baire</a> <a href="/facts/Probability_measure/8BjhgoPR">probability measure</a> on any <a href="/facts/Locally_compact/hesalT7q">locally compact</a> <a href="/facts/%CE%A3-compact/Q6Y2H1v3">σ-compact</a> Hausdorff space is a regular measure.</li>
<li>Any <a href="/facts/Borel_measure/8cYR8Ysw">Borel</a> probability measure on a locally compact Hausdorff space with a countable base for its topology, or compact metric space, or <a href="/facts/Radon_space/CkUFcGap">Radon space</a>, is regular.</li></ul>
<h3>Inner regular measures that are not outer regular</h3>
<ul><li>An example of a measure on the real line with its usual topology that is not outer regular is the measure 
 
 
 
 μ
 
 
 {\displaystyle \mu }
 
 where 
 
 
 
 μ
 (
 ∅
 )
 =
 0
 
 
 {\displaystyle \mu (\emptyset )=0}
 
, 
 
 
 
 μ
 
 (
 
 {
 1
 }
 
 )
 
 =
 0
 
 
 
 
 {\displaystyle \mu \left(\{1\}\right)=0\,\,}
 
, and 
 
 
 
 μ
 (
 A
 )
 =
 ∞
 
 
 
 
 {\displaystyle \mu (A)=\infty \,\,}
 
 for any other set 
 
 
 
 A
 
 
 {\displaystyle A}
 
.</li>
<li>The Borel measure on the plane that assigns to any Borel set the sum of the (1-dimensional) measures of its horizontal sections is inner regular but not outer regular, as every non-empty open set has infinite measure. A variation of this example is a disjoint union of an uncountable number of copies of the real line with Lebesgue measure.</li>
<li>An example of a Borel measure 
 
 
 
 μ
 
 
 {\displaystyle \mu }
 
 on a locally compact Hausdorff space that is inner regular, σ-finite, and locally finite but not outer regular is given by Bourbaki (2004, Chapter IV, Exercise 5 of section 1) as follows. The topological space 
 
 
 
 X
 
 
 {\displaystyle X}
 
 has as underlying set the subset of the real plane given by the y-axis 
 
 
 
 {
 0
 }
 ×
 
 R
 
 
 
 {\displaystyle \{0\}\times \mathbb {R} }
 
 together with the points (1/n,m/n2) with m,n positive integers. The topology is given as follows. The single points (1/n,m/n2) are all open sets. A base of neighborhoods of the point (0,y) is given by wedges consisting of all points in X of the form (u,v) with |v − y| ≤ |u| ≤ 1/n for a positive integer n. This space X is locally compact. The measure μ is given by letting the y-axis have measure 0 and letting the point (1/n,m/n2) have measure 1/n3. This measure is inner regular and locally finite, but is not outer regular as any open set containing the y-axis has measure infinity.</li></ul>
<h3>Outer regular measures that are not inner regular</h3>
<ul><li>If μ is the inner regular measure in the previous example, and M is the measure given by M(S) = infU⊇S μ(U) where the inf is taken over all open sets containing the Borel set S, then M is an outer regular locally finite Borel measure on a locally compact Hausdorff space that is not inner regular in the strong sense, though all open sets are inner regular so it is inner regular in the weak sense. The measures M and μ coincide on all open sets, all compact sets, and all sets on which M has finite measure. The y-axis has infinite M-measure though all compact subsets of it have measure 0.</li>
<li>A <a href="/facts/Measurable_cardinal/2Er8f5zL">measurable cardinal</a> with the discrete topology has a Borel probability measure such that every compact subset has measure 0, so this measure is outer regular but not inner regular. The existence of measurable cardinals cannot be proved in ZF set theory but (as of 2013) is thought to be consistent with it.</li></ul>
<h3>Measures that are neither inner nor outer regular</h3>
<ul><li>The space of all ordinals at most equal to the first uncountable ordinal Ω, with the topology generated by open intervals, is a compact Hausdorff space. The measure that assigns measure 1 to Borel sets containing an unbounded closed subset of the countable ordinals and assigns 0 to other Borel sets is a Borel probability measure that is neither inner regular nor outer regular.</li></ul>
<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Borel_regular_measure/eAq0gmII">Borel regular measure</a></li>
<li><a href="/facts/Radon_measure/21adq3XN">Radon measure</a></li>
<li><a href="/facts/Regularity_theorem_for_Lebesgue_measure/CjHh64e1">Regularity theorem for Lebesgue measure</a></li></ul>

<h3>Bibliography</h3>
<ul><li>Billingsley, Patrick (1999). <a href="https://archive.org/details/convergenceofpro0000bill">Convergence of Probability Measures</a>. New York: John Wiley & Sons, Inc. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-471-19745-9.</li>
<li>Bourbaki, Nicolas (2004). Integration I. Springer-Verlag. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 3-540-41129-1.</li>
<li>Parthasarathy, K. R. (2005). Probability measures on metric spaces. AMS Chelsea Publishing, Providence, RI. p. xii+276. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-8218-3889-X. <a href="/facts/MR_(identifier)/uP137L11">MR</a><a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2169627">2169627</a> (See chapter 2)</li>
<li><a href="/facts/Richard_M._Dudley/dAoP1rm2">Dudley, R. M.</a> (1989). Real Analysis and Probability. Chapman & Hall.</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Ambrosio, L., Gigli, N. & Savaré, G. (2005). Gradient Flows in Metric Spaces and in the Space of Probability Measures. Basel: ETH Zürich, Birkhäuser Verlag. ISBN 3-7643-2428-7.{{cite book}}: CS1 maint: multiple names: authors list (link) <a href="3-7643-2428-7" target="_blank">3-7643-2428-7</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Parthasarathy, K. R. (2005). Probability measures on metric spaces. AMS Chelsea Publishing, Providence, RI. xii+276. ISBN 0-8218-3889-X. MR2169627 <a href="0-8218-3889-X" target="_blank">0-8218-3889-X</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
</ol>

Regular measure open-in-new

Regular measure