Реферат: Элементы теории представлений
Здесь собственный вектор состояний обозначается той же буквой, что и соответствующее собственное значение. Запишем, пользуясь этими обозначениями, выражение. Пусть
вектор состояния системы, а
– базисная система векторов. Тогда
>=
, где
Вектор состояния системы – понятие более абстрактное, чем волновая функция. В зависимости от выбора независимых переменных (представления) вектору состояния могут соответствовать различные волновые функции: в координатном представлении –
, в импульсном –
, в энергетическом –
и т.д. Т.е. волновая функция есть проекция вектора состояния на соответствующий базисный вектор.
Получим в обозначениях Дирака условие полноты ортонормированного базиса. Оно часто бывает полезным при использовании этого формализма.
Пусть - единичный оператор, который любому вектору состояния
ставит в соответствие тот же вектор:
Представим в виде разложения по ортонормированному базису
(т.е. по системе собственных векторов оператора
):
Подставляем это разложение в:
В силу произвольности вектора получаем
Это соотношение и является условием полноты в обозначениях Дирака.
Пример. Записать в обозначениях Дирака среднее значение физической величины представленной оператором , если состояние системы характеризуется вектором состояния
. (Спектр собственных значений оператора
считать дискретным).
Среднее значение дискретной случайной величины равно сумме произведений ее возможных значений на их вероятности:
Здесь - собственные значения оператора
,
- его собственные векторы и
- волновая функция системы в
- представлении. Преобразуем выражение для среднего значения, пользуясь свойством скалярного произведения
В последнем преобразовании использовано условие полноты
Таким образом, в обозначениях Дирака
квантовый представление волновой состояние
3. Преобразование операторов от одного представления к другому
Пусть оператор задан в координатном представлении и переводит функцию
в функцию
:
Разложим функции и
в ряд по собственным функциям оператора
. Спектр собственных значений этого оператора для определенности будем считать дискретным
: