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

Следует заметить, что при p>n система векторов будет линейно зависимой.

Замечание : при составлении матрицы А векторы системы можно брать не в качестве строк, а в качестве столбцов.

Алгоритм исследования системы векторов на линейную зависимость.

Разберем алгоритм на примерах.

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

Пример.

Дана система векторов . Исследуйте ее на линейную зависимость.

Решение.

Так как вектор c нулевой, то исходная система векторов линейно зависима в силу третьего свойства.

Ответ:

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

Пример.

Исследуйте систему векторов на линейную зависимость.

Решение.

Не сложно заметить, что координаты вектора c равны соответствующим координатам вектора , умноженным на 3 , то есть, . Поэтому, исходная система векторов линейно зависима.

Опр.Множество w называется линейным пространством, а его элем. -векторами, если:

*задан закон (+) по кот. любым двум элементам х,у из w сопоставляется элемент называем. их суммой [х + у]

*задан закон (* на число a), по кот.элементу х из w и а сопоставляется элемент из w, называемый произведением х на а [ ах];

* выполнены

следующие требования (или аксиомы):

След c1. нулевой вектор {ctv 0 1 и 0 2 . по a3: 0 2 + 0 1 = 0 2 и 0 1 + 0 2 = 0 1 . по a1 0 1 + 0 2 = 0 2 + 0 1 => 0 1 = 0 2 .}

c2. .{ctv, a4}

c3. 0 вект.{a7}

c4. a(число)*0=0.{a6,c3}

c5. х (*) -1 =0 вект, противоположному х, т.е. (-1)х = -х. {a5,a6}

c6. В w определено действие вычитание: вектор х называется разностью векторов b и а, если х + а = b, и обозначается x = b - a.

Число n называется размерностью лин. пр-а L , если в L существует система из n лин. незав. векторов, а любая система из n +1 вектора - лин. зависима. dimL = n . Пространство L называется n- мерным.

Упорядоченная совокупность n лин. незав. векторов n мерного независ. пространства – базис

Теорема. Каждый вектор X можно представить единственным образом в виде лин.Комбинации векторов базиса

Пусть (1) - базис n-мерного лин. пр-ва V , т.е. совокупность линейно независимых векторов. Совокупность векторов будет лин. зависимой, т.к. их n + 1.

Т.е. существуют числа , не все равные нулю одновременно, что причѐм (иначе (1) линейно зависимы).

Тогда где разложение вектора x по базису(1) .

Это выражение единственно, т.к. если существует другое выражение (**)

вычитая из (*) равенство (**),

получим

Т.к. линейно независимы, то . Чтд

Теорема. Если - лин. независимые векторы пространства V и каждый вектор x из V может быть представлен через , то эти векторы образуют базис V

Док-во: (1)-лин.независима =>остается док-ть, что для лин.зависимы. По усл. Каждый вектор а выражается через (1): , рассмотрим , rang≤n => среди столбцов не больше nлинейно независимы, но m > n=> m столбцов линейно зависимы=> s=1, n

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

Т.о пространство V n-мерно и (1) его базис

№4Опр. Подмножество L лин. пр-ва V называется лин. подпр. этого пространства если относительно заданных в V операциях (+) и (*а) подпространство L является линейным пространством

Теорема Множество l векторов пространства V является лин. Подпространством этого пространства выполняются

(дост) пусть (1) и (2) выполнены, для того что L подпрост.V остается доказать что выполнены все аксиомы лин. пр-ва.

(-x): -x+x=0 д . а(х + у)= ах + ау;

(а-б) и (д-з) вытекает из справедливости для V докажем (в)

(необходимость) Пусть L является лин. подпространством этого пространства, тогда (1) и (2) выполняются в силу определения лин. пр-ва

Опр. Совокупность всевозможных лин. комбинаций некоторых элементов (x j) лин. пр-ва называется линейной оболочкой

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

Опр .Непустое подмножество L векторов лин. пр-ва V называется лин. подпространством, если:

а)сумма любых векторов из L принадлежит L

б)произведение каждого вектора из L на любое число принадлежит L

Сумма двух подпространств L является снова подпространством L

1) Пусть y 1 +y 2 (L 1 +L 2) <=> y 1 =x 1 +x 2 , y 2 =x’ 1 +x’ 2 , где (x 1 ,x’ 1) L 1 , (x 2 ,x’ 2) L 2 . y 1 +y 2 =(x 1 +x 2)+(x’ 1 +x’ 2)=(x 1 +x’ 1)+(x 2 +x’ 2), где (x 1 +x’ 1) L 1 , (x 2 +x’ 2) L 2 => первое условие линейного подпространства выполняется.

ay 1 =ax 1 +ax 2 , где (aх 1) L 1 , (aх 2) L 2 => т.к. (y 1 +y 2) (L 1 +L 2) , (ly 1) (L 1 +L 2) => условия выполняются => L 1 +L 2 – линейное подпространство.

Пересечение двух подпр. L 1 и L 2 лин. пр-ва L также является подпр. этого пространства.

Рассмотрим два произвольных вектора x ,y , принадлежащих пересечению подпространств, и два произвольных числа a ,b :.

По опр. пересечения множеств:

=> по определению подпространства линейного пространства:,.

Т. К. вектор ax + by принадлежит и множеству L 1 , и множеству L 2 , то он принадлежит, по определению, и пересечению этих множеств. Таким образом:

Опр .Говорят, что V является прямой суммой своих подпр. если и б) это разложение единственно

б") Покажем, что б) равносильно б’)

При б) верно б’)

Всякие (M , N ) из пересекаются лишь по нулевому вектору

Пусть ∃ z ∈

Справед. обрат. L =

противоречие

