Question about the NagataSmirnov metrization theoremby radou Tags: metrization, nagatasmirnov, theorem 

#1
Dec3010, 01:13 PM

HW Helper
P: 3,225

So, the NagataSmirnov metrization theorem states that a space X is metrizable iff it is regular and has a basis that is countably locally finite.
Obviously, this is a stronger theorem than the Urysohn metrization theorem, since it gives not only conditions for metrizability, but says that a metrizable space must be regular and have a countably locally finite basis. Also, it is a stronger statement because of the fact that X itself need not have a countable basis (like in the Urysohn theorem)  a collection may be conuntably locally finite, but still be uncountable. Now, the concept of the proof is to imbed X into the metric space (R^J, ρ), where ρ is the uniform metric on R^J. Now, after a few steps, one arrives at a function F : X > [0, 1]^J defined with F(x) = (fn,B(x)), where (n, B) is in J, and where a pair (n, B) means that the basis element B is in Bn (B' = U Bn is a countably locally finite basis for X) . By an earlier theorem, relative to the product topology, the map F is an imbedding of X into [0, 1]^J. Now, the uniform metric is finer than the product topology, so images of open sets in X will be open in F(X). One still needs to show that F is continuous with respect to the uniform topology. Now, my question is: why didn't we imbed F into the same space, but with the metric which induces the product topology? Wouldn't the map F then automatically be continuous? 



#2
Dec3010, 02:22 PM

Mentor
P: 16,518

The reason is simply: the space [tex][0,1]^J[/tex] with the product topology is not a metric space. In fact, we have that [tex][0,1]^J[/tex] is a metric space if and only if J is countable.
In general, the product space [tex]\prod_{i\in I}{X_i}[/tex] is metrizable if and only if I is countable. So, while you could easily embed the space in [tex][0,1]^J[/tex] with the product topology, it does not follow that our space is metrizable. That's why Munkres puts another topology on [tex][0,1]^J[/tex], namely the uniform topology. Then metrizability follows easily, but it's a bit harder to show that our embedding is continuous... The embedding of the space into [tex][0,1]^J[/tex], with the product topology, can be useful however. For example, when trying to find a compactification of the space... 



#3
Dec3010, 02:30 PM

HW Helper
P: 3,225

Ahh, it's fascinating how things slip my mind! Of course, it's stated nicely in Theorem 20.5. that it applies to Rω!
Yes, showing continuity of this map is a bit tricky, I'm going through the proof right now, I'll post again if there'll be any questions. 



#4
Dec3010, 02:34 PM

HW Helper
P: 3,225

Question about the NagataSmirnov metrization theorem
Btw, the Urysohn metrization theorem, the NagataSmirnov metrization theorem, and the Nagata metrization theorems are basically all we know about metrizability, right? (I did not yet reach the Nagata theorem, I see it follows after the chapter on paracompactness in the book)




#5
Dec3010, 02:44 PM

Mentor
P: 16,518

However, the Urysohn, NagataSmirnov and Smirnov theorems are by far the most useful! For example, the Smirnov metrization theorem is often used in differential geometry. So if you want to show the metrizability of some space, then these 3 are the most useful... 



#6
Dec3010, 02:51 PM

HW Helper
P: 3,225

OK, so just to jump back to the upper posts and sum up:
One constructed a imbedding F into [0, 1]^J in the product topology, i.e. a homeomorphism. Now, we consider the same space with the uniform topology. The topological structure with respect to the mapping stays unchanged, but continuity becomes a question, since the topology of the codomain is changed, right? i.e. all the properties of the imbedding are preserved except continuity, because we changed the topology on [0, 1]^J? That's why one needs to check continuity... 



#7
Dec3010, 02:58 PM

Mentor
P: 16,518

Yes, that is correct. We make the topology of the codomain finer, but that means that continuity becomes an issue. So you need to check it...




#8
Dec3010, 03:01 PM

HW Helper
P: 3,225

OK, actually, here's the clearest possible way (I think) to express what I was saying:
A homeomorphism is a bijective correspondence f : X > Y such that U is open iff f(U) is open. When we change the topology in the codomain, pointwise, it doesn't affect the bijective correspondence, but the topology may be affected, in the "direction" that if f(U) is open, then U must be open. And exactly that is what's checked in the proof. 



#9
Dec3010, 04:17 PM

Mentor
P: 16,518

Well, take a homeomorphism f:X>Y. Then f is a homeomorphism iff the following holds: U is open if and only if f(U) is open.
However, when you change the topology on Y, then both directions of the "if and only if" can be disturbed. So both continuity of f and [tex]f^{1}[/tex] can be disturbed. However, if you take a coarser topology on Y, then the continuity of f remains true. It is the continuity of [tex]f^{1}[/tex] that forms the problem. But, in this case, you have finer topology. Then the continuity of f becomes a problem, but the continuity of [tex]f^{1}[/tex] might not be true anymore. But all this is probably what you meant... 



#10
Dec3010, 04:44 PM

HW Helper
P: 3,225

Sorry if I'm misunderstanding something, but I'd really like to get this straight. 



#11
Dec3010, 04:59 PM

Mentor
P: 16,518

Wow, physicsforums is being wierd today. It doesnt even let me post properly



Register to reply 
Related Discussions  
A question about the Urysohn metrization theorem  Differential Geometry  8  
a question about mean value theorem  Calculus & Beyond Homework  2  
KolmogorvSmirnov goodness of fit test  Calculus & Beyond Homework  2  
Metrization question  Calculus  12  
meanvalue theorem question  Calculus  2 