Problem Set # 3 in Math 242 John Patrick B. Sta.

Maria 08-78749

Problem 1. Let (X, d) be a complete metric space and F C(X, R) such that for all x X, Fx := {f (x) : f F} is bounded. Show that there exist a nonempty open set U X and M R such that |f (x)| M for all x U and for all f F. Proof. For n N, dene An = {x X : |f (x)| n for all f F}. If x X, then by hypothesis, there exists Mx > 0 such that |f (x)| Mx for all f F. Let N N such that N > Mx . Then |f (x)| N for all f F. Thus, we have

X=
n=1

An .

(1)

Since each f F is continuous, then f 1 ((, n]) = {x X : |f (x)| n} is closed, for all f F . (being the inverse image of a closed set under f .) Hence, An =
f F

{x X : |f (x)| n}

(2)

is an intersection of closed sets, hence closed. This writes X as a countable union of closed sets {An } . Now, by the Baires theorem, there exists n0 N such that An0 is dense in n=1 a nonempty set U . Since, An0 is closed and dense in U , then U An0 . This means that |f (x)| n0 for each f F and for all x U . Take M = n0 . This completes the proof.