Summation Notation and Algebraic Systems

Vocabulary flashcards covering summation notation, index sets, asymptotic estimation techniques, big aggregate operators, and algebraic power sum systems.

Summation

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

Index of Summation

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

Empty Sum

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

Scope of a Summation

The portion of an algebraic expression governed by the summation sign, which extends to the first addition or subtraction symbol not enclosed in parentheses or part of a larger term.

Sums over Index Sets

A summation where the limits are replaced by a single subscript specifying membership in a set or a predicate, such as $\sum_{i \in S} x_i$, guaranteed to be well-defined when the set is finite.

Einstein Summation Convention

A mathematical convention used in theoretical physics where the summation symbol $\sum$ is omitted entirely in certain special types of sums when repeated indices imply summation.

Infinite Sum

The limit of a series of partial sums $s_n$ as the upper limit tends to infinity, which converges to a value $x$ if for every $\epsilon > 0$, there exists $N$ such that $|s_n - x| < \epsilon$ for all $n > N$.

Double Sum

An expression containing a summation nested inside another summation, analogous to nested for loops summing an expression over all pairs of index values.

Linearity of Summation

The operational property allowing constant factors to be factored out ($\sum a x_i = a \sum x_i$) and sums within summations to be split ($\sum (x_i + y_i) = \sum x_i + \sum y_i$).

Arithmetic Series

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

Geometric Series

A series where the ratio between adjacent terms is constant, defined for a finite sum by $\sum_{i=0}^{n} r^i = \frac{1 - r^{n+1}}{1 - r}$ (for $r \neq 1$) and converging to $\frac{1}{1 - r}$ for an infinite sum when $|r| < 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}$, which satisfies the asymptotic bound $\Theta(n \log(n))$.

Integral Bounding Method

A technique for bounding a summation of a non-decreasing function $f(x)$ using definite 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

A mathematical notation using the capital Greek letter pi ($\prod$) to represent repeated multiplication, such as the factorial definition $n! = \prod_{i=1}^{n} i$.

Empty Product

A product over an empty index set, formally defined to equal the multiplicative identity $1$, which directly implies that $0! = 1$.

Big AND and Big OR Operators

Aggregated logical operators representing universal conjunction ($\bigwedge$) and existential disjunction ($\bigvee$), which evaluate to True and False, respectively, over empty index sets.

Power Sum Symmetric System

A system of polynomial equations involving power sums $a + b + c = 4$, $a^2 + b^2 + c^2 = 10$, and $a^3 + b^3 + c^3 = 22$, posed to determine the fourth power sum $a^4 + b^4 + c^4$.