previous up next
Go backward to Limit Quantor
Go up to Top
Go forward to Example
RISC-Linz logo


Definition: Let a be an infinite sequence over R. The series corresponding to a is the sequence where every element sn is the sum of the first n+1 elements of a:

series: (N -> R) -> (N -> R)
series(a)n := (sum0 <= i <= n ai).

Consequence: If a = [T]i, then series(a) = [(sum0 <= i <= n T)]n.

Sequence of (partial) sequence sums.

Author: Wolfgang Schreiner
Last Modification: December 14, 1999

previous up next