Введение

Недиагонализационная матрица; отсутствие основы собственных векторов В линейной алгебре дефектная матрица - это квадратная матрица, которая не имеет полной основы собственных векторов и поэтому не диагонализуема. В частности, матрица является дефектной, если и только если она не имеет линейно независимых собственных векторов. Полная основа формируется путем увеличения собственных векторов обобщенными собственными векторами, которые необходимы для решения дефектных систем обычных дифференциальных уравнений и других задач. Дефектная матрица всегда имеет меньше, чем различные собственные значения, поскольку различные собственные значения всегда имеют линейно независимые собственные векторы. В частности, дефектная матрица имеет одно или более собственных значений с алгебраической множественностью (то есть они являются множественными корнями характерного многочлена), но меньше, чем линейно независимые собственные векторы, связанные с . Если алгебраическая множественность превышает ее геометрическую множественность (то есть количество линейно независимых собственных векторов, связанных с), то это называется дефектным собственным значением. Однако, каждое собственное значение с алгебраической множественностью всегда имеет линейно независимые обобщенные собственные векторы. Реальная симметричная матрица и более общее гермитово-унитарная матрица никогда не являются дефектными; более общее, нормальная матрица (которая включает в себя гермитово-унитарные матрицы в качестве специальных случаев) никогда не является дефектной.

Иорданский блок

Любой нетривиальный блок Джордана размером или больше (то есть не полностью диагональный) является дефектным. (Диагональная матрица является специальным случаем нормальной формы Джордана со всеми тривиальными блоками Джордана и не является дефектной.) Например, блок Джордана имеет собственное значение, с алгебраической множественностью (или больше, если есть другие блоки Джордана с тем же собственным значением), но только один отличный собственный вектор , где другие канонические векторы основы образуют цепочку обобщенных собственных векторов, такие, что для любой дефектной матрицы имеет нетривиальную нормальную форму Джордана, которая максимально приближена к диагонализации такой матрицы.