Lebesgue measure and integral on R - integrals of bounded measurable functions, comparison of Riemann and Lebesgue integrals, monotone convergence theorem, repeated integrals - One Line Questions
1.
The Dominated Convergence Theorem (DCT) requires that the sequence of measurable functions {f_n} be dominated by an integrable function g, meaning: —
|f_n(x)| ≤ g(x) for all n and x
2.
If {f_n} is a sequence of non-negative measurable functions such that f_n(x) ≤ f_{n+1}(x) for all n and x, and f(x) = lim_{n→∞} f_n(x), then the MCT states: —
∫ f dm = lim_{n→∞} ∫ f_n dm
3.
If f_n → f pointwise and |f_n| ≤ g where g is integrable, the DCT states: —
∫ f dm = lim_{n→∞} ∫ f_n dm
4.
The definition of the Lebesgue integral for a general measurable function f is to split it into its positive and negative parts, f = f^+ - f^-, where f^+(x) = max(f(x), 0) and f^-(x) = max(-f(x), 0). The integral is then defined as: —
∫ f^+ dm - ∫ f^- dm
5.
If f(x, y) is non-negative and measurable on R^2, then Fubini's Theorem guarantees: —
∫∫ f(x,y) dx dy = ∫ [∫ f(x,y) dy] dx
6.
If ∫∫ |f(x,y)| dx dy < ∞, then which of the following is true? —
∫∫ f(x,y) dx dy = ∫ [∫ f(x,y) dy] dx = ∫ [∫ f(x,y) dx] dy
7.
Consider the function f(x, y) = 1 on the unit square [0, 1] x [0, 1]. Calculate the repeated integral ∫_0^1 (∫_0^1 1 dy) dx. —
1
8.
What is the Lebesgue measure of a single point in R? —
0
9.
The Lebesgue measure of the set of rational numbers Q in R is: —
0
10.
Let f_n(x) = 1/n for all x in [0, 1]. What is lim_{n→∞} ∫_[0,1] f_n dm? —
0
11.
Let f_n(x) = x^n on [0, 1]. What is lim_{n→∞} ∫_[0,1] f_n dm? —
0
12.
Let f_n(x) = 1/n * sin(nx) on [0, 1]. What is lim_{n→∞} ∫_[0,1] f_n dm? —
0
13.
What is the Lebesgue integral of the Dirichlet function f(x) = 1_{Q}(x) (indicator of rationals) over [0, 1]? —
0
14.
Which of the following sets is Lebesgue measurable? —
The Cantor set
15.
If E is a measurable set and A is any subset of E, then m(A) ≤ m(E). This property is called: —
Monotonicity
16.
The concept of 'bounded measurable function' is important for the initial definition of the Lebesgue integral because: —
It simplifies the definition by relating it to the measure of sets.
17.
The Monotone Convergence Theorem (MCT) applies to a sequence of: —
Non-negative measurable functions.
18.
Consider f(x, y) = (x^2 - y^2) / (x^2 + y^2)^2 for (x, y) ≠ (0, 0). If we calculate the repeated integrals over the unit square [0, 1] x [0, 1], what do we find? —
19.
The Lebesgue integral of a constant function c over a measurable set E is: —
c * m(E)
20.
The Lebesgue integral is defined for a wider class of functions than the Riemann integral. Which type of function, problematic for Riemann integration, is handled well by Lebesgue integration? —
Functions with discontinuities on a set of positive measure
21.
Which property does the Lebesgue outer measure always satisfy? —
Subadditivity
22.
The condition ∫ |f| dm < ∞ for a measurable function f implies that: —
f is Lebesgue integrable.
23.
If we have a sequence of measurable functions f_n that converges to f in L^1 norm (i.e., ∫ |f_n - f| dm → 0), then it implies: —
lim ∫ f_n dm = ∫ f dm
24.
A function f is Lebesgue integrable if and only if: —
Both ∫ f^+ dm and ∫ f^- dm are finite.
25.
The concept of 'measurable function' is fundamental to Lebesgue integration. A function f is measurable if: —
Its inverse image of any measurable set is measurable.
26.
Which of the following statements about the Lebesgue integral is FALSE? —
It is always equal to the Riemann integral whenever both exist.
27.
What is Tonelli's Theorem? —
It states that for a non-negative measurable function, the repeated integrals are equal and equal to the double integral.
28.
What is Fatou's Lemma? —
It states that for a sequence of non-negative measurable functions {f_n}, ∫ lim inf f_n dm ≤ lim inf ∫ f_n dm.
29.
What is the relationship between Riemann integrability and Lebesgue integrability for a bounded function on a closed interval? —
Riemann integrability implies Lebesgue integrability.
30.
The MCT is crucial for proving the integrability of functions that are defined as: —
Limits of sequences of simple functions.
31.
A set E in R is Lebesgue measurable if and only if for every set A in R, the following equality holds: —
m*(A) = m*(A ∩ E) + m*(A ∩ E^c)
32.
Which theorem provides the foundation for interchanging the order of integration in Lebesgue calculus? —
Fubini's Theorem
33.
The DCT is more general than the MCT because it allows for: —
All of the above.
34.
Which of the following is NOT a property of Lebesgue measure? —
Finite subadditivity
35.
What is the primary difference between repeated integrals (or iterated integrals) and multiple integrals in the context of Lebesgue integration? —
Repeated integrals are computed by integrating with respect to one variable at a time, while multiple integrals are computed over a region.
36.
If f is Riemann integrable on [a, b], then f is Lebesgue integrable on [a, b]. What about the converse? —
The converse is true if the set of discontinuities of f has measure zero.
37.
Fubini's Theorem relates multiple integrals to repeated integrals under certain conditions. What is a key condition for Fubini's Theorem to hold? —
The function must be absolutely integrable.
38.
Fatou's Lemma is useful for establishing the existence of integrals for sequences of functions where: —
The functions are non-negative and converge pointwise.
39.
What is the definition of Lebesgue outer measure of a set E in R? —
The infimum of the sum of lengths of open intervals covering E.
40.
Which of the following is a consequence of the Monotone Convergence Theorem? —
The integral of a limit of a sequence of non-negative functions is the limit of their integrals.
41.
Let f be a bounded measurable function on a measurable set E with |f(x)| <= M for all x in E. The Lebesgue integral of f over E, denoted by ∫_E f dm, is defined as: —
The infimum of integrals of simple functions greater than or equal to f.
42.
If f is a Riemann integrable function on [a, b], then f is also Lebesgue integrable on [a, b], and their integrals are equal. This statement is: —
True
43.
If f is Riemann integrable on [a, b], the set of discontinuities of f has Lebesgue measure zero. This is a key reason why the Lebesgue integral coincides with the Riemann integral for such functions. —
True
44.
The Lebesgue integral ∫_E f dm is defined for non-negative measurable functions f as the supremum of ∫_E s dm over all simple functions s such that 0 ≤ s ≤ f. —
True
45.
If f_n → f pointwise and f_n are non-negative, the MCT implies ∫ f dm ≤ lim inf ∫ f_n dm. This is: —
False
46.
For a bounded measurable function f on a measurable set E, the Lebesgue integral ∫_E f dm is defined as the limit of integrals of simple functions that approximate f. Specifically, it's the supremum of integrals of simple functions s such that 0 ≤ s ≤ f. —
True, for f ≥ 0.
47.
If f is a bounded measurable function on R, and E is a measurable set with m(E) = 0, then ∫_E f dm is: —
0
48.
Consider a function f that is zero everywhere except at a single point c, where f(c) = 1. Is f Riemann integrable on [a, b] containing c? —
Yes, the integral is 0.
49.
Let f(x) = 1 if x is rational in [0, 1] and f(x) = 0 if x is irrational in [0, 1]. Is f Riemann integrable on [0, 1]? —
No, because the set of discontinuities has positive measure.