ГИЛЬБЕРТОВО ПРОСТРАНСТВО
математическое
понятие, обобщающее понятие евклидова пространства на бесконечномерный
случай. Возникло на рубеже 19 и 20 вв. в виде естественного логич. вывода
из работ нем. математика Д. Гильберта в результате обобщения фактов и методов,
относящихся к разложениям функций в ортогональные ряды и к исследованию
интегральных уравнений. Постепенно развиваясь, понятие "Г. п." находило
всё более широкие приложения в различных разделах математики и теоретич.
физики; оно принадлежит к числу важнейших понятий математики. Первоначально
Г. п. понималось как пространство последовательностей со сходящимся рядом
квадратов (т. н. пространство l2). Элементами (векторами) такого пространства
являются бесконечные числовые последовательности такие, что ряд x21 + x22+
...+x2n+ ... сходится. Сумму двух векторов х + у и вектор лямбда*х, где
лямбда - действительное число, определяют естеств. образом: Для любых векторов
x, y содержащихся в l2 формула определяет их скалярное произведение, а
под длиной (нормой) вектора х понимается неотрицательное число Скалярное
произведение всегда конечно и удовлетворяет неравенству |(х,у)| <=||x||||y||
Последовательность векторов хn паз. сходящейся к вектору х, если при .
Многие определения и факты теории конечномерных: евклидовых пространств
переносятся и на Г. п. Напр., формула где определяет угол между векторами
х и у. Два вектора x и у наз. ортогональными, если (х, у) = 0. Пространство
l2 полно: всякая фундаментальная последовательность Коши элементов этого
пространства (т. е. последовательность xn, удовлетворяющая условию при
) имеет предел. В отличие от евклидовых пространств, Г. п. l2 бесконечномерно,
т. е. в нём существуют бесконечные системы линейно независимых векторов;
напр., такую систему образуют единичные векторы При этом для любого вектора
х из l2 имеет место разложение (1) по системе {еn}. Другим важным примером
Г. п. служит пространство L2 всех измеримых функций, заданных на нек-ром
отрезке [а,b], для к-рых конечен интеграл понимаемый как интеграл в смысле
Лебега. При этом функции, отличающиеся друг от друга лишь на множество
меры нуль, считаются тождественными. Сложение функций и умножение их на
число определяется обычным способом, а под скалярным произведением понимается
интеграл Норма в этом случае равна Роль единичных векторов предыдущего
примера здесь могут играть любые функции из L2, обладающие свойствами ортогональности
и нормированности а также следующим свойством замкнутости: если f(x) принадлежит
L2 и то f(x) = 0 всюду, кроме множества меры нуль. На отрезке [0,2п] в
качестве такой системы функций можно взять тригонометрич. систему. Разложению
(1) соответствует разложение функции f(x) из L2 в ряд Фурье сходящийся
к f(x) по норме пространства L2. При этом для всякой функции f(x) выполняется
равенство Парсеваля Соответствие между функциями f(x) из L2 и последовательностями
их коэффициентов Фурье а0, а1 b1, а2, b2,... является взаимно однозначным
отображением L2 на l2, сохраняющим операции сложения, умножения на числа,
а также сохраняющим длины и скалярные произведения. T. о., эти пространства
изоморфны и изометричны, значит имеют одинаковое строение. В более широком
смысле под Г. п. понимают произвольное линейное пространство, в к-ром задано
скалярное произведение и к-рое является полным относительно нормы, порождаемой
этим скалярным произведением. В зависимости от того, определено ли для
элементов Г. п. H умножение только на действительные числа или же элементы
из H можно умножать на произвольные комплексные числа, различают действительное
и комплексное Г. п. В последнем случае под скалярным произведением понимают
комплексную функцию (х, у), определённую для любой пары х, у элементов
из H и обладающую следующими свойствами: где черта означает комплексно
сопряжённую величину. Норма элемента х определяется равенством Комплексные
Г. п. играют в математике и в её приложениях значительно большую роль,
чем действительные Г. п. Одним из важнейших направлений теории Г. п. является
изучение линейных операторов в Г. п. (см. Операторов теория). Именно с
этим кругом вопросов связаны многочисл. применения Г. п. в теории дифференциальных
и интегральных уравнений, теории вероятностей, квантовой механике и т.
д. Лит.: Колмогоров A. H., Фомин С. В., Элементы теории функций и функционального
анализа, 2 изд., M., 1968 Люстерник Л. А., Соболев В. И. Элементы функционального
анализа, 2 изд. M., 1965; Данфорд H., Шварц Д ж. Линейные операторы, т.
1 - Общая теория пер. с англ., M., 1962; Дэй M. M., Нормированные линейные
пространства, пер. с англ., M., 1961. Ю.В.Прохоров.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я