Возможно, имелась в виду теорема, которая гласит, что размерность корневого подпространства, соответствующего собственному значению λ линейного оператора A, равна алгебраической кратности этого собственного значения λ. 1
Другими словами, это утверждение о том, что размерность подпространства равна кратности корня λ характеристического многочлена χA(x). 1
Также есть теорема, что в конечномерном случае сумма размерностей собственных подпространств нормального оператора, соответствующих всем собственным значениям, равна размерности матрицы, а векторное пространство разлагается в ортогональную сумму собственных подпространств. 4