Summations, Discrete Operations, and Symmetric Polynomial Systems

Comprehensive vocabulary flashcards covering summation notation, index variables, algebraic identities, asymptotic bounding techniques, product/aggregate operators, and symmetric power sum systems.

Summation

The discrete analogue of an integral, denoted by a stretched capital Greek letter sigma ($\sum_{i=a}^b x_i$), representing the sum of a sequence $x_a + x_{a+1} + \dots + x_b$.

Index of summation

The variable (typically $i$, $j$, or $k$) that iterates sequentially 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$); by definition, its value evaluates to the additive identity element, $0$.

Scope of a summation

The reach of the summation expression, which extends up to the first addition or subtraction operator not enclosed in parentheses or contained within a larger term (such as a fraction's numerator).

Sum over an index set

A summation notation where bounds are replaced by a single subscript predicate ($\sum_{i \in S} x_i$) that specifies the set or conditions the indices must satisfy.

Einstein summation convention

A mathematical convention used in theoretical physics in which the explicit summation sign ($\sum$) is omitted entirely for certain types of sums with implied indices.

Infinite sum

The limit of a sequence of partial sums ($\sum_{i=0}^\infty x_i$) which converges to a value $x$ if for every $\epsilon > 0$, there exists an $N$ such that $|s_n - x| < \epsilon$ for all $n > N$.

Double sum

An expression in which one summation is nested inside another, behaving like nested loops by summing an innermost term over all valid pairs of two indices.

Sum of constants formula

The standard closed-form formula for summing the constant $1$ from $1$ to $n$, defined as $\sum_{i=1}^n 1 = n$.

Arithmetic series formula ($\sum_{i=1}^n i$)

The closed-form summation formula for the first $n$ positive integers, given by $\sum_{i=1}^n i = \frac{n(n+1)}{2}$, derived by pairing terms from opposite ends.

Finite geometric series formula

The closed-form expression for summing consecutive powers of a common ratio $r$ where $r \ne 1$, defined as $\sum_{i=0}^n r^i = \frac{1 - r^{n+1}}{1 - r}$.

Infinite geometric series formula

The closed-form limit of an infinite geometric progression, given by $\sum_{i=0}^\infty r^i = \frac{1}{1 - r}$, which converges strictly when $|r| < 1$.

Linearity of summation

The property stating that constant multipliers can be factored out of a sum ($\sum a x_i = a \sum x_i$) and sums within terms can be split ($\sum (x_i + y_i) = \sum x_i + \sum y_i$).

Guess but verify method

A summation solution method where one evaluates the sum for the first few upper limit values, identifies the sequence pattern, and proves the formula using mathematical induction.

Harmonic number ($H_n$)

The sum of the reciprocals of the first $n$ integers, defined as $H_n = \sum_{i=1}^n \frac{1}{i}$, which grows asymptotically as $\Theta(\log(n))$.

Integral bounding method

An approximation technique where a non-decreasing function's sum is bounded above and below by integrals: $\int_{a-1}^b f(x)\,dx \le \sum_{i=a}^b f(i) \le \int_a^{b+1} f(x)\,dx$.

Product notation ($\prod$)

Mathematical notation using the capital Greek letter pi to represent repeated multiplication over a sequence of terms, such as in the factorial definition $n! = \prod_{i=1}^n i$.

Empty product

A product over an empty index set, which evaluates by definition to the multiplicative identity element $1$, establishing that $0! = 1$.

Big aggregate operators

Generalized aggregate operators across sets; over an empty set, Big AND returns True, Big OR returns False, Big Union returns the empty set, and Big Intersection is undefined.

System of symmetric power sums

The system of equations $a + b + c = 4$, $a^2 + b^2 + c^2 = 10$, and $a^3 + b^3 + c^3 = 22$, which determines elementary symmetric polynomials $e_1 = 4$, $e_2 = 3$, and $e_3 = -2$, yielding $a^4 + b^4 + c^4 = 50$.