Как найти число линейно независимых векторов

Как найти число линейно независимых векторов системы?

и и



Знаток

(275),
закрыт



1 год назад

К примеру a1 = (1, −1, 0, 0), a2 = (0, 1, −1, 0), a3 = (1, 0, −1, 1), a4 = (0, 0, 0, 1), a5 =
= (3, −5, 2, −3).
Пытался погуглить, наткнулся только на то, что надо найти ранг матрицы. Ранг матрицы и есть ответ?

Marta

Просветленный

(20532)


1 год назад

Да, ранг матрицы – максимальное число линейно независимых столбцов (строк).
Ранг можно вычислить с помощью элементарных преобразований (Гаусс) или методом окаймляющих миноров.
В данном случае первый метод сработает быстро, ранг =3.

Линейно зависимые и линейно независимые вектора.

Навигация по странице:

  • Определение линейной комбинации векторов
  • Определение линейно независимой комбинации векторов
  • Определение линейно зависимой комбинации векторов
  • Свойства линейно зависимых векторов
  • Примеры задач на линейную зависимость и линейную независимость векторов

Определение. Линейной комбинацией векторов a1, …, an с коэффициентами x1, …, xn называется вектор

x1a1 + … + xnan.

Определение. Линейная комбинация x1a1 + … + xnan называется тривиальной, если все коэффициенты x1, …, xn равны нулю.

Определение. Линейная комбинация x1a1 + … + xnan называется нетривиальной, если хотя быбы один из коэффициентов x1, …, xn не равен нулю.

Определение. Вектора a1, …, an называются линейно независимыми, если не существует нетривиальной комбинации этих векторов равной нулевому вектору.

То есть вектора a1, …, an линейно независимы если x1a1 + … + xnan = 0 тогда и только тогда, когда x1 = 0, …, xn = 0.

Определение. Вектора a1, …, an называются линейно зависимыми, если существует нетривиальная комбинация этих векторов равная нулевому вектору.

Свойства линейно зависимых векторов:

  • Для 2-х и 3-х мерных векторов.

    Два линейно зависимые вектора – коллинеарные. (Коллинеарные вектора – линейно зависимы.)
    .

  • Для 3-х мерных векторов.

    Три линейно зависимые вектора – компланарные. (Три компланарные вектора – линейно зависимы.)

  • Для n -мерных векторов.

    n + 1 вектор всегда линейно зависимы.

Примеры задач на линейную зависимость и линейную независимость векторов:

Пример 1. Проверить будут ли вектора a = {3; 4; 5}, b = {-3; 0; 5}, c = {4; 4; 4}, d = {3; 4; 0} линейно независимыми.

Решение:

Вектора будут линейно зависимыми, так как размерность векторов меньше количества векторов.

Пример 2. Проверить будут ли вектора a = {1; 1; 1}, b = {1; 2; 0}, c = {0; -1; 1} линейно независимыми.

Решение: Найдем значения коэффициентов при котором линейная комбинация этих векторов будет равна нулевому вектору.

x1a + x2b + x3c1 = 0

Это векторное уравнение можно записать в виде системы линейных уравнений

