Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

How can one prove that $S( \mathbb{R}^{d}) $, the Schwartz space, is dense in $L^{2}(\mathbb{R}^{d}) $?

A slightly stronger result is that $C_{0}^{\infty}( \mathbb{R}^{d}) $, the set of infinitely differentiable functions with compact support, is dense in $L^{2}(\mathbb{R}^{d}) $, but I think this is probably easy to show once it has been proved that $S( \mathbb{R}^{d}) $ is dense in $L^{2}(\mathbb{R}^{d}) $.

share|improve this question

put on hold as off-topic by Ricardo Andrade, Stefan Kohl, Lucia, Stefan Waldmann, Neil Strickland Nov 24 at 6:44

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "MathOverflow is for mathematicians to ask each other questions about their research. See Math.StackExchange to ask general questions in mathematics." – Ricardo Andrade, Stefan Kohl, Lucia, Stefan Waldmann, Neil Strickland
If this question can be reworded to fit the rules in the help center, please edit the question.

Bump functions approximate piecewise linear functions, which are automatically dense in L^2. –  Qiaochu Yuan Feb 2 '10 at 19:46
This is an easy homework problem and not appropriate for MO. –  Bill Johnson Feb 2 '10 at 19:49
...but to make it an answer, $C_0^\infty$ is uniformly dense in the the continuous functions that vanish at infinity by Stone-Weierstrauss, whence also dense in $L_2$. –  Bill Johnson Feb 2 '10 at 23:27

1 Answer 1

Typically, one proves first that simple functions are dense, then extends this characterization to step functions, then smooth functions with compact support (this involves the classic "bump" construction).

share|improve this answer

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