Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am trying to prove, that given a metric on a finite set it induces exactly one topology. I have an idea which might lead to a proof, but am not sure:

For a finite set X with a given metric d we can prove it is a discrete topology:

$\forall x \in X$ take $r$ s.t. $ r := \min_{y \in X}(d(x, y))$. We can do this as $X$ is finite. This way we can construct open balls for each $x$ such that they contain only x. So each x is in a open subset which is a singleton. And therefore we have a discrete topology.

I am not sure how to proceed showing that it is only this topology that we can get from the metric space.

Thank you.

share|cite|improve this question
didn't you just prove that's the only topology you can get? – Dustan Levenstein May 6 '12 at 12:30
I do not know how to rigorously prove it is the only one. As from the question it seems that for infinite sets one can get many topologies using the same metric. – bim_bam May 6 '12 at 12:34
It's the other way round: There can be several metrics which induce the same topology. \\ Since you have started with an arbitrary metric on the set $X$, I would say your done with your proof. – Martin Sleziak May 6 '12 at 12:36
Your argument shows that any metric defined on a finite set will induce the discrete topology on that set. Therefore, the discrete topology is the only one that can be induced by a metric on a finite set. – John May 6 '12 at 13:56

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.