Ранг и базис конечной системы векторов

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

Ранг и базис конечной системы векторов - student2.ru

т.е.

1) Ранг и базис конечной системы векторов - student2.ru , которая содержит r линейно независимых векторов.

2) Любая Ранг и базис конечной системы векторов - student2.ru , которая содержит больше чем r векторов, является линейно зависимой.

Свойства

Ранг и базис конечной системы векторов - student2.ru Ранг и базис конечной системы векторов - student2.ru Ранг и базис конечной системы векторов - student2.ru

Ранг и базис конечной системы векторов - student2.ru Ранг и базис конечной системы векторов - student2.ru Ранг и базис конечной системы векторов - student2.ru

Ранг и базис конечной системы векторов - student2.ru Ранг и базис конечной системы векторов - student2.ru Û Ранг и базис конечной системы векторов - student2.ru

Ранг и базис конечной системы векторов - student2.ru Ранг и базис конечной системы векторов - student2.ru

Определение. Элементарными преобразованиями системы векторов называются:

1) умножение какого-либо вектора системы на число, не равное нулю;

2) прибавление к какому-либо вектору системы другого вектора той же системы;

3) перестановка векторов местами;

4) вычеркивание (исключение) из системы вектора, являющегося линейной комбинацией остальных векторов системы;

5) приписывание к системе (ее пополнение) вектора, являющегося линейной комбинацией каких-либо векторов системы.

Определение. Подсистему данной конечной системы S будем называть базисом этой системы, если выполняются следующие условия:

1. Ранг и базис конечной системы векторов - student2.ru - линейно независима

2. Каждый вектор системы S линейно выражается через систему Ранг и базис конечной системы векторов - student2.ru .

Свойства

Ранг и базис конечной системы векторов - student2.ru Любая конечная система векторов S, содержащая хотя бы один ненулевой вектор, имеет базис.

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

Пусть для определенности вектор Ранг и базис конечной системы векторов - student2.ru Ранг и базис конечной системы векторов - student2.ru . Тогда система Ранг и базис конечной системы векторов - student2.ru -линейно независима.

Рассмотрим 2 возможные ситуации:

1. Каждый вектор системы S линейно выражается через систему Ранг и базис конечной системы векторов - student2.ru ,следовательно, система Ранг и базис конечной системы векторов - student2.ru -базис.

2. Некоторый вектор Ранг и базис конечной системы векторов - student2.ru нельзя линейно выразить через вектор Ранг и базис конечной системы векторов - student2.ru , следовательно Ранг и базис конечной системы векторов - student2.ru - линейно независима.

Для системы Ранг и базис конечной системы векторов - student2.ru рассмотрим 2 возможные ситуации:

а) Каждый вектор системы S линейно выражается через систему Ранг и базис конечной системы векторов - student2.ru Ранг и базис конечной системы векторов - student2.ru система Ранг и базис конечной системы векторов - student2.ru - базис.

б) Ранг и базис конечной системы векторов - student2.ru , такой что Ранг и базис конечной системы векторов - student2.ru Ранг и базис конечной системы векторов - student2.ru Ранг и базис конечной системы векторов - student2.ru - линейно независима и т.д.

Процесс выбора базиса завершится, так как S конечна. Свойство доказано.

Ранг и базис конечной системы векторов - student2.ru Любые два базиса данной системы S имеют одинаковое число векторов.

Ранг и базис конечной системы векторов - student2.ru Ранг данной системы векторов равен количеству векторов любого базиса данной системы.

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

Пусть B – произвольный базис системы S. Тогда Ранг и базис конечной системы векторов - student2.ru .

Так как Ранг и базис конечной системы векторов - student2.ru , то по свойству 5) элементарных преобразований системы векторов Ранг и базис конечной системы векторов - student2.ru .

Ранг матрицы

Определение. Напомним, что матрицей размера Ранг и базис конечной системы векторов - student2.ru ( Ранг и базис конечной системы векторов - student2.ru ) называется прямоугольная таблица чисел вида

Ранг и базис конечной системы векторов - student2.ru .

В случае, когда значения m и n совпадают, матрицу будем называть квадратной матрицей порядка n:

