Lebesgue-Stieljes Measures: Difference between revisions

From Optimal Transport Wiki
Jump to navigation Jump to search
No edit summary
No edit summary
 
(10 intermediate revisions by the same user not shown)
Line 3: Line 3:
:<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> and the infimum taken over all coverings of A by countably many semiopen intervals. By  Carathéodory's Theorem, we know that the measure <math>\mu_F := \mu_F^{*} \mid _M_\mu_F^{*} </math> arising from the outer measure <math>\mu_F^{*} </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>\left.\frac{\partial f}{\partial x}\right|_{\hat x_{k-1}}</math>
 
==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.