Теорема
В базисе, состоящем из собственных векторов оператора, матрица оператора имеет диагональный вид.
Доказательство
Так как все векторы базиса — собственные, то для каждого выполняется
Координатный столбец вектора в базисе имеет вид
где ненулевой элемент стоит на -й позиции.
Собрав такие столбцы в естественном порядке, получим диагональную матрицу, у которой на диагонали стоят собственные числа .