Тогда как вычислить размерность пространства решений такой системы:
(A - λ(j)E)^(k(j)) * x = 0, где x - неизвестный вектор. Есть теоремка, что эта размерность будет равна n - ранг матрицы системы, но как тогда найти ранг этой матрицы?
Размерность будет равна

. Читайте про аннулирующий многочлен матрицы (Жорданову нормальную форму, алгебраическую и геометрическую кратность с.з. и т.д.).