- #1
jmjlt88
- 96
- 0
The question comes from the Munkres text, p. 133 #3.
Let Xn be a metric space with metric dn, for n ε Z+.
Part (a) defines a metric by the equation
Then, the problem askes to show that ρ is a metric for the product space X1 x ... x Xn.
When I originally started the problem, after showing that ρ is indeed a metric, I went on to try to show that the topology on X1 x ... x Xn induced by ρ is the same as the product topology (or we can say the box topology since our product is finite and therefore the two topologies coincide) on X1 x ... x Xn. I am fairly confident that I showed the ρ-topology is finer than the product toplogy, but I am having issues proving the converse. It boils down the following inequality;
If I can fill in the blank with some upperbound, then I believe that for each i,
Let Xn be a metric space with metric dn, for n ε Z+.
Part (a) defines a metric by the equation
ρ(x,y)=max{d1(x,y),...,dn(x,y)}.
Then, the problem askes to show that ρ is a metric for the product space X1 x ... x Xn.
When I originally started the problem, after showing that ρ is indeed a metric, I went on to try to show that the topology on X1 x ... x Xn induced by ρ is the same as the product topology (or we can say the box topology since our product is finite and therefore the two topologies coincide) on X1 x ... x Xn. I am fairly confident that I showed the ρ-topology is finer than the product toplogy, but I am having issues proving the converse. It boils down the following inequality;
di(x,y)≤ρ(x,y)≤____di(x,y).
If I can fill in the blank with some upperbound, then I believe that for each i,
Bdi(xi; ε/something) is a subset of Bρ(x;ε)
.After re-reading the question, I believe all that Munkres wants me to do is show that ρ indeed defines a metric. But, I am curious about the topology ρ generates (Perhaps, it is finer and that's it). Thank you for the help! :)