MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

One version of Whitney's approximation theorem states the following:

Let $N$ be a smooth, Hausdorff, second-countable (or paracompact) manifold, then given any continuous function $F:N\to \mathbb{R}^k$ and any continuous function $\epsilon:N\to\mathbb{R}_+$, one can approximate $F$ by a smooth function $\tilde{F}$ such that the error is bounded by $\epsilon$.

The proof I know uses the fact that (a) the statement is true for $N$ being an open subset of $\mathbb{R}^n$ (which one has Whitney's version with analytic approximation, or one can get some sort of $C^\infty$ approximation via mollifiers) (b) one can take a partition of unity on $N$.


Are there analogues to Whitney's theorem when second-countable is weakened? Or is there an easy counterexample?

share|cite|improve this question
try Counterexamples in Topology (Dover reprint of 1978 ed.) – Nikita Kalinin Dec 15 '11 at 20:43
@Nikita: is that a general comment or do you know a particular one of the entries in that book would work? Checking the index I didn't see anything for "Whitney", "Approximation" or "Partition of Unity". The entries for "second countable" didn't really illuminate me. I have the Dover print of Counterexamples, so if you can just give me a rough page number it'd be great. (As a side note, I didn't think that anything in that book actually addresses smooth structures...) – Willie Wong Dec 16 '11 at 9:37

Your Answer


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

Browse other questions tagged or ask your own question.