Теорема

Доказательство

Пусть Унитарный оператор: . Тогда для любых

Поскольку и , нормы и угол выражаются через скалярное произведение, следовательно, они также сохраняются после действия .

линейныйоператор