Me gusta Nielsen y Chuang la aproximación a esta cuestión (de "Computación Cuántica y la Información Cuántica"). En última instancia, la conexión entre la mecánica cuántica y de álgebra lineal requiere de un conjunto de "postulados". Los postulados elegido por Nielson y Chuang que sus preocupaciones son como sigue:
Postulado 1: Asociado a cualquier sistema físico aislado es un complejo espacio vectorial con producto interior (es decir, un espacio de Hilbert), conocido como el espacio de estado del sistema. El sistema está completamente descrito por su estado de vector, que es un vector unitario en el sistema del espacio de estado.
Supongo que este es un hecho que ya estás más o menos cómodo con el. Intuitivamente, me pongo a pensar de la siguiente manera: el número de dimensiones en un espacio de estado se corresponde con el número de "mutuamente excluyentes" de las configuraciones. Por ejemplo, un fotón propogating en una frecuencia fija a lo largo de un eje fijo tiene una de dos dimensiones de espacio de estado de polarizaciones. La luz que está polarizada verticalmente tiene un 0 por ciento de posibilidades de ser polarizada horizontalmente y viceversa. Cada una de las posibles, la polarización puede ser caracterizado como una compleja combinación lineal de estos dos estados.
Con respecto a los sistemas compuestos, tenemos los siguientes.
Postulado 4: El espacio de estado de un sistema físico compuesto es el producto tensor del estado de los espacios de la componente física de los sistemas. Por otra parte, si tenemos sistemas numeradas 1 a través de n, y el número de sistema de i es preparado en el estado |ψi⟩, en el conjunto del estado en el sistema total es |ψ1⟩⊗|ψ2⟩⊗···⊗|ψn⟩.
Voy a parafrasear a su heurística de la justificación, centrándose en el caso de los dos sistemas. Supongamos que el sistema de A tiene un espacio de estado se extendió por base ψ1,…,ψn y que el sistema de B tiene un espacio de estado se extendió por ϕ1,…,ϕm. Podemos tomar esto significa que el sistema de A n mutuamente excluyentes y configuraciones de sistema de B m dichas configuraciones.
Si A es preparado en el estado de ψi B es preparado en el estado de ϕj, entonces deberíamos esperar que hay un 0 de probabilidad de que el sistema combinado se medirá en estado ϕp,ψq siempre i≠p o j≠q. Con esta intuición, podemos deducir que nuestro sistema compuesto (si es que puede ser descrito con algún espacio de estado) tiene un espacio de estado con base ortonormales
{|ψiϕj⟩:1≤i≤n,1≤j≤m}
donde el estado |ψiϕj⟩ caracteriza el sistema compuesto AB en el que el sistema de A es preparado en el estado de ψi y sistema de B es preparado en el estado de ϕj.
A grandes rasgos, esta construcción (lo que permite "superposiciones") conduce a la caracterización del sistema combinado con el nuevo espacio de Hilbert HA⊗HB.