Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

How one can show, that if $f(x_1,\ldots,x_n)$ is a continuous function on an open subset $U\subset \mathbb{R}^n$, then for every $\varepsilon > 0$ and every open $V\subset U$, such that $\bar V \subset U$, there exists a function $g(x_1,\ldots,x_n)$, such that:

1) $g$ is smooth on $V$;

2) $g|_{U-V}=f|_{U-V}$;

3) $\max_{x \in \bar V} |f(x)-g(x)|\leq \varepsilon$;

4) $g$ is smooth in all points, where $f$ is smooth.

This lemma is used in the book of Dubrovin, Novikov, Fomenko, but they don't prove it and don't give some refernce, where it can be found.

share|improve this question

migrated from mathoverflow.net Jul 16 '13 at 22:36

This question came from our site for professional mathematicians.

1 Answer 1

up vote 1 down vote accepted

The proof can be found in several places. For instance, see Thm 2.5 in Hirsch, M. W., Differential Topology (Springer-Verlag, 1976) or §6.7 in Steenrod, N., The Topology of Fibre Bundles (PUP, 1951). Unfortunately, these sources don't provide a name or a historical note about this result.

A recent paper, where I looked up these references is Wockel, C., A Generalisation of Steenrod's Approximation Theorem (2006, arXiv, dmlcz), which supplies an obvious name.

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