Система Фабера – Шаудера
Систе́ма Фа́бера – Ша́удера, система функций , построенная на отрезке с помощью любой счётной всюду плотной на этом отрезке последовательности точек , , , следующим образом. Полагают на . Функция линейна на отрезке и такая, что , . Если же , то отрезок делится на части точками и выбирается отрезок , , содержащий точку . Затем полагают , и продолжают функцию линейно на отрезки и . Вне интервала функцию полагают равной нулю.
В случае когда , , a – последовательность всех двоично рациональных точек отрезка , занумерованных естественным образом (т. е. в порядке
система [её обозначение ] впервые встречается в работе Г. Фабера (Faber. 1910). Он рассматривал её (с другой нормировкой) как систему неопределённых интегралов от системы Хаара, дополненную функцией, тождественно равной единице. В общем случае построение системы осуществлено Ю. П. Шаудером (Schauder. 1928), поэтому система Фабера – Шаудера называется также системой Шаудера.
Система является базисом в пространстве всех непрерывных на отрезке функций с нормой (см. Faber. 1910, Sсhauder. 1928 или Качмаж. 1958).
Если к системе Фабера применить процесс ортогонализации Шмидта на отрезке , то получится система Франклина.
Система Фабера – Шаудера – первый пример базиса в пространстве непрерывных функций.