В настоящее время я использую книгу Надри Дживанджи по теории групп, чтобы физики могли понять квантовую механику. Я наткнулся на эти две страницы , которые заставили меня застрять:
Пример 4.19 и
В большинстве учебников по физике связь между и описывается в терминах «бесконечно малых образующих» этих групп. Мы обсудим бесконечно малые преобразования в следующем разделе, а затем свяжемся со стандартным изложением физики; здесь мы представляем отношение в терминах группового гомоморфизма , определяемый следующим образом: рассмотрим векторное пространство (проверьте!) всех бесследовые антиэрмитовы матрицы, обозначаемые как (по причинам, которые мы объясним позже). Вы можете проверить, что произвольный элемент можно записать как
Если взять за основу векторытогда у нас естьпоэтому вектор-столбец, соответствующий в основе являетсяОбратите внимание, что
поэтому определитель пропорциональна квадрату нормы с обычной евклидовой метрикой. Теперь вы проверите ниже, что действует на по карте , и что эта карта линейна. Таким образом, это отображение является линейным оператором на , и может быть представлено в базисе по матрица, которую мы будем называть , так что куда действует на обычным умножением матриц. Более того,так что сохраняет норму . Отсюда следует (см. упражнение 4.19 ниже), что , и действительно можно показать 13 , что , так что . Таким образом, мы можем построить картуБолее того, является гомоморфизмом, так как
и поэтому . Является изоморфизм? Можно показать 14 , что находится на, но не один к одному, и на самом деле имеет ядро . Из обсуждения, предшествующего этому примеру, мы знаем, что (этот факт также следует из определения ), поэтому для каждого оборота соответствуют ровно две матрицы в что сопоставляется с под . Таким образом, при попытке реализовать вращение на спине частица у нас есть два варианта для мы используем матрицу, и иногда говорят, что карта является двузначным . Однако в математических терминах обычно не говорят о функциях с несколькими значениями, поэтому вместо этого мы говорим, что это двойная обложка , так как карта находится на («обложке») и два к одному («двойной»).
У меня есть следующие вопросы:
Ранее я познакомился с процессом диагонализации матриц. Чего я не понимаю, так это того, что в данном случае диагонализируется, или ?
Последняя матрица в или ?
Соответствует ли этот процесс диагонализации смене базиса, и если да, то какой смысл в смене базиса?
Какое отображение соответствует будучи представленным в виде вектора в базисе ?
Кроме того, я просто не понимаю, что означает отображение 2-к-1?
Я также понимаю, что является алгеброй Ли, и чтобы найти ее группу Ли, вы должны возвести ее в степень: Я читал в учебнике по математике, что этот процесс также включает в себя диагонализацию. Но я просто не понимаю всего процесса и отношений между алгебрами Ли и группами Ли. Зачем нужно переключаться между ними?
Здесь нет ничего диагонального. В отрывке, который вы цитируете, используется обозначение
Диагонализация — это процесс взятия матрицы и найти матрицу который похож на а еще диагональ.
Однако использование сходства как отношения и преобразования выходит далеко за рамки простой диагонализации — по сути, две матрицы подобны тогда и только тогда, когда они представляют одну и ту же линейную карту на двух разных основаниях. Таким образом, широкий спектр матричных свойств сохраняется благодаря сходству (хорошо изложенному в ссылке на Википедию выше), что является частью того, что делает отношения такими полезными.
Структура алгебры Ли здесь совершенно неуместно; все, что имеет значение, это то, что является трехмерным вещественным векторным пространством, поэтому начните с того, что забудьте об алгебрах Ли.
элемент действует на это трехмерное векторное пространство, отображая к .
Поэтому элемент в может быть представлено как вещественная матрица 3 на 3 . Для вас было бы очень очень хорошим упражнением написать явную формулу для с точки зрения и --- не то чтобы конечный результат важен, но это зафиксирует в вашей голове именно то, что здесь происходит. Начнем, конечно, с вычисления того, как действует на каждый из трех известных базисных векторов для ; это столбцы .
Наконец, проверьте, что в , так что вы сопоставили к . Будет очевидно, что и идут в одно и то же место, поэтому отображение (по крайней мере) два к одному. Вы можете проверить далее, что это ровно два к одному.
Необязательный следующий шаг: закрепить в голове представление о том, что ничего о имеет значение, кроме его трехмерности, определить с кватернионом и пусть он действует на трехмерное вещественное векторное пространство чисто мнимых кватернионов через сопряжение. Это другой путь к тому же результату, и он явно не имеет ничего общего с алгебрами Ли.
Наконец, я не понимаю ни одного из ваших вопросов о диагонализации или почему вы так стремитесь что-то диагонализовать. Поскольку именно вы приносите диагонализацию на стол, только вы можете знать, что вы хотите диагонализовать и почему.
В двух словах, первый основной момент заключается в том, что (с точностью до некоторых обычных констант) существует изоморфизм изометрической алгебры Ли между
трехмерная алгебра Ли бесследного антиэрмитизма матрицы, снабженные определителем в виде квадрата нормы, и
трехмерное пространство снабжен стандартным векторным векторным произведением и стандартным квадратом нормы.
(Структура алгебры Ли не играет роли в дальнейшем, поэтому достаточно представить отображение как изоморфизм изометрического векторного пространства.)
Второй важный момент заключается в том, что для каждого элемента группы , карта (который Надри Дживанджи определяет выше) является линейной изометрией . Следовательно, это ортогональное преобразование в трехмерном пространстве . , который может быть представлен ортогональная матрица (где мы используем стандартный ортонормированный базис в ). Другими словами, карта это карта из к .
Вышеупомянутое теперь можно подтянуть, чтобы показать, что представляет собой двойную обложку . Диагонализация нигде не используется, ср. Вопросы ОП.
Учитывая волновую функцию как функция вектора положения в пространстве повороты вектора положения в конечном итоге зависят только от двух параметров и , в чем можно убедиться, выразив
Таким образом, если представлен , мы можем представить вращение на по другой матрице в этом пространстве действует на от
Итак, прямо сейчас мы ответили на 4. в вашем списке и проиллюстрировали идею 6., о которой вы можете полностью прочитать здесь , давайте перейдем к 5.:
Отображение двойного покрытия 2-1 исходит из следующего: Обратите внимание на представление в сферических координатах.
Многое из этого кратко изложено здесь и в этой книге .
УиллО
пкджаг
УиллО
пкджаг
УиллО
УиллО
УиллО
неломад