Ранг и базис конечной системы векторов - student2.ru .

Частным случаем матрицы размера Ранг и базис конечной системы векторов - student2.ru является случай, когда одно из значений m или n равно 1: Ранг и базис конечной системы векторов - student2.ru или Ранг и базис конечной системы векторов - student2.ru , то есть матрица представляет из себя вектор-столбец или вектор-строку соответственно.

В общем случае каждая строка матрицы представляет собой n-мерный вектор, каждый столбец – m-мерный.

Транспонированной матрицей будем называть матрицу вида:

Ранг и базис конечной системы векторов - student2.ru .

Единичной матрицей будем называть квадратную матрицу вида: Ранг и базис конечной системы векторов - student2.ru , Ранг и базис конечной системы векторов - student2.ru .

Рассмотрим матрицы Ранг и базис конечной системы векторов - student2.ru и Ранг и базис конечной системы векторов - student2.ru . Матрицы A и B будем называть равными, если они одинакового размера, и равны их соответствующие элементы.

Определение. Элементарными строчечными (столбцовыми) преобразованиями матрицы являются:

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

2. перестановка местами строк (столбцов);

3. прибавление одной (-ого) строки (столбца) к другой (-ому) строке (столбцу);

4. исключение строки (столбца), являющейся (являющегося) линейной комбинацией остальных строк (столбцов) матрицы;

5. включение строки (столбца), являющейся (являющегося) линейной комбинацией остальных строк (столбцов) матрицы.

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

Определение. Строчечным (столбцовым) рангом матрицы A будем называть максимальное число линейно независимых вектор-строк (вектор-столбцов) матрицы.

Теорема. При любых элементарных строчечных преобразованиях матрицы строчечный и столбцовый ранги не меняются.

Теорема. Строчечный и столбцовый ранги матрицы равны.

Дано:

Ранг и базис конечной системы векторов - student2.ru Ранг и базис конечной системы векторов - student2.ru Ранг и базис конечной системы векторов - student2.ru ,

где Ранг и базис конечной системы векторов - student2.ru и Ранг и базис конечной системы векторов - student2.ru - строчечный и столбцовый ранги.

Доказать: Ранг и базис конечной системы векторов - student2.ru .

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

Приведем матрицу A с помощью элементарных строчечных преобразований к ступенчатому виду. Исключая из получившейся матрицы нулевые строки (если такие есть), получаем матрицу В.

Ранг и базис конечной системы векторов - student2.ru ~ Ранг и базис конечной системы векторов - student2.ru .

Поскольку столбцы матрицы В являются векторами r-мерного пространства, получаем (с учетом предыдущей теоремы) последовательно:

Ранг и базис конечной системы векторов - student2.ru (1)

Ранг и базис конечной системы векторов - student2.ru (2)

Поскольку полученное неравенство справедливо для произвольной матрицы А, применяя те же рассуждения к АТ, получаем:

Ранг и базис конечной системы векторов - student2.ru

Ранг и базис конечной системы векторов - student2.ru

Ранг и базис конечной системы векторов - student2.ru (3)

На основе (2) и (3) можно сделать вывод о том, что: Ранг и базис конечной системы векторов - student2.ru .

Следствие. Ранг и базис конечной системы векторов - student2.ru .

Определение. Ступенчатой матрицей будем называть матрицу, удовлетворяющую следующим условиям:

1. если в i-ой строке матрицы первый ненулевой элемент стоит на k-ом месте, то в (i+1)-ой строке первые k элементов нули;

2. если i-ая строка – нулевая, то (i+1)-ая строка также нулевая.

Замечание. Именно к такому, т.е. ступенчатому, виду мы приводили расширенную матрицу системы линейных уравнений в методе Гаусса.

Теорема. Ранг ступенчатой матрицы равен числу ее ненулевых строк.

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

Рассмотрим матрицу A порядка Ранг и базис конечной системы векторов - student2.ru , приведенную к ступенчатому виду:

Ранг и базис конечной системы векторов - student2.ru Ранг и базис конечной системы векторов - student2.ru

Ранг и базис конечной системы векторов - student2.ru (*)

Ранг и базис конечной системы векторов - student2.ru

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

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