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

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

Мне казалось, что этот результат появился из ниоткуда. Хотя я мог понять представление наблюдаемого А линейным оператором А ^ , я не могу понять, почему результаты измерения должны А должно быть собственным значением А ^ . Можно ли лучше мотивировать этот постулат?

Редактировать: поскольку мой вопрос может быть немного расплывчатым, позвольте мне попытаться перефразировать его: как можно мотивировать этот постулат студенту, впервые знакомящемуся с квантовой механикой? Например, есть ли экспериментальные результаты, которые можно использовать в качестве мотивации?

Это не совсем так. Измерение даст значение в спектре оператора, но не обязательно собственное состояние .
В чем именно разница между ними?
@IshanDeo Попробуйте прочитать здесь .
Попробуйте прочитать один из стандартных учебников по функциональному анализу. Спектр оператора не совпадает с набором собственных значений оператора.
@Slereah Последнее слово вашего комментария должно было быть «собственным значением»?
@ Том, хорошо, но ты можешь просто посмотреть на обобщенные собственные векторы (ядерная спектральная теорема). Так что в принципе физик с самого начала все понял правильно, просто формализация заняла немного больше времени.
Если вы новичок в QM, не утруждайте себя функциональным анализом, пока не поймете его основ.
Это не появилось из ниоткуда: оно пришло из лаборатории. Это математика, которая соответствует тому, что наблюдалось.
И мой вопрос: какие эксперименты в лаборатории предполагают формулировку собственного значения
Я удивлен, что ни в одном из этих ответов не упоминается, что происходит физически, когда вы проводите измерение в квантовой системе. ОП, ты случайно не знаешь что-нибудь о изображении матрицы плотности?

Ответы (7)

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

По духу да. По техническим причинам это не совсем так. Как упоминал Слереа в комментариях, более точное утверждение состоит в том, что измерение А возвращает значения, лежащие в спектре А ^ . Если спектр А ^ является чисто непрерывным, как и в случае наблюдаемого положения частицы на прямой, то А ^ на самом деле не имеет собственных значений, потому что нет состояний ψ в гильбертовом пространстве такое, что А ^ ψ "=" λ ψ для некоторого комплексного числа λ .

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


Это может быть мотивировано несколькими способами, но мой любимый следующий. Обратите внимание, что это не был исторический путь к квантовой механике, полный поворотов и тупиков.

Если мы посмотрим на классическую физику через призму гамильтоновой механики, мы можем определить наблюдаемую как непрерывную функцию от переменных фазового пространства (обобщенные координаты и импульсы) до действительных чисел. При некоторых чрезвычайно мягких дополнительных предположениях, таких как связность фазового пространства, это сразу же означает, что возможные результаты измерений принимают форму связанных интервалов в р . Например, возможные положения точки на бесконечной прямой задаются выражением р , возможных кинетических энергий такой частицы есть интервал [ 0 , ) , а возможные координаты z для частицы, прикрепленной к единичной сфере, равны [ 1 , 1 ] .

Результаты эксперимента Штерна-Герлаха (в котором возможные z-компоненты спинового углового момента равны { 2 , 2 } ) и спектры излучения водорода (в которых возможная энергия связанного состояния составляет дискретный набор { 13,6  эВ н 2 } ) сразу бросаются в глаза этому результату. Теперь мы также понимаем, что, например, энергетические спектры твердых тел лежат в несвязанных полосах, что опять-таки несовместимо с предыдущей линией рассуждений.

Не существует четкого способа модифицировать гамильтонову механику для учета этих возможностей, поэтому мы заинтересованы в поиске совершенно другой системы, которая может это сделать. Как оказалось, спектральная теория линейных операторов в гильбертовых пространствах обладает именно той гибкостью, которая нам нужна. Общий оператор А ^ на гильбертовом пространстве имеет о ( А ^ ) С , поэтому в контексте наблюдаемых величин разумно спросить, какие операторы имеют спектры, полностью лежащие в р ; ответ таков о ( А ^ ) р А ^ является самосопряженным .

В результате мы говорим, что нашей системе мы сопоставляем гильбертово пространство, которое заменяет фазовое пространство из классической физики и элементы которого (грубо) составляют пространство возможных состояний системы. Наблюдаемые величины теперь представлены самосопряженными операторами, а их спектры соответствуют возможным результатам измерений.

Общий элемент конечномерного гильбертова пространства можно разложить в линейную комбинацию собственных векторов любого самосопряженного оператора, который вы пожелаете. Если А ^ имеет λ как собственное значение, то не кажется неразумным предположить, что соответствующее собственное состояние является тем, для которого измерение А возвращается точно λ . Ситуация усложняется, когда спектр оператора непрерывен, но суть рассуждения остается прежней.

