A²=Id => A diagonalizable?

  • Thread starter quasar987
  • Start date
  • #1
quasar987
Science Advisor
Homework Helper
Gold Member
4,783
15
Hello matrix gurus,

Is is true that if A is real with A²=I (eigenvalues ±1), it is diagonalizable over R?

What if I add that A is in O(m,m), where O(m,m) is the split indefinite orthogonal group of 2m x 2m matrices M such that [itex]M^TI_{m,m}M=I_{m,m}[/itex], where [itex]I_{m,m}[/itex] is the block diagonal matrix diag(I_m,-I_m) for I_m the m x m identity matrix?

Thanks
 
Last edited:

Answers and Replies

  • #2
22,089
3,293
Yes, an involution is always diagonalizable over the reals.

We use the following result:

Another characterization: A matrix or linear map is diagonalizable over the field F if and only if its minimal polynomial is a product of distinct linear factors over F. (Put in another way, a matrix is diagonalizable if and only if all of its elementary divisors are linear.)
See http://en.wikipedia.org/wiki/Diagonalizable_matrix A proof can be found in Hoffman & Kunze theorem 6 page 204.

The minimal polynomial of an involution is [itex]x^2-1=(x+1)(x-1)[/itex] and satisfies our theorem.
 
Last edited:
  • #3
lavinia
Science Advisor
Gold Member
3,237
624
Hello matrix gurus,

Is is true that if A is real with A²=I (eigenvalues ±1), it is diagonalizable over R?

What if I add that A is in O(m,m), where O(m,m) is the split indefinite orthogonal group of 2m x 2m matrices M such that [itex]M^TI_{m,m}M=I_{m,m}[/itex], where [itex]I_{m,m}[/itex] is the block diagonal matrix diag(I_m,-I_m) for I_m the m x m identity matrix?

Thanks
A.v - v and A.v + v are both eigen vectors of A. They can not both be zero.
Use this inductively to find a basis of the vector space made up of eigen vectors of A.

e.g.
If A.v is not a multiple of v then both A.v - v and A.v + v are non-zero eigen vectors. Choose any other vector that is not in the span of v and A.v. and continue.

One certainly does not need all of the reals to diagonalize A. The rationals will work. I think all you really need to be able do is divide by 2.

Over the integers A can not always be diagonalized. The map (1,0) -> (1,-1) (0,1) -> (0,-1) is an example. The problem of inequivalent integer representations of groups is daunting.
 
Last edited:

Related Threads on A²=Id => A diagonalizable?

  • Last Post
Replies
9
Views
19K
  • Last Post
Replies
9
Views
7K
  • Last Post
Replies
7
Views
3K
Replies
5
Views
3K
  • Last Post
Replies
19
Views
4K
Replies
4
Views
6K
  • Last Post
Replies
1
Views
2K
Replies
6
Views
7K
Replies
6
Views
15K
Top