Summation Notation, Operations, and Symmetric Polynomials

Vocabulary practice flashcards covering summation notation, closed-form summation rules, big operators, empty set conventions, and symmetric power sum equations.

Summation

The discrete analogue of an integral, written as $\sum_{i=a}^b x_i$, which denotes the sum of a sequence of terms $x_a + x_{a+1} + \dots + x_b$ using an enlarged capital Greek letter sigma.

Index of Summation

The iteration variable (commonly $i$, $j$, or $k$) that loops through all integer values from the lower limit to the upper limit, inclusive.

Lower Bound (Lower Limit)

The starting value for the index in a summation, designated as $a$ in $\sum_{i=a}^b x_i$.

Upper Bound (Upper Limit)

The terminating value for the index in a summation, designated as $b$ in $\sum_{i=a}^b x_i$.

Empty Sum

A summation in which the upper bound is strictly less than the lower bound ($b < a$), which evaluates by definition to $0$, the identity element for addition.

Index Shifting

The process of substituting an index variable and correspondingly shifting the lower and upper bounds to yield an equivalent, more convenient sum (e.g., substituting $j = i - 1$ to convert $\sum_{i=1}^n (i - 1)$ to $\sum_{j=0}^{n-1} j$).

Scope of a Summation

The portion of a mathematical expression covered by the summation operator, which extends to the first addition or subtraction symbol not enclosed in parentheses or part of a larger term.

Einstein Summation Convention

A notation convention introduced in theoretical physics where the summation symbol $\sum_i$ is omitted entirely when the index ranges over an understood set of values.

Double Sum

A nested summation where one sum appears inside another (acting like two nested loops), aggregating terms over all pairs of values for the two summation indices.

Linearity of Summation

The property that allows constant factors to be factored outside the sum ($\sum_{i \in S} a x_i = a \sum_{i \in S} x_i$) and additive components to be split into separate sums ($\sum_{i \in S} (x_i + y_i) = \sum_{i \in S} x_i + \sum_{i \in S} y_i$).

Arithmetic Series Formula

The standard closed-form formula $\sum_{i=1}^n i = \frac{n(n + 1)}{2}$, which computes the sum of the first $n$ integers as $n$ multiplied by the average value $\frac{n + 1}{2}$.

Geometric Series Formula

The closed-form identity $\sum_{i=0}^n r^i = \frac{1 - r^{n+1}}{1 - r}$ for $r \neq 1$, which converges to $\frac{1}{1 - r}$ as an infinite sum when $|r| < 1$.

Harmonic Number ($H_n$)

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

Guess but Verify Method

A technique for solving summations where values are tabulated for initial upper bounds to hypothesize a formula, followed by a rigorous proof via induction.

Integral Bounding for Sums

A bounding technique establishing that for any non-decreasing function $f(x)$, the summation is bounded as $\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$)

A mathematical notation utilizing an enlarged capital Greek letter pi to represent the product of a sequence of factors, as in $n! = \prod_{i=1}^n i$.

Empty Product

A product over an empty index set, which is defined to equal $1$, the multiplicative identity element (leading to $0! = 1$).

Big AND and Big OR Operators

Generalized aggregate logical operators across an index set ($\bigwedge_{x \in S} P(x) \equiv \forall x \in S: P(x)$ and $\bigvee_{x \in S} P(x) \equiv \exists x \in S: P(x)$), which take the identity elements True and False on an empty index set.

Empty Collection Set Operations

Set aggregations evaluated over an empty collection of sets, where the generalized union evaluates to the empty set ($\emptyset$) and the generalized intersection is undefined due to the lack of an identity element.

System of Symmetric Power Sums

A system of equations consisting of $a + b + c = 4$, $a^2 + b^2 + c^2 = 10$, and $a^3 + b^3 + c^3 = 22$, posing the problem of determining $a^4 + b^4 + c^4$.