Smooth approximation theorem for differential manifolds

From Diffgeom
Revision as of 00:00, 17 January 2008 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This fact is an application of the following pivotal fact/result/idea: Stone-Weierstrass theorem
View other applications of Stone-Weierstrass theorem OR Read a survey article on applying Stone-Weierstrass theorem

Statement

Let M and N be differential manifolds and define C0(M,N) to be the space of all continuous maps from M to N, endowed with the compact-open topology. Let C(M,N) be the space of all smooth maps from M to N, viewed as a subset of C0(M,N). Then C(M,N) is dense in C0(M,N).