ИСТИНА

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