Rząd Macierzy

Rząd macierzy to jedno z najważniejszych pojęć algebry liniowej. Choć na pierwszy rzut oka może wydawać się abstrakcyjne, w praktyce mówi nam ono, ile "niezależnych informacji" niesie ze sobą dana macierz — a to ma bezpośrednie przełożenie na to, czy układ równań ma rozwiązanie.

1. Definicja rzędu macierzy

Rząd macierzy $A$ (oznaczany $\text{rz}(A)$ lub $\text{rank}(A)$) to liczba liniowo niezależnych wierszy (lub równoważnie — kolumn) tej macierzy. Intuicyjnie: jeśli pewne wiersze macierzy można uzyskać przez kombinację innych wierszy, to nie wnoszą one nowej informacji i nie zwiększają rzędu.

2. Obliczanie rzędu eliminacją Gaussa

Najpopularniejsza metoda polega na sprowadzeniu macierzy do postaci schodkowej za pomocą operacji elementarnych na wierszach:

• Zamiana dwóch wierszy miejscami
• Pomnożenie wiersza przez liczbę różną od zera
• Dodanie wielokrotności jednego wiersza do drugiego

Po sprowadzeniu do postaci schodkowej liczymy niezerowe wiersze — ich liczba to rząd macierzy.

Przykład: $$ \begin{bmatrix} 1 & 2 & 3 \\\\ 2 & 4 & 6 \\\\ 0 & 1 & 2 \end{bmatrix} \xrightarrow{W_2 - 2W_1} \begin{bmatrix} 1 & 2 & 3 \\\\ 0 & 0 & 0 \\\\ 0 & 1 & 2 \end{bmatrix} \xrightarrow{\text{zamiana}} \begin{bmatrix} 1 & 2 & 3 \\\\ 0 & 1 & 2 \\\\ 0 & 0 & 0 \end{bmatrix} $$ Dwa niezerowe wiersze, więc $\text{rz}(A) = 2$.

3. Obliczanie rzędu minorami

Minor rzędu $k$ to wyznacznik podmacierzy $k \times k$ wybranej z oryginalnej macierzy. Rząd macierzy to rząd największego niezerowego minora.

Krok po kroku:

1. Sprawdzamy, czy istnieje niezerowy minor rzędu $n$ (pełny wyznacznik) — jeśli tak, $\text{rz} = n$
2. Jeśli wyznacznik jest zerowy, sprawdzamy minory rzędu $n-1$
3. Kontynuujemy aż znajdziemy niezerowy minor

4. Twierdzenie Kroneckera-Capellego

To twierdzenie łączy rząd macierzy z rozwiązywalnością układów równań. Dla układu $A \cdot X = B$:

• Układ ma rozwiązanie $\Leftrightarrow$ $\text{rz}(A) = \text{rz}(A|B)$ (rząd macierzy współczynników = rząd macierzy rozszerzonej)
• Rozwiązanie jest jednoznaczne $\Leftrightarrow$ $\text{rz}(A) = n$ (rząd = liczba niewiadomych)
• Nieskończenie wiele rozwiązań $\Leftrightarrow$ $\text{rz}(A) < n$

Dla dociekliwych: Do czego służy rząd macierzy?

Wyobraź sobie, że masz układ trzech równań z trzema niewiadomymi. Jeśli jedno z tych równań jest tak naprawdę "przebraną" kombinacją pozostałych dwóch (np. trzecie równanie to suma pierwszych dwóch), to tak naprawdę masz tylko dwie niezależne informacje, a nie trzy. Rząd macierzy współczynników powie Ci dokładnie ile masz takich niezależnych informacji.

W praktyce inżynierskiej rząd macierzy pojawia się w sterowaniu robotami (czy robot może dotrzeć do dowolnego punktu w przestrzeni?), w analizie obwodów elektrycznych (czy układ równań Kirchhoffa jest spójny?) oraz w uczeniu maszynowym (czy dane zawierają redundantne cechy?).