Линейная независимость
Эта статья нуждается в дополнительных цитатах для проверки . ( январь 2019 г. ) |
теории пространств набор векторов называется В векторных линейно независимы , если не существует нетривиальной линейной комбинации векторов, равной нулевому вектору. Если такая линейная комбинация существует, то векторы называются линейно зависимая . Эти понятия являются центральными для определения измерения . [1]
Векторное пространство может иметь конечную или бесконечную размерность в зависимости от максимального количества линейно независимых векторов. Определение линейной зависимости и способность определять, является ли подмножество векторов в векторном пространстве линейно зависимым, имеют решающее значение для определения размерности векторного пространства.
Определение
[ редактировать ]Последовательность векторов из векторного пространства V называется линейно зависимым , если существуют скаляры не все нули, такие, что
где обозначает нулевой вектор.
Это означает, что по крайней мере один из скаляров не равен нулю, скажем , и приведенное выше уравнение можно записать как
если и если
Таким образом, набор векторов линейно зависим тогда и только тогда, когда один из них равен нулю или является линейной комбинацией остальных.
Последовательность векторов называется линейно независимым, если оно не является линейно зависимым, т. е. если уравнение
может быть удовлетворен только для Это означает, что ни один вектор в последовательности не может быть представлен как линейная комбинация остальных векторов последовательности. Другими словами, последовательность векторов линейно независима, если единственное представление как линейная комбинация своих векторов — это тривиальное представление, в котором все скаляры равны нулю. [2] Еще более кратко: последовательность векторов линейно независима тогда и только тогда, когда может быть представлена как линейная комбинация его векторов единственным образом.
Если последовательность векторов дважды содержит один и тот же вектор, она обязательно зависима. Линейная зависимость последовательности векторов не зависит от порядка членов последовательности. Это позволяет определить линейную независимость для конечного набора векторов: конечный набор векторов является линейно независимым, если последовательность, полученная путем их упорядочивания, линейно независима. Другими словами, получаем следующий результат, который часто оказывается полезным.
Последовательность векторов линейно независима тогда и только тогда, когда она не содержит один и тот же вектор дважды и множество ее векторов линейно независимо.
Бесконечный случай
[ редактировать ]Бесконечное множество векторов линейно независимо, если каждое непустое конечное подмножество линейно независимо. И наоборот, бесконечный набор векторов является линейно зависимым , если он содержит конечное подмножество, которое линейно зависимо, или, что то же самое, если некоторый вектор в наборе является линейной комбинацией других векторов в наборе.
Индексированное семейство векторов является линейно независимым , если оно не содержит один и тот же вектор дважды и если множество его векторов линейно независимо. В противном случае семейство называется линейно зависимым .
Набор векторов, который линейно независимый и охватывает некоторое векторное пространство, образует основу этого векторного пространства. Например, векторное пространство всех полиномов от x над действительными числами имеет (бесконечное) подмножество {1, x , x 2 , ...} в качестве основы.
Геометрические примеры
[ редактировать ]- и независимы и определяют плоскость P.
- , и зависимы, поскольку все три содержатся в одной плоскости.
- и являются зависимыми, поскольку они параллельны друг другу.
- , и независимы, потому что и независимы друг от друга и не является их линейной комбинацией или, что то же самое, потому что они не принадлежат одной плоскости. Три вектора определяют трехмерное пространство.
- Векторы (нулевой вектор, компоненты которого равны нулю) и зависимы, поскольку
Географическое положение
[ редактировать ]Человек, описывающий местоположение определенного места, может сказать: «Оно находится в 3 милях к северу и в 4 милях к востоку отсюда». Этой информации достаточно для описания местоположения, поскольку географическую систему координат можно рассматривать как двумерное векторное пространство (без учета высоты и кривизны поверхности Земли). Человек может добавить: «Это место находится в 5 милях к северо-востоку отсюда». Последнее утверждение верно , но не обязательно находить местоположение.
В этом примере вектор «3 мили на север» и вектор «4 мили на восток» линейно независимы. То есть вектор севера нельзя описать через вектор востока, и наоборот. Третий вектор «5 миль к северо-востоку» представляет собой линейную комбинацию двух других векторов и делает набор векторов линейно зависимым , то есть один из трех векторов не нужен для определения конкретного местоположения на плоскости.
Также обратите внимание, что если высоту не игнорировать, возникает необходимость добавить третий вектор к линейно независимому набору. В общем, n требуются для описания всех мест в n -мерном пространстве линейно независимых векторов.
Оценка линейной независимости
[ редактировать ]Нулевой вектор
[ редактировать ]Если один или несколько векторов из данной последовательности векторов нулевой вектор тогда вектор обязательно линейно зависимы (и, следовательно, они не являются линейно независимыми). Чтобы понять почему, предположим, что является индексом (т.е. элементом ) такой, что Тогда пусть (альтернативно, позволяя быть равным, любой другой ненулевой скаляр также будет работать), а затем пусть все остальные скаляры будут (явно это означает, что для любого индекса кроме (т.е. для ), позволять так что, следовательно, ). Упрощение дает:
Поскольку не все скаляры равны нулю (в частности, ), это доказывает, что векторы линейно зависимы.
Как следствие, нулевой вектор не может принадлежать какому-либо набору векторов, который является линейно независимым .
Теперь рассмотрим частный случай, когда последовательность имеет длину (т.е. случай, когда ). Набор векторов, состоящий ровно из одного вектора, является линейно зависимым тогда и только тогда, когда этот вектор равен нулю. Явно, если любой вектор, то последовательность (который представляет собой последовательность длины ) линейно зависимо тогда и только тогда, когда ; альтернативно, коллекция линейно независимо тогда и только тогда, когда
Линейная зависимость и независимость двух векторов
[ редактировать ]В этом примере рассматривается особый случай, когда имеется ровно два вектора. и из некоторого реального или комплексного векторного пространства. Векторы и линейно зависимы тогда и только тогда, когда верно хотя бы одно из следующих условий:
- является скалярным кратным (явно это означает, что существует скаляр такой, что ) или
- является скалярным кратным (явно это означает, что существует скаляр такой, что ).
Если затем, установив у нас есть (это равенство выполняется независимо от значения есть), что показывает, что (1) верно в данном конкретном случае. Аналогично, если тогда (2) верно, потому что Если (например, если они оба равны нулевому вектору ), то и (1), и (2) верны (при использовании для обоих).
Если затем возможно только если и ; в этом случае можно обе части умножить на заключить Это показывает, что если и тогда (1) истинно тогда и только тогда, когда (2) истинно; то есть в данном конкретном случае либо оба (1) и (2) истинны (и векторы линейно зависимы), либо оба (1) и (2) ложны (и векторы линейно независимы ). Если но вместо этого тогда хотя бы один из и должно быть равно нулю. Более того, если ровно один из и является (в то время как другой не равен нулю), то ровно одно из (1) и (2) истинно (а другое ложно).
Векторы и линейно независимы тогда и только тогда, когда не является скалярным кратным и не является скалярным кратным .
Векторы в R 2
[ редактировать ]Три вектора: рассмотрим набор векторов и тогда условие линейной зависимости ищет набор ненулевых скаляров, таких что
или
Строка уменьшит это матричное уравнение, вычитая первую строку из второй, чтобы получить:
Продолжайте сокращение строки, (i) разделив вторую строку на 5, а затем (ii) умножив на 3 и прибавив к первой строке, то есть
Перестановка этого уравнения позволяет получить
который показывает, что ненулевое a i существует такое, что можно определить с точки зрения и Таким образом, три вектора линейно зависимы.
Два вектора. Теперь рассмотрим линейную зависимость двух векторов. и и проверьте,
или
То же сокращение строк, представленное выше, дает:
Это показывает, что это означает, что векторы и линейно независимы.
Векторы в R 4
[ редактировать ]Чтобы определить, совпадают ли три вектора в
линейно зависимы, образуют матричное уравнение,
Строка сократит это уравнение, чтобы получить:
Перестановим, чтобы решить для v 3, и получим:
Это уравнение легко решить, чтобы определить ненулевое значение a i ,
где можно выбирать произвольно. Таким образом, векторы и линейно зависимы.
Альтернативный метод с использованием определителей
[ редактировать ]Альтернативный метод основан на том факте, что векторы в линейно независимы тогда и только тогда, когда определитель , матрицы . образованной путем взятия векторов в качестве ее столбцов, отличен от нуля
В этом случае матрица, образованная векторами, имеет вид
Мы можем записать линейную комбинацию столбцов как
Нас интересует, будет ли A Λ = 0 для некоторого ненулевого вектора Λ. Это зависит от определителя , что
Поскольку определитель не равен нулю, векторы и линейно независимы.
В противном случае предположим, что мы имеем векторы координаты, с Тогда A — матрица размера n × m , а Λ — вектор-столбец с записей, и нас снова интересует A Λ = 0 . Как мы видели ранее, это эквивалентно списку уравнения. Рассмотрим первый ряды , первый уравнения; любое решение полного списка уравнений должно быть верным и для сокращенного списка. Фактически, если ⟨ i 1 ,..., i m ⟩ — любой список строк, то уравнение должно быть верным для этих строк.
Более того, верно и обратное. То есть мы можем проверить, является ли векторы линейно зависимы путем проверки того, являются ли
для всех возможных списков ряды. (В случае , для этого требуется только один определитель, как указано выше. Если , то это теорема, что векторы должны быть линейно зависимы.) Этот факт ценен для теории; в практических расчетах доступны более эффективные методы.
Больше векторов, чем измерений
[ редактировать ]Если векторов больше, чем размерностей, векторы линейно зависимы. Это проиллюстрировано в приведенном выше примере трех векторов в
Естественные базисные векторы
[ редактировать ]Позволять и рассмотрите следующие элементы в , известные как естественные базисные векторы:
Затем линейно независимы.
Предположим, что действительные числа такие, что
С
затем для всех
Линейная независимость функций
[ редактировать ]Позволять быть векторным пространством всех дифференцируемых функций действительной переменной . Тогда функции и в линейно независимы.
Доказательство
[ редактировать ]Предполагать и два действительных числа такие, что
Возьмите первую производную приведенного выше уравнения:
для всех значений Нам нужно это показать и Для этого вычтем первое уравнение из второго, что даст . С не ноль для некоторых , Отсюда следует, что слишком. Следовательно, согласно определению линейной независимости, и линейно независимы.
Пространство линейных зависимостей
[ редактировать ]Линейная зависимость или линейное отношение между векторами v 1 , ..., v n представляет собой кортеж ( a 1 , ..., ) an с n скалярными компонентами такой, что
Если такая линейная зависимость существует хотя бы с ненулевой составляющей, то n векторов линейно зависимы. Линейные зависимости между v 1 , ..., v n образуют векторное пространство.
Если векторы выражаются своими координатами, то линейные зависимости представляют собой решения однородной системы линейных уравнений с координатами векторов в качестве коэффициентов. Таким образом, базис исключения векторного пространства линейных зависимостей может быть вычислен методом Гаусса .
Обобщения
[ редактировать ]Аффинная независимость
[ редактировать ]Набор векторов называется аффинно зависимым , если хотя бы один из векторов в наборе может быть определен как аффинная комбинация других. В противном случае множество называется аффинно независимым . Любая аффинная комбинация является линейной; следовательно, каждое аффинно зависимое множество линейно зависимо. И наоборот, любое линейно независимое множество аффинно независимо.
Рассмотрим набор векторы размера каждый, и рассмотрим множество дополненные векторы размера каждый. Исходные векторы аффинно независимы тогда и только тогда, когда дополненные векторы линейно независимы. [3] : 256
Линейно независимые векторные подпространства
[ редактировать ]Два векторных подпространства и векторного пространства называются линейно независимыми, если [4] В общем, коллекция подпространств называются линейно независимыми, если для каждого индекса где [4] Векторное пространство называется прямой суммой если эти подпространства линейно независимы и
См. также
[ редактировать ]- Матроид – абстракция линейной независимости векторов.
Ссылки
[ редактировать ]- ^ Г. Е. Шилов, Линейная алгебра (пер. Р. А. Сильверман), Dover Publications, Нью-Йорк, 1977.
- ^ Фридберг, Стивен; Инсель, Арнольд; Спенс, Лоуренс (2003). Линейная алгебра . Пирсон, 4-е издание. стр. 48–49. ISBN 0130084514 .
- ^ Ловас, Ласло ; Пламмер, доктор медицинских наук (1986), Теория соответствия , Анналы дискретной математики, том. 29, Северная Голландия, ISBN 0-444-87916-1 МР 0859549
- ↑ Перейти обратно: Перейти обратно: а б Бахман, Джордж; Наричи, Лоуренс (2000). Функциональный анализ (Второе изд.). Минеола, Нью-Йорк: Dover Publications. ISBN 978-0486402512 . OCLC 829157984 . стр. 3–7
Внешние ссылки
[ редактировать ]- «Линейная независимость» , Математическая энциклопедия , EMS Press , 2001 [1994]
- Линейно зависимые функции в WolframMathWorld.
- Учебник и интерактивная программа по линейной независимости.
- Введение в линейную независимость в ХанАкадемии.