In Hubbard and Hubbard, the authors define a linear transformation with two properties:
(1) $T(v+w)=T(v)+T(w)$
(2) $T(cv)=cT(v)$
My question is this: isn't property 2 redundant? For instance, since $T(2v)=T(v+v)$, by property 1 it would obviously have to be $T(v)+T(v)=2T(v)$. Is there something about the definition of transformations that makes it not so obvious that $T(v)+T(v)$ equals $2T(v)$?