{  x1 + x2 = 0
x1 + 2x2x3 = 0
x1 + x3 = 0

Решим эту систему используя метод Гаусса

1100
12-10
1010

~

из второй строки вычтем первую; из третей строки вычтем первую:

1100
1 – 12 – 1-1 – 00 – 0
1 – 10 – 11 – 00 – 0

~

1100
01-10
0-110

~

из первой строки вычтем вторую; к третей строке добавим вторую:

1 – 01 – 10 – (-1)0 – 0
01-10
0 + 0-1 + 11 + (-1)0 + 0

~

1010
01-10
0000

Данное решение показывает, что система имеет множество решений, то есть существует не нулевая комбинация значений чисел x1, x2, x3 таких, что линейная комбинация векторов a, b, c равна нулевому вектору, например:

a + b + c = 0

а это значит вектора a, b, c линейно зависимы.

Ответ: вектора a, b, c линейно зависимы.

Пример 3. Проверить будут ли вектора a = {1; 1; 1}, b = {1; 2; 0}, c = {0; -1; 2} линейно независимыми.

Решение: Найдем значения коэффициентов при котором линейная комбинация этих векторов будет равна нулевому вектору.

x1a + x2b + x3c1 = 0

Это векторное уравнение можно записать в виде системы линейных уравнений

{  x1 + x2 = 0
x1 + 2x2x3 = 0
x1 + 2x3 = 0

Решим эту систему используя метод Гаусса

1100
12-10
1020

~

из второй строки вычтем первую; из третей строки вычтем первую:

1100
1 – 12 – 1-1 – 00 – 0
1 – 10 – 12 – 00 – 0

~

1100
01-10
0-120

~

из первой строки вычтем вторую; к третей строке добавим вторую:

1 – 01 – 10 – (-1)0 – 0
01-10
0 + 0-1 + 12 + (-1)0 + 0

~

1010
01-10
0010

~

из первой строки вычтем третью; к второй строке добавим третью:

1 – 00 – 01 – 10 – 0
0 + 01 + 0-1 + 10 + 0
0010

~

1010
0100
0010

Данное решение показывает, что система имеет единственное решение x1 = 0, x2 = 0, x3 = 0, а это значит вектора a, b, c линейно независимые.

Ответ: вектора a, b, c линейно независимые.

Определение 1. Система векторов
{a1,…,an}
называетсялинейно зависимой, если
найдутся коэффициентыλ1,…,λnне все равные нулю, линейная комбинация
с которыми равна нулю, т.е.

Определение 2. Система векторов
{a1,…,an}
называетсялинейно независимой,если ее линейная

комбинация равна нулю толькос
нулевыми коэффициентами:.

Имеют место несколько простых
утверждений.

Теорема 1 (необходимое и достаточное
условие линейной зависимости
). Векторыа1,…,an– линейно зависимыкогда хотя бы один из них является
линейной комбинацией остальных.

{1.(необходимость: {ak}
– л.з. ):Пусть, для определенности,

,
т.е.а1− линейная комбинация
остальных.

2.(достаточность: am– л.к.):
система лин. зав.}

Теорема 2. Если один из векторов
системы равен нулю, то вся система
линейно зависима.

{0a1+ … + 0an1+}

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

{}

Примеры.

1)
.
2)они компланарны.

Отсюда следует, что три вектора на
плоскости всегда линейно зависимы
.

3) Четыре вектора в пространстве всегда
линейно зависимы.

4) {f1 = 1, f2
=
x, f3
=
x2 }
линейно независимы.

5) {sin2x,cos2x,
1} − линейно зависимы.

§5. Базис. Координаты. Размерность.

Определение 1. Базисомвекторного
пространстваLназывается система элементов,

удовлетворяющая двумусловиям:

1) система {e1,…,en} линейно независима.

2) Любой вектор L линейно выражается через базисные (т.е.
является линейной комбинацией элементове1,е2, … ,еn):.

Примеры. Базис на плоскости (V2– 2 неколлинеарных вектора), в пространстве
(V3– 3 некомпланарных
вектора), в пространстве многочленов
степени ≤n :
(1,х,х2,…,хn).

Теорема 1. Коэффициенты разложения
по базису – единственны.

{Пусть
}

Определение 2. Координатами вектора
в некотором базисе называются коэффициенты
разложения по этому базису:а= ()
или.

Замечания.1. В силуТ.1 данное
определение – корректно.

  1. В качестве стандарта можно рассматривать
    как векторы – строки , так и векторы –
    столбцы.

  2. Координаты базисных векторов е1,е2,е3(в пространстве) в собственном базисе
    равны:

е1= (1,0,0),е2= (0,1,0),е3= (0,0,1).

Определение 3. Размерностью
векторного пространстваL
(обозначаетсяdimL)
называется максимальное число линейно
независимых векторов этого пространства.

Если такого числа не существует –
пространство называется бесконечномерным.

Теорема 2. Размерность линейного
пространства равна числу базисных
векторов. {б/д}

Отсюда, в частности, следует, что все
базисы одного пространства состоят из
одинакового числа векторов.

Примеры.V2; V3; Rn;
C[a,b].

Результаты линейных операций легко
вычисляются в координатной форме.

Теорема 3. При сложении векторов их
соответствующие координаты складываются:

.

{}

Теорема 4. При умножении вектора на
число его координаты умножаются на это
число:

λа = (λα1,…,λαn).
{д – во аналогично}

