Подробнее раскрыть проверку определения унитарной матрицы
ivan339339 opened this issue · 2 comments
Сейчас математика там расписана не совсем конкретно, сходу непонятно, к чему и на каком шаге применять утверждение эрмитово сопряжение переставляет матрицы и является обратной операцией к себе же. Я бы чуть подробнее расписал шаги.
Также там есть опечатка в виде лишней S^\dagger в правой части второго уравнения.
Мне кажется, что очень подробно написано, тем более, что это не определения, а свойства, объясняющие уравнения ниже. Можешь написать в пулл реквест, как бы ты написал.
Плюс пример довольно надуманный, так не доказывают матричную экспоненту обычно, надо бы что-то интеллектуальнее придумать
@ivan339339 спасибо за обратную связь. предлагаем сделать pull request с вашими замечаниями, ну или более подробно описать что да как тут