The Tensor Algebra - Cooperstein, Defn 10.5

  • #1
Math Amateur
Gold Member
1,067
47
I am reading Bruce N. Coopersteins book: Advanced Linear Algebra (Second Edition) ... ...

I am focused on Section 10.3 The Tensor Algebra ... ...

I need help in order to get a basic understanding of Definition 10.5 in Section 10.3 ...


Definition 10.5 plus some preliminary definitions reads as follows:


?temp_hash=87acaf42109612625b53ef38dabca122.png

?temp_hash=87acaf42109612625b53ef38dabca122.png




In the above text from Cooperstein, in Definition 10.5, we read the following:

" ... ... An element ##x \in \mathcal{T}(V)## is said to be homogeneous of degree ##d## if ##x \in \mathcal{T}_d (V)## ... ..."


My question is as follows:

How can x be such that ##x \in \mathcal{T}(V)## and ##x \in \mathcal{T}_d (V)## ... does not seem possible to me ... ...

... ... because ... ...

... if ##x \in \mathcal{T}(V)## then ##x## will have the form of an infinite sequence as in the following:


##x = (x_0, x_1, x_2, \ ... \ ... \ , x_{d-1}, x_d, x_{d+1}, \ ... \ ... \ ... \ ... ) ##


where ##x_i \in \mathcal{T}_i (V)##


... ... clearly ##x_d## is the ##d##-th coordinate of ##x## and so cannot be equal to ##x## ... ..




Can someone please clarify this issue ... clearly I am not understanding this definition ...

Peter
 

Attachments

  • Cooperstein - 1 -   Tensor Algebra page 365-6    - PART 1     ....png
    Cooperstein - 1 - Tensor Algebra page 365-6 - PART 1 ....png
    60 KB · Views: 424
  • Cooperstein - 2  -   Tensor Algebra page 365-6    - PART 2     ....png
    Cooperstein - 2 - Tensor Algebra page 365-6 - PART 2 ....png
    117.6 KB · Views: 437

Answers and Replies

  • #2
22,089
3,296
It is the disjoint union of all the [itex]\mathcal{T}_k[/itex]

Not true.

[itex]\mathcal{T}_2[/itex] = the set of pairs of vectors, which we can represent as [itex]\langle x_1, x_2 \rangle[/itex]
[itex]\mathcal{T}_3[/itex] = the set of triples of vectors: [itex]\langle x_1, x_2, x_3 \rangle[/itex]

Both very much not true.
 
  • #3
stevendaryl
Staff Emeritus
Science Advisor
Insights Author
8,575
2,678
Not true.

It would have been helpful if you had said what you consider to be true, instead just saying that something is not true. Why do you think it's not true? What do you think the operation [itex]\oplus[/itex] means?
 
  • Like
Likes Math Amateur
  • #4
stevendaryl
Staff Emeritus
Science Advisor
Insights Author
8,575
2,678
I'm letting micromass answer your question. But my original point is correct, which is that for every [itex]n[/itex], there is a "copy" of [itex]\mathcal{T}_n[/itex] within [itex]\mathcal{T}[/itex].
 
  • Like
Likes Math Amateur
  • #5
14,577
11,926
It would have been helpful if you had said what you consider to be true, instead just saying that something is not true. Why do you think it's not true? What do you think the operation [itex]\otimes[/itex] means?
The set of pairs, triples and so on are cartesian products. [itex]\otimes[/itex] denotes equivalence classes of them. E.g. ##(2v,w), (v,2w) \in V \times V## are different elements but the same in ##V \otimes V##. Similar for the addition. This structure transports into ##\mathcal T##. And ##0## is an element of all ##\mathcal T_k## and ##\mathcal T##. It is considered the same ##0## in all of them so the union cannot be disjoint.
 
  • Like
Likes Math Amateur
  • #6
stevendaryl
Staff Emeritus
Science Advisor
Insights Author
8,575
2,678
One definition of [itex]\mathcal{T}[/itex] is that it is the "free algebra" over [itex]V[/itex].
The set of pairs, triples and so on are cartesian products. [itex]\otimes[/itex] denotes equivalence classes of them. E.g. ##(2v,w), (v,2w) \in V \times V## are different elements but the same in ##V \otimes V##. Similar for the addition. This structure transports into ##\mathcal T##. And ##0## is an element of all ##\mathcal T_k## and ##\mathcal T##. It is considered the same ##0## in all of them so the union cannot be disjoint.

Thanks. But in any case, [itex]\mathcal{T}[/itex] contains a copy of [itex]\mathcal{T}_n[/itex] for each [itex]n[/itex], so you can think of any element of [itex]\mathcal{T}_n[/itex] as also being an element of [itex]\mathcal{T}[/itex].
 
  • Like
Likes Math Amateur
  • #7
14,577
11,926
But in any case, [itex]\mathcal{T}[/itex] contains a copy of [itex]\mathcal{T}_n[/itex] for each [itex]n[/itex], so you can think of any element of [itex]\mathcal{T}_n[/itex] as also being an element of [itex]\mathcal{T}[/itex].
As far as I'm concerned I always think of stuff going on in one [itex]\mathcal{T}_n[/itex] as long as I'm not bothering with the overall properties. IMO [itex]\mathcal{T}[/itex] isn't a nice place to really do calculations in but calculations on.
 
  • Like
Likes Math Amateur
  • #8
stevendaryl
Staff Emeritus
Science Advisor
Insights Author
8,575
2,678
As far as I'm concerned I always think of stuff going on in one [itex]\mathcal{T}_n[/itex] as long as I'm not bothering with the overall properties. IMO [itex]\mathcal{T}[/itex] isn't a nice place to really do calculations in but calculations on.

The only use I've ever seen for mixed expressions (linear combinations of terms from different [itex]\mathcal{T}_n[/itex]) is Clifford algebra.
 
  • Like
Likes Math Amateur and fresh_42
  • #9
22,089
3,296
As far as I'm concerned I always think of stuff going on in one [itex]\mathcal{T}_n[/itex] as long as I'm not bothering with the overall properties. IMO [itex]\mathcal{T}[/itex] isn't a nice place to really do calculations in but calculations on.

You don't think polynomial rings are a nice place to do calculations in? Because those are the kind of objects you get for ##\mathcal{T}##.
If ##V = \mathbb{F}##, then ##\mathcal{T}_n \sim \mathbb{F}## and ##\mathcal{T} = \mathbb{F}[X]##.
If ##V = \mathbb{F}^2##, then ##\mathcal{T} = \mathbb{F}<X,Y>##, the polynomials with variables ##X## and ##Y## that do not commute.
In general, if the dimension of ##V## is ##n##, then ##\mathcal{T} \sim \mathbb{F}<X_1,...,X_n>##.
 
  • Like
Likes Math Amateur
  • #10
14,577
11,926
You don't think polynomial rings are a nice place to do calculations in? Because those are the kind of objects you get for ##\mathcal{T}##.
If ##V = \mathbb{F}##, then ##\mathcal{T}_n \sim \mathbb{F}## and ##\mathcal{T} = \mathbb{F}[X]##.
If ##V = \mathbb{F}^2##, then ##\mathcal{T} = \mathbb{F}<X,Y>##, the polynomials with variables ##X## and ##Y## that do not commute.
In general, if the dimension of ##V## is ##n##, then ##\mathcal{T} \sim \mathbb{F}<X_1,...,X_n>##.
Touché. I just won't write them as tensors. They are just a bit too universal. Maybe it is about getting used to. I've met tensors in complexity theory as a way to describe n-linear algorithms, as universal algebraic objects or as part of cohomology theory where it is often about calculating between the filtration.
 
  • #11
andrewkirk
Science Advisor
Homework Helper
Insights Author
Gold Member
3,893
1,460
When the author writes
Cooperstein said:
An element ##\boldsymbol{x}\in\mathcal{T}(V)## is said to be of homogeneous of degree ##d## if ##\boldsymbol{x}\in\mathcal{T}_d(V)##
I'm pretty sure that's an abuse of notation. ##\boldsymbol{x}## is a function from the index set ##\mathbb{N}## to ##\bigcup_{d\in\mathbb{N}}\mathcal T_d(V)## so it cannot also be an element of ##\mathcal T_d(V)##, which is part of its range. I think he must mean
$$Image(\boldsymbol x)\subset\left(\mathcal T_d(V)-\{0_{\mathcal T_d(V)}\}\right)\cup\bigcup_{k\in\mathbb N-\{d\}}\{0_{\mathcal T_k(V)}\}$$
Or, more succinctly:
##\pi_k(\boldsymbol x)## is zero for all ##k\in\mathbb N## except ##k=d##, for which it is nonzero.

So your (@Math Amateur 's) concern is entirely correct. However, the abuse of notation in question was foreshadowed by the author in the excerpt you posted in your other recent thread on this topic. Personally, I think it best in teaching texts to defer such abuses at least until the reader has had time to get comfortable with the new concepts - eg 'by now you should be familiar enough with the concepts of direct sums that we will henceforth, where it streamlines the notation, identify homogeneous elements of such direct sums with their isomorphic images in the component spaces'. But at least Cooperstein foreshadows the abuse.
@stevendaryl in post #6 has put his finger on the identification Cooperstein is making. The sense in which there is a 'copy' is that the set of all homogeneous elements of degree ##d## form a vector subspace of ##\mathcal T## (but not a subalgebra, as the set is not closed under tensor multiplication), which is vector-space-isomorphic to ##\mathcal T_d##.
 
Last edited:
  • #12
Math Amateur
Gold Member
1,067
47
Thanks to all who have helped ...

Thanks Andrew for a complete and thorough answer to the question that was bothering me ...

Peter
 

Related Threads on The Tensor Algebra - Cooperstein, Defn 10.5

Replies
2
Views
698
Replies
10
Views
792
Replies
4
Views
765
Replies
2
Views
687
Replies
1
Views
741
Replies
5
Views
1K
Replies
14
Views
965
Replies
28
Views
2K
  • Last Post
Replies
5
Views
885
  • Last Post
Replies
2
Views
2K
Top