Summations, Discrete Operators, and Algebraic Systems

Vocabulary practice flashcards covering summation notation, discrete big operators, algebraic manipulation, and systems of power sums.

Summation

The discrete version of an integral, representing the sum of a sequence of terms $x_a + x_{a+1} + \dots + x_b$ and denoted by a stretched-out capital Greek letter sigma ($\sum$).

Index of Summation

The dummy variable (commonly $i$, $j$, or $k$) 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 identity element for addition.

Scope of a Summation

The reach of a summation expression, which extends up to the first addition or subtraction symbol that is not enclosed in parentheses or part of a larger term.

Einstein Summation Convention

A notational shortcut used in theoretical physics where the summation sign ($\sum$) is omitted entirely when the index spans an obvious range.

Infinite Sum

A summation with an infinite upper bound, defined as the limit of partial sums $s_n$ converging to $x$ if for any $\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 to aggregate terms over all pairs of indices.

Arithmetic Series

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

Geometric Series

A series where the ratio between adjacent terms is constant; its finite sum is $\sum_{i=0}^n r^i = \frac{1 - r^{n+1}}{1 - r}$ ($r \neq 1$), and its infinite sum is $\frac{1}{1 - r}$ for $|r| < 1$.

Harmonic Number ($H_n$)

The sum of the reciprocals of the first $n$ natural numbers, defined as $\sum_{i=1}^n \frac{1}{i} = H_n$, which can be bounded via integration.

Linearity of Summation

The algebraic property allowing constant factors to be factored out of sums ($\sum a x_i = a \sum x_i$) and sums within sums to be split into separate summations ($\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 small values of the upper limit to recognize a pattern, then formally verifies the closed-form formula using induction.

Product Notation ($\prod$)

A discrete operator using capital Greek letter pi ($\prod$) to denote repeated multiplication of a sequence, where an empty product is defined to equal $1$.

Big Operators on Empty Sets

Aggregations over an empty set that yield the identity element of the operation: $0$ for sum, $1$ for product, True for Big AND, False for Big OR, $\emptyset$ for Big Union, and undefined for Big Intersection.

System of Power Sum Equations

A symmetric system of equations specifying the sums of powers 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 solve for the higher-degree power sum $a^4 + b^4 + c^4$.