§ 6. Ортогонализация ряда векторов1. Наименьшее подпространство, содержащее векторы Два ряда векторов содержащих одинаковое конечное или оба бесконечное число векторов, назовем эквивалентными, если для всех возможных
Ряд векторов назовем невырожденным, если при любом возможном Ряд векторов называется ортогональным, если любые два вектора этого ряда взаимно ортогональны. Под ортогонализацией ряда векторов будем понимать замену этого ряда эквивалентным ортогональным рядом. Теорема 2. Всякий невырожденный ряд векторов можно проортогонализировать. Процесс ортогонализации приводит к векторам, определенным однозначно с точностью до скалярных множителей. Доказательство. 1. Докажем сначала вторую часть этой теоремы. Пусть два ортогональных ряда
Умножая последовательно обе части этого равенства скалярно на
получим
2. Конкретное осуществление процесса ортогонализации произвольного невырожденного ряда векторов Пусть
Положим
где Тогда (как легко видеть) – ортогональный ряд, эквивалентный ряду Согласно (21)
Полагая
В силу (22)
Поэтому, полагая
получим ортонормированный ряд Пример. Определим скалярное произведение в пространстве кусочно непрерывных в интервале
Рассмотрим невырожденный ряд «векторов»
Проортогонализируем его по формулам (35):
Эти ортогональные между собой многочлены с точностью до постоянных множителей совпадают с известными многочленами Лежандра:
Тот же ряд степеней даст другой ряд ортогональных многочленов. Так, например, при
При 2. Отметим еще так называемое неравенство Бесселя для ортонормированного ряда векторов
Тогда проекция вектора
Но
Это – неравенство Бесселя. В случае конечномерного пространства
В случае бесконечномерного пространства и бесконечного ряда
Составим ряд
равен проекции
где
Отсюда
Если
то говорят, что ряд В этом случае для вектора
Если для любого вектора
Пример. Рассмотрим пространство всех комплексных функций Скалярное произведение двух функций
В частности,
Возьмем бесконечную последовательность функций
Эти функции образуют ортонормированный ряд, так как
Ряд сходится в среднем к функции В теории рядов Фурье доказывается, что система функций Условие полноты дает равенство Парсеваля [см. равенство (40)]
Если
где
будем иметь:
Поэтому для вещественной функции ряд Фурье принимает вид
|