proof of Dinis theorem

mathcam
2013-03-21 14:17:21
Without loss of generality we will assume that X is compact and, by replacing fn with f fn , that the net converges monotonically to 0.
Let  > 0. For each x X, we can choose an nx , such that fnx (x) < /2.
Since fnx is continuous, there is an open neighbourhood Ux of x, such that
for each y Ux , we have fnx (y) < /2. The open sets Ux cover X, which is
compact, so we can choose finitely many x1 , . . . , xk such that the Uxi also cover
X. Then, if N nx1 , . . . , nxk , we have fn (x) <  for each n N and x X,
since the sequence fn is monotonically decreasing. Thus, {fn } converges to 0
uniformly on X, which was to be proven.

hProofOfDinisTheoremi created: h2013-03-21i by: hmathcami version: h33038i Privacy

setting: h1i hProofi h54A20i
This text is available under the Creative Commons Attribution/Share-Alike License 3.0.
You can reuse this document or portions thereof only if you do so under terms that are
compatible with the CC-BY-SA license.