Si prova che l’operatore di integrazione $Fy(x) = \int_{0}^{x} \, y(t) \, dt$ definito sullo spazio $C (-\infty,\infty)$ delle funzioni reali continue su $(-\infty,\infty)$ è una contrazione rispetto ad una certa famiglia di seminorme che generano la topologia della convergenza uniforme sui compatti. Tuttavia, si prova anche, per contro, che $F$ non è contrattiva rispetto ad alcuna metrica su $C (-\infty,\infty)$ che induca su $C (-\infty,\infty)$ la topologia suddetta.