23

My class had a good time redeveloping the unit circle under the taxicab metric. Now some of them want to do it again with another similar metric. I want to give this to some of my "honors" high-school* calculus I students to work on independently. As such, it can't be too difficult or require too many advanced concepts.

What is another metric that I could introduce them to where one can describe a "unit circle" and try to make sense of the sine, cosine and tangent functions?

*I have a group of high school students enrolled in a college course. The course, as planned, is far too easy for them. (At the same time, it is quite hard for the college students enrolled. Go figure.) After the high school students do what has been assigned by the online learning system I have them work on other stuff-- which I allow to be pretty self-guided.

futurebird
  • 6,107
  • 2
  • 37
  • 58
  • 2
    Not a "metric" variant, but: Switch to the "unit hyperbola" ($x^2 - y^2 = 1$) and define the hyperbolic trig functions. Further, with $P$ on the curve, $Q$ at $(1,0)$ and $O$ the origin, define the "hyperbolic radian measure" of the angle $POQ$ by "twice the area of sector $POQ$", which matches the circular case. Indeed, when you get to integrating $1/x$ (which is an hyperbola of "radius" $\sqrt{2}$ rotated by 45 degrees), you can (w/work) express that area in terms of logs and, in turn, derive the standard formulas for the hyp-trig functions in terms of the exponential of hyperbolic radians. – Blue Nov 04 '10 at 11:31
  • how about the lorentz metric $\mathbb{R}^{3,1}$. – Matt Calhoun Nov 13 '10 at 14:00
  • I really like this question, both the goal and the subject. +1 – BBischof Nov 13 '10 at 21:02

4 Answers4

13

Two funny distances on $\mathbb{R}^2$:

The elevator distance.

$$ d((x_1,y_1),(x_2,y_2)) = \begin{cases} \vert y_1 - y_2 \vert & \text{if}\ x_1 = x_2 \\ \vert y_1 \vert + \vert x_1 - x_2 \vert + \vert y_2\vert & \text{otherwise} \end{cases} $$

The mail office distance.

$$ d(p,q) = \begin{cases} 0 & \text{if}\ p = q \\ \|p\| + \|q\| & \text{otherwise} \end{cases} $$

A good question to ask: why are they called "elevator" and "mail office" distances, respectively? :-)

EDIT. As Arturo Magidin points out, with these distances balls centered at the origin are not particularly interesting: you have to try with balls NOT centered at the origin.

MORE EDIT. Don: have you seen Arturo Magidin's comment about making balls centered at the origin "interesting"?

