Discussion Overview
The discussion revolves around the integrability of a function f over a subset E of a set S, where S is integrable. Participants explore conditions under which f remains integrable over E, focusing on concepts related to Riemann and Lebesgue integration.
Discussion Character
- Debate/contested
- Technical explanation
- Mathematical reasoning
Main Points Raised
- One participant questions whether a function f that is integrable over a set S implies that it is also integrable over any subset E of S.
- Another participant argues that this is not necessarily true, providing an example where f is integrable over [0,1] but not over the set of rational numbers within that interval.
- A later reply introduces the condition that E must not be of measure zero and asks for examples under this hypothesis.
- Another participant suggests that E should be measurable for the integrability of f to hold true.
- There is a clarification that measurable sets can include those of measure zero, but this does not guarantee Riemann integrability.
- One participant expresses disappointment that the integrability condition does not hold even when excluding measure zero sets, citing an example involving the union of rationals and an interval.
Areas of Agreement / Disagreement
Participants do not reach a consensus on the conditions under which f remains integrable over E. Multiple competing views regarding the definitions and implications of integrability persist throughout the discussion.
Contextual Notes
The discussion highlights the complexity of integrability, particularly distinguishing between Riemann and Lebesgue integration, and the implications of set measurability and measure zero on these concepts.
