Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

In my book, it says that any open ball $B(a,r)$ over the real numbers is equal to the open interval $(a-r,a+r)$. I wonder how I can prove that this is true, only using the metric axioms.

If the metric equals $d: \mathbb{R} \times \mathbb{R}: a,b \mapsto |b-a|$, then this is obviously true.

I know that a metric represents the distance, but does it necessarily have to equal the actual distance function $d$ I mentioned above. The reason why I ask this is because on $R^n$ you have several metrics, e.g. the Euclidian metric, the maximum metric, ...

share|cite|improve this question
up vote 9 down vote accepted

The statement is predicated on the assumption that $B(a,r)$ is defined in terms of the Euclidean metric. The function $$d:\mathbb{R}\times\mathbb{R}\to\mathbb{R}:(x,y)\mapsto 2\vert x-y\vert$$ is a perfectly good metric on $\mathbb{R}$ that generates the usual topology, but $$\begin{align*} B_d(a,r) &= \{x\in\mathbb{R}:d(a,x)<r\}\\ &= \{x\in\mathbb{R}:2\vert a-x\vert<r\}\\ &= \left(a-\frac{r}2,a+\frac{r}2\right), \end{align*}$$

not $(a-r,a+r)$.

share|cite|improve this answer
Ok, thanks you cleared that up! I'll accept your answer as soon as the system lets me. – sxd Oct 2 '11 at 1:23

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.