- #1
nonequilibrium
- 1,439
- 2
[topology] "The metric topology is the coarsest that makes the metric continuous"
Let (X,d) be a metric space. Show that the topology on X induced by the metric d is the coarsest topology on X such that [itex]d: X \times X \to \mathbb R[/itex] is continuous (for the product topology on [itex]X \times X[/itex]).
N.A.
I can prove that d is continuous, but I'm having trouble proving that the topology is the coarsest. Let V be a subset of R, then denote [itex]U := d^{-1}(V)[/itex] and suppose U is open. I want to prove that V is open, but I'm not sure how.
Homework Statement
Let (X,d) be a metric space. Show that the topology on X induced by the metric d is the coarsest topology on X such that [itex]d: X \times X \to \mathbb R[/itex] is continuous (for the product topology on [itex]X \times X[/itex]).
Homework Equations
N.A.
The Attempt at a Solution
I can prove that d is continuous, but I'm having trouble proving that the topology is the coarsest. Let V be a subset of R, then denote [itex]U := d^{-1}(V)[/itex] and suppose U is open. I want to prove that V is open, but I'm not sure how.