Summations, Big Operators, and Symmetric Power Sums

Vocabulary practice flashcards covering summation notation, index variables, standard series formulas, big aggregate operators, and systems of power sums.

Summation

The discrete analogue of an integral, written as $\sum_{i=a}^b x_i$, representing the sum of a sequence of terms $x_a + x_{a+1} + \dots + x_b$.

Index of Summation

The loop variable (commonly $i$, $j$, or $k$) in a summation that iterates through all integer values from the lower bound to the upper bound, inclusive.

Empty Sum

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

Scope of a Summation

The range of an expression governed by the summation operator, which extends to the first addition or subtraction operator not enclosed in parentheses or contained within a larger term.

Einstein Summation Convention

A mathematical convention often used by theoretical physicists in which the explicit summation symbol ($\sum$) is omitted entirely for certain types of sums over an understood range.

Linearity of Summation

The property that allows constant factors to be factored out of a sum ($\sum a x_i = a \sum x_i$) and sums of terms to be split into separate sums ($\sum (x_i + y_i) = \sum x_i + \sum y_i$).

Double Sum

A nested summation where the expression inside one summation is itself a summation, equivalent to two nested loops summing over all pairs of indices.

Arithmetic Series

A sequence of terms where the difference between adjacent terms is constant; the standard sum of the first $n$ positive integers evaluates to $\sum_{i=1}^n i = \frac{n(n + 1)}{2}$.

Geometric Series

A series in which the ratio between consecutive terms is constant; its finite sum is $\sum_{i=0}^n x^i = \frac{1 - x^{n+1}}{1 - x}$ and its infinite sum is $\sum_{i=0}^\infty x^i = \frac{1}{1 - x}$ for $|x| < 1$.

Harmonic Number ($H_n$)

The sum of the reciprocals of the first $n$ positive integers, denoted $H_n = \sum_{i=1}^n \frac{1}{i}$.

Guess-and-Verify Method

A technique for solving summations by calculating values for the first several bounds to identify a sequence pattern, followed by proving the closed-form formula using mathematical induction.

Product Notation ($\prod$)

An aggregate mathematical operator denoted by a capital Greek letter pi ($\prod$) used to represent repeated multiplication over a sequence of terms.

Empty Product

A product over an empty index set (or where the upper bound is less than the lower bound); it evaluates to $1$, the multiplicative identity element.

Identity Elements for Big Operators

The values returned when aggregate operators act over an empty index set: $0$ for sum, $1$ for product, $\text{True}$ for Big AND, $\text{False}$ for Big OR, and $\emptyset$ for Big Union.

System of Symmetric Power Sums

A mathematical system specifying the values of power sums for variables $a$, $b$, and $c$ ($a + b + c = 4$, $a^2 + b^2 + c^2 = 10$, and $a^3 + b^3 + c^3 = 22$) to evaluate the fourth-degree power sum $a^4 + b^4 + c^4$.