Собственные значения эрмитова оператора действительны, а собственные векторы, соответствующие разным собственным значениям, ортогональны.