Por tanto las situaciones en las que estamos considerando, los espacios vectoriales son diferentes, y la articulación de espacio de estado es el producto tensor del individuo espacios vectoriales.
Para describir los operadores en este espacio, simplemente debemos utilizar el producto tensor de operadores: si ˆLz:Horb→HorbˆSz:Hspin→Hspin, entonces su producto tensor
ˆLz⊗ˆSz:Horbe⊗HspinmathcalHorbe⊗Hspin
está definida de forma única por su acción sobre el producto de los estados
(ˆLz⊗ˆSz)|ψ⟩⊗|ϕ⟩=(ˆLz|ψ⟩)⊗(ˆSz|ϕ⟩)
y por linealidad.
En la parte superior de la estructura, a menudo consideramos el vector de operaciones en el vector de caracteres de los operadores, incluyendo, en particular, su producto escalar
ˆL⊗⋅ˆS=3∑j=1ˆLj⊗ˆSj.
Este es un legítimo producto escalar en que uno puede demostrar que no depende de la base respecto a la cual los componentes se toman, ya que cada componente se transforma como un vector, y así, la prueba usual de técnicas todavía se aplican.
Ahora, en la práctica, normalmente, nos caída de la explícita-tensor de producto de marcas de ⊗ menos que realmente necesita la claridad, debido a que la estructura suele ser claro a partir del contexto (de manera que un producto como ˆLzˆSz es generalmente de forma inequívoca) y el explícito marcas agregar anotación a granel y por lo tanto hacer que todo sea más difícil de leer. Por lo tanto, lo que normalmente se ve es la notación de la forma
ˆL⋅ˆS=3∑j=1ˆLjˆSj.
en el que el tensor de productos entre los operadores que actúan en diferentes sectores del espacio de estado son implícitas.