Given a topological space \(X\). A function \(f\colon X\to \mathbb{R}\) vanishes at infinity if for every \(\varepsilon>0\) the set \(\{x\in X\mid \lvert f(x)\rvert>\varepsilon\}\) is compact .
The set of all functions vanishing at infinity is denoted by \(C_0(X)\).