• If you are citizen of an European Union member nation, you may not use this service unless you are at least 16 years old.

View

Quiz: Modes of convergence

last edited by 8 years, 11 months ago

This quiz is designed to test your knowledge of various types of convergence of sequences of functions. In all questions, the  are real-valued, absolutely integrable functions on a measure space .

Note that some questions have multiple correct answers.

Discuss this quiz

(Key: correct, incorrect, partially correct.)

1. If converges uniformly to , will imply converges pointwise to ?
1. Yes, always.
• CORRECT.
2. Yes if the domain has finite measure, but not in general.
3. Yes if one passes to a subsequence of , but not in general.
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
5. Yes if the functions are non-negative and monotone increasing, but not in general.
6. Yes if the functions are equicontinuous, but not in general.
7. None of the above.
2. If converges pointwise to , does this imply converges uniformly to ?
1. Yes, always.
2. Yes if the domain has finite measure, but not in general.
• INCORRECT. A counterexample is the "shrinking bump".
3. Yes if one passes to a subsequence of , but not in general.
• INCORRECT. A counterexample is the "sliding bump".
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
• INCORRECT. A counterexample is the "shrinking bump".
5. Yes if the functions are non-negative and monotone increasing, but not in general.
• INCORRECT. A counterexample is the "widening bump".
6. Yes if the functions are equicontinuous, but not in general.
• INCORRECT. This is not quite enough, consider for instance the "sliding bump". However, if the functions are uniformly equicontinuous and the domain is compact, then pointwise convergence implies uniform convergence.
7. None of the above.
• CORRECT.
3. If converges uniformly to , does this imply converges in the sense?
1. Yes, always.
• INCORRECT. A counterexample is the "widening, flattening bump".
2. Yes if the domain has finite measure, but not in general.
• CORRECT. This is one of two correct answers.
3. Yes if one passes to a subsequence of , but not in general.
• INCORRECT. A counterexample is the "widening, flattening bump".
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
• CORRECT. This is one of two correct answers.
5. Yes if the functions are non-negative and monotone increasing, but not in general.
• INCORRECT. Note that this does not even imply that is absolutely integrable.
6. Yes if the functions are equicontinuous, but not in general.
• INCORRECT. A counterexample is the "widening, flattening bump".
7. None of the above.
4. If converges to f in the sense, does this imply converges to uniformly?
1. Yes, always.
• INCORRECT. A counterexample is the "narrowing, increasingly tall bump".
2. Yes if the domain has finite measure, but not in general.
• INCORRECT. A counterexample is the "narrowing, increasingly tall bump".
3. Yes if one passes to a subsequence of f_n, but not in general.
• INCORRECT. A counterexample is the "narrowing, increasingly tall bump".
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
• INCORRECT. A counterexample is the "narrowing, increasingly tall bump".
5. Yes if the functions are non-negative and monotone increasing, but not in general.
• INCORRECT. A counterexample is the "slowly widening bump".
6. Yes if the functions are equicontinuous, but not in general.
• INCORRECT. A counterexample is the "sliding, narrowing, increasingly tall bump". However if the domain is compact and the functions are uniformly continuous, then we obtain uniform convergence.
7. None of the above.
• CORRECT.
5. If converges to in the sense, does this imply converges to pointwise a.e.?
1. Yes, always.
• INCORRECT. A counterexample is the "typewriter sequence".
2. Yes if the domain has finite measure, but not in general.
• INCORRECT. A counterexample is the "typewriter sequence".
3. Yes if one passes to a subsequence of , but not in general.
• CORRECT. This is a consequence of the Chebyshev (or Markov) inequality.
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
• INCORRECT. A counterexample is the "typewriter sequence".
5. Yes if the functions are non-negative and monotone increasing, but not in general.
• CORRECT. This is a consequence of the Chebyshev (or Markov) inequality.
6. Yes if the functions are equicontinuous, but not in general.
• INCORRECT. This is not enough, for instance consider a discrete space with atoms of arbitrarily small measure. However if the domain is compact and the functions are uniformly continuous, then we obtain uniform convergence.
7. None of the above.
6. If converges to pointwise a.e., does this imply converges to in the sense?
1. Yes, always.
• INCORRECT. A counterexample is the "sliding bump".
2. Yes if the domain has finite measure, but not in general.
• INCORRECT. A counterexample is the "narrowing, increasingly tall bump".
3. Yes if one passes to a subsequence of , but not in general.
• INCORRECT. A counterexample is the "sliding bump".
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
• CORRECT. This is the Lebesgue dominated convergence theorem.
5. Yes if the functions are non-negative and monotone increasing, but not in general.
• PARTIALLY. The monotone convergence theorem implies that the integral of converges to the integral of , which (if is absolutely integrable) implies convergence.
6. Yes if the functions are equicontinuous, but not in general.
• INCORRECT. A counterexample is the "sliding bump". However if the domain is compact and the functions are uniformly continuous, then we obtain uniform convergence.
7. None of the above.
7. If converges to pointwise a.e., does this imply converges to in measure?
1. Yes, always.
• INCORRECT. A counterexample is the "sliding bump".
2. Yes if the domain has finite measure, but not in general.
• CORRECT. This is a consequence of Egoroff's theorem.
3. Yes if one passes to a subsequence of , but not in general.
• INCORRECT. A counterexample is the "sliding bump".
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
• CORRECT. This is a consequence of the Lebesgue dominated convergence theorem.
5. Yes if the functions are non-negative and monotone increasing, but not in general.
• CORRECT. This is a consequence of continuity from below of the underlying measure.
6. Yes if the functions are equicontinuous, but not in general.
• INCORRECT. A counterexample is the "sliding bump". However if the domain is compact and the functions are uniformly continuous, then we obtain uniform convergence.
7. None of the above.
8. If converges to in measure, does this imply converges to pointwise a.e.?
1. Yes, always.
• INCORRECT. A counterexample is the "typewriter sequence".
2. Yes if the domain has finite measure, but not in general.
• CORRECT. A counterexample is the "typewriter sequence".
3. Yes if one passes to a subsequence of but not in general.
• INCORRECT. This is a consequence of countable sub-additivity of the underlying measure.
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
• INCORRECT. A counterexample is the "typewriter sequence".
5. Yes if the functions are non-negative and monotone increasing, but not in general.
• CORRECT. This is a consequence of monotonicity of the underlying measure.
6. Yes if the functions are equicontinuous, but not in general.
• PARTIALLY. This is true under some mild assumptions, for instance that every non-empty open set has positive measure.
7. None of the above.
9. If converges to uniformly, does this imply converges to in measure?
1. Yes, always.
• CORRECT.
2. Yes if the domain has finite measure, but not in general.
3. Yes if one passes to a subsequence of but not in general.
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
5. Yes if the functions are non-negative and monotone increasing, but not in general.
6. Yes if the functions are equicontinuous, but not in general.
7. None of the above.
10. If converges to in measure, does this imply converges to in uniformly?
1. Yes, always.
• INCORRECT. A counterexample is the "narrowing bump".
2. Yes if the domain has finite measure, but not in general.
• INCORRECT. A counterexample is the "narrowing bump".
3. Yes if one passes to a subsequence of , but not in general.
• INCORRECT. A counterexample is the "narrowing bump".
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
• INCORRECT. A counterexample is the "narrowing bump".
5. Yes if the functions are non-negative and monotone increasing, but not in general.
• INCORRECT. A counterexample is the "slowly widening bump".
6. Yes if the functions are equicontinuous, but not in general.
• INCORRECT. A counterexample can be found if the space is discrete and has atoms of arbitrarily small measure. However if the domain is compact and the functions are uniformly continuous, then we obtain uniform convergence.
7. None of the above.
11. If converges to in the sense, does this imply converges to in measure?
1. Yes, always.
• CORRECT. This is a consequence of the Chebyshev or Markov inequality.
2. Yes if the domain has finite measure, but not in general.
3. Yes if one passes to a subsequence of , but not in general.
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
5. Yes if the functions are non-negative and monotone increasing, but not in general.
6. Yes if the functions are equicontinuous, but not in general.
7. None of the above.
12. If converges to in measure, does this imply converges to in the sense?
1. Yes, always.
• INCORRECT. A counterexample is given by the "narrowing, increasingly tall bump".
2. Yes if the domain has finite measure, but not in general.
• INCORRECT. A counterexample is given by the "narrowing, increasingly tall bump".
3. Yes if one passes to a subsequence of f_n, but not in general.
• INCORRECT. A counterexample is given by the "narrowing, increasingly tall bump".
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
• CORRECT. This can be obtained (with some effort) from the Lebesgue dominated convergence theorem.
5. Yes if the functions are non-negative and monotone increasing, but not in general.
• INCORRECT. A counterexample is given by .
6. Yes if the functions are equicontinuous, but not in general.
• INCORRECT. A counterexample can be found if the space is discrete and has atoms of arbitrarily small measure. However if the domain is compact and the functions are uniformly continuous, then we obtain convergence.
7. None of the above.
13. If converges to uniformly, does this imply converges to almost uniformly?
1. Yes, always.
• CORRECT.
2. Yes if the domain has finite measure, but not in general.
3. Yes if one passes to a subsequence of , but not in general.
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
5. Yes if the functions are non-negative and monotone increasing, but not in general.
6. Yes if the functions are equicontinuous, but not in general.
7. None of the above.
14. If converges to almost uniformly, does this imply converges to uniformly?
1. Yes, always.
• INCORRECT. A counterexample is the "narrowing bump".
2. Yes if the domain has finite measure, but not in general.
• INCORRECT. A counterexample is the "narrowing bump".
3. Yes if one passes to a subsequence of , but not in general.
• INCORRECT. A counterexample is the "narrowing bump".
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
• INCORRECT. A counterexample is the "narrowing bump".
5. Yes if the functions are non-negative and monotone increasing, but not in general.
• INCORRECT. A counterexample is the "slowly widening bump".
6. Yes if the functions are equicontinuous, but not in general.
• INCORRECT. A counterexample can be found if the space is discrete and has atoms of arbitrarily small measure. However if the domain is compact and the functions are uniformly continuous, then we obtain uniform convergence.
7. None of the above.
15. If converges to almost uniformly, does this imply converges to in the sense?
1. Yes, always.
• INCORRECT. A counterexample is the "widening, flattening bump".
2. Yes if the domain has finite measure, but not in general.
• INCORRECT. A counterexample is the "narrowing, increasingly tall bump".
3. Yes if one passes to a subsequence of , but not in general.
• INCORRECT. A counterexample is the "widening, flattening bump".
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
• CORRECT. This is a consequence of the dominated convergence theorem.
5. Yes if the functions are non-negative and monotone increasing, but not in general.
• INCORRECT. A counterexample is .
6. Yes if the functions are equicontinuous, but not in general.
• INCORRECT. A counterexample can be found if the space is discrete and has atoms of arbitrarily small measure. However if the domain is compact and the functions are uniformly continuous, then we obtain uniform convergence.
7. None of the above.
16. If converges to in the sense, does this imply converges to almost uniformly?
1. Yes, always.
• INCORRECT. A counterexample is the "typewriter sequence".
2. Yes if the domain has finite measure, but not in general.
• INCORRECT. A counterexample is the "typewriter sequence".
3. Yes if one passes to a subsequence of , but not in general.
• CORRECT. This is a consequence of the Chebyshev or Markov inequality.
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
• INCORRECT. A counterexample is the "typewriter sequence".
5. Yes if the functions are non-negative and monotone increasing, but not in general.
• INCORRECT. This is a consequence of the Chebyshev or Markov inequality.
6. Yes if the functions are equicontinuous, but not in general.
• INCORRECT. A counterexample can be provided by considering a slowly moving typewriter sequence. However if the domain is compact and the functions are uniformly continuous, then we obtain uniform convergence.
7. None of the above.
17. If converges to almost uniformly, does this imply converges to in measure?
1. Yes, always.
• CORRECT.
2. Yes if the domain has finite measure, but not in general.
3. Yes if one passes to a subsequence of , but not in general.
4. Yes if the functions are dominated by an absolutely integrable
5. Yes if the functions are non-negative and monotone increasing, but not in general.
6. Yes if the functions are equicontinuous, but not in general.
7. None of the above.
18. If converges to in measure, does this imply converges to almost uniformly?
1. Yes, always.
• INCORRECT. A counterexample is the "typewriter sequence".
2. Yes if the domain has finite measure, but not in general.
• INCORRECT. A counterexample is the "typewriter sequence".
3. Yes if one passes to a subsequence of , but not in general.
• CORRECT. This is a consequence of countable subadditivity of the underlying measure.
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
• INCORRECT. A counterexample is the "typewriter sequence".
5. Yes if the functions are non-negative and monotone increasing, but not in general.
• INCORRECT. This is a consequence of monotonicity of the underlying measure.
6. Yes if the functions are equicontinuous, but not in general.
• INCORRECT. A counterexample can be provided by considering a slowly moving typewriter sequence. However if the domain is compact and the functions are uniformly continuous, then we obtain uniform convergence.
7. None of the above.
19. If converges to   pointwise a.e., does this imply converges to almost uniformly?
1. Yes, always.
• INCORRECT. A counterexample is the "sliding bump".
2. Yes if the domain has finite measure, but not in general.
• CORRECT. This is Egoroff's theorem.
3. Yes if one passes to a subsequence of , but not in general.
• INCORRECT. A counterexample is the "sliding bump".
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
• CORRECT. This can eventually be deduced from Egoroff's theorem.
5. Yes if the functions are non-negative and monotone increasing, but not in general.
• INCORRECT. A counterexample is provided by the characteristic functions of .
6. Yes if the functions are equicontinuous, but not in general.
• INCORRECT. A counterexample can be provided by .
7. None of the above.
20. If converges to   almost uniformly, does this imply converges to pointwise a.e.?
1. Yes, always.
• CORRECT.
2. Yes if the domain has finite measure, but not in general.
3. Yes if one passes to a subsequence of , but not in general.
4. Yes if the functions are dominated by an absolutely integrable function, but not in general.
5. Yes if the functions are non-negative and monotone increasing, but not in general.
6. Yes if the functions are equicontinuous, but not in general.
7. None of the above.