Матрична еквівалентність

У лінійній алгебрі дві прямокутні матриці $A$ і $B$ розміру $m\times n$ називають еквівалентними, якщо

$B=Q^{-1}AP$

для деякої оберненої матриці $P$ розміром $n\times n$ і деякої оберненої матриці $Q$ розміром $m\times m$. Еквівалентні матриці представляють те саме лінійне перетворення $V$ → $W$ при двох різних виборах пари базисів $V$ і $W$, де $P$ і $Q$ є зміною базисних матриць у $V$ і $W$ відповідно.

Поняття еквівалентності не слід плутати з поняттям подібності, яке визначено лише для квадратних матриць і є більш обмежувальним (подібні матриці, звичайно, еквівалентні, але еквівалентні квадратні матриці не обов'язково будуть подібними). Це поняття відповідає матрицям, що представляють той самий ендоморфізм $V$ → $V$ при двох різних виборах одного базису $V$, що використовується як для початкових векторів, так і для їх образів.

Властивості

Еквівалентність матриць — це відношення еквівалентності на просторі прямокутних матриць.

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

• Матриці можуть бути перетворені одна в одну комбінацією елементарних операцій над рядками та стовпцями.
• Дві матриці еквівалентні тоді й лише тоді, коли вони мають однаковий ранг.

Ці матриці еквівалентні рядки, то матриці також еквівалентні. Однак зворотне не вірно; еквівалентні матриці, не обов'язково мають еквівалентні рядки. Таким чином, еквівалентність матриць є узагальненням еквівалентності рядків.

Канонічна форма

Властивість рангу дає інтуїтивно зрозумілу канонічну форму для матриць класу еквівалентності рангу $k$ як

$\left(\begin{array}{ccccccc}1& 0& 0& & \cdots & & 0\\ 0& 1& 0& & \cdots & & 0\\ 0& 0& \ddots & & & & 0\\ ⋮& & & 1& & & ⋮\\ & & & & 0& & \\ & & & & & \ddots & \\ 0& & & \cdots & & & 0\end{array}\right)$,

де кількість одиниць на діагоналі дорівнює

$k$

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

Теорема: Будь-яка

$m\times n$

матриця рангу

$k$

є еквівалентною матриці

$m\times n$

, у якій усі нулі, крім перших

$k$

діагональних елементів, які є одиницями.

Наслідок: Класи еквівалентних матриць характеризуються рангом: дві матриці однакового розміру є еквівалентними тоді й лише тоді, коли вони мають однаковий ранг.

Матриці 2 на 2

Матриці $2\times 2$ мають лише три можливі ранги: 0, 1 або 2. Це означає, що всі матриці $2\times 2$ еквівалентні одному з трьох класів матриць:

$\left(\begin{array}{cc}0& 0\\ 0& 0\end{array}\right),\left(\begin{array}{cc}1& 0\\ 0& 0\end{array}\right),\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right).$

Це означає, що будь-яка $2\times 2$ матриця еквівалентна одній із цих. Існує лише одна матриця нульового рангу, але інші два класи мають нескінченну кількість членів. Представлені вище матриці є найпростішими два кожного з класів.

Подібність матриці

Подібність матриць є окремим випадком еквівалентності матриць. Якщо дві матриці подібні, то вони також еквівалентні. Однак зворотнє твердження невірне. Наприклад, наступні дві матриці є еквівалентними, але не є подібними:

$\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right),\left(\begin{array}{cc}1& 2\\ 0& 3\end{array}\right).$

Див. також

• Еквівалентність рядків
• Конгруентність матриці

Джерела

• Шаблон:Гантмахер.Теорія матриць