Единичная матрица в линейной алгебре¶
Единичная матрица — квадратная матрица, у которой все элементы главной диагонали равны единице, а все остальные элементы равны нулю. Обозначается обычно символом \(I\) или \(E\), иногда с указанием порядка: \(I_n\). В линейной алгебре играет роль, аналогичную роли числа 1 в арифметике: умножение любой согласованной матрицы на единичную не изменяет эту матрицу.
¶Определение и обозначения
Формально единичная матрица порядка \(n\) определяется через символ Кронекера:
\[ I_{ij} = \delta_{ij} = \begin{cases} 1, & i = j, \\ 0, & i \neq j. \end{cases} \]
В развёрнутом виде для \(n = 3\):
\[ I_3 = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix}. \]
В русскоязычной литературе наряду с \(I\) (от англ. identity) часто используется обозначение \(E\) (от нем. Einheitsmatrix). Оба варианта равнозначны и встречаются в учебниках и научных работах.
¶Основные свойства
Единичная матрица обладает набором свойств, выделяющих её среди всех квадратных матриц:
- Нейтральный элемент умножения. Для любой матрицы \(A\) размера \(m \times n\) справедливо \(I_m A = A\) и \(A I_n = A\). Именно это свойство делает её аналогом единицы.
- Симметричность. \(I^T = I\): матрица совпадает со своей транспонированной.
- Обратимость. \(I^{-1} = I\); определитель \(\det I = 1\), что отличает её от вырожденных матриц.
- Идемпотентность. \(I^k = I\) для любого натурального \(k\).
- След и ранг. \(\operatorname{tr} I_n = n\), \(\operatorname{rank} I_n = n\): она невырождена и имеет максимальный ранг.
- Собственные значения. Все собственные значения равны единице, каждому соответствует собственное подпространство размерности \(n\).
- Коммутативность. Единичная матрица коммутирует с любой квадратной матрицей того же порядка.
¶Роль в теории матриц
Единичная матрица — базовый объект при определении обратной матрицы: матрица \(A^{-1}\) называется обратной к \(A\), если \(A A^{-1} = A^{-1} A = I\). Через неё формулируются многие понятия:
- Ортогональные матрицы задаются условием \(Q^T Q = I\), то есть \(Q^T = Q^{-1}\).
- Унитарные матрицы — комплексный аналог: \(U^ U = I\), где \(U^\) — эрмитово сопряжение.
- Матрицы перестановок получаются из единичной перестановкой строк или столбцов.
- Элементарные матрицы, используемые в методе Гаусса, отличаются от единичной одной строкой или одним столбцом.
В спектральной теории единичная матрица служит единицей матричной алгебры, а её линейные комбинации с другими матрицами образуют основу для разложений — например, \(A = \lambda I + N\), где \(N\) — нильпотентная часть (разложение Жордана).
¶Связь с линейными операторами
В линейной алгебре единичной матрице соответствует тождественный (единичный) оператор — отображение, переводящее каждый вектор в себя: \(\mathrm{id}(v) = v\). Матрица такого оператора в любом базисе одна и та же — единичная. Это отличает её от большинства операторов, матрица которых зависит от выбора базиса. Именно поэтому единичная матрица называется также «инвариантной» относительно замены базиса: при переходе к новому базису \(I\) остаётся неизменной.
¶Вычислительные аспекты
В численных методах единичная матрица используется как начальное приближение в итерационных алгоритмах (например, при обращении матриц или решении матричных уравнений), а также как эталон при проверке корректности умножения. В программировании существуют стандартные функции её генерации: numpy.eye(n) в библиотеке NumPy, Matrix.Identity(n) в Wolfram Language, identity_matrix в системах компьютерной алгебры.
С точки зрения хранения единичная матрица разрежена: из \(n^2\) элементов ненулевыми являются лишь \(n\). Это позволяет применять к ней разреженные форматы и оптимизировать вычисления, хотя на практике умножение на \(I\) обычно заменяют пропуском операции.
¶Обобщения
Понятие единичной матрицы обобщается в нескольких направлениях:
- Единичный элемент алгебры. В произвольной ассоциативной алгебре с единицей роль \(I\) играет нейтральный по умножению элемент.
- Блочная единичная матрица состоит из единичных блоков на диагонали и нулевых вне её.
- Матрица сдвига и матрица Гильберта демонстрируют, насколько свойства иных матриц отличаются от свойств \(I\).
- В теории графов единичная матрица фигурирует в выражениях вида \(A + I\), где \(A\) — матрица смежности.
Единичная матрица — один из немногих объектов линейной алгебры, не имеющих параметров, кроме порядка: она полностью определяется числом \(n\). Эта простота и делает её универсальным инструментом при построении более сложных конструкций.
Источники: учебники по линейной алгебре (Г. Стренг, В. В. Воеводин, А. И. Кострикин), справочные материалы по матричному анализу, документация библиотек NumPy и Wolfram Language.