Большая Советская Энциклопедия (ЛИ) i-images-158265593.png
 

  означает общий расход i-го производственного фактора при плане х(i) = (x(i)1, x(i)2, ..., x(i)n). И поскольку ресурсы ограничены величинами bi, то возникают естественные условия (2) и (3). Ставится задача отыскания такого распределения времени (оптимального плана) х* = (x*1, х*2, ..., х* n) работы по каждому технологическому способу, при котором общий объём продукции

Большая Советская Энциклопедия (ЛИ) i-images-111009086.png
был бы максимальным, то есть задача (1) — (3). Другим характерным примером прикладных задач Л. п. является транспортная задача.

  Термин «Л. п.» нельзя признать удачным, однако смысл его в том, что в Л. п. решаются задачи составления оптимальной программы (плана) действий. В связи с этим Л. п. можно рассматривать как один из математических методов в исследованиях операций (см. Операций исследование).

  Функцию (1) в Л. п. принято называть целевой функцией, или критерием эффективности, вектор х = (x1, x2, ..., xn) — планом, вектор x*=(x*1, x*2, ..., x*n) — оптимальным планом, а множество, определяемое условиями (2) — (3), — допустимым, или множеством планов. Одним из основных методов решения задач Л. п. является симплексный метод. Геометрически его идея состоит в следующем. Допустимое множество (2) — (3) представляет собой выпуклое многогранное множество (если оно ограничено, то — многомерный выпуклый многогранник). Если задача Л. п. имеет решение, то существует вершина х* многогранного множества, являющаяся оптимальным планом. Симплексный метод состоит в таком направленном переборе вершин, при котором значение целевой функции возрастает от вершины к вершине. Каждой вершине соответствует система уравнений, выбираемая спец. образом из системы неравенств (2) — (3), поэтому вычислительная процедура симплексного метода состоит в последовательном решении систем линейных алгебраических уравнений. Простота алгоритма делает этот метод удобным для его реализации на ЭВМ.

  Лит.: Юдин Д. Б., Гольштейн Е. Г., Линейное программирование, М., 1969.

  В. Г. Карманов.

Линейное пространство

Лине'йное простра'нство, тоже, что векторное пространство. В функциональном анализе рассматриваются главным образом бесконечномерные пространства. Примером бесконечномерного Л. п. может служить пространство всех многочленов (с вещественными или комплексными коэффициентами) при обычном определении сложения и умножения на числа. Одним из первых примеров бесконечного Л. п. были гильбертово пространство и пространство С [а, b] непрерывных функций, заданных на отрезке [а, b]. Эти пространства являются нормированными, т. е. такими Л. п., в которых введена норма элемента х — неотрицательное число

Большая Советская Энциклопедия (ЛИ) i-images-154357792.png
, обращающееся в нуль лишь при х = 0 и обладающее свойствами
Большая Советская Энциклопедия (ЛИ) i-images-198889800.png
 и
Большая Советская Энциклопедия (ЛИ) i-images-153428156.png
 (неравенство треугольника). Число
Большая Советская Энциклопедия (ЛИ) i-images-161535470.png
 называют расстоянием между элементами х и у (см. также Метрическое пространство). В нормированном Л. п. вводятся понятия открытого шара, предельной точки множества, непрерывности функционала аналогично тому, как это делается в трёхмерном пространстве.

  В конечномерном пространстве различные нормы топологически равносильны: последовательность точек, сходящихся при одной норме, сходится и при любой другой. В бесконечномерных пространствах нормы могут быть существенно различны. Например, при решении задачи П. Л. Чебышева о разыскании многочлена, наименее уклоняющегося от нуля (задачи о наилучшем приближении), надо найти такой многочлен (k — 1)-й степени Pk-i(t), чтобы

Большая Советская Энциклопедия (ЛИ) i-images-169925487.png
 
Большая Советская Энциклопедия (ЛИ) i-images-102500254.png

  имел наименьшее значение. Вводя в пространство С[0,1] норму формулой

Большая Советская Энциклопедия (ЛИ) i-images-104649498.png
=
Большая Советская Энциклопедия (ЛИ) i-images-117320635.png
 
Большая Советская Энциклопедия (ЛИ) i-images-183914895.png

  эту задачу можно сформулировать следующим образом: требуется найти многочлен Pk-i(t), расстояние которого от функции t* было бы наименьшим. При рассмотрении же многочленов, ортогональных с весом p(t) (см. Ортогональная система функций), естественно рассматривать норму, определённую формулой

Большая Советская Энциклопедия (ЛИ) i-images-106825042.png
,

  и решать задачу о наилучшем приближении в смысле этой нормы. Нормы

Большая Советская Энциклопедия (ЛИ) i-images-130008167.png
 и
Большая Советская Энциклопедия (ЛИ) i-images-183523197.png
 существенно различны, так как, например, последовательность функций

Большая Советская Энциклопедия (ЛИ) i-images-188388899.png

  по первой норме расходится, а по второй норме при p(t) = 1 сходится к функции

Большая Советская Энциклопедия (ЛИ) i-images-180750664.png
.

  Следует отметить, что хотя все функции xn(t) были непрерывны, функция x(t) разрывна. Это связано с тем, что пространство непрерывных функций неполно относительно нормы

Большая Советская Энциклопедия (ЛИ) i-images-137054249.png
. При этом нормированное Л. п. называется полным, если для любой последовательности {xn} его элементов, удовлетворяющих условию

Большая Советская Энциклопедия (ЛИ) i-images-153962757.png
,

  существует в Л. п. такой элемент х, что данная последовательность сходится к нему, т. е.

Большая Советская Энциклопедия (ЛИ) i-images-127662039.png
,

  Если Л. п. неполно, то к нему можно присоединить новые элементы (пополнить его) так, что оно станет полным. Например, пополняя пространство непрерывных функций, взятое с нормой

Большая Советская Энциклопедия (ЛИ) i-images-107701195.png
, получают гильбертово пространство L2p. Полные нормированные Л. п. называется банаховыми, или В-пространствами, — по имени изучившего их основные свойства С. Банаха.

  Обобщением понятия B-пространства является понятие топологического Л. п. Так, называют множество Е, если: 1) оно представляет собой Л. п., 2) оно является топологическим пространством, 3) операции сложения и умножения на числа в Е непрерывны относительно заданной в Е топологии. К числу топологического Л. п. относятся все нормированные пространства. А. Н. Колмогоров установил (1934) необходимые и достаточные условия нормируемости топологического Л. п.

  Лит.: Колмогоров А. Н., Фомин С. В., Элементы теории функций и функционального анализа, 2 изд., М., 1968; Люстерник Л. А., Соболев В. И., Элементы функционального анализа, 2 изд., М., 1965.


Перейти на страницу:
Изменить размер шрифта: