Ранг матриці допомагає зрозуміти, скільки корисної та незалежної інформації вона містить, а тому є ключовою характеристикою в багатьох задачах лінійної алгебри. У цій статті ми зосередимось на методі елементарних перетворень — підході, який дозволяє знаходити ранг швидко, наочно й без надлишкових обчислень. Ви побачите, як працює цей метод на практиці, та навчитеся впевнено переходити від вихідної матриці до її східчастої форми, отримуючи ранг без зайвих труднощів.
Ранг Матриці: Чому Елементарні Перетворення Спрощують Обчислення
Метод обвідних мінорів добре відображає означення рангу і дає точний результат. Однак він пов’язаний з обчисленням значної кількості визначників. Для матриць більшого розміру це стає трудомістким завданням. Тому на практиці часто використовують метод елементарних перетворень. Його ідея проста: ранг матриці не змінюється, якщо виконувати над нею певні дозволені операції. Які саме?
До елементарних перетворень матриці належать:
- Перестановка місцями будь-яких двох рядків або двох стовпців.
- Множення всіх елементів довільного рядка чи стовпця на один і той самий ненульовий множник.
- Додавання до елементів одного рядка (або стовпця) відповідних елементів іншого рядка (або стовпця), попередньо помножених на ненульове число.
- Викреслювання рядків чи стовпців, які складаються лише з нульових елементів.
Суть методу така: за допомогою цих перетворень матрицю \( A \) приводять до східчастого вигляду. А далі залишається один завершальний крок — порахувати кількість ненульових рядків. Саме ця кількість і є рангом матриці. Зручно, правда? До того ж такий підхід легко реалізується в алгоритмах і програмних рішеннях.
Алгоритм Обчислення: Як Перейти до Східчастої Матриці
Переходимо до формального опису. Нехай маємо матрицю розмірності \( m \times n \):
\[
A=\begin{pmatrix}
a_{11} & a_{12} & a_{13} & \dots & a_{1,n-2} & a_{1,n-1} & a_{1n}\\
a_{21} & a_{22} & a_{23} & \dots & a_{2,n-2} & a_{2,n-1} & a_{2n}\\
\vdots & \vdots & \vdots & \ddots & \vdots & \vdots & \vdots\\
a_{m1} & a_{m2} & a_{m3} & \dots & a_{m,n-2} & a_{m,n-1} & a_{mn}
\end{pmatrix}.
\]
Наша мета — за допомогою послідовних елементарних перетворень над рядками отримати східчасту матрицю.
Отже, спочатку занулюємо всі елементи під першим діагональним елементом \( a_{11} \) у першому стовпці. Для цього рядки з номерами \( 2,3,\dots,m \) замінюємо так, щоб під \( a_{11} \) з’явилися нулі (тобто «прибираємо» елементи першого стовпця нижче опорного елемента). Після виконання цього кроку матриця набуває вигляду:
\[
A^{(1)}=\begin{pmatrix}
a_{11} & a_{12} & a_{13} & \dots & a_{1,n-2} & a_{1,n-1} & a_{1n}\\
0 & a^{(1)}_{22} & a^{(1)}_{23} & \dots & a^{(1)}_{2,n-2} & a^{(1)}_{2,n-1} & a^{(1)}_{2n}\\
\vdots & \vdots & \vdots & \ddots & \vdots & \vdots & \vdots\\
0 & a^{(1)}_{m2} & a^{(1)}_{m3} & \dots & a^{(1)}_{m,n-2} & a^{(1)}_{m,n-1} & a^{(1)}_{mn}
\end{pmatrix},
\]
де елементи з верхнім індексом \( (1) \) обчислюються за формулою:
\[
a_{ij}^{(1)} = a_{ij} – \frac{a_{i1}}{a_{11}} \cdot a_{1j}; \quad i=2,\dots,m; \quad j=1,\dots,n.
\]
Далі виключаємо з розгляду перший рядок і перший стовпець та застосовуємо аналогічну схему до підматриці, що починається з елемента \( a^{(1)}_{22} \). Тепер потрібно занулити всі елементи нижче \( a^{(1)}_{22} \) у другому стовпці. Після цього отримуємо матрицю:
\[
A^{(2)}=\begin{pmatrix}
a_{11} & a_{12} & a_{13} & \dots & a_{1,{n-2}} & a_{1,{n-1}} & a_{1n}\\
0 & a^{(1)}_{22} & a^{(1)}_{23} & \dots & a^{(1)}_{2,{n-2}} & a^{(1)}_{2,{n-1}} & a^{(1)}_{2n}\\
0 & 0 & a^{(2)}_{33} & \dots & a^{(2)}_{3,{n-2}} & a^{(2)}_{3,{n-1}} & a^{(2)}_{3n}\\
\vdots & \vdots & \vdots & \ddots & \vdots & \vdots & \vdots\\
0 & 0 & a^{(2)}_{m3} & \dots & a^{(2)}_{m,{n-2}} & a^{(2)}_{m,{n-1}} & a^{(2)}_{mn}
\end{pmatrix},
\]
де
\[
a_{ij}^{(2)} = a_{ij}^{(1)} – \frac{a_{i2}^{(1)}}{a_{22}^{(1)}} \cdot a_{2j}^{(1)}; \quad i=3,\dots,m; \quad j=2,\dots,n.
\]
Продовжуючи цей процес для кожного наступного стовпця, на \( (m-1) \)-му кроці матриця набуває східчастого (трикутного) вигляду:
\[
A^{(m-1)}=\begin{pmatrix}
a_{11} & a_{12} & a_{13} & \dots & a_{1,n-2} & a_{1,n-1} & a_{1n}\\
0 & a^{(1)}_{22} & a^{(1)}_{23} & \dots & a^{(1)}_{2,n-2} & a^{(1)}_{2,n-1} & a^{(1)}_{2n}\\
0 & 0 & a^{(2)}_{33} & \dots & a^{(2)}_{3,n-2} & a^{(2)}_{3,n-1} & a^{(2)}_{3n}\\
\vdots & \vdots & \vdots & \ddots & \vdots & \vdots & \vdots\\
0 & 0 & 0 & \dots & a^{(m-1)}_{m,n-2} & a^{(m-1)}_{m,n-1} & a^{(m-1)}_{mn}
\end{pmatrix}.
\]
Узагальнена формула для елементів на \( k \)-му кроці має вигляд:
\[
a_{ij}^{(k)} = a_{ij}^{(k-1)} – \frac{a_{ik}^{(k-1)}}{a_{kk}^{(k-1)}} \cdot a_{kj}^{(k-1)};
\quad k = 1,\dots,m-1; \quad i = k+1,\dots,m; \quad j = k,\dots,n.
\]
Після того як матриця приведена до східчастого вигляду, пораховуємо кількість ненульових рядків. Саме ця кількість і є рангом матриці.
Зауваження. На практиці може трапитися, що опорний елемент, з якого ви хочете почати занулення (наприклад, \( a_{11} \) або пізніше \( a^{(1)}_{22} \), \( a^{(2)}_{33} \) тощо), дорівнює нулю. У такій ситуації достатньо виконати перестановку рядків (або, за потреби, стовпців), щоб у позиції опорного елемента опинилося ненульове число. Оскільки перестановка є елементарним перетворенням, ранг при цьому не змінюється, а процес занулення можна продовжувати стандартно. Якщо ж у відповідному стовпці нижче всі елементи теж нульові, тоді цей стовпець не дає нового опорного елемента і ви переходите до наступного стовпця.
Практична Частина: Ранг Матриці Методом Елементарних Перетворень на Прикладах
Теорія дає загальну картину, але впевненість з’являється тоді, коли ви самі доводите матрицю до східчастого вигляду й бачите результат. Тому нижче розберемо три типові задачі та крок за кроком простежимо, як елементарні перетворення приводять до значення рангу. У кожному прикладі фінальний висновок один і той самий: ранг дорівнює кількості ненульових рядків у східчастій формі.
Приклад 1: Знайти ранг матриці 3×3
\[
A=\begin{pmatrix}
1 & 0 & 2\\
0 & 1 & 3\\
4 & 5 & 6
\end{pmatrix}.
\]
Почнемо перетворення з першого стовпця. Наша мета — занулити елементи під елементом \( a_{11}=1 \). Оскільки в другому рядку вже стоїть нуль у першому стовпці, то цей рядок не змінюємо. А до третього рядка додаємо перший, помножений на \( -\frac{a_{31}}{a_{11}}=-\frac{4}{1}=-4 \). Після цих перетворень маємо матрицю:
\[
A^{(1)}=\begin{pmatrix}
1 & 0 & 2\\
0 & 1 & 3\\
0 & 5 & -2
\end{pmatrix}.
\]
Тепер працюємо з другим стовпцем, прагнучи занулити елементи під діагональним елементом \( a^{(1)}_{22}=1 \). Отже, до третього рядка додаємо другий, помножений на \( -\frac{a^{(1)}_{32}}{a^{(1)}_{22}}=-\frac{5}{1}=-5 \). У результаті отримуємо матрицю:
\[
A^{(2)}=\begin{pmatrix}
1 & 0 & 2\\
0 & 1 & 3\\
0 & 0 & -17
\end{pmatrix}.
\]
Матриця стала східчастою, і всі три рядки ненульові. Отже, \( \operatorname{rang}A=3 \).
Приклад 2: Знайти ранг матриці 3×3
\[
A=\begin{pmatrix}
2 & -1 & 4\\
4 & -2 & 8\\
6 & -3 & 12
\end{pmatrix}.
\]
Починаємо з першого стовпця і занулюємо елементи під \( a_{11}=2 \). До другого рядка додаємо перший, помножений на \( -\frac{a_{21}}{a_{11}}=-\frac{4}{2}=-2 \), а до третього — перший, помножений на \( -\frac{a_{31}}{a_{11}}=-\frac{6}{2}=-3 \). Після цього маємо:
\[
A^{(1)}=\begin{pmatrix}
2 & -1 & 4\\
0 & 0 & 0\\
0 & 0 & 0
\end{pmatrix}.
\]
Матриця фактично вже в східчастому вигляді: ненульовим залишився лише перший рядок, а два інші перетворилися на нульові. Отже, кількість ненульових рядків дорівнює \( 1 \), тому \( \operatorname{rang}A=1 \).
Приклад 3: Знайти ранг матриці 4×5
\[
A=\begin{pmatrix}
0 & -1 & 3 & 0 & 2\\
2 & -4 & 1 & 5 & 3\\
-4 & 5 & 7 & -10 & 0\\
-2 & 1 & 8 & -5 & 3
\end{pmatrix}.
\]
У першому стовпці в першому рядку стоїть нуль, тож зручно поміняти місцями перший і другий рядки, щоб отримати ненульовий опорний елемент. Після перестановки маємо:
\[
A=\begin{pmatrix}
2 & -4 & 1 & 5 & 3\\
0 & -1 & 3 & 0 & 2\\
-4 & 5 & 7 & -10 & 0\\
-2 & 1 & 8 & -5 & 3
\end{pmatrix}.
\]
Тепер занулюємо елементи під \( a_{11}=2 \). До третього рядка додаємо перший, помножений на \( -\frac{a_{31}}{a_{11}}=-\left(\frac{-4}{2}\right)=2 \), а до четвертого — перший, помножений на \( -\frac{a_{41}}{a_{11}}=-\left(\frac{-2}{2}\right)=1 \). Отримаємо:
\[
A^{(1)}=\begin{pmatrix}
2 & -4 & 1 & 5 & 3\\
0 & -1 & 3 & 0 & 2\\
0 & -3 & 9 & 0 & 6\\
0 & -3 & 9 & 0 & 6
\end{pmatrix}.
\]
Переходимо до другого стовпця. Опорний елемент тут \( a^{(1)}_{22}=-1 \). Занулюємо елементи під ним: до третього рядка додаємо другий, помножений на \( -\frac{a^{(1)}_{32}}{a^{(1)}_{22}}=-\frac{-3}{-1}=-3 \), і так само до четвертого рядка додаємо другий, помножений на \( -3 \). Маємо:
\[
A^{(2)}=\begin{pmatrix}
2 & -4 & 1 & 5 & 3\\
0 & -1 & 3 & 0 & 2\\
0 & 0 & 0 & 0 & 0\\
0 & 0 & 0 & 0 & 0
\end{pmatrix}.
\]
Матриця стала східчастою, і ненульовими залишилися рівно два рядки. Отже, \( \operatorname{rang}A=2 \).
Куди Рухатися Після Рангу: Які Теми Найкраще Продовжать Практику?
Якщо вам сподобалося працювати з елементарними перетвореннями для обчислення рангу, то зупинятися точно не хочеться, правда? Тоді найкращий крок — перейти до тем, де ті самі перетворення відкривають ще більше корисних ідей у матрицях та системах рівнянь.
- Обернена матриця: Як елементарні перетворення дають потрібний результат — Розберемо, як перетворення допомагають знаходити обернену матрицю.
- Визначник матриці: Елементарні перетворення як шлях до трикутної форми — Дізнаєтеся, як перетворити матрицю до трикутної форми і знайти визначник.
- Системи рівнянь: Метод Гауса як головний інструмент розв’язання — Пояснимо, як рядкові перетворення дають розв’язки систем.
Від Блок-схеми до Коду: Ранг Матриці у Вашій Програмі
Якщо ви цікавитеся програмуванням, блок-схема алгоритму обчислення рангу матриці за допомогою елементарних перетворень може стати чудовою основою для невеличкої програми на вашій улюбленій мові. Подивіться уважно на схему, простежте шлях від вхідної матриці до результату й уявіть, як кожен блок перетворюється на зрозумілий фрагмент коду. Хіба не цікаво реалізувати це в Python, C++, Java чи будь-якій іншій мові, щоб швидко отримувати значення рангу матриць різних розмірів одним запуском? Така вправа добре закріплює тему й водночас тренує навичку переносити готову логіку зі схеми в робочу програму.
