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


is the space $C_0(\mathbb{R}^m)$, $m \in \mathbb{N}$ of continuous functions with compact support separable? If yes: where can I find a proof for that?

Please note: this is not a duplicate of this question (click), since I asked for compact support.

The reason I'm asking is: here (click) the author (L.C. Evans) seems to use the fact on page 18 (page 20 of the pdf) first line without mentioning the difficulty, that $\mathbb{R}$ isn't compact. The entire proof is senseless without this fact.

Your help is very much appreciated! Thanks!

share|cite|improve this question

closed as too localized by Nate Eldredge, Andrés E. Caicedo, Bill Johnson, Igor Rivin, George Lowther Jun 14 '11 at 17:00

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

Isn't $C_0(\mathbb{R}^m)$ usually continuous functions that vanish at infinity? – Keenan Kidwell Jun 14 '11 at 14:15
This is not a research-level question. – Nate Eldredge Jun 14 '11 at 14:29
Oh... he doesn't clarify his notation. But that could very well be. But doesn't that make it even worse? – fjodor_d Jun 14 '11 at 14:30
The notation for $C_0(U)$ is indeed explained at page 7, line 18 (functions with compact support, as you said). It is not stated if a topology is chosen. In any case, in the proof at page 18 just uniform convergence is used. So the separability you need comes e.g. from the separability of the Banach space $C(S)$ where $S$ is the one-point compactification of $\mathbb{R}^m$ (you can see $C_0(\mathbb{R}^m)$ as a subset of $C(S)$). – Pietro Majer Jun 14 '11 at 15:12
up vote 3 down vote accepted

Each $C([-N,N]^m)$ is separable, and so is the subspace $X_N\subseteq C([-N,N]^m)$ consisting of functions which vanish on the boundary $\partial[-N,N]^m$. Take a countable dense subset of each $X_N$, and take the union over all integers $N$. This is then a countable dense subset of $C_0(\mathbb R^m)$.

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.