Homepage › Solution manuals › Terence Tao › An Introduction to Measure Theory › Exercise 1.2.1 (Countable unions/intersections of Jordan measurable sets need not be Jordan measurable)

Exercise 1.2.1 (Countable unions/intersections of Jordan measurable sets need not be Jordan measurable)

Show that the countable union ⋃ ⁡ n=1∞En or countable intersection ⋂ ⁡ n=1∞En of Jordan measurable sets E1,E2,… ⊆ ℝ need not be Jordan measurable, even when bounded.

Answers

Motivated by the Exercise 1.1.18, set

E = ⋃ q∈ℚ∩[0,1]{q} = [0,1] ∩ ℚ

Then each {q} for q ∈ ℚ ∩ [0,1] is a Jordan measurable set, yet E is not Jordan measurable. Similarly we see that

E = ⋂ q∈ℚ∩[0,1][0,1] ∩{q} = [0,1] ∩ ℚ

is not Jordan measurable as well.

User profile picture
2020-05-30 00:00
Comments

For union, let’s consider

⋃ q ∈ ℚ ∩ [ 0 , 1 ] { q } = [ 0 , 1 ] ∩ ℚ

For intersection, let’s consider

⋂ q ∈ ℚ ∩ [ 0 , 1 ] [ 0 , 1 ] ∖ { q } = [ 0 , 1 ] ∩ 𝕀

User profile picture
2023-09-24 19:54
Comments