Thoughts about separation (Urysohn’s Metrization theorem)
We now come up to one of the most important results of normality.
Although not explicitly stated every metric space has all the separation properties discussed up until now. Consequently, it is sometimes readily obvious when a space is not metrizable. For example, the topological space is not metrizable for the simple fact that it’s not . Conversely,every discrete space is metrizable under the discrete metric. That said, it is, in general, much harder to prove that a space is metrizable than to prove it is not. It turns that a sufficient (but not necessary) condition for a space to be metrizable is that it’s second countable and normal.
Before we give the actual theorem we prove an elementary theorem.
Theorem: Let be a topological space, then is metrizable if and only if it is homeomorphic to a subspace of a metric space .
Proof:
: If is metrizable then there exists some metric space such that the open sets induced by , denoted , are equal to . Thus, if define as the identity function. This is clearly bijective, so it remains to show that it’s bicontinuous.
So, let be open in then and so by previous discussion . But, since we see that it’s preimage is open. Thus, it is continuous.
Conversely, if is open in then and so is open.
The conclusion follows.
: Suppose that which is a subspace of . We know then that there exists some which is a homeomorphism. So, since for each we have that for some define by . This is clearly a metric on . The conclusion follows.
With this theorem in mind, to show that every second countable normal space is metrizable we must merely show that it’s homeomorphic to a subspace of a metric space. This process is commonly known as embedding.
Before we begin we need some preliminary results about a very common metric space.
or : The book I learned from refers to this space as but those with an analysis background you will recognize this as the more commonly coined .
So, let us construct this metric space and make some comments on it.
We define the underlying set of to be the set of all such that . In words “it is the set of all square summable sequences”.
We define by .
The positivedefiniteness and symmetry are obvious, and the triangle inequality follows from Minkowski’s inequality.
Thus, (from now on just denoted as ) is a metric space. We now may ask what some of it’s qualities are?
Well, not superrelevant but for those more accustomed with functional analysis, it is obvious that is a Hilbert space, and thus a Banach space.
Also, it is second countable. There is a way to finagle this around to use the earlier result that the countable product of second countable spaces is second countable, but there is an easier way. Let the set of all eventually zero rational sequences. It is clear that this is countable since .
It is also clear that it’s dense in . For, given any and any we may find some such that (this is just the Cauchy criterion). But, since is dense in we may find some such that . Thus, if we let then and
One last note. Since, as was mentioned above, is a Hilbert space, it is common to use the norm notation instead of the more metric space notation.
It turns out that second countability and normality is all a topological space requires to be embedded into . This is proved in the following theorem.
Theorem (Urysohn’s Metrization Theorem): Let be a second countable normal space, then may be embedded into and thus it is metrizable.
Proof: Let be the countable base for . Define to be . It is clear that is countable and so . For each we have that such that . Thus, by ‘s normality and Urysohn’s lemma we may find some such that . We are thus provided with a countable collection of mappings .
So, define by . There does need to be some justification for why is square summable. But, this follows directly from the fact that
Also, it’s injective. This is a little less obvious though. To see it, let then by ‘s normality there exists some basic open such that . But, by normality there exists some basic open such that . It follows that there exists some such that . Thus,
.
It is clear then that is a map. It remains to show that it’s bicontinuous.
To prove that is continuous it suffices to show that given any and there exists some neighborhood of such that . Since an infinite series of functions converges uniformly if it’s terms are bounded by the terms of an infinite series of constants (this is just the Weirstrass Mtest), it is easy to see that there exists some such that given any we have
But, by the continuity of each there exists some of such that
Thus, if we let , it is clear that by previous comment.
It remains to show that is continuous. Now, it suffices to show that given any and some basic open neighborhood of , that there exists some such that . We know that is the second coordinate of some pair such that . So, if we choose , then we see that
. Since , , and so . But, since we see that . The conclusion follows.
This is an amazing theorem but note that we said earlier that it is sufficient but not necessary for a second countable normal space to be metrizable. We end this by proving a quick theorem and then giving an example of a normal space which is not metrizable.
Remark: It is clear that there are metric spaces which aren’t second countable. Take any uncountable discrete space for example.
Theorem: Let be a compact Hausdorff space, then is metrizable if and only if it’s second countable.
Proof:
: If it is metrizable, then it is homeomorphic to a compact metric space. But, as we discussed earlier every compact metric space is separable and since separability and second countability imply each other in metric spaces it follows that the homeomorphic image of is second countable. But, since second countability is clearly invariant under homeomorphisms it follows that is second countable.
: Conversely, if it’s second countable and compact Hausdorff it is second countable and normal, and thus by the above theorem it is metrizable.
We now give an example of a space which is normal but not metrizable.
Example: Let under the usual topology for each and define under the product topology. Since the product of compact Hausdorff spaces is compact Hausdorff it follows that is compact Hausdorff, and thus normal. But, consider where and . This is clearly a class of open sets in and so is an open set which clearly has as an open cover. But, since every second countable space is Lindelof there must be a countable subocover of this cover. But, upon close inspection it has no proper subcover, and consequently no countable subcover. It follows that is not Lindelof and thus not second countable. And so appealing to the previous theorem we see that it cannot be metrizable.
March 10, 2010  Posted by Alex Youcis  General Topology, Topology, Uncategorized  Embeddable, Embedding, Topology, Urysohn's Metrization Theorem
1 Comment »
Leave a Reply Cancel reply
About me
My name is Alex Youcis. I am currently a senior a first year graduate student at the University of California, Berkeley.
About Me
Blogroll
 Absolutely Useless
 Abstract Algebra
 Annoying Precision
 Aquazorcarson's Blog
 Bruno's Math Blog
 Chris' Math Blog
 Climbing Mount Bourbaki
 E. Kowalski's Blog
 Geometric Group Theory
 Geometry and the Imagination
 Gower's Weblog
 Hard Arithmetic
 HardyRamanujan Letters
 Ngô Quốc Anh's Blog
 Project Crazy Project
 Rigorous Trivialities
 Secret Blogging Seminar
 SymOmega
 TCS Math
 Unapologetic Mathematician
 What's New
