Визначення рангу матриці

Якщо у будь-якій матриці виділити r довільних стовпців та r довільних рядків, то з елементів матриці, які містяться на перетині цих рядків та стовпців, можна скласти визначник r-го порядку. Його називають визначником або мінором r-го порядку.

Рангом матриці називають число, яке дорівнює найвищому порядку її мінору, відмінного від нуля. Ранг матриці прийнято позначати rang[A], або r[A].

Для визначення рангу прямокутної матриці зручно користуватися ЗЖВ. Нехай задано прямокутну матрицю [A], яка складається з m рядків та n стовпців.

Складаємо систему з m рівнянь, для яких коефіцієнтами при вільних змінах будуть елементи матриці [A].

Перепишемо цю систему у табличній формі:

Виконаємо максимально можливе число кроків ЗЖВ, замінюючи залежні змінні на незалежні ї навпаки.

Припустимо, що k-максимально можливе число кроків ЗЖВ, то після останнього перетворення таблиця набуде вигляду:

Подальша заміна залежних змінних на незалежні неможлива, оскільки на перетині їхніх рядків та стовпців стоять нулі. Не порушуючи загальності, можна вважати, що поміняти можна перші k незалежні змінні на k перші залежні змінні. Тоді у жордановій таблиці елементи матриці порядку (m-k)*(n-k), які розміщені на перетині j-x рядків та i-x стовпців, будуть нулями. Звідси робимо висновок, що ранг матриці дорівнює числу максимально можливих послідовних кроків жорданових виключень, здійснених над жордановою таблицєю, елементами якої є елементи матриці, причому кожний рядок і кожний стовпець може бути вибраний як роз’вязувальний не більше одного разу.

Залежні змінні , які непереміщені у верхній рядок таблиці, лінійно виражаються через змінні , зміщені у верхній рядок таблиці. Цю залежність можна легко записати, враховуючи останню жорданову таблицю:

.