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

If $X=\mathbb{R}^2$. For $x=(x_1,x_2)$, $y=(y_1,y_2)$ define


Prove or disprove $(X,d_{1/2})$ is a metric space.

Attempt at a solution: After multiplying it out, it seems to boil down to $2|x_1-y_1|^{1/2}|x_2-y_2|^{1/2}$ satisfying the triangle inequality. However, I can't seems to prove or disprove this one way or another.

Intution, however, is leading me towards the fact that it is in fact not a metric space.

share|cite|improve this question
It might be easy to prove one way or the other if the distance were defined in a readable way. – André Nicolas Sep 12 '12 at 4:17


try $x = (1,0), y = (0,1)$.

Another way of gaining an intuition for this is thinking about the unit ball defined by this "norm", i.e. the set of points whose distance to the origin is $1$. For various $p$, if the norm is $( \sum_{i=1}^2 |x_i - y_i|^p )^{1/p}$, the balls look like this (from Wikipedia):enter image description here

What do all the balls for legitimate norms have in common, and what does this have to do with the triangle inequality?

share|cite|improve this answer
+1 nice picture – copper.hat Sep 12 '12 at 5:46

Try computing the triangle inequality on each pair from $(0,0), (0,d), (d,d)$.

share|cite|improve this answer

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.