В заключение рассмотрим пример базиса,
который используется наиболее часто.

Определение 4. Ортонормированным
базисом
в пространстве называется
базис, состоящий из трех взаимно
ортогональных векторов единичной длины
(на плоскости – из двух).

Эти векторы
обозначают буквами i,
j и
k и
называют

базисными
ортами.
Таким образом, выполняются
соотношения

аa3k, а произвольный вектора

ka2jможет быть представлен в
следующем виде (рис.10):

j
a
= a1
i
+ a2
j +
a3
k =
( a1,
a2,
a3
).

a1i
i

рис.10

10. Линейная зависимость и независимость векторов

Рассмотрим далее основополагающие в линейной алгебре понятие о линейной зависимости и независимости векторов, а также определение базиса системы векторов.

Любую конечную последовательность векторов Будем называть системой векторов, а любую ее подпоследовательность – подсистемой векторов. Линейной комбинацией векторов назовем вектор , равный сумме произведений произвольных чисел на векторы системы, т. е. .

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

Линейная зависимость и независимость есть свойства системы векторов. Однако часто соответствующие прилагательные относят и к самим векторам. Поэтому вместо «линейно независимая система векторов» допустимо говорить «линейно независимые векторы».

Например, двумерные арифметические векторы И Линейно независимы. Их линейная комбинация равна вектору , который обращается в нулевой вектор Только тогда, когда и .

Если взять векторы И , то они являются линейно зависимыми, так как их линейная комбинация равна нулевому вектору при И , не равных нулю.

Из определения линейной зависимости (независимости) системы векторов вытекают следующие утверждения.

1) Если некоторая система векторов содержит нулевой вектор, то она является линейно зависимой.

Пусть для определенности первый вектор системы является нулевым, т. е.

Тогда линейная комбинация векторов вида равна нулевому вектору, что и доказывает наше утверждение.

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

Так как исходная подсистема линейно зависима, то среди коэффициентов линейной комбинации векторов подсистемы имеется хотя бы один отличный от нуля. Добавим к этой линейной комбинацию линейную комбинацию векторов, не вошедших в исходную подсистему, с числовыми коэффициентами, равными нулю. Мы получим линейную комбинацию из векторов полной системы, которая равна нулевому вектору, причем имеется хотя бы один коэффициент отличный от нуля. Таким образом, наше утверждение доказано.

3) Если система векторов линейно независима, то и любая ее подсистема также линейно независима.

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

4) Для того чтобы система из Ненулевых векторов была линейно зависима необходимо и достаточно, чтобы хотя бы один из векторов системы мог быть представлен как линейная комбинация предшествующих векторов.

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

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

По аналогичной схеме доказывается следующее утверждение.

5) Система векторов линейно зависима тогда и только тогда, когда хотя бы один из векторов системы может быть представлен в виде линейной комбинации остальных векторов.

Как найти подсистему системы векторов

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

Определение 1´. Система векторов называется линейно зависимой, если найдутся числа с 1 , с 2 , …, с k , не все равные нулю, такие, что линейная комбинация векторов с данными коэффициентами равна нулевому вектору: = , в противном случае система называется линейно независимой.

Покажем, что эти определения эквивалентны.

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

,

.

Линейная комбинация системы векторов равна нулевому вектору, причем не все коэффициенты этой комбинации равны нулю, т.е. выполняется определение 1´.

Пусть выполняется определение 1´. Линейная комбинация системы векторов равна , причем не все коэффициенты комбинации равны нулю, например, коэффициенты при векторе .

,

,

.

Один из векторов системы мы представили в виде линейной комбинации остальных, т.е. выполняется определение 1.

Определение 2. Единичным вектором, или ортом, называется n -мерный вектор , у которого i -я координата равна единице, а остальные – нулевые.

. (1, 0, 0, …, 0),

(0, 1, 0, …, 0),

(0, 0, 0, …, 1).

Теорема 1. Различные единичные векторы n -мерного пространства линейно независимы.

Доказательство. Пусть линейная комбинация этих векторов с произвольными коэффициентами равна нулевому вектору.

= .

Из этого равенства следует, что все коэффициенты равны нулю. Получили противоречие.

Каждый вектор n -мерного пространства ā(а 1 , а 2 , . а n ) может быть представлен в виде линейной комбинации единичных векторов с коэффициентами, равными координатам вектора

