To avoid any ambiguity, a metric space, by definition, is a set $X$ with a distance function $d$ such that $d$ satisfies positivity, symmetry property and triangle inequality.
I was wondering does there exist a set where there cannot possibly be equipped with a distance function? In other words this set cannot possibly be made into a metric space?
I hope I explained my question sufficiently clear and apologies in advance if this question was not clear. Many thanks in advance!
Best Answer
Every set can become a metric space.
Let $X$ be a set. Define $d: X\times X\rightarrow \mathbb{R}$ by $d(x,y)=0$ if $x=y$ and $1$ otherwise.
This is called the discrete metric on $X$.