En el formalismo de primera cuantización para muchas mecánicas cuánticas de partículas, sea y ser dos bases para dos particulas y : y .
Según entiendo, , dónde es el vector de posición 2D habitual. El estado de muchas partículas es y la función de onda entonces:
Si es así, si tenemos una sola partícula moviéndose en dos dimensiones, en lenguaje de álgebra lineal, ¿qué tipo de objeto es (en otras palabras, si consideramos el vector de posición 2D como un producto tensorial de dos espacios de Hilbert y , que espacia la función de onda de una sola partícula pertenece a)?
No, esto no es generalmente cierto. La razón es que está asumiendo que un estado general de dos partículas está dado por , y este no es el caso. Un estado general de dos partículas es una combinación lineal de estados de productos, es decir
dónde es un elemento de y no tiene obligación de factorizar. Si es un factor, entonces , entonces podemos escribir
pero no hay razón para esperar que esto sea cierto a priori . De hecho, si las dos partículas son fermiones indistinguibles entonces , lo que es suficiente para demostrar que no pueden estar en estado de producto.
Te puede interesar esta respuesta que escribí sobre la diferencia entre el producto directo y el producto tensorial . La diferencia clave es el punto central de esta respuesta, a saber, que los elementos del primero son todos estados de producto, mientras que los elementos del segundo son combinaciones lineales de estados de producto. El modelado de sistemas compuestos utilizando esta última construcción abre la posibilidad de tener estados de no producto, que generalmente se denominan enredados en un contexto físico.
parker