Требуется доказать что если операторы коммутируют и один из них диагонализируем, то второй тоже диагонализируем в том же базисе.
Что-то Вы здесь не договариваете: если один из операторов --- тождественный, а второй недиагонализируем, то как Вы его собираетесь диагонализировать?
-- Вт июн 04, 2019 16:04:30 --про ограниченные операторы
Про какие операторы?
вдруг в какой то момент начнут появлять ся комплексные собственные значения
А что плохого в комплексных собственных значениях?