1
$\begingroup$

In my Topological course we have this lemma.

[Urysohn's lemma] Suppose that $X$ is a topological space. Then $X$ is normal if and only if, for each pair of disjoint closed subsets $A$ and $B$, there is a continuous function $f:X \rightarrow [0,1]$ such that $f(A)=\{0\}$ AND $f(B)=\{1\}$.

Is there an easy way to visualize this? Also, is there an easy way to understand the proof of this.

The point is this is used to prove. Urysohn's metrization theorem, that is suppose $X$ is a Hausdorff, normal space which has a countable basis then $X$ is metrizable.

But, yeah I need to know the proofs of these for the exam. But, I can't picture them. Don't want to just memorize through, I could do that easily as 5 weeks is when the exam is on. If I look at the proof everyday for 5 minutes, pretty sure I can rote learn it. But, surely there is an easy way to picture this.

If you know a good book on this please say as well. The books I've looked in Munkres and Armstrong, however not that helpful.

One of the thing I hate about Analysis, is that the proofs aren't visual. Heavy definition type proofs with weird tricks. Hard to see what going on.

  • 0
    I do think I recall that the (German) book by Jähnisch, "Topologie" contained many visualizations, even for theorems for which one would not believe there are any. Maybe you have a copy at your local library -- you don't have to know German, just search for the names of the theorems. It's been a while, though, so don't hold your breath. My memory might fool me.2011-12-14
  • 0
    "The books I've looked in Munkres and Armstrong, however not that helpful." Weird, since I was going to suggest Munkres. I actually cannot imagine how one could do any better than what's in there...2011-12-14
  • 2
    [wikipedia article](http://en.wikipedia.org/wiki/Urysohn%27s_lemma) has a picture illustrating the proof of Urysohn's lemma. Something similar can probably found in many books and lecture notes too, quick google search led me to Patty: Foundations of topology, [p.187](http://books.google.com/books?id=lPkHohyOMogC&pg=PA187). (The first google books result which had a picture, I don't know anything more about this book.)2011-12-14
  • 0
    @Thomas I've looked at the book on google preview it looks really promising. It's been translated.Thanks for the book it appears to have what I want.2011-12-14
  • 2
    @Martin That looks a lot like the picture in Munkres, if I remember correctly. Good find, though!2011-12-14
  • 1
    @Dylan: It was not that difficult to find - I simply tried searching for Urysohn lemma at [google images](http://images.google.com/search?tbm=isch&q=Urysohn+lemma) and checked the first results at [google books](http://www.google.com/search?tbm=bks&tbo=1&q=Urysohn+lemma). You are right that almost the same picture is in Munkres. (On p.209 in 2nd Edition, it seems that there is no preview available at google books.2011-12-15
  • 0
    @Thomas: I've had a look at Jänich's Topologie, indeed, it contains many pictures (perhaps 1 per page?). It seems like something what OP was looking for, so you could perhaps post your comment as an answer. Unfortunately, most of the pictures are incomplete or not shown at all in google books: [Urysohn](http://books.google.com/books?id=vg1npIhAOQoC&q=Urysohn), [Tietze](http://books.google.com/books?id=vg1npIhAOQoC&q=Tietze).2011-12-15

1 Answers 1

1

The beautiful book: Jänich, K., Topology. Springer, 1984 also has a great picture illustrating the proof of Urysohn's lemma.

  • 0
    Signing answers is unnecessary. Thanks for the reference, though.2014-04-02
  • 1
    I agree this is an excellent reference for Urysohn's Lemma and Tietze's Extension Theorem.2014-12-05