- #1

- 743

- 1

## Homework Statement

Let (X,d) be a compact metric space, (f_n) be an equicontinuous sequences of functions in C(X, [itex]\mathbb{R} [/itex])such that, for every fixed x in X, [itex] (f_n(x)) \to 0 [/itex].

Show that (f_n) converges uniformly to the zero function

## Homework Equations

## The Attempt at a Solution

First things first, I started by noting that since X is compact, then C(X,R) (the space of all continuous functions from X to R) is equivalent to C_b(X,R), the set of all continuous bounded functions from X to R. Now R complete implies that F_b(X,R) is complete (set of bounded functions), and C_b(X,R) is a closed subset of F_b(X,R) and so is also complete. Thus it suffices to show that (f_n) is Cauchy with respect to the distance induced by the uniform norm. That is

[tex] \rho(f,g) = \sup \{ |f(x) - g(x) | | x \in X \} [/tex]

Let [itex] \epsilon > 0 [/itex]. Then (f_n) uniformly continuous implies [itex] \exists \delta >0 [/itex] such that [itex] \forall x,y \text{ satisfying } d(x,y) < \delta, |f(x)-f(y)| < \epsilon [/itex]. Since [itex] (f_n(x)) \to 0, \exists n_x[/itex] for each fixed x, such that [itex] |f_n(x)| < \epsilon [/itex].

Since X is compact, let [itex] x_1, \ldots, x_p [/itex] be a delta-net for X. Then [itex] \forall x \in X, \exists x_j \text{ such that } d(x,x_j) < \delta [/itex] and so [itex] |f_n(x) - f_n(x_j)| < \epsilon [/itex] for all n.

I'm not sure if I ended up doing some of this for no reason, but I can't quite figure out where to go from here.