st256, Вам совершено справедливо заметили, что для того, чтобы говорить о базисе какого-то пространства, сперва нужно уточнить какое пространство Вы рассматриваете.
Здесь о базисах. Вам нужен базис Шаудера.
http ://ru.wikipedia.org/wiki/Базис
(Уберите пробел. Не могу почему-то оформить ссылку. Почему?)Общеизвестный факт такой: в пространстве

множество

является базисом Шаудером, то есть любую функцию класса

можно представить в виде суммы ряда

Ой, ребята, будьте проще. Мне был нужен не базис, а ряд Фурье. Самый банальный, кандовый, доморощеный. Тот самый, который описан в третьем томе Кудрявцева. Только там он определялся на замкнутом интервале, а в Корне и Корне на открытом. Мне хотелось понять, в чем причина такого разночтения. Я понял, но, увы, самостоятельно.
А заметели мне совсем не то, что мне бы в тот момент хотелось. Напомню, вопрос был о полноте базиса. А в Вашем посте об этом не было ни слова. Уточнения же типа, что в Гильбертовом прострастве есть метрика у меня вызывают улыбку

Удачи!