Diagonalizability of Linear Transformation

Click For Summary

Discussion Overview

The discussion revolves around the diagonalizability of a linear transformation \(f:\,V\rightarrow V\) over \(\mathbb{C}\), specifically examining the condition that all root vectors are eigenvectors. Participants explore the implications of this condition and its relationship to the existence of distinct eigenvalues, as well as alternative approaches to proving diagonalizability.

Discussion Character

  • Debate/contested
  • Technical explanation
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that a matrix can be diagonalized without having \(n\) distinct eigenvalues, citing the identity matrix as an example where all eigenvalues are the same but the matrix is still diagonal.
  • Others highlight the distinction between eigenspaces and root spaces, noting that the geometric and algebraic multiplicities of eigenvalues can differ.
  • A participant requests clarification on the definition of root vectors, indicating a lack of access to the provided link.
  • One participant provides a definition of root vectors and discusses the relationship between root spaces and eigenspaces, suggesting that if all root vectors are eigenvectors, then there exists a basis of \(V\) consisting solely of eigenvectors, implying diagonalizability.
  • Another participant introduces the concept of Jordan Normal form, suggesting that the size of Jordan blocks relates to the multiplicity of root spaces and that diagonalizability is contingent on all blocks being of size one.

Areas of Agreement / Disagreement

Participants express differing views on the necessity of distinct eigenvalues for diagonalizability, with some arguing it is not required while others maintain it is a sufficient condition. The discussion remains unresolved regarding the implications of root vectors being eigenvectors.

Contextual Notes

Participants reference various mathematical concepts such as eigenvalues, eigenspaces, root spaces, and Jordan Normal form, indicating a complex interplay of definitions and conditions that may not be fully resolved within the discussion.

Sudharaka
Gold Member
MHB
Messages
1,558
Reaction score
1
Hi everyone, :)

Here's a question I was stuck on. Hope you people can help me out. :)

Prove that \(f:\,V\rightarrow V\) over \(\mathbb{C}\) is diagonalizable iff all root vectors are eigenvectors.

The definition of root vectors is given >>here<<.

Now a \(n\times n\) matrix can be diagonalized if it has \(n\) distinct eigenvalues. So I don't see how the given condition (all root vectors are eigenvectors) can ensure that there are \(n\) distinct eigenvalues.
 
Physics news on Phys.org
Sudharaka said:
Hi everyone, :)

Here's a question I was stuck on. Hope you people can help me out. :)
The definition of root vectors is given >>here<<.

Now a \(n\times n\) matrix can be diagonalized if it has \(n\) distinct eigenvalues. So I don't see how the given condition (all root vectors are eigenvectors) can ensure that there are \(n\) distinct eigenvalues.

Hi Sudharaka!

The eigenvalues do not have to be distinct for a matrix to be diagonalizable.
(It is a sufficient condition though.)
Consider for instance the identity matrix. For instance in 2 dimensions:
\begin{bmatrix}1 & 0 \\ 0 & 1\end{bmatrix}
All its eigenvalues are 1 and it is a diagonal matrix.
It has a unique eigenspace of dimension 2 (edited).

The difference with a root space is for instance visible in:
\begin{bmatrix}1 & 1 \\ 0 & 1\end{bmatrix}
This matrix also has 1 as its eigenvalue, but the corresponding eigenspace is 1-dimensional, as opposed to the root space which is 2-dimensional.
They say that the eigenvalue 1 has geometric multiplicity 1 and algebraic multiplicity 2.
 
Sudharaka said:
Hi everyone, :)

Here's a question I was stuck on. Hope you people can help me out. :)
The definition of root vectors is given >>here<<.

Now a \(n\times n\) matrix can be diagonalized if it has \(n\) distinct eigenvalues. So I don't see how the given condition (all root vectors are eigenvectors) can ensure that there are \(n\) distinct eigenvalues.
Hey Sudharaka!
I cannot preview the definition of 'root vectors' in the link you have provided. Can you write the definition out here?
 
I like Serena said:
Hi Sudharaka!

The eigenvalues do not have to be distinct for a matrix to be diagonalizable.
(It is a sufficient condition though.)
Consider for instance the identity matrix. For instance in 2 dimensions:
\begin{bmatrix}1 & 0 \\ 0 & 1\end{bmatrix}
All its eigenvalues are 1 and it is a diagonal matrix.
It has a unique eigenspace of dimension 2 (edited).

