Jump to content

Talk:Tensor product of Hilbert spaces

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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: