В математике говорят , что функция, определенная на пространстве внутренних произведений, обладает вращательной инвариантностью , если ее значение не изменяется при применении к ее аргументу произвольных вращений .
Например, функция
инвариантен относительно поворотов плоскости вокруг начала координат, поскольку для повернутого набора координат на любой угол θ
функция, после некоторого сокращения членов, принимает точно такой же вид
Вращение координат можно выразить в матричной форме с использованием матрицы вращения ,
или символически x' ′ = Rx' . Символически инвариантность вращения действительной функции двух действительных переменных равна
На словах функция повернутой координаты принимает точно такую же форму, как и с исходными координатами, единственное отличие в том, что повернутые координаты заменяют исходные. Для действительной функции трех или более действительных переменных это выражение легко расширяется с помощью соответствующих матриц поворота.
Эта концепция также распространяется на векторную функцию f одной или нескольких переменных;
Во всех вышеперечисленных случаях вращаются аргументы (здесь для конкретности называемые «координатами»), а не сама функция.
Для функции
который отображает элементы из подмножества X действительной прямой в себя, вращательная инвариантность может также означать, что функция коммутирует с вращениями элементов в X. Это также применимо к оператору , который действует на такие функции. Примером является двумерный оператор Лапласа
который действует на функцию f, чтобы получить другую функцию ∇ 2 f . Этот оператор инвариантен относительно вращений.
Если g — это функция g ( p ) = f ( R ( p )), где R — любое вращение, то (∇ 2 g )( p ) = (∇ 2 f )( R ( p )); то есть вращение функции просто вращает ее Лапласиан.
В физике , если система ведет себя одинаково независимо от того, как она ориентирована в пространстве, то ее лагранжиан инвариантен относительно вращения. Согласно теореме Нётер , если действие (интеграл по времени от ее лагранжиана) физической системы инвариантно относительно вращения, то угловой момент сохраняется .
В квантовой механике инвариантность вращения — это свойство, при котором после вращения новая система все еще подчиняется уравнению Шредингера . То есть [пожалуйста, будьте вежливы с читателем и определите E и H]
для любого вращения R . Поскольку вращение не зависит явно от времени, оно коммутирует с оператором энергии. Таким образом, для инвариантности вращения мы должны иметь [ R , H ] = 0.
Для бесконечно малых поворотов (в плоскости xy для этого примера; это можно сделать аналогичным образом для любой плоскости) на угол dθ оператор (бесконечно малого) поворота равен
затем
таким образом
Другими словами, момент импульса сохраняется.