The difference with a root space is for instance visible in:
\begin{bmatrix}1 & 1 \\ 0 & 1\end{bmatrix}
This matrix also has 1 as its eigenvalue, but the corresponding eigenspace is 1-dimensional, as opposed to the root space which is 2-dimensional.
They say that the eigenvalue 1 has geometric multiplicity 1 and algebraic multiplicity 2.

Thanks very much for the reply. :) So we cannot use the condition "a n×n matrix can be diagonalized if it has n distinct eigenvalues" since it's only a sufficient condition. Okay, I'll try think about a different approach. Back to square one. :p

caffeinemachine said:
Hey Sudharaka!
I cannot preview the definition of 'root vectors' in the link you have provided. Can you write the definition out here?

Hi caffeinemachine, :)

Thanks very much for the interest in answering my question. :)

It defines the root space, the set of all root vectors. Here's the definition,

Definition: The set \(S_i\) of all vectors \(x\in V\) defined by,

\[S_i=\{x\in V\,:\,(\lambda_i I_v-L)^{m_i}x=0\}\]

where \(i=1,2,\cdots ,k\).

\(m_i\) is the multiplicity of the eigenvalue \(\lambda_i\) in the minimum polynomial \(\psi(\lambda)\) of \(L\), is called the root space \(L\) associated with \(\lambda_i\). In particular, when \(m_i=1\), the root space \(S_i\) becomes the eigenspace \(E_i\) of \(L\) associated with the eigenvalue \(\lambda_i\).
 
Sudharaka said:
Thanks very much for the reply. :) So we cannot use the condition "a n×n matrix can be diagonalized if it has n distinct eigenvalues" since it's only a sufficient condition. Okay, I'll try think about a different approach. Back to square one. :p
Hi caffeinemachine, :)

Thanks very much for the interest in answering my question. :)

It defines the root space, the set of all root vectors. Here's the definition,

Definition: The set \(S_i\) of all vectors \(x\in V\) defined by,

\[S_i=\{x\in V\,:\,(\lambda_i I_v-L)^{m_i}x=0\}\]

where \(i=1,2,\cdots ,k\).

\(m_i\) is the multiplicity of the eigenvalue \(\lambda_i\) in the minimum polynomial \(\psi(\lambda)\) of \(L\), is called the root space \(L\) associated with \(\lambda_i\). In particular, when \(m_i=1\), the root space \(S_i\) becomes the eigenspace \(E_i\) of \(L\) associated with the eigenvalue \(\lambda_i\).
Let $\lambda_1,\ldots,\lambda_k$ be all the distinct eigenvalues of an operator $L$ on a finite dimensional complex vector space $V$, with $\lambda_i$ having multiplicity (algebraic) equal to $m_i$.

Then, you may be already knowing that:

$V=\displaystyle \bigoplus_{i=1}^k\text{ null}(L-\lambda_iI)^{m_i}$.

Now if all the root vectors are eigenvectors, then, from the above equation it is easy to see that there is a basis of $V$ consisting only of eigenvectors of $L$. Thus $L$ is diagonalizable.

Try proving the other direction. :)
 
caffeinemachine said:
Let $\lambda_1,\ldots,\lambda_k$ be all the distinct eigenvalues of an operator $L$ on a finite dimensional complex vector space $V$, with $\lambda_i$ having multiplicity (algebraic) equal to $m_i$.

Then, you may be already knowing that:

$V=\displaystyle \bigoplus_{i=1}^k\text{ null}(L-\lambda_iI)^{m_i}$.

Now if all the root vectors are eigenvectors, then, from the above equation it is easy to see that there is a basis of $V$ consisting only of eigenvectors of $L$. Thus $L$ is diagonalizable.

Try proving the other direction. :)

Thanks very much for the useful idea about solving this problem. May I also know about the book that you refer for Linear Algebra. :)
 
Sudharaka said:
Thanks very much for the useful idea about solving this problem. May I also know about the book that you refer for Linear Algebra. :)
Thanks Sudharaka. I use Axler's Linear Algebra Done Right ​for linear algebra.
 
Sudharaka said:
Prove that \(f:\,V\rightarrow V\) over \(\mathbb{C}\) is diagonalizable iff all root vectors are eigenvectors.

Not sure what you can use.
Here's another method.

Put f in Jordan Normal form.
The size of each Jordan block corresponds with the multiplicity of the corresponding root space.
If they are all 1, that means each Jordan block has size 1.
In other words, we have a diagonal matrix.
If they are not, we can't diagonalize it.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 33 ·
2
Replies
33
Views
2K
  • · Replies 52 ·
2
Replies
52
Views
4K
  • · Replies 39 ·
2
Replies
39
Views
3K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K