8.1.E: Problems on Measurable and Elementary Functions in (S,M)
( \newcommand{\kernel}{\mathrm{null}\,}\)
selected template will load here
This action is not available.
( \newcommand{\kernel}{\mathrm{null}\,}\)
Fill in all proof details in Corollaries 2 and 3 and Theorems 1 and 2.
Show that P′∩P′′ is as stated at the end of Definition 2.
Given A⊆S and f,fm:S→(T,ρ′),m=1,2,…, let
H=A(fm→f)
and
Amn=A(ρ′(fm,f)<1n).
Prove that
(i) H=⋂∞n=1⋃∞k=1⋂∞m=kAmn;
(ii) H∈M if all Amn are in M and M is a σ-ring.
[Hint: x∈H iff
(∀n)(∃k)(∀m≥k)x∈Amn.
Why?]
Do Problem 3 for T=E∗ and f=±∞ on H.
[Hint: If f=+∞,Amn=A(fm>n)⋅]
⇒4. Let f:S→T be M-elementary on A, with M a σ -ring in S. Show the following.
(i) A(f=a)∈M,A(f≠a)∈M.
(ii) If T=E∗, then
A(f<a),A(f≥a),A(f>a), and A(f≥a)
are in M, too.
(iii) (∀B⊆T)A∩f−1[B]∈M.
[Hint: If
A=∞⋃i−1Ai
and f=ai on Ai, then A(f=a) is the countable union of those Ai for which ai=a.]
Do Problem 4(i) for measurable f.
[Hint: If f=limfm for elementary maps fm, then
H=A(f=a)=A(fm→a).
Express H as in Problem 3, with
Amn=A(hm<1n),
where hm=ρ′(fm,a) is elementary. (Why?) Then use Problems 4( ii) and 3( ii ).]
⇒6. Given f,g:S→(T,ρ′), let h=ρ′(f,g), i.e.,
h(x)=ρ′(f(x),g(x)).
Prove that if f and g are elementary, simple, or measurable on A, so is h.
[Hint: Argue as in Theorem 1. Use Theorem 4 in Chapter 3,§15.]
⇒7. A set B⊆(T,ρ′) is called separable (in T) iff B⊆¯D (closure of D) for a countable set D⊆T.
Prove that if f:S→T is M-measurable on A, then f[A] is separable in T.
[Hint: f=limfm for elementary maps fm; say,
fm=ami on Ami∈M,i=1,2,…
Let D consist of all ami(m,i=1,2,…); so D is countable (why?) and D⊆T.
Verify that
(∀y∈f[A])(∃x∈A)y=f(x)=limfm(x),
with fm(x)∈D. Hence
(∀y∈f[A])y∈¯D,
by Theorem 3 of Chapter 3,§16.]
⇒8. Continuing Problem 7, prove that if B⊆¯D and D={q1,q2,…}, then
(∀n)B⊆∞⋃i=1Gqi(1n),
[Hint: If p∈B⊆¯D, any Gp(1n) contains some q1∈D; so
ρ′(p,qi)<1n, or p∈Gqi(1n).
Thus
(∀p∈B)p∈∞⋃i−1Gqi(1n)⋅]
Prove Corollaries 2 and 3 and Theorems 1 and 2, assuming that M is a semiring only.
Do Problem 4 for M-simple maps, assuming that M is a ring only.