Topology: Munkres - Urysohn lemma

  • Thread starter Fisicks
  • Start date
  • #1
85
0
Hi, the problem im referencing is section 33 problem 4.

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.
 

Answers and Replies

  • #2
14,342
11,657
I think we need a reference here as Urysohn doesn't make a statement about the values of ##f## outside ##A## and ##B##. Also "G(delta)" needs to be explained.
 

Related Threads on Topology: Munkres - Urysohn lemma

  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
2
Views
3K
Replies
3
Views
4K
Replies
1
Views
2K
Replies
5
Views
1K
  • Last Post
Replies
11
Views
2K
  • Last Post
Replies
1
Views
3K
Replies
7
Views
1K
Top