Corollary

The set of vector functions defined on an interval $I$, taking values in a given topological vector space $E$, and differentiable on $I$, is a vector space over $\mathbf{R}$, and the map $f \mapsto Df$ is a linear mapping of this space into the vector space of mappings from $I$ into $E$.