1: \begin{abstract}  A locally convex 

2: Lie group $G$ has the Trotter property if, for every $x_1, x_2 \in \g$, 

3: \[ \exp_G(t(x_1 + x_2)) = \lim_{n \to \infty} 

4: \Big(\exp_G\Big(\frac{t}{n}x_1\Big)\exp_G\Big(\frac{t}{n}x_2\Big)\Big)^n \] 

5: holds uniformly on compact subsets of $\R$. All locally exponential Lie groups have this property, but also 

6: groups of automorphisms of principal bundles over compact smooth manifolds. A key result 

7: of the present article is that, if $G$ has the Trotter property, $\pi \: G \to \GL(V)$ is a continuous representation 

8: of $G$ on a locally convex space, 

9: and  $v \in V$  is a vector such that

10: $\oline{\dd\pi}(x)v := \frac{d}{dt}|_{t=0} \pi(\exp _G(tx))v$ exists for every 

11: $x \in \g$, then the map $\g \to V, x \mapsto \oline{\dd\pi}(x)v$ is linear. 

12: 

13: Using this result we conclude that, 

14: for a representation of a locally exponential Fr\'echet--Lie group 

15: $G$ on a metrizable locally convex space, 

16: the space of $\cC^k$-vectors coincides with the 

17: common domain of the $k$-fold products of the operators 

18: $\oline{\dd\pi}(x)$. For unitary representations on Hilbert spaces, the assumption 

19: of local exponentiality can be weakened to the Trotter property. 

20: 

21: As an application, we show that for smooth (resp., analytic) unitary representations of Fr\'echet--Lie supergroups $(G,\g)$ where $G$ has 

22: the Trotter property, the common domain of the operators of $\g = \g_\eev \oplus \g_\ood$ 

23: can always be extended to the space of smooth (resp., analytic) vectors for~$G$. \\

24: {\em Keywords:} infinite dimensional Lie group, representation, 

25: differentiable vector, smooth vector, analytic vector, derived representation, 

26: Lie supergroup, Trotter property.\\

27: {\em MSC2000:} 22E65, 22E45, 17B65.  

28: \end{abstract}