Intuition The ONE core idea
A never-ending sum of pluses and minuses can settle on a finite number in two flavours: it's robust if the terms shrink so fast that even ignoring the minus signs the total still settles, and fragile if the total only settles because the pluses and minuses keep cancelling. This page builds every symbol you need — ∑ , a n , absolute value, lim , "converge", "diverge" — from absolute zero so the parent note Absolute vs Conditional Convergence reads like a story you already know.
Before we can add infinitely many things, we need an infinitely long list of numbers .
Definition Sequence and the symbol
a n
A sequence is an ordered list of numbers, one for each counting number 1 , 2 , 3 , … . We write the n -th number in the list as a n — read "a-sub-n ". The little n underneath is just the position number (a label, not a multiplication).
So a 1 is the first number, a 2 the second, and so on forever.
a n
If the rule is a n = n 1 , then a 1 = 1 , a 2 = 2 1 , a 3 = 3 1 , … — the terms are marching down toward zero.
Look at the dots: each dot sits at height a n . The height is the value, the left-to-right position is n . A sequence is just "a value for every slot".
Before the summation sign we must be honest about the symbol ∞ , which will appear on top of it.
∞
∞ is not a number you can reach or arithmetic with — it is shorthand for a never-ending process : "keep going past every finite value, forever". When we write n → ∞ we do not plug in a giant number; we mean "let n grow through 1 , 2 , 3 , … without ever stopping and see what pattern emerges".
Intuition Why you can't treat
∞ as an ordinary number
If ∞ were a number, "∞ − ∞ " would have to be 0 — but two runaway processes can drift apart by any gap you like, so that expression is meaningless. Every statement below that mentions ∞ is really a statement about a trend as the index keeps climbing , never about arithmetic at a "final" slot. Hold that thought: it is exactly why we need partial sums (Symbol 3) to make an infinite sum meaningful.
Now we want to add the terms of a sequence. Writing a 1 + a 2 + a 3 + ⋯ forever is clumsy, so mathematicians invented a shorthand.
Definition The sigma symbol
∑
∑ n = 1 ∞ a n = a 1 + a 2 + a 3 + a 4 + ⋯
The big Greek "S" (Σ , for S um) means "add up". The n = 1 underneath says start at slot 1 ; the ∞ on top says never stop (the process from Symbol 1). The a n to the right is the rule for what each term is.
new symbol and not just "+ ⋯ "?
Because we need to be precise about where the adding starts and what each term is . The ∑ packs the start slot, the stop point, and the term-rule into one tidy picture. When you see ∑ a n with no limits shown, read it as "the whole infinite sum from slot 1 onward".
The object ∑ a n is called a series — a sequence that is being added up , not just listed.
You can never finish adding infinitely many numbers. So what could "the sum" even mean? The trick: add only the first N terms, then watch what happens as N grows.
S N
S N = ∑ n = 1 N a n = a 1 + a 2 + ⋯ + a N .
S N is the running total after N steps — a finite sum we can compute. The capital N is a specific stopping slot (not infinity).
Each orange dot is a running total S N . Watch the sequence of dots: if they home in on one height as we go right, that height is the sum.
Definition The limit operator
lim
N → ∞ lim S N = S reads "the limit of S N as N grows without bound is S ". It is a one-word summary of the picture above: as N climbs (the ∞ process), the running totals S N crowd arbitrarily close to the single number S and stay there. The arrow form S N → S says the same thing; "lim " is just the noun for "the value it approaches".
lim at all
An infinite sum has no last term to land on, so "the sum" cannot be an ordinary addition. lim lets us define the sum as where the finite running totals are heading — turning an impossible "add forever" into a precise question about a trend.
Definition Converge / Diverge
A series converges if its partial sums have a finite limit: N → ∞ lim S N = S for some fixed finite number S ; then we say ∑ a n = S . A series diverges if this limit does not exist as a finite number — the partial sums run off to ± ∞ or bounce around forever.
Intuition Why we care about the
limit of partial sums, not the terms
"The sum" is defined as where the running totals are heading , not the individual terms. This is the whole game: convergence is a statement about S N , never directly about a n . (A common trap — see Mistake 2 in the parent note.)
The symbol → means "approaches / gets arbitrarily close to". So a n → 0 reads "the terms shrink toward zero", and N → ∞ reads "N grows without bound".
The whole parent topic pivots on one operation: erasing the minus signs .
Definition Absolute value
∣ x ∣
∣ x ∣ is the distance of x from zero , always ≥ 0 . Concretely:
∣ x ∣ = { x − x if x ≥ 0 , if x < 0.
So ∣ − 3 1 ∣ = 3 1 and ∣ 3 1 ∣ = 3 1 — same size, sign forgotten.
The plum bars are the signed terms a n (some point down); the teal bars are ∣ a n ∣ (all flipped up). Turning ∑ a n into ∑ ∣ a n ∣ means stapling every bar upward , which can only make the running total bigger or equal . That single picture is the seed of the Absolute Convergence Theorem: if even the all-upward pile settles, the original (with helpful cancellation) must settle too.
Intuition Why absolute value is
the key tool here
Absolute convergence asks: "does the sum still work if we refuse the help of cancellation?" You cannot ask that without a way to delete signs — and ∣ ⋅ ∣ is exactly that eraser. This is why the whole topic is built on comparing ∑ a n with ∑ ∣ a n ∣ .
We now have exactly the pieces (∑ , ∣ ⋅ ∣ , converge/diverge) to state the two definitions the parent topic revolves around — no new machinery, just naming what we built.
Definition Absolute convergence
∑ a n converges absolutely when the sign-erased series converges:
∑ ∣ a n ∣ converges .
Picture the teal all-upward bars from Symbol 5 — even that pile has a finite limit. By the Absolute Convergence Theorem this forces ∑ a n to converge too, so absolute convergence is the robust case.
Definition Conditional convergence
∑ a n converges conditionally when the signed series converges but the sign-erased one does not:
∑ a n converges , but ∑ ∣ a n ∣ diverges .
The convergence survives only because plus and minus keep cancelling (the shrinking zig-zag of Symbol 7). Delete the signs and it blows up — the fragile case.
The star examples all carry a ( − 1 ) n or ( − 1 ) n + 1 . This is just a switch that flips sign every step .
( − 1 ) n
Since ( − 1 ) × ( − 1 ) = + 1 , raising − 1 to a power gives − 1 for odd exponents and + 1 for even ones:
( − 1 ) 1 = − 1 , ( − 1 ) 2 = + 1 , ( − 1 ) 3 = − 1 , …
So ( − 1 ) n + 1 starts positive (at n = 1 it is ( − 1 ) 2 = + 1 ): + , − , + , − , …
Worked example Building the alternating harmonic series
Multiply the shrinking list n 1 by the flipper ( − 1 ) n + 1 :
∑ n = 1 ∞ n ( − 1 ) n + 1 = 1 − 2 1 + 3 1 − 4 1 + ⋯
The ( − 1 ) n + 1 supplies the alternating signs; the n 1 supplies the shrinking size.
The zig-zag orange line is the running total of the alternating series: each step over-shoots then corrects, and the swings shrink toward ln 2 ≈ 0.693 . That "shrinking zig-zag closing in" is exactly what the Alternating Series Test guarantees, and it is the picture of conditional convergence — settling because of the back-and-forth.
To decide whether ∑ ∣ a n ∣ converges, you compare it to series whose fate is already known.
Definition Harmonic series
The special case p = 1 : n = 1 ∑ ∞ n 1 = 1 + 2 1 + 3 1 + ⋯ , which diverges (creeps to infinity forever). See Harmonic series .
Definition Geometric series
n = 1 ∑ ∞ r n (start slot n = 1 , never stop) with a fixed ratio r ; converges exactly when ∣ r ∣ < 1 . The tool that detects this ratio is the Ratio Test .
Mnemonic Which yardstick?
Powers of n in the denominator → p -series (p > 1 good). Powers of a constant like 2 n → geometric / Ratio Test . Signs alternating and ∑ ∣ a n ∣ failed → Alternating Series Test .
minus one to the n flipper
Comparison and Ratio tests
Read it top-down: a sequence becomes a series , whose partial sums (tamed by lim ) decide convergence . Erasing signs gives ∑ ∣ a n ∣ ; comparing the two verdicts is precisely the absolute vs conditional split, and the fragility of the conditional case is what Riemann Rearrangement Theorem exploits.
What does a n mean? The n -th number in a sequence; the subscript n is a position label, not multiplication.
What does the symbol ∞ represent? A never-ending process ("keep going past every finite value"), not a number you can do arithmetic with.
What does ∑ n = 1 ∞ a n pack into one symbol? Start slot (n = 1 ), never-stop (∞ ), and the term-rule a n , all meaning "add them all up".
What is a partial sum S N ? The finite running total of the first N terms, a 1 + ⋯ + a N .
What does lim N → ∞ S N = S mean? As N grows without bound the running totals crowd arbitrarily close to the fixed number S .
How is "the series converges" defined? The partial sums have a finite limit lim N → ∞ S N = S .
What does → mean? "Approaches / gets arbitrarily close to".
Compute ∣ − 3 1 ∣ and ∣ 3 1 ∣ . Both equal 3 1 — absolute value is distance from zero, sign forgotten.
Define absolute convergence in symbols. ∑ a n converges absolutely when ∑ ∣ a n ∣ converges.
Define conditional convergence in symbols. ∑ a n converges but ∑ ∣ a n ∣ diverges.
Why does ∑ ∣ a n ∣ have running totals ≥ those of ∑ a n ? Flipping every term upward can only add, never subtract, so the pile grows at least as fast.
What are the first four values of ( − 1 ) n + 1 ? + , − , + , − (starts positive at n = 1 ).
For which p does ∑ 1/ n p converge? Exactly p > 1 .
Does the harmonic series ∑ 1/ n converge? No — it diverges (it's the p = 1 case).
When does a geometric series ∑ r n converge? Exactly when ∣ r ∣ < 1 .