On differentiability of vectors in Lie group representations

We address a linearity problem for differentiable vectors in representations of infinite-dimensional Lie groups on locally convex spaces, which is similar to the linearity problem for the directional derivatives of functions.