Agustí Roig
  • 16,909
  • 2
  • 40
  • 82
  • 1
    @Agustí Roig: These two are definitely interesting, but as applied to what a little don wants, they just give you "old" answers: the distance to the origin in the elevator distance is the taxi-cab norm, and the distance to the origin in the mail office distance is the usual distance. For the former, the "unit circle" is the rectangle $(1,0)(0,1)(-1,0)(0,-1)$, and for the latter the usual unit circle... – Arturo Magidin Nov 04 '10 at 04:18
  • 1
    @Arturo. You're right. I'm correcting this. And, you're right too, the distance to the origin is the taxicab norm, but not for other points in $\mathbb{R}^2$: it's the way to measure the distance when you go from the 53th floor of one Petronas Tower to the 84th floor on the other one. :-) – Agustí Roig Nov 04 '10 at 04:23
  • @Agustí Roig: Yes, I did figure out the answer to your last question, which is how I noticed you had your components switched. (-: – Arturo Magidin Nov 04 '10 at 04:26
  • @Arturo. But, again, the interesting part are the *other* circles, centered at other points, not the origin. I particularly like the mail office distance as an example of how a metric space doesn't need to be second countable. I'll add your remark about the balls centered at the origin. – Agustí Roig Nov 04 '10 at 04:27
  • @Agustí Roig: D'oh! I'm being silly: to get them to be "interesting" in the context of the unit circle, just "move" the elevator and "move" the post office (secretly, of course!). For mail office, just pick your favorite $x$ and do $||p-x||+||q-x||$ instead of $||p||+||q||$; for elevator, when $x_1\neq x_2$ do $|y_1-a| + |x_1-x_2|+|y_2-a|$ for your favorite $a$. You get *families*, and the shape of the "unit circle" depends on $x$ or $a$ (just like it depends on $p$ with the Holder norms). – Arturo Magidin Nov 04 '10 at 04:46
  • 1
    With these metrics, the shape of a circle depends both on its centre and on its radius. This could be another interesting aspect for don's students to explore. –  Nov 04 '10 at 05:13
  • @Arturo Magidin. :-DD Good point. @Rahul Narain. Yes, it's funny how the shapes change. :-) – Agustí Roig Nov 04 '10 at 06:34
11

Any norm defines a distance, by $d((a,b),(c,d)) = ||(a-c,b-d)||$. Some common norms:

  1. There are all the $p$-norms: $||(x,y)||_p = \sqrt[p]{|x|^p + |y|^p}$ (the usual norm occurs with $p=2$); you can do them for any $p$, $0\lt p\lt \infty$.

  2. The sup norm: $||(x,y)||_{\infty} = \max\{|x|,|y|\}$.

  3. You can take a positive linear combination of norms to create a new one.

  4. Given any linear transformation $A\colon\mathbb{R}^2\to\mathbb{R}^2$, and any norm $||\cdot||$, you can define the norm that maps $(x,y)$ to $||A(x,y)||$.

There is also the discrete metric, though that will create a rather nasty "unit circle".

It is actually nice to treat the sup norm, the $p$-norms, and the taxi-cab norm together. If you draw the "unit circles" for all of them, the limit of the $p$ norms as $p\to 0^+$ is the taxicab norm, while the limit as $p\to\infty$ is the sup norm.

Arturo Magidin
  • 356,881
  • 50
  • 750
  • 1,081
  • We have talked about p-norms, I think the sup norm might be a bit confusing since they just learned about infinity this semester. But, it's worth a shot. I need to see what linear transformations do the unit circle...I don't know off of the top of my head. (I'm hoping for a "cool" unit circle) – futurebird Nov 04 '10 at 03:17
  • @a little don: The reason you have an $\infty$ symbol in the sup norm is just that the sup norm is the limit, as $p$ goes to infinity, of the $p$-norms. There is absolutely no need to evne mention infinity in defining the sup norm: it's just the maximum of the absolute values of the entries, no $\infty$ at play at all. As for linear transformations, if they have two eigenvalues, you end up "distorting" the unit circle along the corresponding eigenspaces. Take them orthogonal and you get ellipses. – Arturo Magidin Nov 04 '10 at 03:20
  • ellipses sound very "cool" thank you, Arturo. – futurebird Nov 04 '10 at 03:39
  • @don: On the other hand, developing the equivalents of "sine" and "cosine" would seem to be a tad intricate with the Hölder norms. As for seeing what the "unit circles" might [look like](http://mathworld.wolfram.com/Superellipse.html)... – J. M. ain't a mathematician Nov 04 '10 at 03:42
  • Nitpick: the p-norms are only defined for p >= 1. For 0 < p < 1, the unit balls are not convex and thus, do not define a norm. – G. Rodrigues Nov 05 '10 at 12:28
  • @G. Rodrigues: Good point; you can still talk about the corresponding "unit ball", I guess. – Arturo Magidin Nov 05 '10 at 14:51
8

It is a lovely result of Hermann Minkowski that any plane centrally symmetric convex set can serve as the "unit ball" of a distance function.

Joseph Malkevitch
  • 4,925
  • 14
  • 14
4

One closely related to the two in Agusti's answer is what I call the bus metric (though I change the name to reflect the name of the local bus company - which seems to change each time I teach about metric spaces!). This is:

$$ d(p,q) = \begin{cases} \|p - q\|_2 & \text{if } p, q, 0 \text{ are collinear} \\\\ \|p\|_2 + \|q\|_2 & \text{otherwise} \end{cases} $$

(In Trondheim (where I am) then the majority of bus routes are radial, so this does link to the students' intuition.)

The students could do a nice animation of what happens to a ball of unit length centred at a point $(x,0)$ as $x$ ranges from, say, $-2$ to $2$.

MJD
  • 62,206
  • 36
  • 276
  • 489
Andrew Stacey
  • 3,033
  • 1
  • 18
  • 22