Опр.Множество 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. Система векторов называется линейно зависимой, если один из векторов системы можно представить в виде линейной комбинации остальных векторов системы, и линейно независимой - в противном случае.

Определение 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.(О линейной независимости ортогональных векторов). Пусть Тогда система векторов линейно независима.

Составим линейную комбинацию ∑λ 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. Система векторов векторного пространства является линейно независимой тогда и только тогда, когда ни один из векторов системы линейно не выражается через другие вектора этой системы.

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

Доказательство.

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

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

2а) Пусть система содержит нулевой вектор. Допустим для определенности, что вектор :. Тогда очевидно равенство

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

Заметим, что этот факт можно доказать непосредственно из линейно зависимой системы векторов.

Так как , то следующее равенство очевидно

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

2б) Пусть система имеет два равных вектора. Пусть для . Тогда очевидно равенство

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

Аналогично предыдущему это утверждение можно доказать и непосредственно определения линейно зависимой системы.. Тогда эта система представляет нулевой вектор нетривиально

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

Теорема доказана.

Следствие. Система, состоящая из одного вектора является линейно независимой тогда и только тогда, когда этот вектор ненулевой.

Линейной комбинацией системы векторов

называется вектор

где a 1 , a 2 , ..., a n - произвольные числа.

Если все a i = 0, то линейная комбинация называется тривиальной . В этом случае, очевидно,

Определение 5.

Теорема 2 (Условия линейной зависимости).

Определение 6.

Из теоремы 3 следует, что если в пространстве задан базис то добавив к нему произвольный вектор , получим линейно зависимую систему векторов. В соответствии с теоремой 2 (1) , один из них (можно показать, что вектор ) можно представить в виде линейной комбинации остальных:

.

Определение 7.

Если векторы рассматриваются на плоскости, то базисом будет упорядоченная пара неколлинеарных векторов

и координатами вектора в этом базисе – пара чисел:

Замечание 3 . Можно показать, что при заданном базисе координаты вектора определяются однозначно . Из этого, в частности, следует, что если векторы равны, то равны их соответствующие координаты, и наоборот .

Таким образом, если в пространстве задан базис, то каждому вектору пространства соответствует упорядоченная тройка чисел (координаты вектора в этом базисе) и наоборот: каждой тройке чисел соответствует вектор.

На плоскости аналогичное соответствие устанавливается между векторами и парами чисел.

Теорема 4 (Линейные операции через координаты векторов).

Иными словами:

при умножении вектора на число его координаты умножаются на это число ;

при сложении векторов складываются их соответствующие координаты .

Пример 1 . В некотором базисе векторы имеют координаты

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

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

По определению 5 это означает, что равенство

возможно только в случае, когда x = y = z = 0.