# GoI for MELL: exponentials

From LLWiki

Revision as of 11:20, 5 June 2010 by Laurent Regnier (Talk | contribs)

# The tensor product of Hilbert spaces

Recall that is the canonical basis of . The space is the collection of sequences of complex numbers such that:

∑ | | x_{np} | ^{2} |

n,p |

converges. The scalar product is defined just as before:

- .

If and are vectors in *H* then their tensor is the sequence:

- .

In particular if we define: so that *e*_{np} is the (doubly indexed) sequence of complex numbers given by *e*_{npij} = δ_{ni}δ_{pj} then (*e*_{np}) is a hilbertian basis of : the sequence *x* = (*x*_{np}) may be written:

- .

By bilinearity of tensor we have: