Definition/Fact: We say a bounded subset E ⊆ ℠is Jordan measurable if its characteristic function Xₑ is Riemann integrable.
Questions: For simplicity, we only consider subsets of [0,1]. Show the following properties:
a) 0 and 1 are Jordan measurable.
b) If E ⊆ [0,1] is Jordan measurable, then so is Eₖ = [0,1] \ E.
c) If E and F are Jordan measurable subsets of [0,1], then so are E ∪ F and E ∩ F.
d) Give an example where E, C, and E₃ are all Jordan measurable in [0,1], but E = E ∪ E₃ is not Jordan measurable. (Hint: The Dirichlet function is not Riemann integrable.) This says that Jordan measurable sets do NOT form a σ-algebra.