ehrenfest
- 2,001
- 1
Homework Statement
Urysohn's lemma
My book says that the "if" part of Urysohn's lemma is obvious with no explanation. Can someone explain why?
Urysohn's lemma applies specifically to normal topological spaces, which are defined by the ability to separate closed sets with disjoint open sets. The discussion clarifies that the "if" part of Urysohn's lemma is evident to some, particularly regarding the openness of sets like [0,1/2) and (1/2,1]. The confusion arises from the misconception that open sets must be open intervals in the real numbers, while they can also be open in a subspace topology. The Wikipedia link provided serves as a reliable reference for the lemma's formal statement.
PREREQUISITESMathematics students, particularly those studying topology, educators teaching advanced mathematics, and researchers exploring properties of topological spaces.
HallsofIvy said:It would have been a good idea to actually state Urysohn's lemma as it is given in your book. Sometimes statements vary from one book to another. In particular you should note that Urysohn's lemma only applies in NORMAL spaces. What is the definition of a "Normal" topological space?
[0, 1/2) is not an open subset of Rehrenfest said:Sorry. I meant to put a link to Wikipedia, which has the same statement of Urysohn's Lemma as that in my book.
http://en.wikipedia.org/wiki/Urysohns_lemma
It comes down to whether the sets [0,1/2) and (1/2,1] are open. Apparently this is obvious to other people, but it seems counterintuitive to me because I thought open sets were open intervals.