In mathematics, and in particular functional analysis, the tensor product of Hilbert spaces is a way to extend the tensor product construction so that the result of taking a tensor product of two Hilbert spaces is another Hilbert space. Roughly speaking, the tensor product is the metric space completion of the ordinary tensor product. This is an example of a topological tensor product. The tensor product allows Hilbert spaces to be collected into a symmetric monoidal category.
Definition Since Hilbert spaces have inner products, one would like to introduce an inner product, and thereby a topology, on the tensor product that arises naturally from the inner products on the factors. Let H 1 {\displaystyle H_{1}} and H 2 {\displaystyle H_{2}} be two Hilbert spaces with inner products ⟨ ⋅ , ⋅ ⟩ 1 {\displaystyle \langle \cdot ,\cdot \rangle _{1}} and ⟨ ⋅ , ⋅ ⟩ 2 , {\displaystyle \langle \cdot ,\cdot \rangle _{2},} respectively. Construct the tensor product of H 1 {\displaystyle H_{1}} and H 2 {\displaystyle H_{2}} as vector spaces as explained in the article on tensor products. We can turn this vector space tensor product into an inner product space by defining
⟨ ϕ 1 ⊗ ϕ 2 , ψ 1 ⊗ ψ 2 ⟩ = ⟨ ϕ 1 , ψ 1 ⟩ 1 ⟨ ϕ 2 , ψ 2 ⟩ 2 {\displaystyle \left\langle \phi _{1}\otimes \phi _{2},\psi _{1}\otimes \psi _{2}\right\rangle =\left\langle \phi _{1},\psi _{1}\right\rangle _{1}\,\left\langle \phi _{2},\psi _{2}\right\rangle _{2}}
for all ϕ 1 , ψ 1 ∈ H 1 {\displaystyle \phi _{1},\psi _{1}\in H_{1}} ϕ 2 , ψ 2 ∈ H 2 {\displaystyle \phi _{2},\psi _{2}\in H_{2}} and extending by linearity. That this inner product is the natural one is justified by the identification of scalar-valued bilinear maps on H 1 × H 2 {\displaystyle H_{1}\times H_{2}} and linear functionals on their vector space tensor product. Finally, take the completion under this inner product. The resulting Hilbert space is the tensor product of H 1 {\displaystyle H_{1}} and H 2 . {\displaystyle H_{2}.}
Explicit construction The tensor product can also be defined without appealing to the metric space completion. If H 1 {\displaystyle H_{1}} and H 2 {\displaystyle H_{2}} are two Hilbert spaces, one associates to every simple tensor product x 1 ⊗ x 2 {\displaystyle x_{1}\otimes x_{2}} the rank one operator from H 1 ∗ {\displaystyle H_{1}^{*}} to H 2 {\displaystyle H_{2}} that maps a given x ∗ ∈ H 1 ∗ {\displaystyle x^{*}\in H_{1}^{*}} as
x ∗ ↦ x ∗ ( x 1 ) x 2 . {\displaystyle x^{*}\mapsto x^{*}(x_{1})\,x_{2}.}
… excerpt ends here. Continue reading the full article.
