Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

In Lee's book Introduction to Smooth Manifolds, he remarks on page 25 that

It is a fact (which we will neither prove nor use) that $F: U\rightarrow \mathbb R^k$ is smooth in this sense if and only if $F$ is continuous, $F|_{U\cap \text{Int }\mathbb H^n}$ is smooth, and the partial derivatives of $F|_{U\cap \text{Int }\mathbb H^n}$ of all orders have continuous extensions to all of $U$.

This follows a discussion of the definition of a smooth function on an arbitrary subset of $\mathbb R^n$. A function on such a set is defined to be smooth if and only if it admits a smooth extension to an open neighborhood of each point. The quote concerns functions defined on the closed upper half space (the subset of $\mathbb R^n$ with $x_n \ge 0$).

My question: Where can I find a proof of the quoted theorem?

share|cite|improve this question
up vote 8 down vote accepted

Good question. One direction is immediate; the other direction depends on a lemma of Émile Borel, which shows that there is a smooth function defined in the lower half-space whose derivatives all match those of $F$ on $U \smallsetminus \mathbb H^n$. See, e.g., Theorem 1.2.6 in The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis, 2nd ed., by Lars Hörmander. (I included this reference in the second edition of my Smooth Manifolds book.)

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.