1: \begin{definition}\label{D:4tildeC}

2: Let $r_0,m\in \N$, $r_0>2m$. We define $\widetilde C^m(\Ucal \times\Vcal,\bM^\prime)$ as the set of all maps $G:\Ucal\times\Vcal\to \bM'$ such that

3: \begin{enumerate}[\rm (a)]

4: \item\label{tildeCap}

5: $G\in C^m_*(\Ucal \times\Vcal,\bM'_{r_0-2m})$.

6: \item\label{E:tildeCb}

7: For each $0\le j'+j''+\ell\le m$, the function

8: \begin{multline*}

9: (H,K,\bq,\dot{H}_1,\dots ,\dot{H}_{j'},\dot{K}_1,\dots ,\dot{K}_{j''},\dot{\bq}_1,\dots, ,\dot{\bq}_\ell)\to \\

10: \to D^{j'}_1D^{j''}_2D_3^\ell G((H,K,\bq),\dot{\bq}_1,\dots, ,\dot{\bq}_\ell,\dot{K}_1,\dots ,\dot{K}_{j''},\dot{H}_1,\dots ,\dot{H}_{j'}),

11: \end{multline*}

12: (which is by an implication  of the claim (a)  (see Theorem~\ref{T:*=Ham}) defined as a map $\Ucal \times\Vcal\times  {\bM}_{0}^{j'} \times{\bM}^{j''} \times (\R^{d\times d}_{\rm sym})^\ell  \to \bM'_{r_0-2m}$) has an extension to a continuous mapping 

13: $\Ucal\times\Vcal \times{\bM}_{0}^{j'}\times \widetilde{\bM}_{r_0-2m+2\ell}^{j''}\times (\R^{d\times d}_{\rm sym})^\ell \to  \bM'_{r_0-2m}$. This extension is also denoted $D^{j'}_1 D^{j''}_2 D^{\ell}_3 G$.

14: \item\label{tildeCcp}

15: For each $0\le j'+j''+\ell\le m$ and $r=r_0, r_0-2, \dots, r_0-2m+2\ell$,   the restriction of  $D^{j'}_1 D^{j''}_2 D^{\ell}_3 G$  to $\Ucal\times\Vcal \times{\bM}_{0}^{j'}\times \widetilde{\bM}_{r}^{j''}\times (\R^{d\times d}_{\rm sym})^\ell$  (notice that it has  been already extended by (b)) has values in $\bM'_{r-2\ell}$ and is continuous as a mapping between these spaces.

16: \end{enumerate}

17: \end{definition}

18: