43

Let $V$ be a vector space of finite dimension and let $T,S$ linear diagonalizable transformations from $V$ to itself. I need to prove that if $TS=ST$ every eigenspace $V_\lambda$ of $S$ is $T$-invariant and the restriction of $T$ to $V_\lambda$ ($T:{V_{\lambda }}\rightarrow V_{\lambda }$) is diagonalizable. In addition, I need to show that there's a base $B$ of $V$ such that $[S]_{B}^{B}$, $[T]_{B}^{B}$ are diagonalizable if and only if $TS=ST$.

Ok, so first let $v\in V_\lambda$. From $TS=ST$ we get that $\lambda T(v)= S(T(v))$ so $T(v)$ is eigenvector of $S$ and we get what we want. I want to use that in order to get the following claim, I just don't know how. One direction of the "iff" is obvious, the other one is more tricky to me.

Mike Pierce
  • 18,262
  • 12
  • 63
  • 117

2 Answers2

53

This answer is basically the same as Paul Garrett's. --- First I'll state the question as follows.

Let $V$ be a finite dimensional vector space over a field $K$, and let $S$ and $T$ be diagonalizable endomorphisms of $V$. We say that $S$ and $T$ are simultaneously diagonalizable if (and only if) there is a basis of $V$ which diagonalizes both. The theorem is

$S$ and $T$ are simultaneously diagonalizable if and only if they commute.

If $S$ and $T$ are simultaneously diagonalizable, they clearly commute. For the converse, I'll just refer to Theorem 5.1 of The minimal polynomial and some applications by Keith Conrad.

EDIT. The key statement to prove the above theorem is Theorem 4.11 of Keith Conrad's text, which says:

Let $A: V \to V$ be a linear operator. Then $A$ is diagonalizable if and only if its minimal polynomial in $F[T]$ splits in $F[T]$ and has distinct roots.

[$F$ is the ground field, $T$ is an indeterminate, and $V$ is finite dimensional.]

The key point to prove Theorem 4.11 is to check the equality $$V=E_{\lambda_1}+···+E_{\lambda_r},$$ where the $\lambda_i$ are the distinct eigenvalues and the $E_{\lambda_i}$ are the corresponding eigenspaces. One can prove this by using Lagrange's interpolation formula: put $$f:=\sum_{i=1}^r\ \prod_{j\not=i}\ \frac{T-\lambda_j}{\lambda_i-\lambda_j}\ \in F[T]$$ and observe that $f(A)$ is the identity of $V$.

bossylobster
  • 235
  • 1
  • 9
Pierre-Yves Gaillard
  • 18,672
  • 3
  • 44
  • 102
  • 10
    You've listed a document by Keith Conrad. I believe this one by the same author also has a very simple proof for the question being asked without reference to a minimal polynomial. I found it helpful since I didn't know what a minimal polynomial is: http://www.math.uconn.edu/~kconrad/blurbs/linmultialg/simulcomm.pdf – Sherif F. Sep 24 '14 at 17:26
  • @Pierre-Yves Gaillard , you write, ``let $S$ and $T$ be diagonalizable endomorphisms of $V$.'' Please provide a definition of and diagonalizable endomorphisms of $V$. In addition, please include an example of a diagonalizable endomorphisms of $V$. I believe that if you do so, your solution will be more easily understood to a wider audience (like me). – Michael Levy Mar 08 '22 at 16:50
  • @MichaelLevy - The definition of diagonalizable endomorphisms and examples of such are given in the links https://kconrad.math.uconn.edu/blurbs/linmultialg/minpolyandappns.pdf and https://kconrad.math.uconn.edu/blurbs/linmultialg/simulcomm.pdf. (Both texts were written by Keith Conrad.) – Pierre-Yves Gaillard Mar 08 '22 at 17:33
  • I am sorry, but the definition of *diagonalizable endomorphism* is in neither of these two references; nor could I find it elsewhere. In the context of this problem, do you mean a linear operator, $A : V \to V$, where $A$ is diagonalizable? – Michael Levy Mar 08 '22 at 23:39
  • 1
    @MichaelLevy - Yes, in the context of this problem, the expressions "endomorphism" and "linear operator" are synonymous. – Pierre-Yves Gaillard Mar 09 '22 at 00:35
  • @Pierre-Yves Gaillard , Considering a linear transformation's characteristic polynomial over the complex field, is it true that if its characteristic equation has roots with multiplicity 1, and only roots with multiplicity 1, then its minimal polynomial and its characteristic polynomial are one and the same? – Michael Levy Mar 09 '22 at 02:11
  • In Theorem 3.2 in the pdf you cite [1] , it states, "A linear operator on $V$ whose characteristic polynomial is a product of linear factors in $F [T ]$ with distinct roots is diagonalizable." I understand that $V$ is the vector space; and that $F$ is the field. It looks like $T$ is an eigenvalue (but I am not sure). I understand what a linear factor is. I am, however, unclear what the notation $F[T]$ denotes, and what a linear factor in $F[T]$ would. Might you explain? And if possible might you provide an example? [1] www.math.uconn.edu/~kconrad/blurbs/linmultialg/minpolyandappns.pdf – Michael Levy Mar 09 '22 at 08:32
  • 1
    @MichaelLevy - Answer to Question 1: yes. What is $T$? It is an indeterminate, see https://en.wikipedia.org/wiki/Polynomial_ring#Definition_(univariate_case). A linear factor in $F[T]$ is a factor of the form $T-a$ with $a\in F$. Example: $T-1$ is a linear factor of $T^2-1$. – Pierre-Yves Gaillard Mar 09 '22 at 12:30
19

You've proven (from $ST=TS$) that the $\lambda$-eigenspace $V_\lambda$ of $T$ is $S$-stable. The diagonalizability of $S$ on the whole space is equivalent to its minimal polynomial having no repeated factors. Its minimal poly on $V_\lambda$ divides that on the whole space, so is still repeated-factor-free, so $S$ is diagonalizable on that subspace. This gives an induction to prove the existence of a simultaneous basis of eigenvectors. Note that it need not be the case that every eigenvector of $T$ is an eigenvector of $S$, because eigenspaces can be greater-than-one-dimensional.

Edit: Thanks Arturo M. Yes, over a not-necessarily algebraically closed field, one must say that "diagonalizable" is equivalent to having no repeated factor and splits into linear factors.

Edit 2: $V_\lambda$ being "S-stable" means that $SV_\lambda\subset V_\lambda$, that is, $Sv\in V_\lambda$ for all $v\in V_\lambda$.

Mike Pierce
  • 18,262
  • 12
  • 63
  • 117
paul garrett
  • 46,394
  • 4
  • 79
  • 149