Очікує на перевірку

Ранг (лінійна алгебра)

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Ранг матриці  — це максимальна кількість її лінійно незалежних стовпців (рядків). Це число дорівнює розмірності векторного простору, породженого (або натягнутого) її стовпцями (рядками). Ранг матриці є однією з її фундаментальних характеристик.

Основні означення

[ред. | ред. код]

Лінійно незалежна підсистема системи векторів називається максимальною лінійно незалежною підсистемою, якщо, приєднуючи до неї довільний вектор системи, будемо діставати лінійно залежну систему векторів. Кількість векторів у такій підсистемі даної системи векторів називається рангом цієї системи векторів.

Ранг системи вектор-стовпців матриці називається стовпцевим рангом матриці, аналогічно, ранг системи вектор-рядків матриці називається рядковим рангом матриці.

Можна довести, що стовпцевий і рядковий ранги матриці збігаються. І їх спільне значення називається рангом матриці.

Позначення: , , або

Кажуть, що матриця A розміру n×m має повний ранг, якщо її ранг дорівнює Дефектом матриці A називають різницю Дефект матриці A позначають через

Рангом лінійного відображення або оператора називається розмірність його образу: де  — розмірність векторного простору, а  — образ відображення.

Дефектом оператора називається розмірність його ядра: де  — ядро відображення.

Обчислення рангу матриці

[ред. | ред. код]

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

Наприклад, матрицю

можна звести до рядкової ступінчастої форми за допомогою наступних елементарних операцій над рядками:

Отримана матриця має два ненульові рядки, тому ранг матриці A дорівнює 2.

Властивості

[ред. | ред. код]

Нехай A — матриця розміру n×m і f — лінійне відображення, визначене цією матрицею.

  • Якщо матриця B розміру m×k має ранг m, то
  • Якщо матриця C розміру l×n має ранг n, то
  • Ранг A дорівнює r тоді і тільки тоді, коли існують оборотні квадратні матриця X і Y порядків n і m відповідно, такі що
де Ir — одинична матриця порядку r.
  • Нерівність Сильвестра для рангів: якщо A — матриця розміру n×m і B — матриця розміру m×k, то
  • Нерівність Фробеніуса для рангів: якщо матриці AB, ABC і BC визначені, то
  • Якщо B — матриця того ж розміру, що і A, то
(напівадитивність[en]).
де A* — ермітово-спряжена до A матриця.

Див. також

[ред. | ред. код]

Джерела

[ред. | ред. код]