The question is from Axler's "Linear Algebra Done Right", which I'm using for self-study.

We are given a linear operator $T$ over a finite dimensional vector space $V$. We have to show that $T$ is a scalar multiple of the identity iff $\forall S \in {\cal L}(V), TS = ST$. Here, ${\cal L}(V)$ denotes the set of all linear operators over $V$.

One direction is easy to prove. If $T$ is a scalar multiple of the identity, then there exists a scalar $a$ such that $Tv = av$, $\forall v \in V$. Hence, given an arbitrary vector $w$, $$TS(w) = T(Sw) = a(Sw) = S(aw) = S(Tw) = ST(w)$$ where the third equality is possible because $S$ is a linear operator. Then, it follows that $TS = ST$, as required.

I am, however, at a loss as to how to tackle the other direction. I thought that a proof by contradiction, ultimately constructing a linear operator $S$ for which $TS \neq ST$, might be the way to go, but haven't made much progress.

Thanks in advance!

  • 1
    Here's one idea: the condition $TS = ST$ is linear, so to check it for all $S$ it suffices to check it for a basis of the space of linear operators. – Qiaochu Yuan Mar 18 '11 at 15:10
  • not sure if it would lead you anywhere, but for an n-dimensional space, you can convert the transformation into the n by n matrix that is applied to the coordinates of the elements in $V$. Then you get that $T$ commutes with any $S$, and perhaps that will be useful. – InterestedGuest Mar 18 '11 at 15:24
  • I'd cheat and use the fact that $\mathfrak{gl}_n(k)$ is reductive, and $\mathfrak{gl}_n(k) \cong k \oplus \mathfrak{sl}_n(k)$. $k$ is an abelian ideal so it's contained in the center; $\mathfrak{sl}_n(k)$ is semi-simple so it contains no non-trivial abelian ideals, thus $k$ is indeed the center. – Alexei Averchenko Mar 18 '11 at 18:05
up vote 12 down vote accepted

Suppose $TS = ST$ for every $S$. Show that $Tv = a_{v}v$ for every $v\in V$ where $a_v$ could depend on $v$. In other words, show that $v$ and $Tv$ are linearly dependent for each $v \in V$.

Suppose for contradiction that they are linearly independent. Since $(v, Tv)$ is linearly independent, it can be extended to a basis $(v,Tv, u_1, \dots, u_n)$ of $V$. So define $S$ as following: $Sv = v$, $S(Tv) = v$ and $S(u_1) = 0, \dots, S(u_n) = 0$. Then, $Tv = TSv = STv = v$. Hence $v$ and $Tv$ are linearly dependent, which is a contradiction. Then you have to show uniqueness.

  • 1
    It could very well be that I'm misunderstanding something, but doesn't the fact that T is a scalar multiple of I imply that Tv = av, where a is "fixed" and not dependent on v? – abeln Mar 18 '11 at 15:28
  • @abeln: Yes so you want to show that $a$ is the same for every vector $v$. This is the "uniqueness" part. But a priori, we don't know this. We just know that that $TS = ST$. – PrimeNumber Mar 18 '11 at 15:30
  • 2
    Thanks! Uniqueness can be shown by taking a basis $(v_{1},...,v_{n})$ and considering that $$Tv = T(a_{1} v_{1}+...+a_{n}v_{n}) = a_{1}b_{1}v_{1}+...a_{n}b_{n}v_{n}$$ but also $$Tv = kv = k(a_{1} v_{1}+...+a_{n}v_{n}) = a_{1}kv_{1}+...+a_{n}kv_{n}$$ Since Tv can be obtained in a unique way as a linear combination of said basis, then it follows that all the $b_i$ are equal to $k$. Hence, $Tv_{i} = kv_{i}$ and so $Tv = kv$, $\forall v$. – abeln Mar 18 '11 at 16:33

For a basis-free answer, consider $S \in L(V)$ given by $S x = f(x) v$ for some vector $v$ and some linear functional $f$ on V. Then $T S x = f(x) T v = S T x = f(T x) v$ for any x. In particular, as long as a nontrivial linear functional $f$ on $V$ exists, there is $x$ such that $f(x) \ne 0$, and then $T v = \alpha v$ for all $v$, where $\alpha = f(T x)/f(x)$. This works even for infinite-dimensional spaces, although I think in general you need the Axiom of Choice to get a nontrivial linear functional on a vector space.

  • 1
    This is better than my solution. I voted up. – Júlio César Mar 18 '11 at 19:52
  • Really nice! +1 – wildildildlife Mar 18 '11 at 20:35
  • 4
    I like this, but it somewhat disturbs me that in the beginning a vector $v$ is chosen, and later $Tv=\alpha v$ is concluded for all $v$. I can see that the proof is OK, but I think the presentation could make the order of things more evident. – Marc van Leeuwen Oct 30 '13 at 13:39

In general, when one has a condition of the form "$A$ is a blah if and only if for every $B$ this happens", the "if" direction can often be established by selecting suitably/cleverly chosen $B$ that show everything works.

This is just such a situation.

Let $\beta = \{\mathbf{v}_i\}_{i\in I}$ be a basis for $\mathbf{V}$. For each $i,j\in I$, let $S_{ij}$ be the linear operator on $\mathbf{V}$ given by $$S_{ij}(\mathbf{v}_k) = \left\{\begin{array}{ll} \mathbf{v}_j &\mbox{if $k=i$,}\\ \mathbf{v}_i &\mbox{if $k=j$,}\\ \mathbf{0} &\mbox{if $k\neq i$ and $k\neq j$.} \end{array}\right.$$ That is: for $i\neq j$, $S_{ij}$ exchanges $\mathbf{v}_i$ and $\mathbf{v}_j$, and maps all other basis elements to $\mathbf{0}$. And $S_{ii}$ maps $\mathbf{v}_i$ to itself, and all other basis elements to $\mathbf{0}$. These are our "suitably chosen" $S$.

Now consider $S_{ii}T(\mathbf{v}_j)$ and $TS_{ii}(\mathbf{v}_j)$ first to get information about what $T$ does to $\beta$; then consider $S_{ij}T(\mathbf{v}_j)$ and $TS_{ij}(\mathbf{v}_j)$ for $i\neq j$.

One demonstration of your "other direction":

If $T$ and $S$ are two operators that comute, then $S(\mathrm{Ker}T)\leqslant \mathrm{Ker}T$. In fact, $$v \in \mathrm{Ker}T \Rightarrow T(Sv)=S(Tv)=S(0)=0$$ In words, $\mathrm{Ker}T$ is invariant under $S$.

So, in our case we have that $\mathrm{Ker}T$ is invariant under any linear transformation in $L(V)$. This implies that $\mathrm{Ker}T = V$ or $0$. In fact, in other cases we would have $S\in L(V)$ such that $S(\mathrm{Ker}T)\nsubseteq\mathrm{Ker}T$.

We now show that $T$ has an eigenvalue. In fact, let $S \in L(V)$ be a projection on a non-zero one-dimensional subspace $\langle v \rangle$. Since, $$Tv=T(Sv)=S(Tv)$$ we have that $Tv \in \langle v\rangle$. Equivalently, $Tv=\lambda v$ for some $\lambda \in \mathbb K$.

Since $$TS=ST \iff (T-\lambda I)S=S(T-\lambda I)$$ for any $S \in L(V)$, we have as above that $$\mathrm{Ker}(T-\lambda I)=V$$ or $$\mathrm{Ker}(T-\lambda I)=0.$$ But, since $\lambda$ is an eigenvalue, $\mathrm{Ker}(T-\lambda I)\neq 0$. Therefore, $T=\lambda I$. QED.

This result is a special case of the Schur Lemma wich states: "If $T$ is an operator in $V$ with an eigenvalue $\lambda \in \mathbb K$ and $C \subseteq L(V)$ is a set of operators such that $$TS=ST \forall S \in C$$ and for each non-trivial subspace $W$ there is some $S \in C$ such that $$S(W) \nsubseteq W,$$ then we must have $T=\lambda I$". And whose demonstration is essentialy as above.

Perhaps somewhat against the spirit of Axler's book "linear maps over matrices" (although quite conceptual):

Suppose T commutes with all S. Then in particular it commutes with all invertible S: so $T=STS^{-1}$ for all invertible S. But this means the matrix of T is the same, no matter what basis we choose!

Then it must be diagonal: for fixed $j$, replace basis vector $e_j$ with $2e_j$; then if $i\neq j$, we get $t_{ij}=2t_{ij}$, so $t_{ij}=0$.

Edit[elaboration on the previous line]: Suppose $T$ has matrix $(t_{ij})_{ij}$ w.r.t. the basis $\{e_1,...,e_n\}$. Fix $k$, and consider the basis $B_k=\{v_1,..,v_n\}$ where $v_i=e_i$ if $i\neq k$ and $v_k=2e_k$. Then, for $i\neq k$, the matrix of $T$ w.r.t. $B_k$ has $2t_{ik}$ at entry $i,k$. Hence $t_{ik}=2t_{ik}$ and consequently $2t_{ik}=0$. [End edit.]

Then also all diagonal entries are the same: for fixed $i$ and $j$, interchange $e_j$ and $e_i$, and get $t_{ii}=t_{jj}$.

  • Isn't the afirmation "the matrix of T is the same, no matter what basis we choose, then it must be diagonal" as tough as what we want to proof? – Júlio César Mar 18 '11 at 19:46
  • Didn't I prove that statement right after the colon? "if i\neq j then t_{ij}=0" means T is diagonal. – wildildildlife Mar 18 '11 at 20:19
  • Humm... I still don't see it. Is your argument "since the matrix of $T$ in the basis $\{e_i\}$ and $\{2e_i\}$ the same, then $t_{ij}=2t_{ij}$"? – Júlio César Mar 18 '11 at 23:26
  • Yes. I made an edit to make the argument clearer. – wildildildlife Mar 19 '11 at 0:41

If $v$ is an eigenvector of T with eigenvalue $\lambda$, then $Sv$ is also an eigenvector with the same eigenvalue. For any two $v$ and $w$ in $V$, there exists a transformation $S$ mapping $v$ to $w$; so all elements of $V$ are eigenvectors with eigenvalue $\lambda$.

  • 2
    We aren't necessarily working over an algebraically closed field. – Qiaochu Yuan Mar 18 '11 at 15:37

Multiples of the identity commutate with all other matrices. Now consider some other matrix A defined by $$ A = \begin{bmatrix} a & b \\ c & d \\ \end{bmatrix} $$ We see that $$ \begin{bmatrix} a & b \\ c & d \\ \end{bmatrix} \begin{bmatrix} 1 & 0 \\ 0 & 0 \\ \end{bmatrix} = \begin{bmatrix} a & b \\ 0 & 0 \\ \end{bmatrix}, $$ and $$ \begin{bmatrix} 1 & 0 \\ 0 & 0 \\ \end{bmatrix} \begin{bmatrix} a & b \\ c & d \\ \end{bmatrix} = \begin{bmatrix} a & 0 \\ c & 0 \\ \end{bmatrix}. $$ For these two matrices to be equal we need $c=b=0$. Doing the same trick with $$ \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix} $$ will give that a=d. So all matrices that commute with these two matrices are multiples of the identity.

  • 3
    This answer is on the right track to a proper full answer, but the general question is not restricted to $2\times 2$ matrices. – Cameron Williams Mar 6 '16 at 20:05

Let $\{e_1,\dots,e_n\}$ be a basis for the space $V$. Then you need to show that there exists $a \in \mathbb{R}$ such that $Te_i = a e_i$ for $i = 1,\dots,n$ (every linear operator on finite dimensional space is determined by its values on basis vectors).

Let $S_i \in L(V)$ be defined as $S(a_1 e_1 + \dots + a_n e_n) = a_i e_i$. Assume that $Te_i = b_{i,1} e_1 + \dots + b_{i,n} e_n$. Then $$ T e_i = TS_i e_i = S_i Te_i = b_{i,1} S_i e_1 + \dots + b_{i,n} S_i e_n = b_{i,i} e_i. $$ Now we need to show that $b_{i,i} = b_{j,j}$ for all $i,j=1,\dots,n$. For a given $i,j$ let $S \in L(V)$ be defined by $$ S(a_1 e_1 + \dots + a_n e_n) = a_j e_i + a_i e_j. $$ Then $$ b_{i,i} e_i + b_{j,j} e_j = T(e_i + e_j) = TS(e_i + e_j) = ST(e_i + e_j) = S(b_{i,i} e_i + b_{j,j} e_j) = b_{j,j} e_i + b_{i,i} e_j. $$ Hence, because $(e_k)$ form basis, we obtain $b_{i,i} = b_{j,j}$ which completes the proof.

Lemma(Mohammad Ansari) Let $X$ be a locally convex space and $T\in L(X)$.Then $\{T\}'=L(X)$ if and only if $T=\lambda I$ for some $\lambda\in \Bbb C$.

Proof.It is clear that $\{λI\}'=L(X)$ for each $λ∈\Bbb C$. For the converse, suppose that $\{T\}'=L(X)$. For every non-zero vector $x∈X$ let $P_x$ be the projection onto $\Bbb Cx$. Then $Tx=T(P_x)x=(P_x)Tx=(λ_x)x$ for some $λ_x∈\Bbb C$. We show that $λ_x=λ_y$ for all non-zero vectors $x,y∈X$ to conclude that $T=λI$ for some $λ∈\Bbb C$. Let $x,y$ be non-zero and $y=ax$ for some $a∈\Bbb C$. Then $a(λ_y)x=Tax=aTx=a(λ_x)x$ and hence $λ_y=λ_x$. Now, suppose that $x,y$ are linearly independent. Then $λ_{x+y}(x+y)=T(x+y)=Tx+Ty=(λ_x)x+(λ_y)y$ which gives $λ_x=λ_y$. Thus, $T=λI$ for some $λ∈\Bbb C$. ($\{T\}'$ is the set of all operators that commute with $T$)

protected by Zev Chonoles Mar 6 '16 at 20:10

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).

Would you like to answer one of these unanswered questions instead?

Not the answer you're looking for? Browse other questions tagged or ask your own question.