Конечно, ничто из этого не является математическим доказательством того, что мы делаем правильный выбор — на самом деле такого доказательства просто не может быть. Все, что мы можем сделать, это объединить эти идеи в согласованную структуру, сделать прогнозы и сравнить их с экспериментом. Как оказалось, именно этот рецепт пользуется огромным успехом, хотя это не исключает возможности того, что когда-нибудь его заменят чем-то лучшим.


Это не совсем так — см. здесь обобщение. Однако это хорошая отправная точка для стандартной формулировки QM, которую затем можно расширить.

Интересный момент о том, что результаты находятся в связном множестве в гамильтоновой механике. Спасибо!
Таким образом, это в основном сводится к непрерывности: в гамильтоновой структуре наблюдаемые должны быть непрерывными, но они не обязательно должны быть в квантовой механике.
Я давно не изучал физику, но если А ^ оператор положения, разве у нас нет А ^ ψ ( Икс ) "=" Икс ψ ( Икс ) ? Икс являются собственными значениями и ψ ( Икс ) собственные состояния, не так ли?
@Evariste Собственные значения - это константы, а не функции. Вы должны иметь это А ^ ψ ( Икс ) "=" λ ψ ( Икс ) для некоторой константы λ . Дельта работает как дельта ( Икс λ ) имеют это свойство для оператора положения, но они не являются элементами гильбертова пространства, потому что они не интегрируемы с квадратом. В результате оператор положения не имеет собственных функций/значений. Эти технические детали проясняются путем разработки полного механизма спектральной теоремы, но для этого требуется значительный объем работы.

Эксперимент Штерна-Герлаха и подобные эксперименты показывают

  • Система имеет состояние.
  • Состояния системы образуют гильбертово пространство. Вы можете выбрать набор базовых состояний и представить текущее состояние системы как сумму этих базовых состояний. Например, для спина электрона ваш выбор вверх/вниз, влево/вправо или состояния под другим углом.
  • Измерение — это физическое взаимодействие, которое изменяет состояние системы и дает измеренное значение. Как правило, измеренное значение является вероятностным, даже если состояние известно. Например, состояние вращения влево в измерении вращения вверх/вниз дает результаты вращения вверх и вниз с равной вероятностью.
  • Измерение изменяет состояние на состояние, соответствующее измеренному значению. Например, если измерение скорости вращения вверх/вниз дает результат увеличения скорости вращения, система находится в состоянии увеличения скорости вращения. Другое измерение также даст значение увеличения скорости вращения.

Измерения переводят одно состояние в гильбертовом пространстве в другое. Именно это и делают операторы в гильбертовом пространстве.

Измерение оставляет некоторые состояния неизменными и дает предсказуемое значение. Некоторые операторы оставляют состояния неизменными. Эти состояния называются собственными состояниями оператора.

Очень похожий оператор переводит состояние в скалярное число, кратное самому себе. Этот оператор может представлять как влияние измерения на состояние системы, так и измеренное значение. Скалярное кратное/измеренное значение называется собственным значением оператора. Это дает нам А ^ | а "=" λ | а

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

Величина | а не важно для нас, поэтому мы можем потребовать, чтобы а | а "=" 1 для всех штатов. Эта нормализация хорошо работает, когда мы работаем с базисными состояниями и вероятностями.

Утверждая, что наблюдаемое А представляется оператором, который имеет определенные собственные значения, вы утверждаете, что единственный возможный результат измерения А это собственные значения. После того, как вы измерили систему и убедились, что результатом является некоторое собственное значение а н то вы также уверены, что система находится в состоянии, которое приписывается собственному значению а н , следовательно, конкретное собственное состояние. Например, вы можете попытаться измерить, находится ли частица в ящике в левой или правой части ящика. Это измерение описывается оператором, который имеет только два собственных значения и два собственных состояния, потому что искомые результаты — это только два различных результата.

Постулат измерения квантовой механики можно сформулировать следующим образом:

Измерение наблюдаемых А моделируется как вероятностный процесс: с вероятностью п я это даст результат а я (собственное значение А ) при выбросе состояния из | Ψ (нормализованный вектор) в | а я (нормализованный собственный вектор А ^ ). Вероятности определяются п я "=" | а я | Ψ | 2 .

Измерение должно соответствовать следующему физическому требованию.

Когда измерение наблюдаемого А на состояние дало результат а я , то повторение измерения немедленно снова даст тот же результат а я снова. Это базовое требование для любого измерения (иначе мы бы даже не назвали его измерением). Бесчисленные эксперименты (первыми были опыты Штерна-Герлаха) подтвердили это требование.

Постулат сверху мотивирован тем, что он удовлетворяет этому требованию:

Когда вы измеряете А о состоянии

| Ψ "=" я с я | а я
тогда с вероятностью | с я | 2 вы получите результат а я и бросить состояние в
| Ψ "=" | а я .
Теперь, когда вы повторите то же самое измерение А в этом новом состоянии постулат предсказывает, что вы определенно (с вероятностью 100 %) получить тот же результат а я и снова государство
| Ψ "=" | а я .

