# Are the Elementary Functions Dense in $C^n((0,1))$ with the Compact-Open Topology?

My question is really a basic (and, I dare say, naive) question about the theory of ordinary differential equations and is likely answered in a book on functional analysis or the like, so any pointers to such a book with the answer would be appreciated.

It is well-known that $\mathcal{C}^n(I)$ with the compact-open topology for any open interval $I$ of positive width is homeomorphic to $\mathcal{C}^n((0,1))$ with the compact-open topology, essentially via the unique orientation-preserving affine diffeomorphism of $I$ with $(0,1)$. In this post and this post, it is outlined that $\mathcal{C}^n((0,1))$ with the compact-open topology is metrizable by a metric that is complete, that is to say, that $\mathcal{C}^n((0,1))$ with the compact-open topology is topologically complete.

My questions is, are the elementary functions dense in $\mathcal{C}^n((0,1))$ with the compact-open topology?

If this is true, then given any $n^\text{th}$-order linear IVP with all coefficient functions continuous on $I$ and leading coefficient function $a_n(t)$ having no roots in $I$ has a Cauchy sequence (in any of the metrics outlined above) of elementary functions which converges to the IVP's unique solution $x(t)$ (which may be non-elementary but which will be $n$ times continuously differentiable on $I$ as $\mathcal{C}^n(I)$ with the compact-open topology is topologically complete). This fact would be useful in motivating differential equations students about some of the strategies for "solving", or approximating solutions to, IVPs.

• Isn't that only true for closed, bounded intervals $I$? en.wikipedia.org/wiki/Stone%E2%80%93Weierstrass_theorem (I had thought of that but seemed to recall the compactness of the domain was an important hypothesis.) – Jeffrey Rolland Apr 13 '17 at 21:19
• Compact-open topology: so a basic neighbourhood of $f$ is defined in terms of the values on a compact subset $K \subset (0,1)$. And Stone-Weierstrass says the polynomials are dense in the continuous functions on that compact set. – Robert Israel Apr 13 '17 at 23:11