Lecture Notes
Categories
Top Posts
 Munkres Chapter two Section 12 & 13: Topological Spaces and Bases
 The Dual Group of a Cyclic Group
 Thoughts about connectedness (Totally disconnected spaces)
 Munkres Chapter 2 Section 19 (Part I)
 Munkres Chapter 2 Section 17
 Munkres Chapter 2 Section 18
 Munkres Chapter 2 Section 1
 The Dual Group of an Abelian Group
 Every Short Exact Sequence of Vector Spaces Splits
 Extending Uniformly Continuous Functions

Algebra Algebraic Combinatorics Algebraic Topology Analysis Answers Category Theory Chapter 2 Characters Character Theory Class Functions Compactness Complex Analysis Connectedness Derivative Differential Geometry Differential Topology DIrect Limit Direct Limits Examples Exterior Algebra Field Theory Finite Dimensional Vector Spaces Full Solutions Functor Galois Theory Geometry Group Group Actions Group Algebra Groups Group Theory Halmos Homological Algebra Homomorphism Homotopy Ideals Induced Character Induced Representation Intuition Inverse Limit Irreducible Characters Irreps Isomorphism Linear Algebra Linear Transformations Manifolds Matrices Module Modules Module Theory Motivation Multivariable Analysis Munkres Normal Subgroups Number Theory Permutations PID Polynomials Prime Ideals Products Product Topology Projections Representation Theory Review of Group Theory Riemann Surfaces Ring Rings Ring Theory Rudin Solutions Sylow Theorems Symmetric Group Tensor Product Topology Total Derivative
[…] consists of the continuous maps between the spaces. Also lurking in here is the category of all Banach spaces with contractions as […]
Pingback by Examples of Categories (Revisited) « Abstract Nonsense  November 2, 2011 