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

В математике , А линейная комбинация представляет собой выражение строится из набора терминов путем умножения каждого члена на константу и добавления результатов (например, линейную комбинацию х и у будет любое выражение вида ах + по , где и б являются константами). Концепция линейных комбинаций занимает центральное место в линейной алгебре и смежных областях математики. Большая часть этой статьи посвящена линейным комбинациям в контексте векторного пространства над полем , с некоторыми обобщениями, приведенными в конце статьи.

Определение

Пусть V векторное пространство над полем K . Как обычно, мы называем элементы V векторами и называем элементы K скалярами . Если v 1 , ..., v n - векторы, а a 1 , ..., a n - скаляры, то линейная комбинация этих векторов с этими скалярами в качестве коэффициентов равна

Существует некоторая двусмысленность в использовании термина «линейная комбинация» относительно того, относится ли он к выражению или к его значению. В большинстве случаев значение подчеркивается, поскольку в утверждении «множество всех линейных комбинаций v 1 , ..., v n всегда образует подпространство». Однако можно также сказать, что «две разные линейные комбинации могут иметь одно и то же значение», и в этом случае ссылка делается на выражение. Тонкое различие между этими применениями заключается в сущности понятия линейной зависимости : семейство векторов F линейно независимо в точности, если любая линейная комбинация векторов в F (как значение) является уникальной таковой (как выражение). В любом случае, даже если рассматривать их как выражения, все, что имеет значение для линейной комбинации, - это коэффициент каждого v i ; тривиальные модификации, такие как перестановка членов или добавление членов с нулевым коэффициентом, не дают четких линейных комбинаций.

В данной ситуации K и V могут быть указаны явно или очевидны из контекста. В этом случае мы часто говорим о линейной комбинации векторов v 1 , ..., v n с неопределенными коэффициентами (за исключением того, что они должны принадлежать K ). Или, если S является подмножеством из V , можно говорить о линейной комбинации векторов в S , где обе коэффициенты и векторы не определены, за исключением того, что векторы должны принадлежать множеству S (и коэффициенты должны принадлежать K ). Наконец, мы можем просто говорить о линейной комбинации , где ничего не указано (за исключением того, что векторы должны принадлежать V, а коэффициенты должны принадлежать K ); в этом случае, вероятно, имеется в виду выражение, поскольку каждый вектор в V определенно является значением некоторой линейной комбинации.

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

Примеры и контрпримеры

Евклидовы векторы

Пусть поле K множество R из действительных чисел , и пусть векторное пространство V является евклидово пространство R 3 . Рассмотрим векторы e 1 = (1,0,0) , e 2 = (0,1,0) и e 3 = (0,0,1) . Тогда любой вектор в R 3 является линейной комбинацией e 1 , e 2 и  e 3 .

Чтобы убедиться в этом, возьмем произвольный вектор ( a 1 , a 2 , a 3 ) в R 3 и напишем:

Функции

Пусть К множество С всех комплексных чисел , и пусть V множество С С ( R ) всех непрерывных функций от вещественной прямой R на комплексной плоскости C . Рассмотрим векторы (функции) f и g, определенные как f ( t ): = e it и g ( t ): = e - it . (Здесь e - основание натурального логарифма , около 2,71828 ..., а i - мнимая единица , квадратный корень из -1.) Вот некоторые линейные комбинации f и g  :

С другой стороны, постоянная функция 3 не является линейной комбинацией f и g . Чтобы убедиться в этом, предположим, что 3 можно записать как линейную комбинацию e it и e - it . Это означает, что существуют такие комплексные скаляры a и b , что ae it + be - it = 3 для всех действительных чисел t . Положив t = 0 и t = π, получим уравнения a + b = 3 и a + b = −3 , и, очевидно, этого не может произойти. См . Личность Эйлера .

Полиномы

Пусть К будет Р , С , или любое поле, и пусть V множество Р всех многочленов с коэффициентами , взятых из поля K . Рассмотрим векторы (многочлены) p 1  : = 1, p 2  : = x + 1 и p 3  : = x 2 + x + 1 .

Является ли многочлен x 2  - 1 линейной комбинацией p 1 , p 2 и p 3 ? Чтобы выяснить это, рассмотрим произвольную линейную комбинацию этих векторов и попытаемся увидеть, когда она равна желаемому вектору x 2  - 1. Выбирая произвольные коэффициенты a 1 , a 2 и a 3 , мы хотим

Умножая многочлены, это означает

и собирая как степени x , получаем

Два полинома равны тогда и только тогда, когда их соответствующие коэффициенты равны, поэтому мы можем заключить

Эту систему линейных уравнений легко решить. Во- первых, первое уравнение просто говорит , что 3 равен 1. Зная , что мы можем решить второе уравнение в 2 , который выходит на -1. Наконец, последнее уравнение говорит нам , что 1 также -1. Следовательно, единственный возможный способ получить линейную комбинацию - это использовать эти коэффициенты. Действительно,

поэтому x 2  - 1 является линейной комбинацией p 1 , p 2 и  p 3 .

