Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Теорема о ранге

Ранг матрицы. Теорема о ранге. Вычисление ранга матрицы. Совместность систем линейных уравнений. Теорема Кронекера-Капелли. Структура общего решения однородной системы линейных уравнений. Общее решение неоднородной системы линейных уравнений.

Лекция 4.

Определение 4.1. Минором порядка k матрицы А называется определитель, составленный из элементов, стоящих на пересечении любых k строк и k столбцов данной матрицы.

 

Замечание. Таким образом, каждый элемент матрицы является ее минором 1-го порядка.

 

Определение 4.2. Ранг матрицы – это порядок ее наибольшего ненулевого минора.

 

Обозначения: r(A), R(A), Rang A.

 

Замечание. Очевидно, что значение ранга матрицы не может превышать меньшей из ее размерностей.

 

Примеры:

1. , r(A)=0.

2. . Матрица В содержит единственный ненулевой элемент - являющийся минором 1-го порядка. Все определители более высоких порядков, составленные из элементов этой матрицы, будут содержать 0-ю строку и поэтому равны 0. Следовательно, r(B)=1.

3. . Единственным минором 3-го порядка является определитель матрицы С, но он равен 0, поскольку содержит пропорциональные столбцы. Следовательно, r(C)<3.

Для того, чтобы доказать, что r(C)=2, достаточно указать хотя бы один минор 2-го порядка, не равный 0, например, Значит, r(C)=2.

4. следовательно, r(E)=3.

 

Замечание. Для матриц большой размерности непосредственное вычисление всех миноров затруднительно. Поэтому в этом случае можно преобразовать матрицу к так называемому треугольному виду (когда элементы, стоящие ниже равны 0), воспользовавшись операциями, не изменяющими ранг матрицы (эквивалентными преобразованиями). К ним относятся:

1) транспонирование

2) умножение строки на ненулевое число

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

4) прибавление к элементам данной строки элементов любой другой строки, умноженных на ненулевое число

5) вычеркивание нулевой строки.

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

Пример. Найдем ранг матрицы . Теоретически ранг этой матрицы может принимать значения от 1 до 4, так как из элементов матрицы можно создать миноры по 4-й порядок включительно. Но вместо того, чтобы вычислять все возможные миноры 4-го, 3-го и т.д. порядка, применим к матрице А эквивалентные преобразования. Вначале добьемся того, чтобы в первом столбце все элементы, кроме первого, равнялись 0. Для этого запишем вместо второй строки ее сумму с первой, а вместо третьей – разность третьей и удвоенной первой:

 

.

Затем из третьей строки вычтем вторую, а к четвертой прибавим вторую:

.

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

.

Ее минор следовательно,

 

 

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

 

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

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

 

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

Теорема 4.1. Строки и столбцы матрицы, элементы которых входят в базисный минор, линейно независимы. Любая строка (столбец) матрицы является линейной комбинацией этих строк (столбцов).

 

Доказательство (для строк).

1. Если бы базисные строки были линейно зависимыми, то с помощью эквивалентных преобразований из них можно было бы получить нулевую строку, что противоречит условию, что базисный минор не равен 0.

2. Строка, входящая в базисный минор, является линейной комбинацией его строк, в которой коэффициент при данной строке равен 1, а остальные коэффициенты равны 0.

Докажем это свойство для строки, не входящей в базисный минор.

Добавим к базисному минору эту строку (пусть ее номер – k) и любой столбец матрицы (пусть его номер – j). Затем разложим полученный определитель, равный 0 (так как его порядок больше ранга матрицы) по j-му столбцу:

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

для всех j=1,2,…,n, где . Следовательно, выбранная строка является линейной комбинацией базисных строк. Теорема доказана.

 

<== предыдущая лекция | следующая лекция ==>
Решение линейных систем с помощью обратной матрицы | Совместность линейных систем
Поделиться с друзьями:


Дата добавления: 2014-01-11; Просмотров: 651; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.012 сек.