Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

share|cite|improve this question
Crossposted to math.SE: –  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

1 Answer 1

up vote 17 down vote accepted

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$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.