What’s The Deal With Hausdorff Spaces? (Part II) | Notational Notions
Last time, we learned that—in a world in which much is uncertain—at least we can trust continuous maps of Hausdorff spaces to behave nicely with respect to dense subsets. Or can we? We showed that if is dense, then any continuous map is determined by its values on , which jives well with our intuition about maps , for example. But in we can go ever farther. For any open set , we can construct a bump function that is nonzero on , but zero outside of . It follows that if is not dense, then continuous functions are not determined by their values on . Is this true of all Hausdorff spaces? The answer is yes, but proving it requires some creativity. The brute force approach does not work here—there is no clear way to create a bump function on some arbitrary space. If you consider yourself a point-set topology guru, I encourage you to try to prove the proposition yourself before reading on. Proposition: If is a Hausdorff space and is not dense, then there exists some Hausdorff space a
Explore this link on the map →