Мне нравится математический ответ.

В физике не имеет особого смысла спрашивать, почему природа такова, какая она есть. Если ваш вопрос, по существу, состоит в том, почему числовой результат измерения должен быть собственным значением (или, точнее, как сказал Слереа, элементом спектра) оператора, то единственным допустимым ответом будет «потому что это то, что делает точным предсказания».

@JacopoTissino Я не уверен, что вы имеете в виду, есть уже существующие эксперименты, с которыми должна согласиться теория, но квантовая механика не предназначена для предсказания какого-либо конкретного «типа эксперимента».
Возможно, вопрос следует перефразировать. Что такого в операторах, что они моделируют природу лучше, чем другие математические конструкции? Если бы я пытался построить теорию квантовой механики, что привело бы меня к рассмотрению операторов?
@ mmesser314 Я, честно говоря, тоже не думаю, что на этот вопрос можно удовлетворительно ответить, это философский вопрос. "Почему операторы вместо Х другого математического объекта?" на самом деле можно ответить только «потому что это то, что работает». В какой-то момент вы спрашиваете, почему природа кажется жесткой, предсказуемой структурой, а это вопрос для философа, а не для физика. Возможно, я неправильно понимаю то, что вы написали.
Хорошо, тогда позвольте мне перефразировать это так: какие экспериментальные результаты побудили основателей QM рассматривать собственные значения операторов как результаты измерений в системе.
Если это вопрос, который вы задаете, то он может лучше подойти для обмена стеками истории науки и математики. Я не знаю, что именно побудило основателей квантовой механики использовать именно этот раздел линейной алгебры.
На самом деле мы не знаем , что природа устроена именно так, скорее существует серия экспериментов, которые согласуются с постулатом о собственном значении. Правильный ответ ИМО дал бы обоснование постулата, я думаю, что это разумный вопрос. Все стоящее в физике имеет обоснование, в том числе и это.
@doublefelix Конечно, я бы пошел еще дальше и сказал, что «природа устроена так» — это даже не осмысленное утверждение. Цель теорий в физике не в том, чтобы показать, что математические объекты, используемые в физике, являются реальными вещами, а в том, чтобы показать, что в природе существуют подобные закономерности. Нерелятивистская КМ перестает быть предсказательной при определенных условиях, неясно, существуют ли вообще математические модели с произвольной точностью.
Моя точка зрения заключалась не в том, что это плохой вопрос, а в том, что это не тот вопрос, на который у нас есть ответ. Оправдание существования КМ в ее нынешнем виде в физике просто «потому что оно работает», это единственная причина. Если вы хотите надавить еще сильнее и спросить, почему природа выбрала такой путь, вы задаете философский вопрос. Если OP спрашивает, какие исторические открытия привели к существованию QM в его нынешнем виде, это вопрос к HSM.
У нас есть ответ на вопрос «Какие существуют экспериментальные данные, которые можно использовать для обоснования постулата о собственном значении?», Который является разумной интерпретацией вопроса ОП, учитывая его комментарии здесь. Ответ на приведенный выше вопрос также не обязательно является историческим, поскольку это не обязательно должен быть тот же метод вывода, который использовался, когда постулат был впервые выдвинут. По этой причине я не могу согласиться с вашим аргументом.
@doublefelix То, что OP теперь добавило в качестве «редактирования» к исходному уравнению, имеет разные коннотации по сравнению с исходным сообщением. Если OP просто хочет список экспериментов, для которых нерелевантный QM точен, то, конечно, у него есть ответ. Первоначальный вопрос, казалось (мне), заключался в том, почему измерение должно специально возвращать собственное значение, а не, скажем, квадратный корень из собственного значения. Это было бы вопросом, почему постулаты КМ были выбраны такими, какими они были, на который правильный и единственный ответ: «потому что это то, что делает КМ предсказательной в пределах ее экспериментального масштаба».
Я говорю семантически, и, возможно, ОП не хотел, чтобы вопрос имел эти коннотации, но именно так вопрос читался во время публикации.

Я думаю, что лучшим примером для мотивации ученика является вращение.

Частицы, приготовленные таким образом, что их спины составляют +1/2 в заданном лабораторном направлении z, при измерении с помощью прибора, произвольно наклоненного относительно подготовленной ориентации, имеют спины иногда +1/2, а иногда -1/2.

Но ожидаемое значение среднего большого числа измерений может быть вычислено с помощью собственных векторов | С матрицы, полученной в результате линейной комбинации матрицы Паули: о к "=" н Икс о Икс + н у о у + н г о г , где н я являются компонентами единичного вектора новой ориентации.

Е к "=" 1 2 С | о к | С

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

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

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