Невырожденная матрица

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис

Невырожденная матрица (иначе неособенная матрица) ― квадратная матрица, определитель которой отличен от нуля. В противном случае матрица называется вырожденной.

Для квадратной матрицы [math]\displaystyle{ M }[/math] с элементами из некоторого поля [math]\displaystyle{ K }[/math] невырожденность эквивалентна каждому из следующих условий:

Совокупность всех невырожденных матриц порядка [math]\displaystyle{ n }[/math] образует группу, которая называется полная линейная группа. Роль групповой операции в ней играет обычное умножение матриц. Полная линейная группа обычно обозначается как [math]\displaystyle{ GL(n) }[/math][4]. Если требуется явно указать, какому полю [math]\displaystyle{ K }[/math] должны принадлежать элементы матрицы, то пишут [math]\displaystyle{ GL(n,K) }[/math][5]. Так, если элементами являются действительные числа, полная линейная группа порядка [math]\displaystyle{ n }[/math] обозначается [math]\displaystyle{ GL(n,\mathbb{R}) }[/math], а если комплексные числа, то [math]\displaystyle{ GL(n,\mathbb{C}) }[/math].

Матрица порядка [math]\displaystyle{ n }[/math] заведомо невырождена, если это[6]:

  • диагональная матрица с ненулевыми диагональными элементами (такие матрицы образуют группу [math]\displaystyle{ D(n,K) }[/math]);
  • верхняя треугольная матрица с ненулевыми диагональными элементами (такие матрицы образуют группу [math]\displaystyle{ T(n,K) }[/math]);
  • нижняя треугольная матрица с ненулевыми диагональными элементами;
  • унитреугольная матрица (т.е. верхние треугольные матрицы у которых диагональные элементы равны 1; такие матрицы образуют группу [math]\displaystyle{ UT(n,K) }[/math]).
  • матрица [math]\displaystyle{ M }[/math] является результатом взятия матричной экспоненты от матрицы [math]\displaystyle{ A \in M_{n}(\C) }[/math], то есть [math]\displaystyle{ M = e^{A} }[/math]

Примечания

Литература