illuminatesПо поводу примера. Как нам задать оператор отражения относительно диагонали?
Если напишу решение, то обломаю вам весь кайф! Помогу сделать лишь первый шаг: нарисую то, что требуется обдумать (а второй шаг - "обдумать" - делайте сами):
Здесь показано, как оператор отражения (назовём его
) действует на произвольный вектор и на любую другую картинку в этом игрушечном 2-мерном мире с евклидовой геометрией.
Изображены и два разных базиса: штрихованный получен из нештрихованного поворотом ортов на 45 градусов против часовой стрелки. Оператор такого поворота обозначим как
.
Отражённые орты там не нарисованы, их нарисуйте сами! И, всё разглядев, запишите результаты формулами - дескать мол, такой-то отражённый орт равен результату действия оператора
на такой-то неотражённый орт. Вот, как подсказка, одна из таких формул:
Затем, учитывая, что
, найдёте все матричные элементы
как скалярные произведения неотражённых ортов с отражёнными. Затем надо поиграть в такую же игру со штрихованным базисом.
А затем вы сможете на тех же рисунках разобраться (и проверить всё аналитически, через матрицы), чем занимается "преобразованный оператор"
Подскажу ответ: он оказывается оператором отражения в вертикальном зеркале. Штрихованные орты по отношению к такому зеркалу расположены так же, как нештрихованные орты к первому, диагональному зеркалу; и вот поэтому-то имеет место равенство, из-за которого вообще родилась вся эта ветка.
Но если учиться всерьёз, то это не конец истории! Имеем неплохую игрушку: два оператора отражений и один оператор поворота, причём полностью понимаем, как это всё работает на рисунках и аналитически. Значит, надо посмотреть, что будет, если применять их многократно; ведь появятся новые операторы.
Таким путём можете изучить, к примеру,
группу операторов, описывающую симметрию квадрата
; найденные в такой игре матрицы дадут её 2-мерное представление. В группу
входят повороты на углы, кратные 90 градусов (вокруг нормали к плоскости рисунка), и отражения относительно четырёх зеркал: двух диагональных, вертикального и горизонтального. Резонно также начать разбирать главу в ЛЛ-3 "Теория симметрии".
Для каждого из наших операторов можно в добавок разобрать "задачу на собственные значения и собственные векторы". Операторы отражений эрмитовы (помимо того, что унитарные) поэтому все их собственные значения действительны и с очевидностью равны
, а их собственные векторы это нормали и параллели к зеркалам. Операторы же поворотов на углы не кратные 180 градусов лишь унитарны, поэтому их собственные значения имеют вид комплексных фазовых множителей; и собственный базис у них тоже комплексный. На этом примере вы познакомитесь с понятием "Неприводимые Представления"; и осознаете, что НП коммутативной (абелевой) группы одномерны, а расплата за это - комплексность.
Мат. аппарат КМ в значительной своей части это теория групп. Имхо, неизбежным появлением комплексных величин (фазовых множителей) в теории групп объясняется их появление в КМ-теории. "Преобразование операторов" в КМ играет роль ещё вот в каком аспекте - гамильтониан
квантовой системы инвариантен ко всем преобразованиям
из группы симметрии системы:
Из таких равенств вытекает ряд важнейших следствий, обобщённо называемых "соображениями симметрии"... но не станем забегать вперёд.
О чтиве. Ко всему ранее названному в этой ветке добавьте "Фейнмановские Лекции по Физике": выпуски 8 и 9 (там КМ) и выпуск 10 (задачник с решениями); можно скачать, например,
в этой физ-мат библиотеке. Главы 6 - 10 обязательно; 6-я как раз начинается с пояснений про векторы состояний и матрицы; задачи 9.2 - 9.5 тоже обязательно! Впрочем, как и всё остальное
.