Uniform convergence of power series
Proposition 25
Suppose
is a bounded sequence. We’ve seen that if
is a point,
, then the sequence
converges, where
Suppose now that
is a function with initial set that contains all points
,
, and for each
,
,
converges to
. Show that if
and
, there is a positive integer
such that if
and
,
.
Soln
For each
,
let
be the least integer satisfying
. Let
be the collection of all
.
Claim:
is finite. Assume
is not finite, then for every
, there is a non-empty set
. Notice
, and each
contains infinitely many elements. From here we can use the same ‘boxing in’ process that we used to show power series converge: namely, since
is infinite, we can find a rectangle of definite size (which we get to choose) which contains infinitely many of
, and then a rectangle of even smaller size which contains infinitely many of
. Since we get to choose the size of the rectangles, we can make them converge to a point
as
. This point is in
, and therefore has the property that
, which is not possible. Therefore
is finite.
Since
is finite, it contains its maximum
which satisfies: if
and
,
.
The fact that
is used in making the rectangles to ensure that the
converged to satisfies
; otherwise you couldn't claim a contradiction.
Possibly relevant posts:
- A cool problem in measure theory (4/9/2007)
- Bolzano-Weierstrass theorem (2/6/2005)
- Every finite spanning set is a frame (5/26/2006)