Ортогональный Базис

- система попарно ортогональных элементов е 1, е 2, ..., е п, . Гильбертова пространства Xтакая, что любой элемент однозначно представим в виде сходящегося по норме ряда наз. Рядом Фурье элемента хпо системе {е i}. Обычно базис { е i} выбирается так, что || е i||=1, и тогда он наз. Ортонормированным базисом. В этом случае числа С i, наз. Коэффициентами Фурье элемента хпо ортонормированному базису { е i}, имеют вид с i=( х, е i). Необходимым и достаточным условием того, чтобы ортонормированная система { е i} была базисом, является равенство Парсеваля-Стеклова для любого . Гильбертово пространство, имеющее ортонормированный базис, является сепарабельным, и обратно, во всяком сепарабельном гильбертовом пространстве существует ортонормированныи базис.

Если задана произвольная система чисел {с i} такая, что , то в случае гильбертова пространства с базисом { е i} ряд сходится по норме к нек-рому элементу . Этим устанавливается изоморфизм любого сепарабельного гильбертова пространства пространству l2 (теорема Рисса - Фишера). Лит.:[1] Люстерник Л. А., Соболев В. И., Элементы функционального анализа, 2 изд., М., 1965. [2] Колмогоров А. Н., Фомин С. В., Элементы теории функций и функционального анализа, 5 изд., М., 1981. [3] Ахиезер Н. И., Глазман И. М., Теория линейных операторов н гильбертовом пространстве, 2 изд., М., 1966. В. И. Соболев.