Арифметические векторные пространства

Определение 1: n-мерным вектором над полем F называется кортеж из n элементов (упорядоченная Арифметические векторные пространства - student2.ru -ка чисел) поля F. Множество всех n – мерных векторов над полем F обозначается символом Fn.

Векторы обычно записываются в виде строки или столбца (показать оба вида).

На множестве n–мерных векторов над полем F введем отношение равенства, операцию сложения векторов и операцию умножения вектора на скаляр.

Определение 2: Векторы Арифметические векторные пространства - student2.ru и Арифметические векторные пространства - student2.ru называются равными, если Арифметические векторные пространства - student2.ru . Арифметические векторные пространства - student2.ru

Определение 3: Сумма векторов Арифметические векторные пространства - student2.ru и Арифметические векторные пространства - student2.ru называется вектор Арифметические векторные пространства - student2.ru ; Арифметические векторные пространства - student2.ru + Арифметические векторные пространства - student2.ru = Арифметические векторные пространства - student2.ru .

Определение 4: Произведением скаляра Арифметические векторные пространства - student2.ru на вектор Арифметические векторные пространства - student2.ru называется вектор Арифметические векторные пространства - student2.ru , т.е. Арифметические векторные пространства - student2.ru = Арифметические векторные пространства - student2.ru . Операцию умножения на скаляр Арифметические векторные пространства - student2.ru обозначим символом Арифметические векторные пространства - student2.ru , т.е. Арифметические векторные пространства - student2.ru = Арифметические векторные пространства - student2.ru .

Для каждого Арифметические векторные пространства - student2.ru из F Арифметические векторные пространства - student2.ru есть унарная операция на множестве n- мерных векторов Fn.

Вектор (0,…,0) называется нулевым вектором и обозначается символом Арифметические векторные пространства - student2.ru . Нулевой вектор является нейтральным элементом относительно сложения.

Вектор Арифметические векторные пространства - student2.ru Арифметические векторные пространства - student2.ru называется вектором, противоположным вектору Арифметические векторные пространства - student2.ru , и обозначается символом Арифметические векторные пространства - student2.ru . Очевидно, Арифметические векторные пространства - student2.ru .

Определение 5: Арифметическим n–мерным пространством над полем F называется множество Fn c заданными на нем бинарной операцией сложения и унарными операциями Арифметические векторные пространства - student2.ru , т.е. алгебра Арифметические векторные пространства - student2.ru .

Теорема 1:Операции векторного пространства Fn обладают следующими свойствами:

1. Алгебра Арифметические векторные пространства - student2.ru , где Арифметические векторные пространства - student2.ru для любого Арифметические векторные пространства - student2.ru , есть абелевая группа;

2. Умножение на скаляры ассоциативно, т.е. Арифметические векторные пространства - student2.ru для Арифметические векторные пространства - student2.ru и Арифметические векторные пространства - student2.ru ;

3. Умножение на скаляр дистрибутивно относительно сложения, т.е. Арифметические векторные пространства - student2.ru для Арифметические векторные пространства - student2.ru и Арифметические векторные пространства - student2.ru ;

4. Умножение на скаляр дистрибутивно относительно сложения скаляров; т.е. Арифметические векторные пространства - student2.ru для Арифметические векторные пространства - student2.ru и Арифметические векторные пространства - student2.ru ;

5. Арифметические векторные пространства - student2.ru для любого Арифметические векторные пространства - student2.ru из Fn.

Пусть F – поле скаляров и V = Fn n–мерное арифметическое пространство над F Арифметические векторные пространства - student2.ru - произвольная система векторов пространства V.

Определение 6: Линейной комбинацией системы векторов Арифметические векторные пространства - student2.ru называется вектор вида Арифметические векторные пространства - student2.ru , где Арифметические векторные пространства - student2.ru . Скаляры Арифметические векторные пространства - student2.ru называются коэффициентами линейной комбинации. Линейная комбинация называется нетривиальной, если хотя бы один ее коэффициент отличен от нуля. Линейная комбинация называется тривиальной, если все ее коэффициенты равны нулю.

Определение 7: Система векторов Арифметические векторные пространства - student2.ru называется линейно независимой, если для любых скаляров Арифметические векторные пространства - student2.ru из равенства Арифметические векторные пространства - student2.ru следуют равенства Арифметические векторные пространства - student2.ru . Пустая система векторов считается линейно независимой.

Другими словами, конечная система векторов линейно независима в том и только в том случае, когда всякая нетривиальная линейная комбинация векторов системы не равна нулевому вектору.

Определение 8: Система векторов Арифметические векторные пространства - student2.ru называется линейно зависимой, если существуют скаляры Арифметические векторные пространства - student2.ru , не все равные нулю, такие, что Арифметические векторные пространства - student2.ru .

Другими словами, конечная система векторов называется линейно зависимой, если существует нетривиальная линейная комбинация векторов системы равная нулевому вектору.

