SUMMARY
This discussion focuses on the existence of measurable functions \( f_n \) defined on a measure subspace where \( f_n \) converges to \( f \) almost everywhere (a.e.), yet \( f \) itself is not measurable. The key insight is that a measure space can be constructed where a subset of a measurable set of measure zero is not measurable, particularly using the Borel measure on the Cantor set. The Cantor function is suggested as a potential candidate for constructing these functions.
PREREQUISITES
- Understanding of measurable functions and measure spaces
- Familiarity with the concept of convergence almost everywhere (a.e.)
- Knowledge of Borel measures and their properties
- Basic concepts of the Cantor set and its characteristics
NEXT STEPS
- Study the properties of Borel measures and their completeness
- Research the construction of non-measurable sets within measure spaces
- Examine the Cantor function and its implications in measure theory
- Explore examples of functions that converge a.e. but are not measurable
USEFUL FOR
Mathematicians, graduate students in real analysis, and anyone studying measure theory and its applications in functional analysis.