Summations, Aggregate Operators, and Power Sum Systems

Comprehensive vocabulary flashcards covering summation notation, index variables, standard summation formulas, asymptotic bounds, products, aggregate operators, and systems of power sums.

Summation

The discrete analogue of an integral, denoted by a capital Greek letter sigma ($\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 ($i$) within a summation that iterates through all integer values from the lower bound to the upper bound, inclusive.

Lower Bound (Lower Limit)

The starting value ($a$) assigned to the index of summation.

Upper Bound (Upper Limit)

The ending value ($b$) assigned to the index of summation.

Empty Sum

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

Formal Definition of a Finite Sum

A recurrence definition stating that $\sum_{i=a}^b f(i) = 0$ if $b < a$, and otherwise equals either $f(a) + \sum_{i=a+1}^b f(i)$ or $f(b) + \sum_{i=a}^{b-1} f(i)$.

Index Shifting

The process of substituting an index variable (such as replacing $i - 1$ with $j$) while adjusting the lower and upper bounds accordingly to simplify algebraic manipulation.

Scope of a Summation

The reach of the summation operator, which extends to the first addition or subtraction symbol not enclosed in parentheses or contained in a larger subexpression.

Sum Over an Index Set

A notation where limits are replaced by a single predicate or set membership constraint under the sigma ($\sum_{i \in S} x_i$), guaranteed to be well-defined when the set $S$ is finite.

Einstein Summation Convention

A mathematical convention used in theoretical physics where the summation symbol ($\sum$) is completely omitted for certain repeated indices.

Infinite Sum

The limit of the sequence of partial sums $s_n$ as $n \to \infty$, converging 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

A summation containing another summation in its body, functioning like two nested loops that sum an expression over all pairs of index values.

Arithmetic Series Sum Formula

The closed-form formula $\sum_{i=1}^n i = \frac{n(n + 1)}{2}$, derived by adding the sequence to its reversed self to produce $n$ terms each summing to $n + 1$.

Finite Geometric Series Formula

The closed-form summation identity $\sum_{i=0}^n r^i = \frac{1 - r^{n+1}}{1 - r}$, applicable whenever $r \neq 1$.

Infinite Geometric Series Formula

The closed-form identity $\sum_{i=0}^\infty r^i = \frac{1}{1 - r}$, which holds when $|r| < 1$.

Linearity of Summation

The algebraic property allowing constant factors to be pulled out ($\sum a x_i = a \sum x_i$) and sums within terms to be split ($\sum (x_i + y_i) = \sum x_i + \sum y_i$).

Guess but Verify Method

A technique for solving summations by calculating values for small upper bounds, identifying a recurring pattern or sequence, and confirming the closed formula by induction.

Harmonic Number ($H_n$)

The $n$-th sum of unit fractions given by $\sum_{i=1}^n \frac{1}{i}$.

Integral Bounding Technique

An asymptotic bounding method stating that for any non-decreasing function $f(x)$, $\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 operator denoted by a capital Greek letter pi ($\prod_{i=a}^b x_i$) representing the product of a sequence of terms.

Empty Product

A product over an empty index set (e.g., $b < a$), defined to evaluate to $1$, the identity element for multiplication.

Big AND Operator

An aggregate logical conjunction over a set $S$ defined as $\bigwedge_{x \in S} P(x) \equiv \forall x \in S : P(x)$, evaluating to True over an empty index set.

Big OR Operator

An aggregate logical disjunction over a set $S$ defined as $\bigvee_{x \in S} P(x) \equiv \exists x \in S : P(x)$, evaluating to False over an empty index set.

Big Intersection over an Empty Collection

An aggregate set operation that has no general identity element, making the intersection over an empty collection of sets undefined.

Power Sums System Problem

A system of symmetric power equations specifying $a + b + c = 4$, $a^2 + b^2 + c^2 = 10$, and $a^3 + b^3 + c^3 = 22$, which poses the problem of determining $a^4 + b^4 + c^4$.