1: \begin{abstract} 

2: In this paper we develop two types of tools to deal with differentiability 

3: properties of vectors in continuous representations $\pi \: G \to \GL(V)$ 

4: of an infinite dimensional Lie group $G$ on a locally convex space~$V$. 

5: The first class of results concerns the space 

6: $V^\infty$ of smooth vectors. If $G$ is a Banach--Lie group, 

7: we define a topology on the space 

8: $V^\infty$ of smooth vectors for which the action of $G$ on this 

9: space is smooth. If $V$ is a Banach space, then 

10: $V^\infty$ is a Fr\'echet space. This applies in particular 

11: to $C^*$-dynamical systems $(\cA,G, \alpha)$, where 

12: $G$ is a Banach--Lie group. 

13: For unitary representations we show that 

14: a vector $v$ is smooth if the corresponding 

15: positive definite function $\la \pi(g)v,v\ra$ is smooth. 

16: 

17: The second class of results concerns criteria for 

18: $C^k$-vectors in terms of operators of the derived representation 

19: for a Banach--Lie group $G$ acting on a Banach space~$V$. 

20: In particular, we provide for each $k \in \N$ 

21: examples of continuous unitary representations  

22: for which the space of $C^{k+1}$-vectors is trivial and the space 

23: of $C^k$-vectors is dense. \\

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

25: differentiable vector, smooth vector, derived representation.\\

26: {\em MSC2000:} 22E65, 22E45.  

27: \end{abstract}