False statementConstruction: AI-adaptedVerification: AI-generatedprecheck passjudge pass (z-ai/glm-5.2)audited 2026-07-27

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

FALSE: every rearrangement of a convergent series converges, and to the same sum

Statement

False claim: for every sequence $(a_{k})$ of reals whose series converges (Series, partial sums, convergence and the sum, divergence, and the tail series) and every bijection $σ : N \to N$ , the rearranged series $\sum a_{σ (k)}$ (Rearrangement of a series along a bijection of $N$ , and unconditional convergence) converges, with the same sum.

What is true is that hypothesis: the claim holds for absolutely convergent series, and that is Dirichlet's rearrangement theorem: an absolutely convergent series converges unconditionally, and every rearrangement of it has the same sum. Dropping "absolutely" makes it false in both of its assertions at once, and the same witness refutes both.

Let $(ε_{j})$ be the alternating sequence (The even and odd index maps and the alternating sequence: strictly increasing $e, o$ with $N$ their disjoint union, and the unique $(s_{k})$ with $s_{0} = 1$ , $s_{σ (k)} = - s_{k}$ , which satisfies $∣ s_{k} ∣ = 1$ , $s \circ e \equiv 1$ and $s \circ o \equiv - 1$ ) and put $a_{j} : = ε_{j} / ι (j + 1)$ , the alternating harmonic series. It converges, by the alternating series test, and does not converge absolutely, its series of absolute values being the harmonic series (For rational $p > 0$ , $\sum 1 / k^{p}$ converges iff $p > 1$ ). So it converges conditionally, and The Riemann series theorem: a conditionally convergent real series has, for every $c \in R$ , a rearrangement with sum $c$ , and rearrangements diverging to $+ \infty$ , to $- \infty$ , and oscillating with any prescribed $lim inf \leq lim sup$ in $\overline{R}$ applies to it.

Facts & Assumptions

Given: The alternating sequence $(ε_{j})$ , the sequence $b_{j} : = 1 / ι (j + 1)$ , and $a_{j} : = ε_{j} b_{j}$ , whose series is the alternating harmonic series.

[A1]

The refuted claim: for every convergent series of reals and every bijection of $N$ , the rearranged series converges with the same sum.

[L1]

$∣ ε_{j} ∣ = 1$ for every $j$ (The even and odd index maps and the alternating sequence: strictly increasing $e, o$ with $N$ their disjoint union, and the unique $(s_{k})$ with $s_{0} = 1$ , $s_{σ (k)} = - s_{k}$ , which satisfies $∣ s_{k} ∣ = 1$ , $s \circ e \equiv 1$ and $s \circ o \equiv - 1$ ).

[L2]

The canonical naturals $ι (n)$ are positive for $n \geq 1$ and strictly increasing; if $0 < u < v$ then $0 < 1 / v < 1 / u$ ; and for every real $ε > 0$ there is $n \geq 1$ with $1 / ι (n) < ε$ (Canonical naturals are positive and strictly increasing, Inverses of positives are positive, and reciprocation reverses order, For every $ε > 0$ in a complete ordered field there is a natural $n \geq 1$ with $1 / n < ε$ ).

[L3]

The alternating series test (The alternating series test: if $(b_{k})$ is nonincreasing with $b_{k} \to 0$ then $\sum_{k} (- 1)^{k} b_{k}$ converges, the sum lies between any two consecutive partial sums, and the error after $n$ terms is at most $b_{n}$ , Nondecreasing, increasing, nonincreasing, decreasing, monotone, and eventually monotone sequences, Limits and Cauchy sequences of reals).

[L4]

$\sum_{k \geq 1} 1 / k^{p}$ converges if and only if $p > 1$ , with $ι (k)^{1} = ι (k)$ ; and $\sum_{k \geq 1} x_{k}$ is the series of $j \mapsto x_{j + 1}$ (For rational $p > 0$ , $\sum 1 / k^{p}$ converges iff $p > 1$ , Rational powers $a^{r}$ of a positive base, Existence and uniqueness of $n$ -th roots: a unique $a^{1 / n} \geq 0$ with $(a^{1 / n})^{n} = a$ , Integer powers $a^{m}$ , Series, partial sums, convergence and the sum, divergence, and the tail series).

