Okay, now to lay out the actual objects of our current interest. These are basically collections of vectors in some inner product space , but with each vector comes a reflection and we want these reflections to play nicely with the vectors themselves. In a way, each point acts as both “program” — an operation to be performed — and “data” — an object to which operations can be applied — and the interplay between these two roles leads to some very interesting structure.
First off, only nonzero vectors give rise to reflections, so we don’t really want zero to be in our collection . We also may as well assume that spans , because it certainly spans some subspace of and anything that happens off of this subspace is pretty uninteresting as far as goes. These are the things that would just be silly not to ask for.
Now, the core requirement is that if , then the reflection should leave invariant. That is, if is any vector in , then
is also a vector in . In particular, this means that we have to have . But we don’t want any other scalar multiples of to be in , because they’d just give the same reflection again and that would be redundant.
Of course, we could just throw in more and more vectors as we need to make invariant under all of its reflections, and each new vector introduces not only new images under the existing reflections, but whole new reflections we have to handle. We want this process to stop after a while, so we’ll insist that is a finite collection of vectors. This is probably the biggest constraint on our collections.
We have one last condition to add: we want to ask that for every pair of vectors and in , we have . In other words, the length of the projection of onto must be a half-integral multiple of the length of . This makes it so that the displacement from to is some integral multiple of . This provides a certain rigidity to our discussion.
So, let’s recap:
- is a finite, spanning set of vectors in which does not contain .
- If then the only scalar multiples of in are .
- If then the reflection leaves invariant.
- If and are in , then is an integer.
A collection of vectors satisfying all of these conditions is called a “root system”, and the vectors in are called “roots” for ABSOLUTELY ARBITRARY REASONS THAT HAVE ABSOLUTELY NOTHING TO DO WITH ANYTHING. As far as we’re concerned for now.
So yeah: “root system”. Just ’cause…
Our lofty goal, for the immediate future, is to classify all the possible root systems.