Confusion about eigenvalues of an operator

Click For Summary
The discussion centers on the confusion regarding the eigenvalues of an operator T in a complex vector space V of dimension n. It begins with the formation of a list of vectors involving T and a vector v, leading to a linear dependence that suggests T has m eigenvalues, where m is greater than n. The error lies in the assumption that T can have more than n eigenvalues, which contradicts the dimension of the vector space. The conversation clarifies that while m can be any value greater than n, the eigenvalues of T will always be limited to a subset of the proposed values. Ultimately, the conclusion is that the equation does not imply T has m eigenvalues, as not all choices for the scalars lead to valid eigenvalue equations.
maNoFchangE
Messages
115
Reaction score
4
Suppose ##V## is a complex vector space of dimension ##n## and ##T## an operator in it. Furthermore, suppose ##v\in V##. Then I form a list of vectors in ##V##, ##(v,Tv,T^2v,\ldots,T^mv)## where ##m>n##. Due to the last inequality, the vectors in that list must be linearly dependent. This implies that the equation
$$
0=a_0v+a_1Tv+a_2T^2v+\ldots+a_mT^mv
$$
are satisfied by some nonzero coefficients. For a particular case, assume that the above equation is satisfied by some choice of coefficients where all of them are nonzero.
Now since the equation above forms a polynomial, I can write the factorized form
$$
0=A(T-\mu_1)\ldots(T-\mu_m)v
$$
The last equation suggests that ##T## has ##m## eigenvalues. But this contradicts the fact that ##T## is an operator in a vector space of dimension ##n<m##. Where is my mistake?
 
Last edited:
Physics news on Phys.org
##T## is an operator whereas ##\mu_i## is a scalar. Instead you should write ##T-\mu_iI_n##.

Suppose ##m=n+1##, and take ##\mu_1, \ldots, \mu_n## to be the eigenvalues of ##T##. Then clearly the final equation holds for an arbitrary choice of ##\mu_{n+1}##. So your mistake is in concluding that ##T## must have more than ##n## eigenvalues, which is a non sequitur.
 
suremarc said:
Suppose ##m=n+1##, and take ##\mu_1, \ldots, \mu_n## to be the eigenvalues of ##T##. Then clearly the final equation holds for an arbitrary choice of ##\mu_{n+1}##. So your mistake is in concluding that ##T## must have more than ##n## eigenvalues, which is a non sequitur.
Why does it have to be ##m=n+1##? I can take ##m## any value I want such that it is bigger than ##n##.
 
maNoFchangE said:
Why does it have to be ##m=n+1##? I can take ##m## any value I want such that it is bigger than ##n##.
Indeed, you can--I was simply providing a counterexample to get you started.
The eigenvalues of ##T## will always be contained in some proper subset of ##\{\mu_1,\ldots,\mu_m\}##, so at least 1 of the choices for ##\mu_i## will be arbitrary.
 
maNoFchangE said:
$$
0=A(T-\mu_1)\ldots(T-\mu_m)v
$$
The last equation suggests that ##T## has ##m## eigenvalues.
No it doesn't. From the equation above it does not follow that
$$(T-\mu_i)v=0$$
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 33 ·
2
Replies
33
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 40 ·
2
Replies
40
Views
3K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K