Система векторов Арифметические векторные пространства - student2.ru называется системой единичных векторов векторного пространства Fn. Эта система векторов линейно независима. В самом деле, для любых скаляров Арифметические векторные пространства - student2.ru из равенства Арифметические векторные пространства - student2.ru следует равенство Арифметические векторные пространства - student2.ru и, значит, равенства Арифметические векторные пространства - student2.ru .

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

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

Доказательство: Если в системе векторов Арифметические векторные пространства - student2.ru один из векторов, например вектор Арифметические векторные пространства - student2.ru нулевой, то линейная комбинация векторов системы, все коэффициенты которой нулевые, за исключением коэффициента при Арифметические векторные пространства - student2.ru , равна нулевому вектору. Следовательно, такая система векторов линейно зависима.

2. Система векторов линейно зависима, если какая – нибудь ее подсистема линейно зависима.

Доказательство: Пусть Арифметические векторные пространства - student2.ru - линейно зависимая подсистема системы Арифметические векторные пространства - student2.ru , т.е. Арифметические векторные пространства - student2.ru , причем хотя бы один из коэффициентов Арифметические векторные пространства - student2.ru отличен от нуля. Тогда Арифметические векторные пространства - student2.ru . Следовательно, система векторов Арифметические векторные пространства - student2.ru линейно зависима.

3. Система векторов

(1) Арифметические векторные пространства - student2.ru ,

в которой Арифметические векторные пространства - student2.ru линейно зависима тогда и только тогда, когда хотя бы один из векторов Арифметические векторные пространства - student2.ru является линейной комбинацией предшествующих векторов.

Доказательство: Пусть система (1) линейно зависима и Арифметические векторные пространства - student2.ru . Тогда существуют скаляры Арифметические векторные пространства - student2.ru , не все равные нулю, такие, что

(2) Арифметические векторные пространства - student2.ru .

Обозначим через Арифметические векторные пространства - student2.ru наибольшее из чисел Арифметические векторные пространства - student2.ru удовлетворяющее условию Арифметические векторные пространства - student2.ru . Тогда равенство (2) можно записать в виде

(3) Арифметические векторные пространства - student2.ru .

Отметим, что Арифметические векторные пространства - student2.ru , ибо в противном случае Арифметические векторные пространства - student2.ru , следовательно, Арифметические векторные пространства - student2.ru , поскольку Арифметические векторные пространства - student2.ru . Из (3) следует равенство

Арифметические векторные пространства - student2.ru .

Предположим теперь, что вектор Арифметические векторные пространства - student2.ru Арифметические векторные пространства - student2.ru , есть линейная комбинация Арифметические векторные пространства - student2.ru предшествующих ему векторов, т.е. Арифметические векторные пространства - student2.ru . Тогда Арифметические векторные пространства - student2.ru т.е. подсистема Арифметические векторные пространства - student2.ru системы линейно зависима. Следовательно, по св. 2. линейно зависима и исходная система (1).

4. Если система векторов Арифметические векторные пространства - student2.ru ( 1 ) линейно независима, а система векторов

(2) Арифметические векторные пространства - student2.ru , Арифметические векторные пространства - student2.ru линейно зависима, то вектор Арифметические векторные пространства - student2.ru линейно выражается через векторы

(1) Арифметические векторные пространства - student2.ru и притом единственным образом.

Доказательство: По условию система (2) линейно зависима, т.е. существуют скаляры Арифметические векторные пространства - student2.ru , не все равные нулю, такие, что (3) Арифметические векторные пространства - student2.ru . При этом Арифметические векторные пространства - student2.ru , так как при Арифметические векторные пространства - student2.ru Арифметические векторные пространства - student2.ru , что противоречит линейной зависимости системы(1). Из (3) следует равенство Арифметические векторные пространства - student2.ru . И мы получим, что v линейно выражается через Арифметические векторные пространства - student2.ru . Если предположим, что существуют два таких представления Арифметические векторные пространства - student2.ru и Арифметические векторные пространства - student2.ru , то

Арифметические векторные пространства - student2.ru . Арифметические векторные пространства - student2.ru

В силу линейной независимости (1) отсюда следует, что Арифметические векторные пространства - student2.ru и Арифметические векторные пространства - student2.ru .

5. Пусть S1 – какая–либо часть (подсистема) системы S. Подсистема S1 называется базисом системы S, если S1 –максимальная линейно независимая подсистема.

Иными словами, подсистема S1 есть базис системы S, если:

1. она линейно независима;

2. добавление к подсистеме S1 любого другого вектора из системы S превращает эту подсистему в линейно зависимую.

С каждой системой векторов можно связать некоторое число – ранг системы, являющийся одной из важнейших характеристик системы.

Рангом системы векторов называется число векторов в любом базисе системы векторов.

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

Наши рекомендации