[L5]

Absolute value: $∣ x y ∣ = ∣ x ∣ ∣ y ∣$ (Basic properties of the absolute value).

[L6]

Absolute and conditional convergence (Absolutely convergent and conditionally convergent series, and the general starting index).

[L7]

The Riemann series theorem: a conditionally convergent series has, for every real $c$ , a rearrangement converging to $c$ , and one whose partial sums diverge to $+ \infty$ (The Riemann series theorem: a conditionally convergent real series has, for every $c \in R$ , a rearrangement with sum $c$ , and rearrangements diverging to $+ \infty$ , to $- \infty$ , and oscillating with any prescribed $lim inf \leq lim sup$ in $\overline{R}$ , Divergence to $+ \infty$ and to $- \infty$ ).

[L8]

An absolutely convergent series converges unconditionally (Dirichlet's rearrangement theorem: an absolutely convergent series converges unconditionally, and every rearrangement of it has the same sum).

Refutation

technique · direct

1.1

The sequence $(b_{j})$ is positive, nonincreasing and converges to $0$ : positivity and monotonicity from $0 < ι (j + 1) < ι (j + 2)$ , and convergence because, given a rational $ε > 0$ , an $n \geq 1$ with $1 / ι (n) < ε$ satisfies $b_{j} \leq 1 / ι (n) < ε$ for every $j \geq n$ .

givenL2

2.1

By the alternating series test $\sum a_{j}$ converges; write $S$ for its sum.

step 1.1L3

2.2

For every $j$ , $∣ a_{j} ∣ = ∣ ε_{j} ∣ b_{j} = 1 / ι (j + 1)$ , and $\sum_{j} 1 / ι (j + 1)$ is the $p$ -series $\sum_{k \geq 1} 1 / k$ at $p = 1$ , which diverges.

step 1.1L1L4L5

3.1

So $\sum a_{j}$ converges conditionally.

step 2.1step 2.2L6

4.1

By the Riemann series theorem there is a bijection $σ$ of $N$ with $\sum a_{σ (k)}$ convergent of sum $S + 1$ , a number different from $S$ .

step 3.1L7

4.2

By the same theorem there is a bijection $τ$ of $N$ for which the partial sums of $\sum a_{τ (k)}$ diverge to $+ \infty$ , so that rearranged series does not converge at all.

step 3.1L7

5.1

The claim [A1] therefore fails twice over for the alternating harmonic series: once in its assertion that the sum is preserved, by step 4.1, and once in its assertion that the rearranged series converges, by step 4.2.

step 4.1step 4.2A1

6.1

The claim is false. What is true is the same statement with "converges" strengthened to "converges absolutely" in the hypothesis.

step 5.1A1L8∎

Remarks

Neither half of the claim survives. It is often stated as though the only risk were a change of value; step 4.2 shows the rearranged series may fail to converge, and The Riemann series theorem: a conditionally convergent real series has, for every $c \in R$ , a rearrangement with sum $c$ , and rearrangements diverging to $+ \infty$ , to $- \infty$ , and oscillating with any prescribed $lim inf \leq lim sup$ in $\overline{R}$ shows the partial sums may be made to oscillate between any two prescribed extended reals.
The hypothesis that repairs the claim is exactly the right one. By For a series of real numbers, unconditional convergence and absolute convergence are the same property, absolute convergence is not merely sufficient for the conclusion but necessary: a convergent series all of whose rearrangements converge is absolutely convergent. So there is no intermediate hypothesis to look for.
What is fixed and what is not. The terms of the series are fixed; only the order changes. That an infinite sum should depend on the order at all is the point of the example, and it is why Series, partial sums, convergence and the sum, divergence, and the tail series defines the sum as the limit of the partial sums of a sequence, not as a sum over a set of indices.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

79 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources

Riemann series theorem (Wikipedia) (standard reference, not scraped)
Harmonic series (mathematics) (Wikipedia) (standard reference, not scraped)
N. Donaldson, Math 140A: Real Analysis notes (standard reference, not scraped)
John K. Hunter, An Introduction to Real Analysis, Chapter 4 (standard reference, not scraped)