С другой стороны, как насчет многочлена x 3  - 1? Если мы попытаемся сделать этот вектор линейной комбинацией p 1 , p 2 и p 3 , то, следуя тому же процессу, что и раньше, мы получим уравнение

Однако, когда мы устанавливаем соответствующие коэффициенты равными в этом случае, уравнение для x 3  имеет вид

что всегда ложно. Следовательно, это никак не сработает, и x 3  - 1 не является линейной комбинацией p 1 , p 2 и  p 3 .

Линейная оболочка

Возьмем произвольное поле K , произвольное векторное пространство V и пусть v 1 , ..., v n - векторы (в V ). Интересно рассмотреть множество всех линейных комбинаций этих векторов. Этот набор называется линейной оболочкой (или просто оболочкой ) векторов, скажем, S = { v 1 , ..., v n }. Запишем промежуток S как span ( S ) или sp ( S ):

Линейная независимость

Для некоторых наборов векторов v 1 , ..., v n один вектор может быть записан двумя разными способами как их линейная комбинация:

Эквивалентно, вычитая эти ( ) нетривиальная комбинация равна нулю:

Если это возможно, то v 1 , ..., v n называются линейно зависимыми ; в противном случае они линейно независимы . Точно так же можно говорить о линейной зависимости или независимости произвольного множества векторов S.

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

Аффинные, конические и выпуклые комбинации

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

Тип сочетания Ограничения на коэффициенты Название набора Модельное пространство
Линейная комбинация нет ограничений Векторное подпространство
Аффинная комбинация Аффинное подпространство Аффинная гиперплоскость
Коническая комбинация Выпуклый конус Квадрант , октант или ортант
Выпуклая комбинация а также Выпуклый набор Симплекс

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

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

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

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

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

Теория опер

Более абстрактно, на языке теории операд , можно рассматривать векторные пространства как алгебры над операдой (бесконечная прямая сумма , поэтому только конечное число членов ненулевое; это соответствует только взятию конечных сумм), что параметризует линейные комбинации : например, вектор соответствует линейной комбинации . Точно так же можно рассматривать аффинные комбинации, конические комбинации и выпуклые комбинации как соответствующие подоперадам, в которых сумма членов равна 1, все члены неотрицательны или и то, и другое, соответственно. Графически это бесконечная аффинная гиперплоскость, бесконечный гипероктант и бесконечный симплекс. Это формализует то, что подразумевается под бытием или стандартным симплексом, являющимся модельными пространствами, и такие наблюдения, как то, что каждый ограниченный выпуклый многогранник является образом симплекса. Здесь подоперации соответствуют более ограниченным операциям и, следовательно, более общим теориям.

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

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

В конечном счете, этот факт лежит в основе полезности линейных комбинаций при изучении векторных пространств.

Обобщения

Если V является топологическим векторным пространством , то есть может быть способом , чтобы сделать смысл некоторых бесконечного линейной комбинации, используя топологию V . Например, мы могли бы говорить о более 1 v 1  + 2 v 2  + на 3 об 3  + ⋯, происходит навсегда. Такие бесконечные линейные комбинации не всегда имеют смысл; мы называем их конвергентными, когда они это делают. Разрешение более линейных комбинаций в этом случае также может привести к другой концепции диапазона, линейной независимости и базиса. В статьях о различных разновидностях топологических векторных пространств более подробно рассказывается об этом.

Если K - коммутативное кольцо, а не поле, то все, что было сказано выше о линейных комбинациях, без изменений обобщается на этот случай. Единственная разница в том, что мы называем такие пространства V модулями вместо векторных пространств. Если K - некоммутативное кольцо, то эта концепция по-прежнему обобщается, с одной оговоркой: поскольку модули над некоммутативными кольцами бывают левой и правой версий, наши линейные комбинации также могут входить в любую из этих версий, независимо от того, что подходит для данного модуля. Это просто вопрос скалярного умножения с правильной стороны.

Более сложный поворот наступает тогда , когда V представляет собой бимодуль более двух колец, K L и K R . В этом случае наиболее общая линейная комбинация выглядит как

где 1 , ..., п принадлежат K L , б 1 , ..., б п принадлежат K R , и V 1 , ..., V п принадлежат к V .

Заявление

Важное приложение линейных комбинаций - волновые функции в квантовой механике .

Смотрите также

Цитаты

Рекомендации

Учебник

  • Акслер, Шелдон Джей (2015). Линейная алгебра, сделанная правильно (3-е изд.). Springer . ISBN 978-3-319-11079-0.
  • Кацнельсон, Ицхак ; Кацнельсон, Йонатан Р. (2008). (Краткое) Введение в линейную алгебру . Американское математическое общество . ISBN 978-0-8218-4419-9.
  • Lay, David C .; Lay, Стивен Р .; Макдональд, Джуди Дж. (2016). Линейная алгебра и ее приложения (5-е изд.). Пирсон. ISBN 978-0-321-98238-4.
  • Стрэнг, Гилберт (2016). Введение в линейную алгебру (5-е изд.). Уэллсли Кембридж Пресс. ISBN 978-0-9802327-7-6.

Интернет

Внешние ссылки