Metric space of all bounded real functions is complete

[winter85]

Homework Statement

Let X be a non-empty set and let C be the set of all bounded real functions defined on X, with the metric induced by the supremum norm: d(f,g) = ||f - g|| = sup |f(x)-g(x)| , x in X.
Show that the metric space (C,d) is complete.
Hint: if \{f_{n}\} is a cauchy sequence, then \{f_{n}(x)\} is a cauchy sequence for all x in X.

Homework Equations

The Attempt at a Solution

let \{f_{n}\} be a cauchy sequence in (C,d). From the definition, we have for all x in X: |f_{n}(x) - f_{m}(x)| \leq ||f_{n} - f_{m}|| so \{f_{n}(x)\} is cauchy for all x in X, hence it converges (because range of f is complete). Let f denote the function whose value at x is the limit of f_{n}(x) as n goes to infinity. Thus for every e > 0 and x in X, there exists N(x,e) > 0 such that |f_{n}(x) - f(x)| < e whenever n > N(x,e).

Now correct me if I'm wrong, but I cannot deduce from the last statement what the problem is asking for, unless f is uniformly convergent over X, that is, N(x,e) is independent of x. But that can't be true in general. Is there something I'm missing?

This problem is taken from Simmons' Introduction to Topology and Modern Analysis. However in Rudin's Principles of Mathematical Analysis, a book that I went through a few months before, I read this:

C(X) denotes the set of all complex-valued, continuous, bounded functions with domain X. [...]
A sequence {f_{n}} converges to f with respect to the metric of C(X) (induced by the supremum norm as above) if and only if fn -> f uniformly on X.

Is there something I'm missing or is the result the original problem is asking for is wrong?

 

[Office_Shredder]

Keep in mind also that {f_n} Cauchy means that f_n gets uniformly close to each other (which is where you can get the uniform convergence through clever use of the triangle inequality)

 

[winter85]

ok, thank you. I figured it out :)

 

[symbol0]

So once you have that fn --> f uniformly on X, how do you get that the space is complete?

 

[Office_Shredder]

symbol, that's it... by definition it's complete if every Cauchy sequence converges.

 

[symbol0]

By definition, a metric space M is complete if every Cauchy sequence in M converges in M.
So in this case we would have to show that every Cauchy sequence in (C,d) converges in (C,d).
So if fn --> f under the sup norm, I guess we have to show that f is in (C,d).

 

[Office_Shredder]

You have to show it's bounded, but that's pretty easy since each f_n is bounded, and f_n converges uniformly to f... so we know for some n, |f_n(x)-f(x)|<1 for all x, and if |f_n(x)|<M for some M for all x, |f(x)|<M+1 necessarily