Арифметическое линейное пространство .

Рассмотрим множество всех (строк из элементов) действительных чисел . Введем на этом множестве умножение числа на и сложение так:

Ниже будем называть векторами, и обозначать латинскими буквами возможно с нижними индексами. Исключение составит нулевой вектор . Числа из будем обозначать греческими буквами

Множество , вместе со сложением векторов и умножение числа на вектор образуют арифметическое линейное пространство или - мерным векторным пространством.

Непосредственно из определения следуют такие свойства сложения векторов в :

Умножение числа на вектор обладает следующими свойствами:

Из этих свойств следует, что в сумме нескольких векторов не обязательно расставлять скобки (свойство 1) и она не зависит от порядка следования слагаемых (свойство 4). В сумме векторов можно приводить подобные члены, т.е. , а также в равенстве двух сумм переносить вектор из одной части в другую с противоположным знаком.

Справедливы также следующие два утверждения:

(1) .

Действительно,

.

(2) .

Действительно,

.

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

ЛЕММА 1 (о линейно зависимых системах). Система векторов линейно зависима тогда и только тогда, когда один из них линейно выражается через предыдущие (тем более, через оставшиеся).

ДОКАЗАТЕЛЬСТВО. Пусть , но не все числа равны , а - наибольший из индексов таких, что .

Тогда , откуда

Обратно, пусть .

Тогда и видно, что в этой линейной комбинации векторов , которая равна нулевому вектору, коэффициент при не равен нулю. □

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

ЛЕММА 2 (о порождающих). Если система порождающих линейно зависима, то из неё можно удалить подходящий вектор такой, что оставшаяся система векторов также будет системой порождающих.

ДОКАЗАТЕЛЬСТВО. Если система порождающих линейно зависима, то по лемме 1 в ней найдётся некоторый вектор , который выражается через :

(1)

Так как для всякого найдутся числа такие, что

. (2)

Подставляя в равенство (2) вместо его выражение из (1), раскрывая скобки и приводя подобные слагаемые, убедимся в справедливости утверждения леммы. □

Линейно независимая система порождающих называется базисом .

Нетрудно понять, что следующая система векторов будет базисом в :

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

.

Аналогично, для любого в существует базис из векторов, называемых единичными:

ТЕОРЕМА (о базисах). Любые два базиса линейного пространства состоят из одного итого же числа векторов.

ДОКАЗАТЕЛЬСТВО.Пусть даны два базиса линейного пространства и , причем . Рассмотрим систему

.

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

(3)

Рассмотрим систему порождающих

(4)

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

При этом вектор (и ) не будет вычеркнут, т.к. в системе никакой вектор не выражается через предыдущие. Затем, рассматриваем систему порождающих

и продолжаем аналогичную процедуру. Т.к. , то в конце концов получим систему порождающих

(5)

причем . Следовательно, вектор линейно выражается через систему векторов (5), что противоречит линейной независимости □

СЛЕДСТВИЕ 1. В пространстве любые два базиса состоят из n векторов. □

СЛЕДСТВИЕ2. Любая линейно независимая система векторов дополняема до базиса.

ДОКАЗАТЕЛЬСТВО. Припишем к линейно независимой системе векторов справа векторы , составляющие базис, получив систему . Теперь начнем из этой системы вычёркивать, пока это возможно, векторы, линейно выражающиеся через предыдущие. По лемме 1 векторы вида вычеркнуты быть не могут, а по лемме 2 оставшаяся система будет и системой порождающих. □

СЛЕДСТВИЕ3. Каждая система порождающих содержит базис. Доказательство аналогично предыдущему. □

СЛЕДСТВИЕ4. В мерном линейном пространстве любые векторов образуют линейно зависимую систему.

Доказательство следует из следствия 1 и теоремы о базисах. □

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

Ранг матриц.

Наивысший порядок минора матрицы, неравного нулю, называется минорным рангом матрицы.

Будем смотреть на столбцы, впрочем, как и на строки, матрицы как на векторы пространства (соответственно, ). Говорят, что подмножество векторов линейного пространства является его подпространством, если для всех и числа выполнены два условия:

(а) ;

(б) .

Их можно объединить в одно: для любых и чисел вектор . В этом случае нетрудно проверить выполнение всех свойств 1-8 сложения и умножения числа на вектор из § 2.1. Поэтому подпространства в свою очередь являются пространствами, т.к. условия 1-8 фактически являются аксиомами «быть пространством» для множества элементов , в котором заданы операции сложения и умножения числа на элемент из .

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

ТЕОРЕМА (о ранге матриц). Ранг матрицы по столбцам равен ее минорному рангу.

ДОКАЗАТЕЛЬСТВО. Если в матрице любые столбцов линейно зависимы, то, по свойству 8 определителя, любой минор порядка равен нулю. Поэтому минорный ранг не больше ранга по столбцам.

Обратно, пусть минорный ранг матрицы порядка равен . Так как при расстановке строк и столбцов матрицы ее ранг не меняется, то можно считать, что минор порядка, не равный , находится на пересечении первых столбцов и строк. Рассмотрим «окаймляющий» его минор.

Здесь . Если , то содержит две равные строки и, по свойству 4 определителей, равен . Если же , то минор порядка и равен по предположению. Вычислим методом разложения по последней строке:

(6)

Заметим, что , не зависят от . Из равенства (6) получаем:

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

Итак, первые столбцов образуют максимальную линейную независимую систему столбцов. Значит ранг по столбцам не выше минорного ранга, что заканчивает доказательство теоремы. □

Так как при транспонировании матрицы ее минорный ранг не меняется, то получаем:

СЛЕДСТВИЕ 5. Ранг матрицы по строкам равен ее рангу по столбцам. □

СЛЕДСТВИЕ 6. Квадратная матрица является невырожденной тогда и только тогда, когда ее строки (столбцы) образуют линейно независимую систему строк (столбцов). □

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

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

Пример 1. Найти ранг матрицы

.

Решение. Минор второго порядка, стоящий в левом верхнем углу этой матрицы отличен от нуля.

Минор третьего порядка

окаймляющий , отличен от нуля, однако оба минора четвёртого порядка, окаймляющие , равны нулю:

т. е. ранг матрицы равен трём.

Назовём элементарными следующие преобразования матриц:

- перестановка строк (столбцов);

- домножение строки (столбца) на число, отличное от нуля;

- добавление к одной строке (столбцу) другой строки (столбца), умноженной на некоторое число;

- вычёркивание нулевой строки (столбца).

УТВЕРЖДЕНИЕ 1. Элементарные преобразования не меняют ранга матрицы. □

УТВЕРЖДЕНИЕ 2. Система из векторов

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

В заключении укажем ещё один алгоритм нахождения ранга матриц, основанный на утв. 1, 2: с помощью элементарных преобразований приведём матрицу к ступенчатому виду; количество её строк и будет рангом матрицы.

Пример 2. Найти ранг матрицы

.

Решение. Домножим первую строку матрицы на (-2), (-3), (-1) и прибавим, соответственно, ко второй, третьей и четвёртой строкам, получим

Теперь домножим вторую строку матрицы на (-1) и прибавим к третьей и четвёртой строкам. Вычеркнув нулевую строку, получим матрицу

ступенчатого вида, у которой три строки. Т. е. ранг матрицы равен трём.

Не нашли, что искали? Воспользуйтесь поиском: