Ги́льбертово простра́нство — обобщение евклидова пространства, допускающее бесконечную размерность. Названо в честь Давида Гильберта.
Важнейшим объектом исследования в гильбертовом пространстве являются линейные операторы. Само понятие гильбертова пространства сформировалось в работах Гильберта и Шмидта по теории интегральных уравнений, а абстрактное определение было дано в работах фон Неймана, Риса и Стоуна по теории эрмитовых операторов.
Гильбертово пространство — линейное (векторное) пространство (над полем вещественных или комплексных чисел), в котором[1]:
Таким образом, гильбертово пространство есть банахово пространство (полное нормированное пространство), норма которого порождена положительно определённым скалярным произведением и определяется как
Норма в произвольном нормированном пространстве может порождаться некоторым скалярным произведением тогда и только тогда, когда выполнено следующее равенство (тождество) параллелограмма:
Если удовлетворяющее тождеству параллелограмма банахово пространство является вещественным, то отвечающее его норме скалярное произведение задаётся равенством
Если это пространство является комплексным, то отвечающее его норме скалярное произведение задаётся равенством
В гильбертовом пространстве важное значение имеет неравенство Коши — Буняковского:
Это неравенство в случае вещественного гильбертова пространства дает возможность определить угол между двумя элементами x и y по следующей формуле
В частности, если скалярное произведение равно нулю , а сами элементы являются ненулевыми, то угол между этими элементами равен , что соответствует ортогональности элементов x и y. Заметим, что понятие ортогональности вводится и в комплексном гильбертовом пространстве с помощью соотношения . Для обозначения ортогональности элементов используется символ . Два подмножества и гильбертова пространства ортогональны , если любые два элемента , ортогональны.
Для попарно ортогональных векторов справедлива теорема Пифагора (обобщённая):
Множество всех элементов пространства, ортогональных некоторому подмножеству , является замкнутым линейным многообразием (подпространством) и называется ортогональным дополнением этого множества.
Подмножество элементов называется ортонормированной системой, если любые два элемента множества ортогональны и норма каждого элемента равна единице.
Система векторов гильбертова пространства является полной, если она порождает всё пространство, то есть если произвольный элемент пространства может быть сколь угодно точно приближен по норме линейными комбинациями элементов этой системы. Если в пространстве существует счётная полная система элементов, то пространство является сепарабельным — то есть имеется счётное всюду плотное множество, замыкание которого по метрике пространства совпадает со всем пространством.
Данная полная система является базисом, если каждый элемент пространства можно представить как линейную комбинацию элементов этой системы и притом однозначно. Необходимо отметить, что в общем случае банаховых пространств из полноты и линейной независимости элементов системы не следует, что это базис. Однако, в случае сепарабельных гильбертовых пространств полная ортонормированная система является базисом. Для того, чтобы ортонормированная система была полна в сепарабельном гильбертовом пространстве необходимо и достаточно, чтобы не существовало ненулевого элемента, ортогонального всем элементам ортонормированной системы. Таким образом, для каждого элемента пространства имеет место разложение по ортонормированному базису :
Коэффициенты разложения называют коэффициентами Фурье. При этом для нормы элемента выполнено равенство Парсеваля:
Все ортонормированные базисы в гильбертовом пространстве имеют одинаковую мощность, что позволяет определить размерность гильбертова пространства как размерность произвольного ортонормированного базиса (ортогональная размерность). Гильбертово пространство сепарабельно тогда и только тогда, когда имеет счётную размерность.
Размерность пространства также можно определить как наименьшую из мощностей подмножеств гильбертова пространства , для которых замыкание линейной оболочки совпадает с .
Любые два гильбертовы пространства, имеющие одинаковую размерность, изоморфны. В частности, любые два бесконечномерные сепарабельные гильбертовы пространства изоморфны друг другу и пространству .
Пусть — некоторое подпространство в гильбертовом пространстве . Тогда для любого элемента справедливо единственное разложение , где , а . Элемент называется проекцией элемента на . Совокупность элементов , ортогональных подпространству образует (замкнутое) подпространство , являющееся ортогональным дополнением подпространства .
Говорят, что пространство разложено в прямую сумму подпространств и , что записывается как . Аналогично можно записать .
Пространство линейных непрерывных (ограниченных) функционалов также образует линейное пространство и называется сопряжённым пространством.
Имеет место следующая теорема Риса об общем виде ограниченного линейного функционала в гильбертовом пространстве: для любого линейного ограниченного функционала на гильбертовом пространстве существует единственный вектор такой, что для любого . При этом норма линейного функционала совпадает с нормой вектора :
Из теоремы следует, что пространство линейных ограниченных функционалов над гильбертовым пространством изоморфно самому пространству .
Линейный оператор может быть представлен в данном базисе матричными элементами единственным образом: .
Линейный оператор называется сопряжённым к оператору , если для любых элементов и выполнено равенство . Норма сопряжённого оператора равна норме самого оператора.
Линейный ограниченный оператор называется самосопряжённым (симметрическим), если .
Оператор , определённый на всем пространстве, который каждому элементу ставит в соответствие его проекцию на некоторое подпространство называется проектирующим оператором, (оператором проектирования, ортопроектором). Проектирующий оператор является линейным самосопряжённым оператором с единичной нормой, для которого выполнено равенство . Произведение двух проектирующих операторов является проектирующим тогда и только тогда, когда они перестановочны: .
Для пространств и над полем комплексных чисел, последовательностей комплексных чисел и комплекснозначных функций, определение скалярного произведения отличается лишь комплексной сопряжённостью второго сомножителя:
Для улучшения этой статьи желательно: |