Большая Советская Энциклопедия (ФУ)

топологические пространства, т. е. линейные пространства Х над полем комплексных чисел  (или действительных чисел ), которые одновременно и топологические, причём линейные операции непрерывны в рассматриваемой топологии. Более частная, но очень важная ситуация возникает, когда в линейном пространстве Х можно ввести норму (длину) векторов, свойства которой являются обобщением свойств длины векторов в обычном евклидовом пространстве. Именно, нормой элемента x Î Х называется действительное число ||x || такое, что всегда ||x || ³ 0 и ||x || = 0 тогда и только тогда, когда x = 0;

||lx || = |l| ||x ||, l Î  x , если ||x_n — x ||  0.

  В большом числе задач возникает ещё более частная ситуация, когда в линейном пространстве Х можно ввести скалярное произведение — обобщение обычного скалярного произведения в евклидовом пространстве. Именно, скалярным произведением элементов x , у Î Х называется комплексное число (x , у ) такое, что всегда (x , x ) ³ 0 и (x , x ) = 0 тогда и только тогда, когда x = 0;

 , l, m Î  является нормой элемента x . Такое пространство называется предгильбертовым. Для конструкций Ф. а. важно, чтобы рассматриваемые пространства были полными (т. е. из того, что  для x_m , x_n Î X, следует существование предела , также являющегося элементом Х ). Полное линейное нормированное и полное предгильбертово пространства называются, соответственно, банаховым и гильбертовым. При этом известная процедура пополнения метрического пространства (аналогичная переходу от рациональных чисел к действительным) в случае линейного нормированного (предгильбертова) пространства приводит к банахову (гильбертову) пространству.

  Обычное евклидово пространство является одним из простейших примеров (действительного) гильбертова пространства . Однако в Ф. а. играют основную роль бесконечномерные пространства, т. е. такие, в которых существует бесконечное число линейно независимых векторов. Вот примеры таких пространств, элементами которых являются классы комплекснозначных (т. е. со значениями в , норма ||x || = ; банахово пространство L_p (T ) всех суммируемых с р -й (p ³ 1) степенью функций на Т , норма ; банахово пространство l_p всех последовательностей таких, что , здесь   (множеству целых чисел), норма || x || =(å|x_j |^p )^{1/ p} ; в случае p = 2 пространства l₂ и L₂ (T ) гильбертовы, при этом, например, в L₂ (T ) скалярное произведение ; линейное топологическое пространство D (), состоящее из бесконечно дифференцируемых функций на , каждая из которых финитна [т. е. равна нулю вне некоторого интервала (а , b )]; при этом x_n  x, если x_n (t ) равномерно финитны [т. е. (а