# GoI for MELL: exponentials

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

# The tensor product of Hilbert spaces[/itex]

Recall that $(e_k)_{k\in\mathbb{N}}$ is the canonical basis of $H=\ell^2(\mathbb{N})$. The space $H\tens H$ is the collection of sequences $(x_{np})_{n,p\in\mathbb{N}}$ of complex numbers such that:

 ∑ | xnp | 2 n,p

converges. The scalar product is defined just as before: $\langle (x_{np}), (y_{np})\rangle = \sum_{n,p} x_{np}\bar y_{np}$.

The canonical basis of $H\tens H$ is denoted $(e_{ij})_{i,j\in\mathbb{N}}$ where eij is the (doubly indexed) sequence $(e_{ijnp})_{n,p\in\mathbb{N}}$ defined by:

eijnp = δinδjp (all terms are null but the one at index (i,j) which is 1).

If $x = (x_n)_{n\in\mathbb{N}}$ and $y = (y_p)_{p\in\mathbb{N}}$ are vectors in H then their tensor is the sequence: $x\tens y = (x_ny_p)_{n,p\in\mathbb{N}}$.

In particular we have: $e_{ij} = e_i\tens e_j$ and we can write: $x\tens y = \left(\sum_n x_ne_n\right)\left(\sum_p y_pe_p\right) = \sum_{n,p} x_ny_p e_n\tens e_p = \sum_{n,p} x_ny_p e_{np}$
{"ft_lang_label":"__label__en","ft_lang_prob":0.95662093,"math_prob":0.99996924,"size":614,"snap":"2019-13-2019-22","text_gpt3_token_len":172,"char_repetition_ratio":0.10327869,"word_repetition_ratio":0.0,"special_character_ratio":0.267101,"punctuation_ratio":0.128,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000097,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26],"im_url_duplicate_count":[null,null,null,8,null,null,null,8,null,8,null,null,null,1,null,1,null,null,null,8,null,8,null,1,null,1,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-05-22T17:54:29Z\",\"WARC-Record-ID\":\"<urn:uuid:c4362fde-d1aa-4413-aa29-30c498cef30f>\",\"Content-Length\":\"15226\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:a40b5cd4-bfc0-45af-a533-801a8c01587e>\",\"WARC-Concurrent-To\":\"<urn:uuid:96ebe54a-68cd-4314-8c2d-e3a7c2dfafb9>\",\"WARC-IP-Address\":\"140.77.166.78\",\"WARC-Target-URI\":\"http://llwiki.ens-lyon.fr/mediawiki/index.php?title=GoI_for_MELL:_exponentials&oldid=483\",\"WARC-Payload-Digest\":\"sha1:YE7Z5YXEJEGYDXL4KVEQ7ARF22WCEOBI\",\"WARC-Block-Digest\":\"sha1:T52J7RNUOKYNEVHH7UQ5OKJKK4XFHY26\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-22/CC-MAIN-2019-22_segments_1558232256887.36_warc_CC-MAIN-20190522163302-20190522185302-00113.warc.gz\"}"}