Defining Multiplication on Infinite Tensor Product Spaces

  • Thread starter Thread starter Canavar
  • Start date Start date
  • Tags Tags
    Algebra
Click For Summary

Homework Help Overview

The discussion revolves around the algebraic structure of infinite tensor product spaces, specifically the isomorphism between the algebras L(⊗_{i=0}^∞ V_i) and ⊗_{i=1}^∞ L(V_i). The original poster seeks clarification on how multiplication is defined in the context of these spaces.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore the definition of multiplication in the algebra ⊗_{i=1}^∞ L(V_i), with one noting that it is defined component-wise. The original poster questions how to construct an isomorphism between the two algebras and presents a potential mapping, seeking validation and further guidance.

Discussion Status

The discussion is ongoing, with participants raising questions about the construction of an isomorphism and the validity of the proposed mapping. There is a request for assistance, indicating that the original poster is looking for more input on the topic.

Contextual Notes

The original poster expresses uncertainty about the isomorphism and references the universal property of the tensor product as a potential avenue for exploration. There is an indication of a lack of consensus on the correctness of the proposed isomorphism.

Canavar
Messages
15
Reaction score
0
Hello,

I want to show that the Algebras L(\bigotimes_{i=0}^\infty V_i)\; and\; \bigotimes_{i=1}^\infty \; \L (V_i)
are isomorphic!

But for this i need to know the algebra-structure on \bigotimes_{i=1}^\infty \; \L (V_i).

How the multiplication is defined on this space?

Regards
 
Physics news on Phys.org
Canavar said:
But for this i need to know the algebra-structure on \bigotimes_{i=1}^\infty \; \L (V_i).

How the multiplication is defined on this space?

Multiplication is defined component-wise.
 
Ok, thank you!

Do you know, how i can construct a isomorphism?

Is this a Isomorphism:

\phi: \bigotimes_{i=1}^\infty L(V_i) \rightarrow L(\bigotimes_{i=1}^\infty V_i), defined by x=\bigotimes_{i=1}^\infty (f_i) \to \phi(x): \bigotimes_{i=1}^\infty V_i \to \mathbb{K}, \otimes e_i \to \pi (f_i (e_i))

i.e. each elm. is send to the product of the f_i(e_i)

i couldn't show that this is an isomorphism. Therefore i think it is not one. Have you an idea how i can construct an isomorphism. Perhaps by using the universal property of the tensorprodukt?

Regrads
 
Last edited:
Can nobody help me?:-(
It would be very nice, if someone can help me.

Thanks in advance.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
3
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K