Discussion Overview
The discussion revolves around the properties of pointwise convergent functions and their implications for measurable sets. Participants explore whether the set where a pointwise limit function is less than or equal to a constant can be expressed in terms of the sets defined by the approximating functions. Additionally, there is a question regarding the measurability of certain sets derived from measurable sets.
Discussion Character
- Technical explanation
- Debate/contested
- Mathematical reasoning
Main Points Raised
- One participant questions if the set where the limit function \( f \) is less than or equal to \( a \) can be expressed as the limit inferior of the sets where the approximating functions \( f_n \) are less than or equal to \( a \).
- Another participant provides a counterexample using the functions \( f_n(x) = \frac{1}{n}x^2 \) and \( f(x) = 0 \) to illustrate that the proposed equality does not hold in general.
- There is a suggestion that the inclusion \( \{f \leq a\} \supseteq \liminf \{f_n \leq a\} \) is valid, but the exact equality is disputed.
- Regarding the second question, one participant asserts that the set derived from a measurable set by subtracting a constant is measurable, referencing the Borel-sigma-algebra.
- Another participant expresses confusion about the initial claim and seeks clarification on their reasoning, particularly concerning the dependence of \( n \) on \( \varepsilon \) in their argument.
- A later reply emphasizes that the dependence of \( n \) on \( \varepsilon \) undermines the validity of the argument that \( \varepsilon \) being arbitrary leads to a conclusion.
Areas of Agreement / Disagreement
Participants do not reach a consensus on the first question regarding the equality of sets, as a counterexample is provided that challenges the initial claim. There is agreement on the second question about the measurability of the derived set.
Contextual Notes
The discussion highlights the complexity of pointwise convergence and its implications for set theory, particularly in the context of measure theory. The counterexample provided raises questions about the conditions under which the proposed relationships hold.