Ранг матрицы

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

Введем теперь общее понятие минора. Рассмотрим некоторую, не обязательно квадратную матрицу . Выберем какие-нибудь номеров строк и номеров столбцов .

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

.

Каждая матрица имеет столько миноров данного порядка , сколькими способами можно выбрать номера строк и столбцов .

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

Ясно, что в матрице может быть несколько разных базисных миноров, но все базисные миноры имеют один и тот же порядок. Действительно, если все миноры порядка равны нулю, то равны нулю и все миноры порядка , а, следовательно, и всех бό льших порядков.

Определение. Рангом матрицы называется порядок базисного минора, или, иначе, самый большой порядок, для которого существуют отличные от нуля миноры. Если все элементы матрицы равны нулю, то ранг такой матрицы, по определению, считают нулем.

Ранг матрицы будем обозначать символом . Из определения ранга следует, что для матрицы размеров справедливо соотношение .