This is an old revision of the document!

Infinite series

Definition

$M$ … monoid, metric space
$ S \in \mathrm{InfSequence}(M)$
$\sum_{k=1}^\infty S_k\equiv \mathrm{lim}_{n\to\infty}\sum_{k=1}^n S_k$

Discussion

Parents

Element of

Monoid

Requirements

Finite sum over a monoid, Limit in a metric space

Link to graph
Log In
Improvements of the human condition
limeGraphxioms