Введение

В математике, целочисленная матрица – это матрица, элементы которой являются целыми числами. Примеры включают двоичные матрицы, нулевую матрицу, матрицу единиц, единичную матрицу и матрицы смежности, используемые в теории графов, и многие другие. Целочисленные матрицы находят частое применение в комбинаторике.

Свойства

Инвертируемость целочисленных матриц, как правило, более численно устойчива, чем инвертируемость нецелочисленных матриц. Определитель целочисленной матрицы сам является целым числом, а присоединенная матрица целочисленной матрицы также является целочисленной матрицей.

Таким образом, наименьшая возможная по абсолютной величине детерминанта инвертируемой целочисленной матрицы равна единице, следовательно, там, где существуют обратные матрицы, они не становятся чрезмерно большими (см. число обусловленности). Теоремы из теории матриц, выводящие свойства из определителей, таким образом избегают проблем, возникающих при работе с плохо обусловленными (с почти нулевым определителем) матрицами с действительными или вещественными числами с плавающей точкой. Обратная матрица к целочисленной матрице является целочисленной матрицей тогда и только тогда, когда ее определитель равен 1 или -1. Целочисленные матрицы с определителем 1 или -1 образуют группу, которая имеет широкое применение в арифметике и геометрии. Для n=2 она тесно связана с модульной группой. Пересечение целочисленных матриц с ортогональной группой является группой матриц перестановок со знаком. Характерный многочлен целочисленной матрицы имеет целочисленные коэффициенты. Поскольку собственные значения матрицы являются корнями этого многочлена, собственные значения целочисленной матрицы являются алгебраическими целыми числами. В размерностях меньше 5 их можно выразить через радикалы, включающие целые числа. Целочисленные матрицы иногда называют интегральными матрицами, хотя такое употребление не рекомендуется.