The unit circle deformed
The distance between two points and in the classical Euclidean sense is
However, other measures are possible. On a grid (say, the distance to get from place to place in New York City), the distance is the lateral distance, since you can’t go on diagonals:
We can dream up scenarios in which we take the cube of each term, and the cube root overall, or any other power that we care to choose. We’ll generalize, and define the -norm of a vector to be
After you play with this for a while, you might ask, “what does the unit circle look like for some ?” We’ll explore this in two dimensions where it’s easy to see. Nothing new happens in higher dimensions.
is our usual norm, and the unit circle is our usual circle. If we go to , our grid norm above, then we are plotting the equation which is just four line segments connecting the points (1,0), (0,1), (-1,0), and (0,-1). The unit circles for look like
To see the more general behavior, note that we can take the norm of a fixed vector as a function of . If we fix , or any of the other points on the axes, then the norm doesn’t vary with —it’s always 1. If we go at forty five degrees between the axes (), then we have
This function looks like
Remember, we have here a fixed vector: its value goes down, so in order to get a length of 1, we have to put in a longer vector. The unit circle thus heads steadily towards a square.
The limiting case is the -norm, which is simply defined as , the largest component of the vector. A few moments thought show that the unit circle is simply the square centered at the origin with side length two, and all sides parallel to the axes.
Given these insights into the unit circle, we can actually use this to get another characteristic of a vector. How much does it lie on the axes? Are only two of its components in this basis important? Three?
To measure this, consider our vector . Take
What is this horrible object? Consider a simple case, where has components which are 1 and components which are 0. Then
When we evaluate this at , we get , which is at least monotonic in , and gives us an estimate of the number of components.