# What is the usual topology of $C^\infty_c(M)$

If $M$ is a smooth paracompact manifold, then what is the usual topology of $C^\infty_c(M)$, i.e., the smooth function with compact support?

-
Crossposted to math.SE: math.stackexchange.com/q/137701/264 – Zev Chonoles Apr 27 '12 at 16:29
I don't know if this is usual, but it should be possible to define a metric by $$d(f,g) = \sum_n \frac{1}{2^{n+A(n)}}\sum_{|\alpha|=n}\frac{\left|\sup_K\frac\partial{\partial x^\alpha}(f-g)\right|}{1 + \left|\sup_K\frac\partial{\partial x^\alpha}(f-g)\right|}$$ where $A(n)$ is the number of $\alpha$ s.t. $|\alpha|=n$. The space should be complete in the induced topology. – Todd Leason Apr 27 '12 at 17:46
Added: $K$ has to be taken to include the support of $f,g$. – Todd Leason Apr 27 '12 at 17:50
Todd: smoothly truncating $e^{-x^2}$ on $\mathbb R$ so as to obtain a sequence of compactly supported functions appropriately should give a Cauchy sequence in that metric which does not converge, no? – Mariano Suárez-Alvarez Apr 27 '12 at 18:38

Topologizing $C_c^\infty(M)\subseteq C^\infty(M)$ with the subspace topology (where $C^\infty(M)$ has the Whitney topology, generated by the seminorms $\left|\sup_K\frac\partial{\partial x^\alpha}f\right|$), makes it a dense subspace; in particular it is not itself complete. So I wouldn't really call this the "usual topology" on $C_c^\infty(M)$. (it would be sort of like saying the usual topology on $C(M)$ is given by the $L^2$ norm).
To me the usual topology is the inductive limit topology $C_c^\infty(M)=\lim_{K\subseteq M}C_c^\infty(K)$ (which Mariano calls the colimit topology). This topology is not metrizable when $M$ is noncompact (since it's not even first-countable), but is "nicer" in the sense that it gives a well-understood dual space, namely the space of distributions on $M$.
In comparison, the dual space of $C^\infty(M)$ with the Whitney topology is the space of compactly supported distributions on $M$.