Теорема о диагонализации одного типа гамильтонианов с точки зрения теории операторов в пространствах с индефинитной метрикой

Значительно упрощено доказательство теоремы о диагонализации эрмитовых положительно-полуопределенных матриц специального вида посредством параунитарных конгруэнций. Упрощение достигнуто за счет переформулировки задачи как спектральной для специальной параэрмитовой матрицы. Попутно получены результаты о разложениях произвольной параунитарной матрицы, а также параунитарной матрицы с кросс-свойством в произведения элементарных параунитарных матриц.