Questions: Measurable Sets and σ-Algebra Properties

Question 1

A student asks: 'Why do σ-algebras require closure under countable unions? Wouldn't finite unions be enough?' What is the most precise answer?

• A. Countable sets are larger than finite sets, so countable closure includes more sets and gives a richer structure
• B. Finite unions would exclude most interesting sets like open and closed sets in the Borel σ-algebra
• C. Measure theory is built around limits of sequences of sets, and countable additivity — the central axiom of a measure — requires all countable unions of measurable sets to themselves be measurable
• D. We need countable unions specifically to handle probability spaces, where countably infinite sample spaces arise

Answer: (C)

The reason is structural and principled: countable additivity (μ(⋃Aₙ) = Σμ(Aₙ) for disjoint Aₙ) is the defining axiom of a measure. To even state this axiom, all the relevant countable unions must be measurable. If we only required finite closure, we could not take limits of measurable sets and expect the result to remain measurable — which is essential for analysis.

Question 2

Which of the following operations on measurable sets A and B is guaranteed to produce another measurable set?

• A. The uncountable union of translates of A indexed by all real numbers
• B. The set difference A \ B
• C. A set formed by choosing one representative from each equivalence class defined by a relation on A
• D. The power set of A (all subsets of A)

Answer: (B)

A \ B = A ∩ Bᶜ. Since Bᶜ is measurable (closure under complements) and A ∩ Bᶜ is a countable (here finite) intersection of measurable sets, it is measurable. Option A is an uncountable union — σ-algebras only guarantee closure under *countable* unions. Options C and D are Vitali/power-set constructions that escape the σ-algebra.

Question 3

A collection of subsets closed under finite unions and complements is automatically a σ-algebra.

• T. True
• F. False

Answer: False

Such a collection is an algebra (or field), not a σ-algebra. A σ-algebra additionally requires closure under *countable* (infinite) unions, not just finite ones. The distinction matters: an algebra closed under finite operations is not sufficient for defining a measure with countable additivity, because sequences of measurable sets may have unions that fall outside the collection.

Question 4

In a σ-algebra, countable intersections of measurable sets are automatically measurable, even though 'closure under intersections' is not listed as an axiom.

• T. True
• F. False

Answer: True

By De Morgan's law: ∩Aₙ = (∪Aₙᶜ)ᶜ. Since each Aₙᶜ is measurable (closure under complements), their countable union is measurable (closure under countable unions), and the complement of that union is measurable again. Intersection is a derived property, not an independent axiom — which is why σ-algebras can be stated parsimoniously with just complements and countable unions.

Question 5

Why do σ-algebras require closure under countable unions rather than just finite unions?

Model answer: Because measure theory is built around limits. The central axiom — countable additivity — states that the measure of a countable disjoint union equals the sum of individual measures. For this to be a well-formed statement, every countable union of measurable sets must itself be measurable. Finite closure would prevent us from taking limits of sequences of measurable sets and keeping the result in the σ-algebra, which would make the entire framework of Lebesgue integration and convergence theorems impossible.

The closure properties of σ-algebras are not arbitrary — each one is exactly what is needed to make measure consistent and self-contained under the operations of analysis. Countable unions are the minimum needed for the limit operations that are the whole point of the theory.