Take the 2-minute tour ×
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.

On the train home, I thought I would try to prove $\pi$ is irrational. I needed a definition, so I used:

$\pi$ is the area of the unit circle.

But what is a circle?

A circle is the set of tuples $(x,y)$ satisfying "$x^2 + y^2 \leq 1$".

That seems a little awkward - is there a more natural way to say it?

The standard distance metric on $\mathbb{R}^2$ is "$\sqrt{(x1-x2)^2 + (y1-y2)^2}$". A circle is the unit ball of this metric, and $\pi$ is its area.

But why do we use this metric in the first place? Why not use the Taxicab metric - it's linear so it'd seem to satisfy even more nice mathematical properties.

Because of the Pythagorean theorem.

And what property of $\mathbb{R}^2$ lets us prove the Pythagorean theorem?

This one took a little more thought. I think it comes about because we want to associate lengths to lines that are equivalent under translations and rotations. Translations seem pretty natural - but I'm having trouble defining rotations without being circular:

  • If you multiply a coordinate tuple by the appropriate matrix, you get a rotation - but the matrix's entries involve $\sin$ and $\cos$, which I would define as the coordinates on the unit circle(which is circular).

  • I can define the set of all infinite lines that go through the origin. Except for the vertical line, you might assume they all have the form $L_m = \{(x,y)|y = mx\}$ for some $m \in \mathbb{R}$. Given an $m \in \mathbb{R}$, I can't find an obvious way to get the point on the unit circle corresponding to it.

  • The complex number route just gives $\sin$ and $\cos$. Circular, again.

  • We can determine whether two vectors are orthogonal using the dot product. That reduces defining the entire unit circle to defining just a single quadrant(if we also assume the length of $-1 * x$ is the same as $x$).

  • A quick Google search shows circles were a primitive notion in Euclid's Elements.

  • There is another question/answer given here, but I was still left confused as to what a rotation actually is in $\mathbb{R}^2$: Why is the Euclidean metric the natural choice?

So my questions are:

  1. Out of all the possible metrics, why choose the Euclidean metric as the natural one? I think it's rotation that's the root cause, but that might end up being a red herring.
  2. How do we define a natural equivalence of points up to rotation from first principles?
  3. This is related to #1. If we define the set of infinite lines through the origin, you can choose a representative element from each one and form a perimeter curve(assuming a continuous choice function). What properties does the circle have that would make it a natural choice?
share|improve this question
5  
I must point out that the taxicab metric is not linear, it is only piecewise linear. So it doesn't satisfy as many nice mathematical properties as you might hope. –  Rahul Oct 26 '12 at 6:26
    
See en.wikipedia.org/wiki/Parallelogram_law, section 2. –  wj32 Oct 26 '12 at 12:48
    
"$\pi$ is the area of the unit circle" Better to say: "$\pi$ is the area of the unit disk." The circle is better defined as the set of tuples $(x,y)$ satisfying $x^2+y^2=1$. –  goblin Mar 10 at 0:49

4 Answers 4

up vote 19 down vote accepted

The Euclidean metric is special because it comes from what is called an inner product, and up to scaling it is the only metric that does so. This allows you to talk about angles between vectors in a sensible way, which you cannot do with other metrics.

So really we don't choose to use the Euclidean metric, so much as we choose to use the dot product (the only inner product on $\mathbb R^2$, up to scaling) and we get the Euclidean metric as a result.

share|improve this answer

The obvious reason why the euclidean metric is standard is that this is how distances appear to behave in nature. I would think in any universe the "Standard" metric aliens would talk about (if they talk about such a concept) is the one that most obviously conforms to actual physical distance in their universe. There are of course nice mathematical reasons for the euclidean metric.

share|improve this answer
1  
Some physics may suggest that space is Euclidean only in certain scales. At very large or very small scales it may not be. If so, you must assume that those aliens are about the same size as us. –  GEdgar Feb 4 '13 at 17:08

It is a bit philosophical, I guess, but when you don't want measure distances, but in stead measure "orders of magnitudes of distances", then a non-archimedean distance is better.

share|improve this answer

The so-called Euclidean metric is used to make $\mathbb R^2$ a model for the Euclidean plane. As described in Euclid's Elements.

share|improve this answer

Your Answer

 
discard

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.