.

Теорема 2. Если системы векторов содержит нулевой вектор, то она линейно зависима.

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

= .

Следовательно, система линейно зависима.

Теорема 3. Если некоторая подсистема системы векторов линейно зависима, то и вся система линейно зависима.

Доказательство. Дана система векторов . Предположим, что система линейно зависима, т.е. найдутся числа с 1 , с 2 , …, с r , не все равные нулю, такие, что = . Тогда

= .

Получилось, что линейная комбинация векторов всей системы равна , причем не все коэффициенты этой комбинации равны нулю. Следовательно, система векторов линейно зависима.

Следствие. Если система векторов линейно независима, то и любая ее подсистема также линейно независима.

Предположим противное, т.е. некоторая подсистема линейно зависима. Из теоремы следует, что вся система линейно зависима. Мы пришли к противоречию.

Теорема 4 (теорема Штейница). Если каждый из векторов является линейной комбинацией векторов и m > n , то система векторов линейно зависима.

Следствие. В любой системе n -мерных векторов не может быть больше чем n линейно независимых.

Доказательство. Каждый n -мерный вектор выражается в виде линейной комбинации n единичных векторов. Поэтому, если система содержит m векторов и m > n , то, по теореме, данная система линейно зависима.

Как найти подсистему системы векторов

1.4. РАНГ СИСТЕМЫ ВЕКТОРОВ

Рассмотрим систему векторов (1.1), где . Максимальной линейно независимой подсистемой системы векторов (1.1) называется любой набор векторов последней, удовлетворяющий следующим условиям: векторы этого набора линейно независимы; всякий вектор из системы (1.1) линейно выражается через векторы этого набора. В общем, система векторов (1.1) может иметь несколько разных максимальных линейно независимых подсистем.

Теорема 1. 6. Все максимальные линейно независимые подсистемы данной системы векторов содержат одно и то же число векторов.

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

Теорема 1. 7. Ранги эквивалентных систем векторов равны.

Операции, переводящие систему векторов (1.1) в систему, ей эквивалентную, следующие:

1) изменение нумерации векторов в системе;

2) удаление нулевого вектора;

3) удаление вектора, являющегося линейной комбинацией остальных векторов системы;

4) умножение произвольного вектора системы на любое, не равное нулю число;

5) прибавление к одному из векторов системы линейной комбинации остальных векторов системы.

[spoiler title=”источники:”]

http://lms2.sseu.ru/courses/eresmat/course1/razd8z1/par8_5z1.htm

http://www.math.mrsu.ru/text/courses/method/rang_sist_vect.htm

[/spoiler]

Понятие линейной зависимости и линейной независимости векторов

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

Вектор mathbf{v} называется линейной комбинацией векторов mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k, если

mathbf{v}= alpha_1mathbf{v}_1+ alpha_2mathbf{v}_2+ ldots+alpha_kmathbf{v}_k,

(8.1)

