Talk:Tensor product of Hilbert spaces

Latest comment: 9 years ago by TSBM in topic weakly Hilbert Schmidt

Notation for the Hilbertian tensor product

edit

I find a little unsatisfactory that the completed tensor product is still denoted by L2 ⊗ L2 in the section "Examples and applications", giving the strange equation

 

In books they sometimes use a hat. And one cannot say that only the completed tensor product will appear in discussions: the space of simple functions is also important.

Also I am not sure that the restriction of separability is needed in

It turns out that the set of linear combinations is in fact dense in L2(X × Y), if L2(X) and L2(Y) are separable

and similarly for L2 ⊗ H. Bdmy (talk) 20:16, 30 November 2008 (UTC)Reply

It bothers me too. I suggest   for the completed tensor product. For the second issue you raise, the proof I know of this result uses Fubini's theorem, which I believe requires sigma-finite measures (does this imply separability of L^2?), although there are probably still better results. siℓℓy rabbit (talk) 21:01, 30 November 2008 (UTC)Reply
What happens I think is that any fixed element of the Hilbertian tensor product belongs to the product of separable subspaces on both sides, so that the general case should follow from the proof in the separable case. Bdmy (talk) 21:34, 30 November 2008 (UTC)Reply


Well, if φi, iI, is an orthonormal basis of L2(X), and ψj, jJ is an orthonormal basis of L2(Y), then certainly φi⊗ψj is an orthonormal basis of  . What I'm a little unclear on is whether the products φi(xj(y) span a dense subspace of L2(X×Y). It seems to require the Fubini theorem, which in turn requires σ-finiteness. Now it may be that there is an entirely different sort of argument that there exists an isomorphism between these two spaces (e.g., by showing that they have the same cardinal as Hilbert dimension), but this seems to be a less natural sort of isomorphism. siℓℓy rabbit (talk) 21:57, 30 November 2008 (UTC)Reply
First of all one has to make precise what σ-field is taken on X×Y; if it is the tensor product of σ-fields (what else?), then I think it is OK: the products φi(xj(y) will span the products  . Anyway this is a minor issue that can wait a few days to find a reference for... Bdmy (talk) 22:06, 30 November 2008 (UTC)Reply
Yes, that makes sense. siℓℓy rabbit (talk) 22:13, 30 November 2008 (UTC)Reply
I forgot to answer one of your questions: you may define the product probability measure on the uncountable product P of copies of the two-point space {-1, 1}, each copy equipped with the probability that gives mass 1/2 to each point. This is a probability but the L2(P) is not separable: the projection functions are an uncountable orthogonal system. I think that's all for today. Bdmy (talk) 22:22, 30 November 2008 (UTC)Reply

Inner product?

edit

What guarantees the function defined in the text will be an inner product? I don't see why it must be positive definite. 94.21.187.19 (talk) 14:09, 25 August 2010 (UTC)Reply

weakly Hilbert Schmidt

edit

what does that mean? It's not defined here, nor at Hilbert-Schmidt operator.--155.198.192.75 (talk) 14:20, 25 August 2011 (UTC)Reply

You can find it in Kadison and Ringrose (search Google books and then search inside for "weak Hilbert Schmidt"). Reducing the definition from multilinear to bilinear case and adapting a bit to the notation used in this article the definitions go something like this:
A mapping   is a Hilbert-Schmidt functional if it is a bounded bilinear functional (p. 127). A bounded linear mapping   is weakly Hilbert-Schmidt if for all   the mapping   is a Hilbert-Schmidt functional and   for some real number   (p. 131).
The definition of a Hilbert-Schmidt functional is incorrect. Not only does   need to be bounded and bilinear we require that   be finite (where   and   are bases of   and   respectively).
I that's ok maybe somebody wants to put this into the article? (ezander) 134.169.77.151 (talk) 13:00, 19 October 2011 (UTC)Reply
I copied it into Hilbert-Schmidt operator. It looks good to me. User:Linas (talk) 12:38, 23 November 2013 (UTC)Reply
However it looks, it is wrong and also not what is written in the book. 131.246.131.151 (talk) 11:08, 27 November 2014 (UTC)Reply
I've put the definition of weakly Hilbert Schmidt functional in this article, it has already bemoved from the Hilbert Schmidt operator article (probably because it was wrong). I hope that everything is correct now. TSBM (talk) 12:06, 8 December 2014 (UTC)Reply

Problematic formula

edit

I am attempting to repair this problematic formula, which also occurs in Hilbert space:

 

I know what its trying to say, but, as a formula, the above just doesn't make sense. So, for example ... obviously, the intent is that   is an element of   but then, what the heck does   mean? The intent seemed to be to use a \mapsto not a \to, so that  . But this doesn't really make sense (because there's no X_2 on the left-hand side) By contrast, a map   does make sense, notationally.

The alternative parse is that   but this doesn't make much sense either. By contrast,   does make sense.

What we really want to write is that there's a map   which   for   and  

That's why I made the edits that I did, but any better fix would be fine with me. Anyway, the error is prehistoric; it was there when sillyrabbit copied it over in 2008 from another article. I'm surpirsed it hasn never been fixed. User:Linas (talk) 14:06, 23 November 2013 (UTC)Reply

Ohhhh. I get it it was trying to say this: