7.9.E: Problems on Lebesgue-Stieltjes Measures
- Page ID
- 24454
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Do Problems 7 and 8 in §4 and Problem 3' in §5, if not done before.
Prove in detail Theorems 1 to 3 in §8 for LS measures and outer measures.
Do Problem 2 in §8 for LS-outer measures in \(E^{1}\).
Prove that \(f : E^{1} \rightarrow(S, \rho)\) is right (left) continuous at \(p\) iff
\[\lim _{n \rightarrow \infty} f\left(x_{n}\right)=f(p) \text { as } x_{n} \searrow p\left(x_{n} \nearrow p\right).\]
[Hint: Modify the proof of Theorem 1 in Chapter 4, §2.]
Fill in all proof details in Theorem 2.
[Hint: Use Problem 4.]
In Problem 8(iv) of §4, describe \(m_{\alpha}^{*}\) and \(M_{\alpha}^{*}\).
Show that if \(\alpha=c\)constant on an open interval \(I \subseteq E^{1}\) then
\[(\forall A \subseteq I) \quad m_{\alpha}^{*}(A)=0.\]
Disprove it for nonopen intervals \(I\) (give a counterexample).
Let \(m^{\prime}: \mathcal{M} \rightarrow E^{*}\) be a topological, translation-invariant measure in \(E^{1}\), with \(m^{\prime}(0,1]=c<\infty.\) Prove the following.
(i) \(m^{\prime}=c m\) on the Borel field \(\mathcal{B}.\) (Here \(m: \mathcal{M}^{*} \rightarrow E^{*}\) is Lebesgue measure in \(E^{1}\).)
*(ii) If \(m^{\prime}\) is also complete, then \(m^{\prime}=c m\) on \(\mathcal{M}^{*}\).
(iii) If \(0<c<\infty,\) some set \(Q \subset[0,1]\) is not \(m^{\prime}\)-measurable.
*(iv) If \(\mathcal{M}^{\prime}=\mathcal{B},\) then \(c m\) is the completion of \(m^{\prime}\) (Problem 15 in §6).
[Outline: (i) By additivity and translation invariance,
\[m^{\prime}(0, r]=c m(0, r]\]
for rational
\[r=\frac{n}{k}, \quad n, k \in N\]
(first take \(r=n,\) then \(r=\frac{1}{k},\) then \(r=\frac{n}{k}\)).
By right continuity (Theorem 2 in §4), prove it for real \(r>0\) (take rationals \(r_{i} \searrow r\)).
By translation, \(m^{\prime}=c m\) on half-open intervals. Proceed as in Problem 13 of §8.
(iii) See Problems 4 to 6 in §8. Note that, by Theorem 2, one may assume \(m^{\prime}=m_{\alpha}\) (a translation-invariant \(L S\) measure). As \(m_{\alpha}=c m\) on half-open intervals, Lemma 2 in §2 yields \(m_{\alpha}=c m\) on \(\mathcal{G}\) (open sets). Use \(\mathcal{G}\)-regularity to prove \(m_{\alpha}^{*}=c m^{*}\) and \(\mathcal{M}_{\alpha}^{*}=\mathcal{M}^{*}\).]
(LS measures in \(E^{n}.\)) Let
\[\mathcal{C}^{*}=\left\{\text {alf-open intervals in } E^{n}\right\}.\]
For any \(\operatorname{map} G : E^{n} \rightarrow E^{1}\) and any \((\overline{a}, \overline{b}] \in \mathcal{C}^{*},\) set
\[\begin{aligned} \Delta_{k} G(\overline{a}, \overline{b}] &=G\left(x_{1}, \ldots, x_{k-1}, b_{k}, x_{k+1}, \ldots, x_{n}\right) \\ &-G\left(x_{1}, \ldots, x_{k-1}, a_{k}, x_{k+1}, \ldots, x_{n}\right), \quad 1 \leq k \leq n. \end{aligned}\]
Given \(\alpha : E^{n} \rightarrow E^{1},\) set
\[s_{\alpha}(\overline{a}, \overline{b}]=\Delta_{1}\left(\Delta_{2}\left(\cdots\left(\Delta_{n} \alpha(\overline{a}, \overline{b}]\right) \cdots\right)\right).\]
For example, in \(E^{2}\),
\[s_{\alpha}(a, b]=\alpha\left(b_{1}, b_{2}\right)-\alpha\left(b_{1}, a_{2}\right)-\left[\alpha\left(a_{1}, b_{2}\right)-\alpha\left(a_{1}, a_{2}\right)\right].\]
Show that \(s_{\alpha}\) is additive on \(\mathcal{C}^{*}\). Check that the order in which the \(\Delta_{k}\) are applied is immaterial. Set up a formula for \(s_{\alpha}\) in \(E^{3}\).
[Hint: First take two disjoint intervals
\[(\overline{a}, \overline{q}] \cup(\overline{p}, \overline{b}]=(\overline{a}, \overline{b}],\]
as in Figure 2 in Chapter 3, §7. Then use induction, as in Problem 9 of Chapter 3, §7.]
If \(s_{\alpha}\) in Problem 9 is nonnegative, and \(\alpha\) is right continuous in each variable \(x_{k}\) separately, we call \(\alpha\) a distribution function, and \(s_{\alpha}\) is called the \(\alpha\)-induced \(L S\) premeasure in \(E^{n};\) the \(L S\) outer measure \(m_{\alpha}^{*}\) and measure
\[m_{\alpha} : \mathcal{M}_{\alpha}^{*} \rightarrow E^{*}\]
in \(E^{n}\) (obtained from \(s_{\alpha}\) as shown in } §§5 and 6) are said to be induced by \(\alpha.\)
For \(s_{\alpha}, m_{\alpha}^{*},\) and \(m_{\alpha}\) so defined, redo Problems 1-3 above.