где alpha_1,alpha_2,ldots,alpha_k – некоторые числа. В этом случае говорят, что вектор mathbf{v} разложен по векторам mathbf{v}_1,mathbf{v}_2,ldots, mathbf{v}_k (вектор mathbf{v} линейно выражается через векторы mathbf{v}_1,mathbf{v}_2,ldots, mathbf{v}_k, а числа alpha_1,alpha_2,ldots, alpha_k называют коэффициентами разложения. Линейная комбинация с нулевыми коэффициентами mathbf{v}=0cdotmathbf{v}_1+0cdotmathbf{v}_2+ldots+ 0cdotmathbf{v}_k называется тривиальной.

Набор векторов mathbf{v}_1,mathbf{v}_2,ldots, mathbf{v}_k из пространства {V} называется системой векторов, а любая часть системы векторов – подсистемой.

Система из k векторов mathbf{v}_1,mathbf{v}_2,ldots, mathbf{v}_k называется линейно зависимой, если существуют такие числа alpha_1,alpha_2,ldots, alpha_k не все равные нулю одновременно, что справедливо равенство

alpha_1mathbf{v}_1+ alpha_2mathbf{v}_2+ ldots+alpha_kmathbf{v}_k=mathbf{o},

(8.2)

т.е. линейная комбинация является нулевым вектором.

Система из k векторов mathbf{v}_1,mathbf{v}_2,ldots, mathbf{v}_k называется линейно независимой, если равенство (8.2) возможно только при alpha_1=alpha_2=ldots=alpha_k=0, т.е. когда линейная комбинация в левой части (8.2) тривиальная.


Замечания 8.2

1. Один вектор mathbf{v}_1 тоже образует систему: при mathbf{v}_1= mathbf{o} — линейно зависимую, а при mathbf{v}_1ne mathbf{o} — линейно независимую.

2. Понятия линейной зависимости и линейной независимости для векторов определяются также, как для столбцов матриц. Поэтому все свойства, рассмотренные для столбцов матриц, переносятся на векторы. Применение свойств, доказанных для векторов, к столбцам, можно делать без обоснования, так как множество столбцов является линейным пространством (см. пункт 3 в примерах линейных пространств).

3. Рангом системы векторов mathbf{v}_1,mathbf{v}_2,ldots, mathbf{v}_k называется максимальное число линейно независимых векторов этой системы и обозначается operatorname{rg}(mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k).


Пример 8.1. Установить необходимые и достаточные условия линейной зависимости двух, трех, четырех ненулевых векторов пространства V_3 где V_3 — множество векторов (направленных отрезков) пространства (см. пункт 2 в примерах линейных пространств).

Решение. Из элементарной геометрии известно, что два ненулевых вектора vec{a} и vec{b} коллинеарны (vec{a}parallelvec{b}) тогда и только тогда, когда существует такое число lambda, что vec{a}=lambda vec{b}. Это равенство можно представить в виде 1cdotvec{a}+(-lambda)vec{b}=vec{o}, т.е. в виде нетривиальной линейной комбинации векторов vec{a} и vec{b}, равной нулевому вектору. Следовательно, условие коллинеарности необходимо и достаточно для линейной зависимости двух ненулевых векторов.

Рассмотрим три ненулевых вектора vec{a}, vec{b} и vec{c}. Они компланарны (принадлежат или параллельны одной плоскости) тогда и только тогда, когда один из них может быть разложен по другим, т.е. когда существуют такие числа аир, что vec{c}=alphacdotvec{a}+betacdotvec{b}. Записав это равенство в виде равной нулевому вектору нетривиальной линейной комбинации:

alpha cdotvec{a}+beta cdotvec{b}+(-1)cdotvec{c}=vec{o},

делаем вывод, что три ненулевых вектора пространства линейно зависимы тогда и только тогда, когда они компланарны.

Покажем, что любые четыре ненулевых вектора vec{a},vec{b},vec{c},vec{d} линейно зависимы. Если три вектора vec{a},vec{b},vec{c} компланарны, то vec{c}=alpha cdotvec{a}+beta cdotvec{b}. От сюда получаем равенство alphacdotvec{a}+beta cdotvec{b}+(-1)cdotvec{c}+0cdotvec{c}=vec{o}, т.е. векторы vec{a},vec{b},vec{c},vec{d} линейно зависимы. Если же векторы vec{a},vec{b},vec{c} не компланарны, то вектор vec{d} может быть разложен по ним, т.е. представлен в виде vec{d}=alpha cdotvec{a}+ betacdotvec{b}+ gammacdotvec{c}, где alpha,beta,gamma — некоторые числа. Отсюда получаем равенство: alphacdotvec{a}+betacdotvec{b}+gammacdotvec{c}+ (-1)cdotvec{d}= vec{o}. Значит, векторы vec{a},vec{b},vec{c},vec{d} линей но зависимы.


Свойства линейно зависимых и независимых n-мерных векторов

1. Если в систему векторов входит нулевой вектор, то она линейно зависима.

2. Если в системе векторов имеется два равных вектора, то она линейно зависима.

3. Если в системе векторов имеется два пропорциональных (коллинеарных) вектора (mathbf{v}_i=lambdacdotmathbf{v}_j), то она линейно зависима.

4. Система из k>1 векторов линейно зависима тогда и только тогда, когда хотя бы один из векторов есть линейная комбинация остальных.

5. Любые векторы, входящие в линейно независимую систему, образуют линейно независимую подсистему.

6. Система векторов, содержащая линейно зависимую подсистему, линейно зависима.

7. Если система векторов mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k — линейно независима, а после присоединения к ней вектора mathbf{v} — оказывается линейно зависимой, то вектор mathbf{v} можно разложить по векторам mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k и притом единственным образом, т.е. коэффициенты разложения (8.1) находятся однозначно.

8. Пусть каждый вектор системы mathbf{u}_1,mathbf{u}_2,ldots, mathbf{u}_m может быть разложен по векторам системы mathbf{v}_1,mathbf{v}_2, ldots,mathbf{v}_k, т.е. textstyle{sumlimits_{j=1}^{k} a_{ji}mathbf{v}_j,~ i=1,ldots,m} (говорят, что система векторов mathbf{u}_1,mathbf{u}_2,ldots, mathbf{u}_m линейно выражается через систему векторов mathbf{v}_1,mathbf{v}_2, ldots,mathbf{v}_k). Тогда, если m>k, то система векторов mathbf{u}_1,mathbf{u}_2,ldots, mathbf{u}_m — линейно зависима.

Докажем, например, последнее свойство. Составим линейную комбинацию векторов mathbf{u}_1,mathbf{u}_2,ldots, mathbf{u}_m с коэффициентами x_1,x_2,ldots,x_m и приравняем ее нулевому вектору:

sumlimits_{i=1}^{m} x_i mathbf{u}_i= mathbf{o}.

(8.3)

Надо показать, что эта линейная комбинация может быть нетривиальной, т.е. среди коэффициентов x_i,,i=1,ldots,m, можно взять числа, не равные нулю. Действительно, подставим в линейную комбинацию (8.3) разложения векторов mathbf{u}_i по векторам системы mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_kcolon

mathbf{o}= sumlimits_{i=1}^{m} x_imathbf{u}_i= sumlimits_{i=1}^{m} x_i sumlimits_{j=1}^{k} a_{ji}mathbf{v}_j= sumlimits_{j=1}^{k} left(sumlimits_{i=1}^{m}a_{ji}x_iright)!mathbf{v}_j.

Чтобы это равенство выполнялось, достаточно потребовать, чтобы textstyle{sumlimits_{i=1}^{m}a_jix_i=0,~j=1,ldots,k}. Таким образом, получили однородную систему Ax=mathbf{o} линейных уравнений с неизвестными x_1,x_2,ldots,x_m. Матрица A=(a_{ji}) системы имеет размеры ktimes m, т.е. количество уравнений (k) меньше количества (m) неизвестных, так как m>k . Поэтому operatorname{rg}A leqslant k leqslant m, т.е. система имеет бесконечно много решений, в том числе и ненулевых (см. структуру общего решения системы уравнений). Таким образом, линейная комбинация в (8.3) может быть нетривиальной, т.е. система векторов mathbf{u}_1, mathbf{u}_2, ldots, mathbf{u}_m линейно зависима.


Аффинные, неотрицательные и выпуклые комбинации векторов

Пусть дана система векторов mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k вещественного линейного пространства {V} (т.е. над полем R). Множество линейных комбинаций векторов mathbf{v}_1,mathbf{v}_2,ldots, mathbf{v}_k называется их линейной оболочкой и обозначается:

operatorname{Lin}(mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k)= Bigl{mathbf{v}colon~ mathbf{v}= alpha_1mathbf{v}_1+ alpha_2mathbf{v}_2+ldots+alpha_k mathbf{v}_k;~ alpha_iin R,~ i=1,ldots,kBigr}.

Векторы mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k называются образующими линейной оболочки operatorname{Lin}(mathbf{v}_1, mathbf{v}_2,ldots,mathbf{v}_k).

Линейная комбинация векторов mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k называется аффинной, если сумма ее коэффициентов равна единице. Множество аффинных комбинаций векторов mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k называется их аффинной оболочкой и обозначается:

operatorname{Aff}(mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k)= left{mathbf{v}colon~ mathbf{v}= alpha_1mathbf{v}_1+ alpha_2mathbf{v}_2+ ldots+ alpha_kmathbf{v}_k;~ sumlimits_{i=1}^{k}alpha_i=1,~ alpha_iin R,~ i=1,ldots,kright}.

Линейная комбинация векторов mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k называется неотрицательной, если все ее коэффициенты — неотрицательные числа. Множество неотрицательных комбинаций векторов mathbf{v}_1,mathbf{v}_2,ldots, mathbf{v}_k называется их конической оболочкой и обозначается:

operatorname{Con}(mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k)= Bigl{mathbf{v}colon~ mathbf{v}= alpha_1mathbf{v}_1+ alpha_2mathbf{v}_2+ldots+ alpha_kmathbf{v}_k;~ alpha_i geqslant 0,~ i=1,ldots,kBigr}.

Линейная комбинация векторов mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k называется выпуклой, если все ее коэффициенты — неотрицательные числа, а их сумма равна единице. Множество выпуклых комбинаций векторов mathbf{v}_1,mathbf{v}_2,ldots, mathbf{v}_k называется их выпуклой оболочкой и обозначается:

operatorname{Conv}(mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k)= left{mathbf{v}colon~ mathbf{v}= alpha_1mathbf{v}_1+ alpha_2mathbf{v}_2+ldots+ alpha_kmathbf{v}_k;~ sumlimits_{i=1}^{k} alpha_i=1,~ alpha_i geqslant 0,~ i=1,ldots,kright}.

Аналогично определению образующих линейной оболочки, векторы mathbf{v}_1, mathbf{v}_2,ldots,mathbf{v}_k называют образующими множеств operatorname{Aff}(mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k), operatorname{Con}(mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k), operatorname{Conv}(mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k) соответственно.

Понятия линейной, аффинной, конической и выпуклой оболочек, определенные для конечной системы векторов, можно обобщить.

Линейной оболочкой непустого подмножества M линейного пространства V~(M subset V,,Mne varnothing) называется множество всевозможных линейных комбинаций векторов из Mcolon

operatorname{Lin}(M)= left{mathbf{v}colon~ mathbf{v}= sumlimits_{i=1}^{k} alpha_i mathbf{v}_i;~ kin mathbb{N},~ mathbf{v}_iin M,~ alpha_iin mathbb{R},~ i=1,ldots,kright}.

Аналогично определяются аффинная, коническая и выпуклая оболочки непустого подмножества Mcolon

begin{aligned}operatorname{Aff}(M)&= left{mathbf{v}colon~ mathbf{v}=sumlimits_{i=1}^{k} alpha_imathbf{v}_i;~ kin mathbb{N},~ mathbf{v}_iin M,~ sumlimits_{i=1}^{k} alpha_i=1,~ alpha_iin mathbb{R},~ i=1,ldots,kright};\ operatorname{Con}(M)&= left{mathbf{v}colon~ mathbf{v}= sumlimits_{i=1}^{k} alpha_imathbf{v}_i;~ kin mathbb{N},~ mathbf{v}_iin M,~ alpha_i geqslant 0,~ i=1,ldots,k right};\ operatorname{Conv}(M)&= left{mathbf{v}colon~ mathbf{v}= sumlimits_{i=1}^{k} alpha_imathbf{v}_i,~ kin mathbb{N},~ mathbf{v}_iin M,~ sumlimits_{i=1}^{k} alpha_i=1,~ alpha_i geqslant 0,~ i=1,ldots,k right}.end{aligned}

Если множество M пустое (M=varnothing), то по определению считается, что

operatorname{Lin}(M)= operatorname{Aff}(M)= operatorname{Con}(M)= operatorname{Conv}(M)= bigl{mathbf{o}bigr}.

Из определений следуют включения:

M subset operatorname{Conv}(M)subset operatorname{Aff}(M) subset operatorname{Lin}(M),qquad M subset operatorname{Conv}(M)subset operatorname{Con}(M) subset operatorname{Lin}(M)

и равенство operatorname{Conv}(M)=operatorname{Con}(M)cap operatorname{Aff}(M).


Пример 8.2. В пространстве V_2 радиус-векторов на плоскости (см. пункт 3 в [url=http://mathhelpplanet.com/static.php?p=linyeinye-prostranstva]примерах линейных пространств[/ur]) даны два неколлинеарных вектора vec{a}= overrightarrow{OA} и vec{b}=overrightarrow{OB} (рис.8.1).

Найти operatorname{Lin}bigl(vec{a},vec{b}bigr),~ operatorname{Aff}bigl(vec{a},vec{b}bigr),~ operatorname{Con}bigl(vec{a},vec{b}bigr),~ operatorname{Conv}bigl(vec{a},vec{b}bigr).

Решение. operatorname{Lin}bigl(vec{a},vec{b}bigr). Любой радиус-вектор vec{c}=overrightarrow{OC} плоскости можно разложить по двум неколлинеарным векторам этой плоскости, т.е. представить в виде линейной комбинации vec{c}= alphacdotvec{a}+ betacdotvec{b}, где alphain mathbb{R} и betain mathbb{R}. Следователь но, множество всевозможных линейных комбинаций векторов vec{a} и vec{b} сов падает со всем пространством V_2 радиус-векторов на плоскости, т.е. operatorname{Lin}bigl(vec{a}, vec{b}bigr)=V_2.

operatorname{Aff}bigl(vec{a},vec{b}bigr). Заметим, что точка C — конец вектора overrightarrow{OC}= alphacdot overrightarrow{OA}+ betacdot overrightarrow{OB} при условии alpha+beta=1 принадлежит прямой AB, так как (при alpha=1-beta)

overrightarrow{OC}= overrightarrow{OA}+ betacdot Bigl(overrightarrow{OB}-overrightarrow{OA}Bigr)= overrightarrow{OA}+ betacdotoverrightarrow{AB},

т.е. радиус-вектор overrightarrow{OC} получается в результате прибавления к вектору overrightarrow{OA} некоторого вектора, параллельного прямой AB. Следовательно, operatorname{Aff}bigl(vec{a},vec{b}bigr) — множество радиус-векторов, концы которых лежат на прямой, проходящей через точки A и B (см. рис.8.1).

Векторы и линейная, аффинная, коническая, выпуклая оболочки

operatorname{Con}bigl(vec{a},vec{b}bigr). При умножении вектора на положительное число его на правление не изменяется. Поэтому вектор overrightarrow{OC}= alphacdotoverrightarrow{OA}+ betacdotoverrightarrow{BC} при alpha geqslant 0,~ beta geqslant 0 можно рассматривать как сумму двух векторов, принадлежащих лучам OA и OB соответственно. По правилу сложения векторов заключаем, Что радиус-вектор overrightarrow{OC} лежит либо между этими лучами, либо на одном из них. Следовательно, множество operatorname{Con} bigl(vec{a},vec{b}bigr) образуют радиус-векторы, концы которых принадлежат углу AOB (заштрихованное множество на рис. 8.1).

operatorname{Conv}bigl(vec{a},vec{b}bigr). Конец радиус-вектора overrightarrow{OC}=alphacdotoverrightarrow{OA}+betacdotoverrightarrow{OB} при alpha+beta=1,alphageqslant0,betageqslant0 принадлежит прямой AB и углу AOB одновременно. Следовательно, точка C принадлежит отрезку AB. Поэтому operatorname{Conv}bigl(vec{a},vec{b}bigr) — множество радиус-векторов, концы которых принадлежат отрезку AB (см. рис.8.1). Этот вывод соответствует указанному выше равенству operatorname{Conv}bigl(vec{a},vec{b}bigr)= operatorname{Con}(M)cap operatorname{Aff}(M).


Замечания 8.3

1. Свойство 7 линейно зависимых и линейно независимых векторов можно сформулировать (без указания единственности разложения) следующим образом: если система векторов mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k линейно независима, а после присоединения к ней вектора mathbf{v} — оказывается линейно зависимой, то вектор mathbf{v}in operatorname{Lin}(mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k).

2. Свойство 8 линейно зависимых и линейно независимых векторов можно сформулировать так: если каждый вектор системы mathbf{u}_1,mathbf{u}_2,ldots, mathbf{u}_m принадлежит линейной оболочке operatorname{Lin}(mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k) и m>k, то система векторов mathbf{u}_1,mathbf{u}_2,ldots,mathbf{u}_m — линейно зависима.

3. Свойства аффинных оболочек будут рассматриваться в линейных многообразиях. Свойства конических и выпуклых оболочек относятся к выпуклому анализу и применяются в теории оптимизации.

4. В некоторых источниках для линейной оболочки векторов используется обозначение operatorname{span}(mathbf{v}_1,mathbf{v}_2,ldots,mathbf{v}_k).

Математический форум (помощь с решением задач, обсуждение вопросов по математике).

Кнопка "Поделиться"

Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.

Добавить комментарий