Is there/need there be a mathematical definition of a "direction"? I recall learning the phrase "a vector is something with magnitude and direction" many years ago. It dawned on me that "magnitudes" are well defined as numbers (or numbers with units), but I have never heard of a definition of a "direction." I know unit vectors can be treated like directions, but they are still technically vectors. I figure a direction would have the following properties:


*

*A direction times a number is a vector

*The inner product of a direction with a direction is a number

*Directions cannot be added or subtracted


The motivation is to mathematically define directions like "north" or "east." It makes sense to say "4 meters north" or "6 meters east," and makes sense to say "4 meters north and 6 meters east" but it makes no sense to say "north and east" because you never specified how much north or east. However, it is perfectly reasonable to say $north\cdot east=0$ because north and east are perpendicular.
One could go further and define outer or exterior products between directions and inner products between the resulting entities.
So it seems to me there is decent motivation to formalize the notion of a direction, but I am unaware of whether anyone has done it.
 A: There are several ways you could define direction.  Here's one that I think is intuitively clear:
Two non-zero vectors $\vec{u}, \vec{v}$ in $\mathbb{R}^n$ are equivalent if there exists $\lambda > 0$ such that $\vec{v} = \lambda \vec{u}$.  It is an easy exercise to check that this is indeed an equivalence relation.
A direction is an equivalence class of non-zero vectors.  This captures the notion that direction is "which way" the arrow is pointing, but it doesn't matter how long the arrow is.
The "multiplication" of a positive real number $\lambda$ and a direction should be the (unique) vector in the equivalence class of the direction that has length $\lambda$.  The "product" of two directions (I'd prefer to call it the cosine of the angle between them) should be $\frac{\vec{u}}{||\vec{u}||} \cdot \frac{\vec{v}}{||\vec{v}||}$, where $\vec{u}$ and $\vec{v}$ are any representatives of the equivalence classes corresponding to the two directions.  (Again, it's easy to check that you get the same number no matter which representatives you select.)  Finally, note that adding or subtracting directions is not well-defined; in this case, the result of adding or subtracting representatives of the equivalence class give different values depending on which representatives you choose.
A: I have also been thinking about this question for over 20 years and assumed the answer was known, because it can be explained pretty simply in everyday life. At the same time, it is definitely not a trivial consideration. 
Perhaps you would like to try my definition : 'direction' is that part or quality of the vector that implies a second reference point separate from a first.  
In other words, 'to move from a to b' gives a direction whereas simply 'to move from a' does not give a direction. 
Hopefully you can see this makes logical sense : It is not possible to move in any direction from 'a', without also implying or defining 'b' or 'c' or 'north' or 'northwest' ... 
And this brings to light another fascinating, complementary necessity : the definition of a quantity or revelation of a destination that is separate from the starting point is what allows direction to be created. 
