Scribd
Upload
116 views1 page

Assignment 2 2020

This document contains an assignment on measurable sets from a measure theory and integration course. It includes 13 problems covering topics like algebras and sigma-algebras of subsets of the real line, properties of Lebesgue outer measure and measure, constructing measurable sets of a given measure, measurability of sets and functions, and properties of measurable spaces.

Uploaded by

BISWARUP MANDAL
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
116 views1 page

Assignment 2 2020

This document contains an assignment on measurable sets from a measure theory and integration course. It includes 13 problems covering topics like algebras and sigma-algebras of subsets of the real line, properties of Lebesgue outer measure and measure, constructing measurable sets of a given measure, measurability of sets and functions, and properties of measurable spaces.

Uploaded by

BISWARUP MANDAL
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

MA 51002: Measure Theory and Integration

Assignment - 2 (Spring 2020)


Measurable Set
Instructor: Dr. Bappaditya Bhowmik

Note: m∗ (A) and m(A) respectively denote Lebesgue outer measure and Lebesgue measure of a set
A ⊂ R.
(1) Determine whether the collection F given below is an algebra, a σ-algebra, or neither.
(i) F = {A ⊂ R : either A or Ac is finite}.
(ii) F = {A ⊂ R : either A or Ac is countable}. Verify that F is the σ-algebra generated by
the singletons.
(iii) F = {A ⊂ R : either m(A) = 0 or m(Ac ) = 0}. Verify that F is the σ-algebra generated
by the measure zero sets.
(2) (i) If m∗ (E) = 0, show that m∗ (E ∪ A) = m∗ (A) = m∗ (A \ E) for any A ⊂ R.
(ii) If E ⊂ [a, b] and m∗ (E) = 0, show that E c is dense in [a, b].
(3) Prove or disprove whether (i) the set of irrational numbers and (ii) the co-finite topology on
R belong to the Borel sigma algebra of R.
(4) Show that if 0 < m(A) ≤ ∞, then for each q < m(A) there is a measurable set B ⊂ A of
measure q.
(5) If A ⊂ E ⊂ B such that A and B are two measurable sets of finite measure. Prove that E is
measurable.
(6) (i) If A and B are two closed subsets of R show that A + B is measurable. Is it necessary that
sum of two measurable sets is also measurable?
(ii) Let f : R → R be a function. Show that the set of points where f is discontinuous is
a measurable set (by showing that it is a Fσ set). Hence conclude that there does not exist
a function on R having irrational numbers as the set of its discontinuities (hint: use Baire
Category theorem). Also show that there does not exist a function on R having rational
numbers as the set of its continuities.
(iii) Give an example of a Borel set which is neither Gδ nor Fσ .
(7) Prove or disprove: there exists sets A and B such that m(A) = 0 and m(B) = 0, but
m(A + B) > 0.
(8) Let f : R → R be differentiable and assume that there is no x ∈ R such that f (x) = f 0 (x) = 0.
Let S = {x ∈ [0, 1] : f (x) = 0}. What is m(S)?
(9) (i) Show that the set of real numbers in [0,1] which possess decimal expansion not containing
the digit 4 has Lebesgue measure zero.
(ii) Find the Lebesgue measure of the set of points in [0,1] which admit decimal expansions
containing all the digits 1,2,· · · ,9.
(iii) What is the Lebesgue measure of the set of points in [0,1] which admit decimal expansions
0.d1 d2 d3 · · · such that no sequence d3k d3k+1 d3k+2 , k ∈ N ∪ {0} consists of three consecutive
2’s?
(10) Let f (0) = 0 and f (x) = x sin(1/x) for x > 0. What is the measure of the set {x ∈ [0, 1] :
f (x) ≥ 0}?
n
(11) Let X = N and E ⊂ X. Let λ(E) = n+1 if E contains n points and λ(E) = 1 if E is infinite.
Determine the collection of λ-measurable sets.
(12) Let the rationals in Q are q1 , q2 , · · · and G be the set defined by G = ∪n≥1 (qn −1/n3 , qn +1/n3 ).
Prove or disprove for any closed set F , m(G 4 F ) > 0.
(13) Let M denotes the set of all measurable subsets of [0, 1]. For E, F ∈ M, define E ∼ F if
m(E 4 F ) = 0. Prove that ‘ ∼’ is an equivalence relation. Define d(E, F ) = m(E 4 F )
for E, F ∈ M. Show that (M, d) is a pseudometric space. Show that m is continuous as a
function on (M, d). Prove that (M, d) is complete.

You might also like