Линейная комбинация

Пусть K — поле (например, поле ${\displaystyle \mathbb {R} }$ вещественных чисел) и V — векторное пространство над K (элементы V — векторы, а элементы K — скаляры). Если ${\displaystyle v_{1},\dots ,v_{n}}$ — векторы, а ${\displaystyle a_{1},\dots ,a_{n}}$ — скаляры, то линейная комбинация этих векторов со скалярами в качестве коэффициентов — это:

${\displaystyle a_{1}v_{1}+a_{2}v_{2}+a_{3}v_{3}+\cdots +a_{n}v_{n}}$.

Имеется некоторая двусмысленность в применении понятия «линейная комбинация», поскольку оно может относиться как к самому выражению, так и его результату. В большинстве случаев подразумевается значение, так как множество всех линейных комбинаций ${\displaystyle v_{1},\dots ,v_{n}}$ всегда образует подпространство. Однако можно сказать также «две различные линейные комбинации могут дать то же самое значение» и в этом случае под линейной комбинацией следует понимать выражение. Слабо уловимая разница между этими понятиями является сущностью понятия линейной зависимости — семейство векторов F линейно независимо в точности тогда, когда любая линейная комбинация векторов из F (как значение) единственна (как выражение). В любом случае, даже если линейная комбинация рассматривается как выражение, всё это относится к коэффициентам для каждого ${\displaystyle v_{i}}$; тривиальные изменения (например, перестановки элементов или добавление элементов с нулевыми коэффициентами) не дают другой линейной комбинации.

В зависимости от ситуации, K и V могут быть заданы явно, или они могут быть очевидны из контекста. В последнем случае часто говорят о линейной комбинации векторов ${\displaystyle v_{1},\dots ,v_{n}}$ с произвольными коэффициентами (за исключением того, что они должны принадлежать K). Или, если S — подмножество V, то можно говорить о линейной комбинации векторов из S, где и коэффициенты, и векторы не специфицированы — за исключением того требования, что векторы должны принадлежать множеству S, а коэффициенты — полю K). Наконец, можно говорить просто о линейной комбинации, где ничто не специфицировано (за исключением того, что вектора должны принадлежать множеству V, а коэффициенты — полю K). В этом случае, скорее всего, речь идёт о выражениях, поскольку любой вектор в V определённо является значением некоторой линейной комбинации.

По определению, линейная комбинация включает только конечное число векторов (за исключением специальных обобщений). Однако множество S, из которого берутся векторы, может быть бесконечным. Каждая же индивидуальная линейная комбинация включает лишь конечное число векторов из этого множества. Также нет причин, чтобы n не мог быть нулём: считается, что в этом случае результат линейной комбинации будет нулевым вектором в V.

Пусть ${\displaystyle S=\{v_{1},\dots ,v_{n}}$} — векторы в некотором векторном пространстве V над некоторым полем K. Множество всех линейных комбинаций этих векторов называется линейной оболочкой (или просто оболочкой) векторов из S. Обозначения — ${\displaystyle \mathrm {span} (S)}$ или ${\displaystyle \mathrm {Sp} (S)}$:

${\displaystyle \mathrm {Sp} (v_{1},\ldots ,v_{n}):=\{a_{1}v_{1}+\cdots +a_{n}v_{n}\mid a_{1},\ldots ,a_{n}\subseteq K\}}$.

Для некоторых наборов ${\displaystyle v_{1},\dots ,v_{n}}$ векторы могут быть представлены в виде линейной комбинации неоднозначно:

${\displaystyle v=\sum a_{i}v_{i}=\sum b_{i}v_{i}}$, где ${\displaystyle (a_{i})\neq (b_{i})}$.

Если вычесть третий член равенства из второго и обозначить коэффициенты ${\displaystyle c_{i}=a_{i}-b_{i}}$, получим нетривиальную комбинацию, дающую в результате нулевой вектор:

${\displaystyle 0=\sum c_{i}v_{i}.}$

Если такое возможно, набор ${\displaystyle v_{1},\dots ,v_{n}}$ называют линейно зависимым. В противном случае — линейно независимым. Аналогичным образом говорят о зависимости или независимости произвольного множества векторов S.

Если S — линейно независимо и оболочка S совпадает с V, говорят, что S является базисом в V.

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