Теорема Чтобы (*) необходимо и достаточно чтобы объединения базисов ( составляло базис пространства

(Необ) пусть (*) и векторы - базисы подмножеств. и имеет место разложение по ; x раскладывается по базису L, чтобы утверждать, что( составляют базис, нужно доказать их линейную независимость все содержат 0 0=0+…+0. В силу единственности разложения 0 по : => из-за лин. независимости базиса => ( – базис

(Дост.) Пусть ( образует базис L единств. разложение (**) по крайней мере, одно разложение существует. В силу единственности (*) => единственность (**)

Замечание. Размерность прямой суммы равна сумме размерностей подпространства

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

Пусть в n мерном линейной пространстве V имеется два базиса и

(1) =A , где здесь элементы * и ** не числа но мы распространим на такие строки определенные операции над числовой матрицей.

Т.к. иначе векторы ** были бы лин.зависимы

Обратно. Если то столбцы А линейно независимы =>образуют базис

Координаты и связанны соотношением , где элементы матрицы перехода

Пусть известно разложение элементов "нового" базиса по «старому»

Тогда справедливы равенства

Но если линейная комбинация линейно независимых элементов равна 0 то =>

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

Если (*) линейно выражается через (**) то n <= m

Докажем индукцией по m

m=1: система (*) содержит 0 и лин. зав- невозможно

пусть верно для m=k-1

докажем для m=k

может оказаться, что 1) , т.е. в-ры (1) являются лин.комб. лин. в-ров (2)Система (1) лин.незав., т.к. является частью лин.незав. системы (*). Т.к. в системе (2) только k-1, векторов, то по предположению индукции получаем k+1

Теорема 1.(О линейной независимости ортогональных векторов). Пусть Тогда система векторов линейно независима.

Составим линейную комбинацию ∑λ i x i =0 и рассмотрим скалярное произведение (x j , ∑λ i x i)=λ j ||x j || 2 =0, но ||x j || 2 ≠0⇒λ j =0.

Определение 1. Система векторов или (e i ,e j)=δ ij - символ Кронекера, называется ортонормированной (ОНС).

Определение 2. Для произвольного элемента x произвольного бесконечномерного евклидова пространства и произвольной ортонормированной системы элементов рядом Фурье элемента x по системе называется формально составленная бесконечная сумма (ряд) вида , в которой действительные числа λ i называются коэффициентами Фурье элемента x по системе , где λ i =(x,e i).

Комментарий. (Естественно, возникает вопрос о сходимости этого ряда. Для исследования этого вопроса зафиксируем произвольный номер n и выясним, что отличает n-ю частичную сумму ряда Фурье от любой другой линейной комбинации первых n элементов ортонормированной системы . )

Теорема 2. Для любого фиксированного номера n среди всех сумм вида наименьшее отклонение от элемента x по норме данного евклидова пространства имеет n-я частичная сумма ряда Фурье элементa

Учитывая ортонормированность системы и определение коэффициента Фурье, можно записать

Минимум этого выражения достигается при c i =λ i , так как при этом всегда неотрицательная первая сумма в правой части обращается в нуль, а остальные слагаемые от c i не зависят.

Пример. Рассмотрим тригонометрическую систему

в пространстве всех интегрируемых по Риману функций f(x) на сегменте [-π,π]. Легко проверить, что это ОНС, и тогда Ряд Фурье функции f(x) имеет вид где .

Комментарий. (Тригонометрический ряд Фурье обычно записывают в виде Тогда )

Произвольная ОНС в бесконечномерном эвклидовом пространстве без дополнительных предположений, вообще говоря, не является базисом этого пространства. На интуитивном уровне, не давая строгих определений, опишем суть дела. В произвольном бесконечномерном эвклидовом пространстве E рассмотрим ОНС , где (e i ,e j)=δ ij - символ Кронекера. Пусть M - подпространство эвклидова пространства, а k=M ⊥ - подпространство, ортогональное к M, такое, что эвклидово пространство E=M+M ⊥ . Проекция вектора x∈E на подпространство M - вектор ∈M, где

Мы будем искать те значения коэффициентов разложения α k , при которых невязка (квадрат невязки) h 2 =||x-|| 2 будет минимальна:

h 2 =||x-|| 2 =(x-,x-)=(x-∑α k e k ,x-∑α k e k)=(x,x)-2∑α k (x,e k)+(∑α k e k ,∑α k e k)=||x|| 2 -2∑α k (x,e k)+∑α k 2 +∑(x,e k) 2 -∑(x,e k) 2 =||x|| 2 +∑(α k -(x,e k)) 2 -∑(x,e k) 2 .

Ясно, что это выражение будет принимать минимальное значение при α k =0, что тривиально, и при α k =(x,e k). Тогда ρ min =||x|| 2 -∑α k 2 ≥0. Отсюда получаем неравенство Бесселя ∑α k 2 &38804;||x|| 2 . При ρ=0 ортонормированная система векторов (ОНС) называется полной ортонормированной системой в смысле Стеклова (ПОНС). Отсюда можно получить равенство Стеклова - Парсеваля ∑α k 2 =||x|| 2 - "теорему Пифагора" для полных в смысле Стеклова бесконечномерных эвклидовых пространств. Теперь следовало бы доказать, что для того, чтобы любой вектор пространства можно было единственным образом представить в виде сходящегося к нему ряда Фурье, необходимо и достаточно выполнение равенства Стеклова-Парсеваля. Система векторов pic=""> ОНБ образует?система векторов Рассмотрим для частичную сумму ряда Тогда как хвост сходящегося ряда. Таким образом, система векторов является ПОНС и образует ОНБ.

Пример. Тригонометрическая система

в пространстве всех интегрируемых по Риману функций f(x) на сегменте [-π,π] является ПОНС и образует ОНБ.

Определение 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 , то, по теореме, данная система линейно зависима.