First we prove that every finite metric space is discrete. Indeed, let be a metric space, where is finite.
Let for every . Then , and so for every .
So we obtain that is discrete topological space.
But not every finite topological space is a discrete topological space, so not every topological space is metrizable.
Comments