4
$\begingroup$

I have seen notation like this, commonly in regard to matrix multiplication:

$ b_i = \sum_{j \ne i} A_{ij} x_j $

So this is a matrix multiplication that excludes the diagonal ($j=i$).

I'm kind of confused when it's ok to just leave off specification of the upper limit or lower limit from the sum. From here, I'm assuming if you have an exclusion, you're supposed to sum over all elements not excluded?

  • 1
    Speaking of summation notations, you can also have things like $\large\sum\limits_{d \mid n} d,$ or any other predicate.2012-08-23

2 Answers 2

5

In the above, $i$ is fixed and $j$ varies, so sum over all the $j$'s that are not $i$'s. It is common to omit complete specification when the context makes it clear.

4

The notation you give is fairly common, and Jasper explains its meaning. If you wanted to write the same sum in a more explicit (albeit heavy-handed) way, you could write something like $ b_i = \sum_{j \in J_i} A_{ij}x_j $ where $J_i = \{ j \in \mathbb{N} \mid 1 \leq j \leq n,\ j \neq i\}$. This notation means to sum over every value of $j$ belonging to the set $J_i$. The subscript $i$ is a way to denote that you will have a different "$J$" set for each choice of $i$. In other words, each "$J$" set depends on $i$.

As remarked in the comments, there are ways to denote this sum that are easier on the eye. The point of my answer is that every summation is just a sum over some indexing set. If all else fails, you can always say "sum over indices belonging to some set" and then describe to the reader what that set is.

  • 1
    @RahulNarain I would write precisely what the OP wrote. The point of my answer wasn't to convey the most succinct way to denote the sum, but to make explicit what is meant by "$j \neq i$" in the summation.2012-08-23