Space of sequences converging to zero (source code)

= Space of sequences converging to zero

This is the <sequence space> $c_0$ of sequences vanishing at infinity.

The Banach space $c_0$ consists of scalar sequences tending to zero with the supremum norm.