Lebesgue-Stieljes Measures: Difference between revisions
Jump to navigation
Jump to search
Andysun1997 (talk | contribs) No edit summary |
Andysun1997 (talk | contribs) No edit summary |
||
| 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 </math> arising from the outer measure <math>\mu_F := 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 the measure <math>\mu_F := \mu_F^{*} \mid </math> arising from the outer measure <math>\mu_F := mu_F^{*} </math> {{math|''μ<sub>g</sub>''}} | ||
Revision as of 06:11, 19 December 2020
Given nondecreasing and right contiuous, define an outer measure by
![{\displaystyle \mu _{F}^{*}(A)=\inf \left\{\sum _{i}\mu _{F}^{*}(\left(a,b\right])\ :\ A\subset \bigcup _{i}\left(a,b\right]\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/426f2df40dd3f9b86da35165f7a52ba887196cfc)
where and the infimum taken over all coverings of A by countably many semiopen intervals. By Carathéodory's Theorem, we know that the measure arising from the outer measure Template:Math
![{\displaystyle \mu _{F}^{*}(\left(a,b\right])=F(b)-F(a)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bf603aad0fe2f4fd3be8821bbbd477146bb759c)
