Линейная комбинация
Лине́йная комбина́ция — выражение, построенное на множестве элементов путём умножения каждого элемента на коэффициенты с последующим сложением результатов (например, линейной комбинацией и будет выражение вида , где и — коэффициенты)[1][2][3].
Понятие линейной комбинации является одним из ключевых в линейной алгебре и смежных областях математики. В классическом случае линейная комбинация рассматривается в контексте векторных пространств, но существуют обобщения на произвольные модули над кольцами и бимодули
Определение
правитьПусть — поле (например, поле вещественных чисел) и — векторное пространство над (элементы — векторы, а элементы — скаляры). Если — векторы, а — скаляры, то линейная комбинация этих векторов со скалярами в качестве коэффициентов — это:
- .
Имеется некоторая двусмысленность в применении понятия «линейная комбинация», поскольку оно может относиться как к самому выражению, так и его результату. В большинстве случаев подразумевается значение, так как множество всех линейных комбинаций всегда образует подпространство. Однако можно сказать также «две различные линейные комбинации могут дать то же самое значение» и в этом случае под линейной комбинацией следует понимать выражение. Слабо уловимая разница между этими понятиями является сущностью понятия линейной зависимости — семейство векторов линейно независимо в точности тогда, когда любая линейная комбинация векторов из (как значение) единственна (как выражение). В любом случае, даже если линейная комбинация рассматривается как выражение, всё это относится к коэффициентам для каждого ; тривиальные изменения (например, перестановки элементов или добавление элементов с нулевыми коэффициентами) не дают другой линейной комбинации.
В зависимости от ситуации, и могут быть заданы явно, или они могут быть очевидны из контекста. В последнем случае часто говорят о линейной комбинации векторов с произвольными коэффициентами (за исключением того, что они должны принадлежать ). Или, если — подмножество , то можно говорить о линейной комбинации векторов из , где и коэффициенты, и векторы не специфицированы — за исключением того требования, что векторы должны принадлежать множеству , а коэффициенты — полю ). Наконец, можно говорить просто о линейной комбинации, где ничто не специфицировано (за исключением того, что вектора должны принадлежать множеству , а коэффициенты — полю ). В этом случае, скорее всего, речь идёт о выражениях, поскольку любой вектор в определённо является значением некоторой линейной комбинации.
По определению, линейная комбинация включает только конечное число векторов (за исключением специальных обобщений ). Однако множество , из которого берутся векторы, может быть бесконечным. Каждая же индивидуальная линейная комбинация включает лишь конечное число векторов из этого множества. Также нет причин, чтобы не мог быть нулём: считается, что в этом случае результат линейной комбинации будет нулевым вектором в .
Примеры и контрпримеры
правитьВекторы
правитьПусть поле — множество вещественных чисел, а пространство векторов — евклидово пространство . Любой вектор в является линейной комбинацией единичных векторов . Например, вектор можно записать:
Функции
правитьПусть — множество всех комплексных чисел, и пусть — множество всех непрерывных функций из вещественной прямой в комплексную плоскость . Взяв векторы (функции) и , определённые формулами (здесь — основание натурального логарифма и — мнимая единица):
- , ,
можно получить среди прочих следующие их линейные комбинации:
- ,
- .
С другой стороны, постоянная функция не является линейной комбинацией и [4].
Многочлены
правитьПусть — это , или любое поле, и пусть — множество всех многочленов с коэффициентами из . Пусть заданы векторы (многочлены) .
Является ли многочлен x2 − 1 линейной комбинацией p1, p2 и p3? Чтобы это определить, является ли многочлен линейной комбинацией можно записать комбинацию с произвольными коэффициентами и приравнять её к данному многочлену:
- .
Раскрыв скобки:
- ,
и приведя однородные многочлены:
- ,
получается:
- .
Решением этой системы линейных уравнений является . Таким образом, данный многочлен записывается линейной комбинацией :
- .
Другой пример — , он не может быть представлен линейной комбинацией :
приравняв теперь коэффициенты для , получаем противоречие .
Линейная оболочка
правитьПусть } — векторы в некотором векторном пространстве над некоторым полем . Множество всех линейных комбинаций этих векторов называется линейной оболочкой (или просто оболочкой) векторов из . Обозначения — или :
- .
Линейная независимость
правитьДля некоторых наборов векторы могут быть представлены в виде линейной комбинации неоднозначно:
- , где .
Если вычесть третий член равенства из второго и обозначить коэффициенты , получим нетривиальную комбинацию, дающую в результате нулевой вектор:
Если такое возможно, набор называют линейно зависимым. В противном случае — линейно независимым. Аналогичным образом говорят о зависимости или независимости произвольного множества векторов .
Если — линейно независимо и оболочка совпадает с , говорят, что является базисом в .
Аффинная, коническая и выпуклая комбинации
правитьЕсли наложить на коэффициенты, используемые в линейной комбинации, некоторые условия, получим понятия концепции барицентрической комбинации (или аффинной комбинации), конической комбинации и выпуклой комбинации, а также соответствующие понятия множеств таких линейных комбинаций.
Тип комбинации | Ограничения на коэффициенты | Название множества | Модель пространства |
---|---|---|---|
Линейная комбинация | без ограничений | Векторное подпространство | |
Барицентрическая комбинация | Аффинное подпространство | Аффинная гиперплоскость | |
Коническая комбинация | Выпуклый конус | Квадрант[англ.] / Октант | |
Выпуклая комбинация | и | Выпуклое множество | Симплекс |
Поскольку здесь имеют место ограничения на вид комбинаций, то получаем в результате более широкие классы объектов. Таким образом, понятия аффинных подмножеств, выпуклых конусов и выпуклых множеств выступают как обобщения понятия векторного подпространства: векторное подпространство одновременно является также и аффинным подпространством, и выпуклым конусом, и выпуклым множеством, но выпуклое множество совсем не обязательно будет векторным или аффинным подпространством или выпуклым конусом.
Эти понятия возникают, когда берут определённые линейные комбинации объектов, но не любые. Например, распределения вероятностей замкнуты относительно операции образования выпуклых комбинаций (и образуют выпуклое множество), но не конических, барицентрических или линейных. Меры множеств замкнуты относительно операции образования конических комбинаций, но не барицентрических или линейных (последние комбинации определяют заряды).
Линейную и барицентрическую комбинации можно определить для любого поля (или кольца), а коническая и выпуклая комбинации требуют понятия «положительный», так что их можно определить только над упорядоченным полем (или упорядоченным кольцом).
Если разрешено только умножение на скаляр, но не сложение, получим (не обязательно выпуклый) конус[англ.]. Часто ограничиваются умножением только на положительные скаляры.
Теория операд
правитьНа более общем языке теории операд можно рассматривать векторные пространства как алгебры над операдой (бесконечная прямая сумма, в которой только конечное число членов ненулевые), которая параметризует линейные комбинации. (Например, вектор в таком подходе соответствует линейной комбинации .) Подобным же образом можно рассматривать барицентрические, конические и выпуклые комбинации как соответствующие подоперадам, у которых члены в сумме дают 1, члены которых неотрицательны, или и то, и другое; такие комбинации будут бесконечными аффинными гиперплоскостями, бесконечными гипероктантами и бесконечными симплексами.
С этой точки зрения линейная комбинация может рассматриваться как наиболее общая операция в векторном пространстве — если векторное пространство является алгеброй над операдой линейной комбинации, это в точности означает, что все возможные алгебраические операции в векторном пространстве являются линейными комбинациями.
Основные операции сложения и умножения на скаляр вместе с существованием аддитивного равенства и аддитивной инверсии нельзя скомбинировать более сложным образом, чем образованием линейной комбинации. Эти основные операции являются генерирующим множеством[англ.] для операды всех линейных комбинаций.
Обобщения
правитьЕсли — топологическое векторное пространство, то можно, если существенным образом использовать топологию , придать смысл некоторым бесконечным линейным комбинациям элементов данного пространства. Например, можно было бы говорить о (до бесконечности). Такие бесконечные линейные комбинации не всегда имеют смысл: обычно смысл удаётся придать лишь сходящимся комбинациям. Увеличение запаса допустимых линейных комбинаций может привести к изменению объёма понятий оболочки, линейной независимости и базиса.
Если — коммутативное кольцо, а не поле, то всё, что говорилось о линейных комбинациях выше, обобщается на этот случай без изменений. Единственная разница — такие пространства именуются модулями (а не векторными пространствами), и не все результаты, справедливые применительно к векторным пространствам, остаются справедливыми и для модулей.
Если — некоммутативное кольцо, то понятие линейной комбинации с коэффициентами из также можно ввести — с одной особенностью: поскольку модули над некоммутативным кольцом могут быть левые и правые, то и линейная комбинация может тоже быть левой и правой.
Более сложной является ситуация, когда — бимодуль над двумя кольцами и . В этом случае наиболее общий вид линейной комбинации таков:
- ,
где принадлежат , принадлежат и принадлежат .
Примечания
править- ↑ David C. Lay. . Linear Algebra and Its Applications. 3rd ed. — Reading, Mass.: Addison–Wesley, 2006. — 576 p. — ISBN 0-321-28713-4.
- ↑ Gilbert Strang. . Linear Algebra and Its Applications. 4th ed. — Belmont, Calif.: Brooks Cole, 2005. — viii + 487 p. — ISBN 0-03-010567-6.
- ↑ Sheldon Axler. . Linear Algebra Done Right. 2nd ed. — New York: Springer, 2002. — viii + 251 p. — ISBN 0-387-98258-2.
- ↑ Предположим, что 3 можно записать в виде линейной комбинации и , то есть должны существовать такие скаляры и , что для всех вещественных чисел . Подставив и , получим и . См. также «Тождество Эйлера (комплексный анализ)»