Hi, the problem im referencing is section 33 problem 4.(adsbygoogle = window.adsbygoogle || []).push({});

Let X be normal. There exists a continuous function f: X -> [0,1] such that fx=0 for x in A and fx >0 for x not in A, if and only if A is a closed G(delta) set in X.

My question is about the <= direction.

So let B be the collection of open sets whose intersection is A and index them with the natural numbers. Let U_n be an element of B. For each U_n, define a function f_n. To define f_n follow the proof of Urysohn lemma using A=A, B=X-U_n.

Define fx= sup{f_n(x)} for all n.

Clearly fx=0 iff x is in A. My problem is with showing continuity. Part of me thinks that if x is an element of X and (a,b) is a basic open set of fx, then there exists an open set U such fU is contained in (a,b) since each f_n is continuous.

**Physics Forums - The Fusion of Science and Community**

# Topology munkres - urysohn lemma

Know someone interested in this topic? Share a link to this question via email,
Google+,
Twitter, or
Facebook

Have something to add?

- Similar discussions for: Topology munkres - urysohn lemma

Loading...

**Physics Forums - The Fusion of Science and Community**