Канонический вид матрицы самосопряжённого оператора.

[piepl]

Никак и нигде не могу найти вот ответ на этот вопрос. В учебниках искал - нет, так же, как и в инете. Хотя очень хотелось бы узнать ответ, для себя. Вроде, даже, это теорема.

П.С. Да многие говорят, что такого нет даже.

[RIP]

Любой самосопряженный оператор (в конечномерном евклидовом/унитарном пространстве) диагонализируем в некотором ортонормированном базисе. Можно глянуть, например, в книге Кострикин А.И., Манин Ю.И. — Линейная алгебра и геометрия, часть 2, $\S8$

[bot]

Хорошая шутка.
А кто-нибудь знает учебник по линейной алгебре, где этого нет?

[RIP]

Я не знаю и на 99% уверен, что такого нету, ибо тогда какой же это учебник по линейной алгебре? Проблема, вероятно, в том, что теорема не называется так, как объявлено в названии темы.

[Dan_Te]

Насколько мне помнится, теорема называется "о приведении матрицы самосопряженного оператора к главным осям".

[piepl]

О, спасибо
Если бы она называлась по другому, понятно, вопросов бы и не было.