I know the article of Hamilton on the inverse function theorem of Nash an Moser (with the same title) where he proves that $C^\infty(M)$ is a tame Fréchet space, when $M$ is closed or compact with boundary.

However, as far as I see no word is lost on the case of non-compact $M$. In particular, what if $M$ is an open subset of $\mathbb{R}^n$? Of course, we need to endow this with its Fréchet topology (uniform $C^m$ convergence on compact subsets).

I assume that this may not be a tame space, but I couldn't find a reference. At least it has a sequence of seminorms of increasing strength that induce the topology, be taking an exhaustion with compact sets and let simultaneously the order of differentiation increase.

I know the article of Hamilton on the inverse function theorem of Nash and Moser (with the same title) where he proves that $C^\infty(M)$ is a tame Fréchet space, when $M$ is closed or compact with boundary.

However, as far as I see no word is lost on the case of non-compact $M$. In particular, what if $M$ is an open subset of $\mathbb{R}^n$? Of course, we need to endow this with its Fréchet topology (uniform $C^m$ convergence on compact subsets).

I assume that this may not be a tame space, but I couldn't find a reference. At least it has a sequence of seminorms of increasing strength that induce the topology, by taking an exhaustion with compact sets and simultaneously letting the order of differentiation increase.