Definition:Space of Zero-Limit Sequences

From ProofWiki
Jump to navigation Jump to search

Definition

The space of zero-limit sequences, denoted $c_0$, is defined as:

$\ds c_0 := \set{\sequence{z_n}_{n \in \N} \in \C^\N : \forall \epsilon \in \R_{>0} : \exists N \in \R_{> 0}: n > N \implies \cmod {z_n} < \epsilon}$

As such, $c_0$ is a subspace of $\C^\N$, the space of all complex sequences.




Also see


Sources