Almost exactly ten years ago, I wrote a page on this blog explaining big-sigma notation. Since then it’s consistently been one of the highest-traffic posts on my blog, and still gets occasional comments and questions. A few days ago, a commenter named Kevin asked,
Could you explain how to take a constant outside of a summation and bring it inside the summation?
This made me realize there’s a lot more still to be explained! In particular, understanding what sigma notation means is one thing, but becoming fluent in its use requires learning a number of “tricks”. Of course, as always, they’re not really “tricks” at all: understanding what the notation means is the necessary foundation for understanding why the tricks work!
Trick 1: jumping constants
For today, we’ll start by considering what Kevin asked about. Consider what is meant by this sigma notation:
It doesn’t really matter what the ’s are, the point is just that each might be different, whereas is a constant that doesn’t change. So this can be expanded as
Since multiplication distributes over addition, we can factor out the :
The right-hand side can now be written as
so overall we have shown that
We usually omit the parentheses and just write
Our argument didn’t really depend on any of the specifics (like the fact that goes from to ). The general principle is that constants can “jump” back and forth across the sigma, which corresponds to multiplication distributing across addition.
The one remaining question is—what counts as a “constant”? The answer is, anything that doesn’t depend on the index variable. So the “constant” can even involve some variables, as long as they are other variables! For example,
In the context of this sum, is a “constant”, because it does not have in it. Since it doesn’t contain , it is going to be exactly the same for each term of the sum, which means it can be factored out.