The closed bounded set is compact by the Heine-Borel theorem. Choose a convergent subsequence . For fixed and sufficiently large , monotonicity givesContinuity and passage to the limit give for every , hence .
For the deduction, set . These functions are continuous, decrease pointwise, and tend to zero. If convergence were not uniform, some would admit with . The result just proved would produce with , contradicting pointwise convergence. Therefore uniformly. This is Dini's theorem.
Articles by others on the same topic
There are currently no matching articles.