Talk:Tensor algebra

Untitled

I removed the following statement:

To have the complete algebra of tensors, contravariant as well as covariant, one should take T(W) where W is the direct sum of V and its dual space - this will consist of all tensors T_I^J with upper indices J and lower indices I, in classical notation.

Classically, a tensor over V is an element of V⊗...⊗V⊗V^*⊗...⊗V^*; with the construction given above, one would also get mixed terms such as V⊗V^*⊗V. To get the true algebra of all classical tensors, one would have to impose relations so that the elements of V commute with those of V^*. 21:13, 5 Sep 2004 (UTC)

Ambiguous sentence about Quotients

This sentence may produce a misunderstanding:

Because of the generality of the tensor algebra, many other algebras of interest are constructed by starting with the tensor algebra and then imposing certain relations on the generators, i.e. by constructing certain quotients of T(V). Examples of this are the exterior algebra, the symmetric algebra, other Schur functors, Clifford- and Weyl algebras and universal enveloping algebras.

From an historical standpoint, as far as I know, tensor algebra was defined by Ricci about 10 years after Clifford developed his algebra. In turn, 30 years before that, Grassmann had published his Extension Theory, which is the basis of both the modern exterior algebra (aka Grassmann algebra) and Clifford algebra. See http://modelingnts.la.asu.edu/html/evolution.html. The above inserted quoted text is ambiguous because the reader may interpret the words "are constructed by starting with" as related with the history of mathematics. Paolo.dL 16:13, 8 June 2007 (UTC)

Point taken, and I also feel that perhaps "are constructed" is a bit limiting (there are other constructions out there). How about "can be constructed"? Also, I will link quotients to make it clear that we mean quotient algebras rather than some other sort of quotient. Silly rabbit 16:21, 8 June 2007 (UTC)

Thank you, Silly Rabbit. My suggestion (changes in bold):

Because of the generality of the tensor algebra, many other algebras of interest can be constructed by ... Examples of this are the Grassmann (= exterior)- and symmetric algebras, Clifford- and Weyl algebras, universal enveloping algebras and Schur functors. However, historically tensor algebra was developed after Clifford algebra, which in turn was based on Grassmann's Extension theory.

The last sentence may need refinements. I am not an expert in this field, therefore I won't edit and I will leave the final decision to others. Paolo.dL 16:32, 8 June 2007 (UTC)

Fock space

Not even a remark on the link with Fock space? Link or should I say that it is identical? or maybe specialized to Hilbert spaces

In physics, Fock spaces describe states with undetermined number of particles, it is really surprising that the same construction appears. What is the reason?? — Preceding unsigned comment added by Noix07 (talk • contribs) 18:27, 15 February 2014 (UTC)

A Fock space is a kind of tensor algebra with extra conditions: the vector space is a Hilbert space and it is a direct sum of symmetrized or antisymmetrized tensor products of the Hilbert spaces. So they aren't identical. Would be worth a mention as an example. --Mark viking (talk) 19:16, 15 February 2014 (UTC)

Assessment comment

The comment(s) below were originally left at Talk:Tensor algebra/Comments, and are posted here for posterity. Following several discussions in past years, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.

Close to start but needs references, links, an explanation of the use of this fundamental construction in mathematics in general, and a more unifying approach throughout. Arcfrk 19:28, 28 June 2007 (UTC)

Last edited at 19:28, 28 June 2007 (UTC). Substituted at 02:38, 5 May 2016 (UTC)