В формализме первого квантования для квантовой механики многих частиц пусть и быть двумя базисами для двух частиц и : и .
Насколько я понимаю, , где является обычным двумерным вектором положения. Состояние многих частиц и волновая функция тогда:
Если да, то если у нас есть одна частица, движущаяся в двух измерениях, на языке линейной алгебры, какой объект есть (другими словами, если мы рассматриваем двумерный вектор положения как тензорное произведение двух гильбертовых пространств и , которые размещают одночастичную волновую функцию принадлежать)?
Нет, в целом это не так. Причина в том, что вы предполагаете, что общее двухчастичное состояние задается выражением , а это не так. Общее двухчастичное состояние представляет собой линейную комбинацию состояний произведения, т.е.
где является элементом и не обязан факторировать. Если это фактор , то , то мы можем написать
но нет причин ожидать, что это будет истинным априори . Фактически, если две частицы являются неразличимыми фермионами, то , что достаточно, чтобы показать, что они не могут находиться в состоянии произведения.
Вам может быть интересен этот ответ Я написал о разнице между прямым продуктом и тензорное произведение . Ключевым отличием является центральная точка этого ответа, а именно то, что элементы первого представляют собой все состояния продукта, а элементы второго представляют собой линейные комбинации состояний продукта. Моделирование составных систем с использованием последней конструкции открывает возможность наличия состояний, не являющихся продуктом, которые обычно называют запутанными в контексте физики.
тпаркер