Learning starts with a question. Asking is a signal for knowledge request!
First time here? Checkout the FAQs!
x

How "image search" works

0 like 0 dislike
342 views
[SCHUR's LEMMA] Let \(A\) be an \(n \times n\) matrix. If \(A B=B A\) for all invertible matrices \(B\), show that \(A=c I\) for some scalar \(c\).
in Mathematics by Platinum (97.7k points) | 342 views

1 Answer

0 like 0 dislike
Best answer
To prove this statement, we will use Schur's lemma as follows. Let \(V\) be the space of all \(n \times n\) matrices and let \(G\) be the group of all invertible \(n \times n\) matrices under matrix multiplication. Then \(V\) is a representation of \(G\), and the action of \(G\) on \(V\) is given by

\[g \times A = g A g^{-1}\]

for all \(g\) in \(G\) and \(A\) in \(V\).

Now, consider the linear transformation \(T: V \rightarrow V\) defined by

\[T(A) = AB\]

for all \(A\) in \(V\). We will show that \(T\) is a conjugacy between the representation \(V\) and itself, so by Schur's lemma, \(T\) must be unitarily equivalent to the identity transformation.

To show that \(T\) is a conjugacy, we need to verify that

\(T(g \times A) = g \times T(A)\)

for all \(g\) in \(G\) and \(A\) in \(V\). Substituting the definitions of \(g \times A\) and \(T(A)\), we get

\[T(g A g^{-1}) = g AB g^{-1}\]

which is true because matrix multiplication is associative. Therefore, \(T\) is a conjugacy between the representation \(V\) and itself, and by Schur's lemma, \(T\) must be unitarily equivalent to the identity transformation.

This means that there exists a unitary matrix \(U\) such that

\[AB = U AU^{-1}\]

for all \(A\) in \(V\). Taking the trace of both sides of this equation, we get

\[tr(AB) = tr(U AU^{-1})\]

Since the trace is invariant under unitary transformations, it follows that

\[tr(AB) = tr(AU^{-1}U) = tr(A)\]

for all \(A\) in \(V\). In particular, this equation holds for \(A = I\), the identity matrix. Therefore,

\[tr(B) = tr(I) = n\]

for all invertible \(B\).

Now, consider the linear transformation \(S: V \leftarrow V\) defined by

\[S(A) = AB - BA\]

for all \(A\) in \(V\). Then

\[tr(S(A)) = tr(AB - BA) \]

\[= tr(AB) - tr(BA) \]

\[= n - n = 0\]

for all \(A\) in \(V\). Therefore, \(S\) is the zero transformation, which means that

\[AB = BA\]

for all \(A\) in \(V\). In particular, this equation holds for \(A = B^{-1}\), so

\[BB^{-1} = B^{-1}B\]

which implies that \(B^{-1}B = I\). Therefore, \(B\) is unitary, which means that

\[AB = B A\]

for all unitary \(B\).

Finally, consider the linear transformation \(T': V \rightarrow V\) defined by

\[T'(A) = AB - A\]

for all \(A\) in \(V\). Then

\[T'(AB - A) \]

\[= (AB - A)B - (AB - A) \]

\[= -AB + AB = 0\]

for all unitary \(B\), so \(T'\) is the zero transformation. This means that

\[AB = A\]

for all unitary \(B\), which implies that \(A\) is a scalar multiple of the identity matrix. Therefore,

\[A = c I\]

for some scalar \(c\). This completes the proof.
by Platinum (97.7k points)

Related questions

0 like 0 dislike
0 answers
0 like 0 dislike
0 answers
2 like 0 dislike
1 answer

Join Acalytica Q&A, where you get instant answers to your questions from our AI, AstraNova and verified by human experts. We use a combination of generative AI and human experts to provide you the best solutions to your problems.

On the Acalytica Q&A, you can:

1. Get instant answer to your questions

2. Convert image to latex

3. AI-generated answers and insights

4. Get expert-verified answers

5. Vote on questions and answers

6. Tip your favorite community members

7. Join expert live video sessions (Paid/Free)

8. Earn points by participating

9. Take a course

10. Enjoy our interactive learning resources


Posting on the Acalytica Q&A

1. Remember the human

2. Act like you would in real life

3. Find original source of content

4. Check for duplicates before publishing

5. Read the community guidelines


Acalytica Q&A Rules

1. Answers to questions will be posted immediately after moderation

2. Questions will be queued for posting immediately after moderation

3. Depending on the number of messages we receive, you could wait up to 24 hours for your message to appear. But be patient as posts will appear after passing our moderation.


Acalytica Q&A

Acalytica Q&A

MathJax.Hub.Config({ tex2jax: { inlineMath: [ ['$','$'], ["\\(","\\)"] ], config: ["MMLorHTML.js"], jax: ["input/TeX"], processEscapes: true } }); MathJax.Hub.Config({ "HTML-CSS": { linebreaks: { automatic: true } } });