Summations, Discrete Operators, and Power Sums

Vocabulary terms covering summation notation, closed-form summation identities, big operators, empty evaluations, and symmetric power sum systems.

Index of Summation

The variable, commonly denoted as $i$, $j$, or $k$, that steps through consecutive integers from the lower bound to the upper bound within a summation.

Empty Sum

A summation where the upper bound is strictly less than the lower bound ($b < a$), which evaluates to $0$ because $0$ is the additive identity.

Scope of a Summation

The extent of the summand expression, continuing until the first addition or subtraction sign not contained within parentheses or within a larger term.

Einstein Summation Convention

A notation used in theoretical physics where the summation symbol is omitted entirely when summing over repeated indices across an implicit range.

Double Sum

A nested summation structure that iterates an inner summation across all valid pairs of two distinct index variables.

Linearity of Summation

The property that permits constant factors to be factored outside the summation ($\sum_{i \in S} a x_i = a \sum_{i \in S} x_i$) and allows terms within a sum to be split ($\sum_{i \in S} (x_i + y_i) = \sum_{i \in S} x_i + \sum_{i \in S} y_i$).

Guess But Verify Method

A problem-solving strategy where the first several terms of a sum are calculated to identify a general sequence formula, which is subsequently validated using mathematical induction.

Geometric Series

A series in which the ratio between consecutive terms is constant, evaluating for $x \neq 1$ to $\sum_{i=0}^n x^i = \frac{1 - x^{n+1}}{1 - x}$ and to $\sum_{i=0}^{\infty} x^i = \frac{1}{1 - x}$ when $|x| < 1$.

Arithmetic Series

A series characterized by a constant difference between adjacent terms, where the baseline formula is given by $\sum_{i=1}^n i = \frac{n(n + 1)}{2}$.

Harmonic Series

The sum of unit inverses given by $\sum_{i=1}^n \frac{1}{i} = H_n$, which can be bounded or grouped to analyze asymptotic growth.

Empty Product

A product over an empty index set or range, defined to evaluate to $1$ because $1$ is the identity element for multiplication, directly implying that $0! = 1$.

Big Operators Identity Rule

The principle that an aggregate operator over an empty index set evaluates to its identity element, resulting in $\text{True}$ for Big AND, $\text{False}$ for Big OR, and $\emptyset$ for Big Union.

Power Sum System

A system of symmetric equations involving consecutive power sums of variables $a$, $b$, and $c$, where $a + b + c = 4$, $a^2 + b^2 + c^2 = 10$, and $a^3 + b^3 + c^3 = 22$, yielding the fourth power sum $a^4 + b^4 + c^4 = 50$.