Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

8.1.E: Problems on Measurable and Elementary Functions in (S,M)

( \newcommand{\kernel}{\mathrm{null}\,}\)

Exercise 8.1.E.1

Fill in all proof details in Corollaries 2 and 3 and Theorems 1 and 2.

Exercise 8.1.E.2

Show that PP is as stated at the end of Definition 2.

Exercise 8.1.E.3

Given AS and f,fm:S(T,ρ),m=1,2,, let
H=A(fmf)
and
Amn=A(ρ(fm,f)<1n).
Prove that
(i) H=n=1k=1m=kAmn;
(ii) HM if all Amn are in M and M is a σ-ring.
[Hint: xH iff
(n)(k)(mk)xAmn.
Why?]

Exercise 8.1.E.3

Do Problem 3 for T=E and f=± on H.
[Hint: If f=+,Amn=A(fm>n)]

Exercise 8.1.E.4

4. Let f:ST be M-elementary on A, with M a σ -ring in S. Show the following.
(i) A(f=a)M,A(fa)M.
(ii) If T=E, then
A(f<a),A(fa),A(f>a), and A(fa)
are in M, too.
(iii) (BT)Af1[B]M.
[Hint: If
A=i1Ai
and f=ai on Ai, then A(f=a) is the countable union of those Ai for which ai=a.]

Exercise 8.1.E.5

Do Problem 4(i) for measurable f.
[Hint: If f=limfm for elementary maps fm, then
H=A(f=a)=A(fma).
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 ).]

Exercise 8.1.E.6

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.]

Exercise 8.1.E.7

7.  A set B(T,ρ) is called separable (in T) iff B¯D (closure of D) for a countable set DT.
Prove that if f:ST is M-measurable on A, then f[A] is separable in T.
[Hint: f=limfm for elementary maps fm; say,
fm=ami on AmiM,i=1,2,
Let D consist of all ami(m,i=1,2,); so D is countable (why?) and DT.
Verify that
(yf[A])(xA)y=f(x)=limfm(x),
with fm(x)D. Hence
(yf[A])y¯D,
by Theorem 3 of Chapter 3,§16.]

Exercise 8.1.E.8

8. Continuing Problem 7, prove that if B¯D and D={q1,q2,}, then
(n)Bi=1Gqi(1n),
[Hint: If pB¯D, any Gp(1n) contains some q1D; so
ρ(p,qi)<1n, or pGqi(1n).
Thus
(pB)pi1Gqi(1n)]

Exercise 8.1.E.9

Prove Corollaries 2 and 3 and Theorems 1 and 2, assuming that M is a semiring only.

Exercise 8.1.E.10

Do Problem 4 for M-simple maps, assuming that M is a ring only.


8.1.E: Problems on Measurable and Elementary Functions in (S,M) is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

Support Center

How can we help?