Lebesgue-Stieljes Measures: Difference between revisions

From Optimal Transport Wiki
Jump to navigation Jump to search
No edit summary
No edit summary
 
(22 intermediate revisions by the same user not shown)
Line 1: Line 1:
Given <math> F : R \rightarrow R </math> nondecreasing and right contiuous, define an outer measure by
Given <math> F : R \rightarrow R </math> nondecreasing and right contiuous, define an outer measure by


:<math>\mu_F(A) = \inf\left\{\sum_i \mu_F(\left(a, b\right]) \ : \  A\subset \bigcup_i \left(a, b\right] \right\}</math>
:<math>\mu_F^{*}(A) = \inf\left\{\sum_i \mu_F^{*}(\left(a, b\right]) \ : \  A\subset \bigcup_i \left(a, b\right] \right\}</math>


where <math> \mu_F(\left(a, b\right]) = F(b) - F(a) </math>
where <math> \mu_F^{*}(\left(a, b\right]) = F(b) - F(a) </math> and the infimum taken over all coverings of A by countably many semiopen intervals. By  Carathéodory's Theorem, we know that <math>\mu_F := \left.\mu_F^{*}\right|_{M_{\mu_F^{*}}}</math> is a measure. This measure is sometimes called the Lebesgue–Stieltjes measure associated with F.<ref name="Folland">Folland, Gerald B. (1999). ''Real Analysis: Modern Techniques and Their Applications'', John Wiley and Sons, ISBN 0471317160, Second edition.</ref>
{{math|''w''((''s'',''t'']) {{=}} ''g''(''t'') ''g''(''s'')}} and
 
{{math|''w''((''s'', ''t'']) {{=}} ''g''(''t'') − ''g''(''s'')}}
==References==

Latest revision as of 06:35, 19 December 2020

Given nondecreasing and right contiuous, define an outer measure by

where and the infimum taken over all coverings of A by countably many semiopen intervals. By Carathéodory's Theorem, we know that is a measure. This measure is sometimes called the Lebesgue–Stieltjes measure associated with F.[1]

References

  1. Folland, Gerald B. (1999). Real Analysis: Modern Techniques and Their Applications, John Wiley and Sons, ISBN 0471317160, Second edition.