Sequences and Series of Functions
[26/15%]Prove that every uniformly convergent sequence of bounded functions is uniformly bounded.
If and converge uniformly on a set , prove that converges uniformly on . If, in addition, and are sequences of bounded functions, prove that converges uniformly on .
Construct sequences which converge uniformly on some set , but such that does not converge uniformly on (of course, must converge on E).
Consider
For what values of does the series converge absolutely? On what intervals does it converge uniformly? On what intervals does it fail to converge uniformly? Is continuous wherever the series converges? Is bounded?
Let
Show that converges to a continuous function, but not uniformly. Use the series to show that absolute convergence, even for all , does not imply uniform convergence.
Prove that the series
converges uniformly in every bounded interval, but does not converge absolutely for any value of .
For real, put
Show that converges uniformly to a function , and that the equation
is correct if , but false if .
If
if is a sequence of distinct points of , and if converges, prove that the series
converges uniformly, and that is continuous for every .
Let be a sequence of continuous functions which converges uniformly to a function on a set . Prove that
for every sequence of points such that , and . Is the converse of this true?
Letting denote the fractional part of the real number (see Exercise 16, Chap.4, for the definition), consider the function
Find all discontinuities of , and show that they form a countable dense set. Show that is nevertheless Riemann-integrable on every bounded interval.
Suppose are defined on , and
has uniformly bounded partial sums;
uniformly on ;
for every .
Prove that converges uniformly on E. Hint: Compare with Theorem 3.42.
Suppose and are defined on , are Riemann-integrable on [ ] whenever uniformly on every compact subset of , and
Prove that
(See Exercises 7 and 8 of Chap. 6 for the relevant definitions). This is a rather weak form of Lebesgue's dominated convergence theorem (Theorem 11.32). Even in the context of the Riemann integral, uniform convergence can be replaced by pointwise convergence if it is assumed that . (See the articles by F. Cunningham in Math. Mag., vol. 40, 1967, pp. 179-186, and by H. Kestelman in Amer. Math. Monthly, vol. 77, 1970, pp. 182-187).
Assume that is a sequence of monotonically increasing functions on with for all and all .
Prove that there is a function and a sequence such that
for every . (The existence of such a pointwise convergent subsequence is usually called Helly's selection theorem).
If, moreover, is continuous, prove that uniformly on compact sets.
Hint: (i) Some subsequence converges at all rational points , say, to . (ii) Define , for any , to be , the sup being taken over all . (iii) Show that at every at which is continuous. (This is where monotonicity is strongly used). (iv) A subsequence of converges at every point of discontinuity of since there are at most countably many such points. This proves (a). To prove (b), modify your proof of (iii) appropriately.
Let be a continuous real function on with the following properties: for every , and
Put , where
Prove that is continuous and that maps onto the unit square . If fact, show that maps the Cantor set onto .
Hint: Each has the form
where each is 0 or 1. If
show that , and hence that . (This simple example of a so-called "space-filling curve" is due to I. J. Schoenberg, Bull. A.M.S., vol. 44, 1938, pp. 519).
Suppose is a real continuous function on for , and is equicontinuous on . What conclusion can you draw about ?
Suppose is an equicontinuous sequence of functions on a compact set , and converges pointwise on . Prove that converges uniformly on .
Define the notions of uniform convergence and equicontinuity for mappings into any metric space. Show that Theorems 7.9 and 7.12 are valid for mappings into any metric space, that Theorems 7.8 and 7.11 are valid for mappings into any complete metric space, and that Theorems 7.10, 7.16, 7.17, 7.24, and 7.25 hold for vector-valued functions, that is, for mappings into any .
The cited results, as stated in the book for (real or complex) functions.
Theorem 7.8: The sequence of functions , defined on , converges uniformly on if and only if for every there exists an integer such that , , implies .
Theorem 7.9: Suppose . Put . Then uniformly on if and only if as .
Theorem 7.10: Suppose is a sequence of functions defined on , and suppose . Then converges uniformly on if converges.
Theorem 7.11: Suppose uniformly on a set in a metric space. Let be a limit point of , and suppose that . Then converges, and .
Theorem 7.12: If is a sequence of continuous functions on , and if uniformly on , then is continuous on .
Theorem 7.16: Let be monotonically increasing on . Suppose on , for , and suppose uniformly on . Then on , and . (The existence of the limit is part of the conclusion.)
Theorem 7.17: Suppose is a sequence of functions, differentiable on and such that converges for some point on . If converges uniformly on , then converges uniformly on , to a function , and .
Theorem 7.24: If is a compact metric space, if for , and if converges uniformly on , then is equicontinuous on .
Theorem 7.25: If is compact, if for , and if is pointwise bounded and equicontinuous on , then (a) is uniformly bounded on , (b) contains a uniformly convergent subsequence.
(Here is the class of functions Riemann--Stieltjes integrable with respect to , and is the set of all complex-valued, continuous, bounded functions on .)
Let be a uniformly bounded sequence of functions which are Riemann-integrable on , and put
Prove that there exists a subsequence which converges uniformly on [a, ].
Let be a compact metric space, let be a subset of . Prove that is compact (with respect to the metric defined in Section 7.14) if and only if is uniformly closed, pointwise bounded, and equicontinuous. (If is not equicontinuous, then contains a sequence which has no equicontinuous subsequence, hence has no subsequence that converges uniformly on ).
If is continuous on and if
prove that on . Hint: The integral of the product of with any polynomial is zero. Use the Weierstrass theorem to show that .
Let be the unit circle in the complex plane (i.e., the set of all with ), and let be the algebra of all functions of the form
Then separates points on and vanishes at no point of , but nevertheless there are continuous functions on which are not in the uniform closure of . Hint: For every
and this is also true for every in the closure of .
Assume on , and prove that there are polynomials such that
(Compare with Exercise 12, Chap. 6).
Put , and define, for ,
Prove that
uniformly on . (This makes it possible to prove the Stone-Weierstrass theorem without first proving Theorem 7.26).
Hint: Use the identity
to prove that if , and that
if .
Let be a metric space, with metric . Fix a point . Assign to each the function defined by
Prove that for all , and that therefore . Prove that
for all . If it follows that is an isometry (a distance-preserving mapping) of onto .
Let be the closure of in . Show that is complete. Conclusion: is isometric to a dense subset of a complete metric space . (Exercise 24, Chap. 3 contains a different proof of this).
Suppose is a continuous bounded real function in the strip defined by . Prove that the initial-value problem
has a solution. (Note that the hypotheses of this existence theorem are less stringent than those of the corresponding uniqueness theorem; see Exercise 27, Chap. 5).
Hint: Fix . For , put . Let be a continuous function on such that ,
and put
except at the points , where . Then
Choose so that . Verify the following assertions.
, and , say, on [0, 1], for all .
is equicontinuous on , since .
Some converges to some , uniformly on .
Since is uniformly continuous on the rectangle ,
uniformly on .
uniformly on , since
in .
Hence
This is a solution of the given problem.
Prove an analogous existence theorem for the initial-value problem
where now , and is a continuous bounded mapping of the part of defined by into . (Compare Exercise 28, Chap. 5). Hint: Use the vector-valued version of Theorem 7.25.