Тип комбинации	Ограничения на коэффициенты	Название множества	Модель пространства
Линейная комбинация	без ограничений	Векторное подпространство	${\displaystyle \mathbf {R} ^{n}}$
Барицентрическая комбинация	${\displaystyle \sum a_{i}=1}$	Аффинное подпространство	Аффинная гиперплоскость
Коническая комбинация	${\displaystyle a_{i}\geq 0}$	Выпуклый конус	Квадрант / Октант
Выпуклая комбинация	${\displaystyle a_{i}\geq 0}$ и ${\displaystyle \sum a_{i}=1}$	Выпуклое множество	Симплекс

Поскольку здесь имеют место ограничения на вид комбинаций, то получаем в результате более широкие классы объектов. Таким образом, понятия аффинных подмножеств, выпуклых конусов и выпуклых множеств выступают как обобщения понятия векторного подпространства: векторное подпространство одновременно является также и аффинным подпространством, и выпуклым конусом, и выпуклым множеством, но выпуклое множество совсем не обязательно будет векторным или аффинным подпространством или выпуклым конусом.

Эти понятия возникают, когда берут определённые линейные комбинации объектов, но не любые. Например, распределения вероятностей замкнуты относительно операции образования выпуклых комбинаций (и образуют выпуклое множество), но не конических, барицентрических или линейных. Меры множеств замкнуты относительно операции образования конических комбинаций, но не барицентрических или линейных (последние комбинации определяют заряды).

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

Если разрешено только умножение на скаляр, но не сложение, получим (не обязательно выпуклый) конус. Часто ограничиваются умножением только на положительные скаляры.

На более общем языке теории операд можно рассматривать векторные пространства как алгебры над операдой ${\displaystyle \mathbb {R} ^{\infty }}$ (бесконечная прямая сумма, в которой только конечное число членов ненулевые), которая параметризует линейные комбинации. (Например, вектор ${\displaystyle (2,3,-5,0,\dots )}$ в таком подходе соответствует линейной комбинации ${\displaystyle 2v_{1}+3v_{2}-5v_{3}+0v_{4}+\cdots }$.) Подобным же образом можно рассматривать барицентрические, конические и выпуклые комбинации как соответствующие подоперадам, у которых члены в сумме дают 1, члены которых неотрицательны, или и то, и другое; такие комбинации будут бесконечными аффинными гиперплоскостями, бесконечными гипероктантами и бесконечными симплексами.

С этой точки зрения линейная комбинация может рассматриваться как наиболее общая операция в векторном пространстве — если векторное пространство является алгеброй над операдой линейной комбинации, это в точности означает, что все возможные алгебраические операции в векторном пространстве являются линейными комбинациями.

Основные операции сложения и умножения на скаляр вместе с существованием аддитивного равенства и аддитивной инверсии нельзя скомбинировать более сложным образом, чем образованием линейной комбинации. Эти основные операции являются генерирующим множеством для операды всех линейных комбинаций.

Если V — топологическое векторное пространство, то можно, если существенным образом использовать топологию V, придать смысл некоторым бесконечным линейным комбинациям элементов данного пространства. Например, можно было бы говорить о ${\displaystyle a_{1}v+a_{2}v+a_{3}v+\dots }$ (до бесконечности). Такие бесконечные линейные комбинации не всегда имеют смысл: обычно смысл удаётся придать лишь сходящимся комбинациям. Увеличение запаса допустимых линейных комбинаций может привести к изменению объёма понятий оболочки, линейной независимости и базиса.

Если K — коммутативное кольцо, а не поле, то всё, что говорилось о линейных комбинациях выше, обобщается на этот случай без изменений. Единственная разница — такие пространства именуются модулями (а не векторными пространствами), и не все результаты, справедливые применительно к векторным пространствам, остаются справедливыми и для модулей.

Если K — некоммутативное кольцо, то понятие линейной комбинации с коэффициентами из K также можно ввести — с одной особенностью: поскольку модули над некоммутативным кольцом могут быть левые и правые, то и линейная комбинация может тоже быть левой и правой.

Более сложной является ситуация, когда V — бимодуль над двумя кольцами ${\displaystyle K_{L}}$ и ${\displaystyle K_{R}}$. В этом случае наиболее общий вид линейной комбинации таков:

${\displaystyle a_{1}v_{1}b_{1}+\cdots +a_{n}v_{n}b_{n}}$,

где ${\displaystyle a_{1},\dots ,a_{n}}$ принадлежат ${\displaystyle K_{L}}$, ${\displaystyle b_{1},\dots ,b_{n}}$ принадлежат ${\displaystyle K_{R}}$ и ${\displaystyle v_{1},\dots ,v_{n}}$ принадлежат V.

• Linear Combinations and Span: Understanding linear combinations and spans of vectors, khanacademy.org.