[функан] Доказать, что S плотно в L_1(R) и в L_2(R)

Пространство быстро убывающих бесконечно дифференцируемых функций
Пространство финитных бесконечнодифференцируемых функций D плотно в S, в L1 и L2 => утверждение?
если руки дойдут, то напишу конкретно
А почему D плотно в L_1 и L_2?
Можно по-другому. В L_1 и L_2 плотно пространство простых функции (счётные линейные комбинации индикаторов непересекающихся множеств). Идникаторы в свою очередь можно приблизить финитными гладкими функциями из D с увеличивающейся точностью. Тогда и D \subset S будет плотно в L_p.
Осталось только найти такое "известное множество функций"

Может быть, это самое D подойдёт? В К-Ф не нашел...
Кстати говоря, в К-Ф этот факт (что S плотно в L_1(R) и в L_2(R используется при доказательстве теоремы Планшереля, но сам по себе не доказывается

Можно по-другому. В L_1 и L_2 плотно пространство простых функции (счётные линейные комбинации индикаторов непересекающихся множеств). Идникаторы в свою очередь можно приблизить финитными гладкими функциями из D с увеличивающейся точностью. Тогда и D \subset S будет плотно в L_p.О, по-моему, то что нужно

Спасибо, сейчас попробую аккуратно это проследить.
Из теоремы компактного вложения пространств Соболева
Оставить комментарий
NHGKU2
как?Здесь S = {f\in C^\infty: sup_{R} |x^p f^{(q)}(x)|<\infty; p,q = 0,1,2,...}