<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	
	xmlns:georss="http://www.georss.org/georss"
	xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#"
	>

<channel>
	<title>trace &#8211; Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/trace/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Sun, 24 Dec 2017 19:12:18 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>
	hourly	</sy:updatePeriod>
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<generator>https://wordpress.org/?v=5.3.4</generator>

<image>
	<url>https://i2.wp.com/yutsumura.com/wp-content/uploads/2016/12/cropped-question-logo.jpg?fit=32%2C32&#038;ssl=1</url>
	<title>trace &#8211; Problems in Mathematics</title>
	<link>https://yutsumura.com</link>
	<width>32</width>
	<height>32</height>
</image> 
<site xmlns="com-wordpress:feed-additions:1">114989322</site>	<item>
		<title>Does the Trace Commute with Matrix Multiplication? Is $\tr (A B) = \tr (A) \tr (B) $?</title>
		<link>https://yutsumura.com/does-the-trace-commute-with-matrix-multiplication-is-tr-a-b-tr-a-tr-b/</link>
				<comments>https://yutsumura.com/does-the-trace-commute-with-matrix-multiplication-is-tr-a-b-tr-a-tr-b/#respond</comments>
				<pubDate>Sun, 24 Dec 2017 19:12:18 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[counterexample]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[trace]]></category>
		<category><![CDATA[trace of a matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=6274</guid>
				<description><![CDATA[<p>Let $A$ and $B$ be $n \times n$ matrices. Is it always true that $\tr (A B) = \tr (A) \tr (B) $? If it is true, prove it. If not, give a counterexample.&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/does-the-trace-commute-with-matrix-multiplication-is-tr-a-b-tr-a-tr-b/" target="_blank">Does the Trace Commute with Matrix Multiplication? Is $\tr (A B) = \tr (A) \tr (B) $?</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 634</h2>
<p>	Let $A$ and $B$ be $n \times n$ matrices. </p>
<p>Is it always true that $\tr (A B) = \tr (A) \tr (B) $? </p>
<p>If it is true, prove it.  If not, give a counterexample.</p>
<p>&nbsp;<br />
<span id="more-6274"></span></p>
<h2>Solution.</h2>
<p>	There are many counterexamples. </p>
<p>For one, take<br />
	\[A = \begin{bmatrix} 1 &#038; 0 \\ 0 &#038; 0 \end{bmatrix}  \text{ and } B = \begin{bmatrix} 0 &#038; 0 \\ 0 &#038; 1 \end{bmatrix}.\]
<p>Then $\tr(A)=1, \tr(B)=1$, and hence $\tr(A) \tr(B) = 1$, while $\tr(AB) = 0$ as $AB = \begin{bmatrix} 0 &#038; 0 \\ 0 &#038; 0 \end{bmatrix}$.</p>
<button class="simplefavorite-button has-count" data-postid="6274" data-siteid="1" data-groupid="1" data-favoritecount="40" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">40</span></button><p>The post <a href="https://yutsumura.com/does-the-trace-commute-with-matrix-multiplication-is-tr-a-b-tr-a-tr-b/" target="_blank">Does the Trace Commute with Matrix Multiplication? Is $\tr (A B) = \tr (A) \tr (B) $?</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/does-the-trace-commute-with-matrix-multiplication-is-tr-a-b-tr-a-tr-b/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">6274</post-id>	</item>
		<item>
		<title>Is the Trace of the Transposed Matrix the Same as the Trace of the Matrix?</title>
		<link>https://yutsumura.com/is-the-trace-of-the-transposed-matrix-the-same-as-the-trace-of-the-matrix/</link>
				<comments>https://yutsumura.com/is-the-trace-of-the-transposed-matrix-the-same-as-the-trace-of-the-matrix/#respond</comments>
				<pubDate>Sun, 24 Dec 2017 18:54:04 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[trace]]></category>
		<category><![CDATA[trace of a matrix]]></category>
		<category><![CDATA[transpose]]></category>
		<category><![CDATA[transpose of a matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=6270</guid>
				<description><![CDATA[<p>Let $A$ be an $n \times n$ matrix. Is it true that $\tr ( A^\trans ) = \tr(A)$? If it is true, prove it. If not, give a counterexample. &#160; Solution. The answer is&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/is-the-trace-of-the-transposed-matrix-the-same-as-the-trace-of-the-matrix/" target="_blank">Is the Trace of the Transposed Matrix the Same as the Trace of the Matrix?</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 633</h2>
<p>Let $A$ be an $n \times n$ matrix.  </p>
<p>Is it true that $\tr ( A^\trans ) = \tr(A)$?  If it is true, prove it.  If not, give a counterexample.</p>
<p>&nbsp;<br />
<span id="more-6270"></span></p>
<h2>Solution.</h2>
<p>The answer is true. Recall that the transpose of a matrix is the sum of its diagonal entries. Also, note that the diagonal entries of the transposed matrix are the same as the original matrix.</p>
<p>Putting together these observations yields the equality $\tr ( A^\trans ) = \tr(A)$.</p>
<hr />
<p>Here is the more formal proof.</p>
<p>For $A = (a_{i j})_{1 \leq i, j \leq n}$, the transpose $A^{\trans}= (b_{i j})_{1 \leq i, j \leq n}$ is defined by $b_{i j} = a_{j i}$.</p>
<p>In particular, notice that $b_{i i} = a_{i i}$ for $1 \leq i \leq n$.  And so,<br />
	\[ \tr(A^{\trans}) = \sum_{i=1}^n b_{i i} = \sum_{i=1}^n a_{i i} = \tr(A) . \]	</p>
<button class="simplefavorite-button has-count" data-postid="6270" data-siteid="1" data-groupid="1" data-favoritecount="28" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">28</span></button><p>The post <a href="https://yutsumura.com/is-the-trace-of-the-transposed-matrix-the-same-as-the-trace-of-the-matrix/" target="_blank">Is the Trace of the Transposed Matrix the Same as the Trace of the Matrix?</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/is-the-trace-of-the-transposed-matrix-the-same-as-the-trace-of-the-matrix/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">6270</post-id>	</item>
		<item>
		<title>True or False: If $A, B$ are 2 by 2 Matrices such that $(AB)^2=O$, then $(BA)^2=O$</title>
		<link>https://yutsumura.com/true-or-false-if-a-b-are-2-by-2-matrices-such-that-ab2o-then-ba2o/</link>
				<comments>https://yutsumura.com/true-or-false-if-a-b-are-2-by-2-matrices-such-that-ab2o-then-ba2o/#comments</comments>
				<pubDate>Mon, 14 Aug 2017 22:52:02 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[Cayley-Hamilton theorem]]></category>
		<category><![CDATA[determinant]]></category>
		<category><![CDATA[determinant of a matrix]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[trace]]></category>
		<category><![CDATA[trace of a matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=4639</guid>
				<description><![CDATA[<p>Let $A$ and $B$ be $2\times 2$ matrices such that $(AB)^2=O$, where $O$ is the $2\times 2$ zero matrix. Determine whether $(BA)^2$ must be $O$ as well. If so, prove it. If not, give&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/true-or-false-if-a-b-are-2-by-2-matrices-such-that-ab2o-then-ba2o/" target="_blank">True or False: If $A, B$ are 2 by 2 Matrices such that $(AB)^2=O$, then $(BA)^2=O$</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 537</h2>
<p>	Let $A$ and $B$ be $2\times 2$ matrices such that $(AB)^2=O$, where $O$ is the $2\times 2$ zero matrix.</p>
<p>	Determine whether $(BA)^2$ must be $O$ as well. If so, prove it. If not, give a counter example.</p>
<p>&nbsp;<br />
<span id="more-4639"></span></p>
<h2> Proof. </h2>
<p>		It is true that the matrix $(BA)^2$ must be the zero matrix as we shall prove now.</p>
<p>		For notational convenience, let $C:=AB$.</p>
<p>		As $C$ is a $2\times 2$ matrix, it satisfies the relation<br />
		\[C^2-\tr(C)C+\det(C)I=O \tag{*}\]
		by the Cayley-Hamilton theorem.<br />
		Here $I$ is the $2\times 2$ identity matrix.</p>
<hr />
<p>		We compute the determinant of $C$ as follows.<br />
		We have<br />
		\begin{align*}<br />
	\det(C)^2=\det(C^2)=\det((AB)^2)=\det(O)=0.<br />
	\end{align*}<br />
	Hence $\det(C)=0$.</p>
<hr />
<p>	Since $C^2=O$ and $\det(C)=0$, the Cayley-Hamilton relation (*) becomes<br />
	\[\tr(C)C=O.\]
	It follows that we have either $C=O$ or $\tr(C)=0$.<br />
	In either case, we have $\tr(C)=0$.</p>
<hr />
<p>	Note that<br />
	\begin{align*}<br />
	\det(BA)&#038;=\det(AB)=\det(C)=0\\<br />
	\tr(BA)&#038;=\tr(AB)=\tr(C)=0.<br />
	\end{align*}</p>
<p>	Applying the Cayley-Hamilton theorem to the matrix $BA$, we obtain<br />
	\begin{align*}<br />
	O=(BA)^2-\tr(BA)\cdot BA+\det(BA)I=(BA)^2.<br />
	\end{align*}<br />
	Thus, we obtain $(BA)^2=O$ as claimed.</p>
<button class="simplefavorite-button has-count" data-postid="4639" data-siteid="1" data-groupid="1" data-favoritecount="88" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">88</span></button><p>The post <a href="https://yutsumura.com/true-or-false-if-a-b-are-2-by-2-matrices-such-that-ab2o-then-ba2o/" target="_blank">True or False: If $A, B$ are 2 by 2 Matrices such that $(AB)^2=O$, then $(BA)^2=O$</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/true-or-false-if-a-b-are-2-by-2-matrices-such-that-ab2o-then-ba2o/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">4639</post-id>	</item>
		<item>
		<title>Determine Whether Given Matrices are Similar</title>
		<link>https://yutsumura.com/determine-whether-given-matrices-are-similar/</link>
				<comments>https://yutsumura.com/determine-whether-given-matrices-are-similar/#comments</comments>
				<pubDate>Thu, 27 Apr 2017 03:44:30 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[characteristic polynomial]]></category>
		<category><![CDATA[determinant]]></category>
		<category><![CDATA[determinant of a matrix]]></category>
		<category><![CDATA[diagonalizable]]></category>
		<category><![CDATA[diagonalization]]></category>
		<category><![CDATA[eigenvalue]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[similar]]></category>
		<category><![CDATA[similar matrix]]></category>
		<category><![CDATA[trace]]></category>
		<category><![CDATA[trace of a matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2793</guid>
				<description><![CDATA[<p>(a) Is the matrix $A=\begin{bmatrix} 1 &#038; 2\\ 0&#038; 3 \end{bmatrix}$ similar to the matrix $B=\begin{bmatrix} 3 &#038; 0\\ 1&#038; 2 \end{bmatrix}$? &#160; (b) Is the matrix $A=\begin{bmatrix} 0 &#038; 1\\ 5&#038; 3 \end{bmatrix}$&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/determine-whether-given-matrices-are-similar/" target="_blank">Determine Whether Given Matrices are Similar</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 391</h2>
<p><strong>(a)</strong> Is the matrix $A=\begin{bmatrix}<br />
	  1 &#038; 2\\<br />
	  0&#038; 3<br />
	\end{bmatrix}$ similar to the matrix $B=\begin{bmatrix}<br />
	  3 &#038; 0\\<br />
	  1&#038; 2<br />
	\end{bmatrix}$? &nbsp;</p>
<p><strong>(b)</strong> Is the matrix $A=\begin{bmatrix}<br />
	  0 &#038; 1\\<br />
	  5&#038; 3<br />
	\end{bmatrix}$ similar to the matrix $B=\begin{bmatrix}<br />
	  1 &#038; 2\\<br />
	  4&#038; 3<br />
	\end{bmatrix}$?&nbsp;</p>
<p><strong>(c)</strong> Is the matrix $A=\begin{bmatrix}<br />
	  -1 &#038; 6\\<br />
	  -2&#038; 6<br />
	\end{bmatrix}$ similar to the matrix $B=\begin{bmatrix}<br />
	  3 &#038; 0\\<br />
	  0&#038; 2<br />
	\end{bmatrix}$?&nbsp;</p>
<p><strong>(d)</strong> Is the matrix $A=\begin{bmatrix}<br />
	  -1 &#038; 6\\<br />
	  -2&#038; 6<br />
	\end{bmatrix}$ similar to the matrix $B=\begin{bmatrix}<br />
	  1 &#038; 2\\<br />
	  -1&#038; 4<br />
	\end{bmatrix}$?</p>
<p>&nbsp;<br />
<span id="more-2793"></span><br />
&nbsp;<br />

<h2>Solution.</h2>
<h3>(a) Is the matrix $A=\begin{bmatrix}<br />
	  1 &#038; 2\\<br />
	  0&#038; 3<br />
	\end{bmatrix}$ similar to the matrix $B=\begin{bmatrix}<br />
	  3 &#038; 0\\<br />
	  1&#038; 2<br />
	\end{bmatrix}$?</h3>
<p> Recall that <a href="//yutsumura.com/if-two-matrices-are-similar-then-their-determinants-are-the-same/" target="_blank">if $A$ and $B$ are similar, then their determinants are the same</a>.<br />
			We compute<br />
			\begin{align*}<br />
	\det(A)=(1)(3)-(2)(0)=3 \text{ and } \det(B)=(3)(2)-(0)(1)=6.<br />
	\end{align*}<br />
	Thus, $\det(A)\neq \det(B)$, and hence $A$ and $B$ are not similar.</p>
<h3>
(b) Is the matrix $A=\begin{bmatrix}<br />
	  0 &#038; 1\\<br />
	  5&#038; 3<br />
	\end{bmatrix}$ similar to the matrix $B=\begin{bmatrix}<br />
	  1 &#038; 2\\<br />
	  4&#038; 3<br />
	\end{bmatrix}$?</h3>
<p> It is straightforward to check that $\det(A)=-5=\det(B)$. Thus determinants does not help here.<br />
	We recall that if $A$ and $B$ are similar, then their traces are the same. (See Problem &#8220;<a href="//yutsumura.com/similar-matrices-have-the-same-eigenvalues/" target="_blank">Similar matrices have the same eigenvalues</a>&#8220;.)<br />
	We compute<br />
	\begin{align*}<br />
	\tr(A)=0+3=3 \text{ and } \tr(B)=1+3=4,<br />
	\end{align*}<br />
	and thus $\tr(A)\neq\tr(B)$.<br />
	Hence $A$ and $B$ are not similar.</p>
<h3>(c) Is the matrix $A=\begin{bmatrix}<br />
	  -1 &#038; 6\\<br />
	  -2&#038; 6<br />
	\end{bmatrix}$ similar to the matrix $B=\begin{bmatrix}<br />
	  3 &#038; 0\\<br />
	  0&#038; 2<br />
	\end{bmatrix}$?</h3>
<p> We see that<br />
	\[\det(A)=6=\det(B) \text{ and } \tr(A)=5=\tr(B).\]
	Thus, the determinants and traces do not give any information about similarity.<br />
	The characteristic polynomial of $A$ is given by<br />
	\begin{align*}<br />
	p(t)&#038;=\det(A-tI)\\<br />
	&#038;=\begin{vmatrix}<br />
	  -1-t &#038; 6\\<br />
	  -2&#038; 6-t<br />
	\end{vmatrix}\\<br />
	&#038;=(-1-t)(6-t)-(6)(-2)\\<br />
	&#038;=t^2-5t+6.<br />
	\end{align*}<br />
	(Note that since we found the determinant and trace of $A$, we could have found the characteristic polynomial from the formula $p(t)=t^2-\tr(A)t+\det(A)$.)</p>
<p>	Since $p(t)=(t-2)(t-3)$, the eigenvalue of $A$ are $2$ and $3$.<br />
	Since $A$ has two distinct eigenvalues, it is diagonalizable.<br />
	That is, there exists a nonsingular matrix $S$ such that<br />
	\[S^{-1}AS=\begin{bmatrix}<br />
	  2 &#038; 0\\<br />
	  0&#038; 3<br />
	\end{bmatrix}=B.\]
	Thus, $A$ and $B$ are similar.</p>
<h3>(d) Is the matrix $A=\begin{bmatrix}<br />
	  -1 &#038; 6\\<br />
	  -2&#038; 6<br />
	\end{bmatrix}$ similar to the matrix $B=\begin{bmatrix}<br />
	  1 &#038; 2\\<br />
	  -1&#038; 4<br />
	\end{bmatrix}$?</h3>
<p> We see that<br />
	\[\det(A)=6=\det(B) \text{ and } \tr(A)=5=\tr(B).\]
	It follows from the formula $p(t)=t^2-\tr(A)t+\det(A)$ (or just computing directly) that the characteristic polynomials of $A$ and $B$ are both<br />
	\[t^2-5t+6=(t-2)(t-3).\]
	Thus, the eigenvalues of $A$ and $B$ are $2, 3$. Hence both $A$ and $B$ are diagonalizable.<br />
	There exist nonsingular matrices $S$ and $P$ such that<br />
	\[S^{-1}AS=\begin{bmatrix}<br />
	  2 &#038; 0\\<br />
	  0&#038; 3<br />
	\end{bmatrix} \text{ and } P^{-1}BP=\begin{bmatrix}   2 &#038; 0\\<br />
	  0&#038; 3<br />
	\end{bmatrix}. \]
	So we have $S^{-1}AS=P^{-1}BP$, and hence<br />
	\[PS^{-1}ASP^{-1}=B.\]
	Putting $U=SP^{-1}$, we have<br />
	\[U^{-1}AU=B.\]
	(Since the product of invertible matrices is invertible, the matrix $U$ is invertible.)<br />
	Therefore $A$ and $B$ are similar.</p>
<h2> Related Question. </h2>
<p>For more problems about similar matrices, check out the following posts:</p>
<ul>
<li><a href="//yutsumura.com/problems-and-solutions-about-similar-matrices/" target="_blank">Problems and solutions about similar matrices</a></li>
<li><a href="//yutsumura.com/a-matrix-similar-to-a-diagonalizable-matrix-is-also-diagonalizable/" target="_blank">A matrix similar to a diagonalizable matrix is also diagonalizable</a></li>
</ul>
<button class="simplefavorite-button has-count" data-postid="2793" data-siteid="1" data-groupid="1" data-favoritecount="47" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">47</span></button><p>The post <a href="https://yutsumura.com/determine-whether-given-matrices-are-similar/" target="_blank">Determine Whether Given Matrices are Similar</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/determine-whether-given-matrices-are-similar/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2793</post-id>	</item>
		<item>
		<title>If Two Matrices are Similar, then their Determinants are the Same</title>
		<link>https://yutsumura.com/if-two-matrices-are-similar-then-their-determinants-are-the-same/</link>
				<comments>https://yutsumura.com/if-two-matrices-are-similar-then-their-determinants-are-the-same/#comments</comments>
				<pubDate>Thu, 27 Apr 2017 03:11:36 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[characteristic polynomial]]></category>
		<category><![CDATA[determinant]]></category>
		<category><![CDATA[determinant of a matrix]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[similar]]></category>
		<category><![CDATA[similar matrix]]></category>
		<category><![CDATA[trace]]></category>
		<category><![CDATA[trace of a matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2791</guid>
				<description><![CDATA[<p>Prove that if $A$ and $B$ are similar matrices, then their determinants are the same. &#160; Proof. Suppose that $A$ and $B$ are similar. Then there exists a nonsingular matrix $S$ such that \[S^{-1}AS=B\]&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/if-two-matrices-are-similar-then-their-determinants-are-the-same/" target="_blank">If Two Matrices are Similar, then their Determinants are the Same</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 390</h2>
<p> Prove that if $A$ and $B$ are similar matrices, then their determinants are the same.</p>
<p>&nbsp;<br />
<span id="more-2791"></span></p>
<h2> Proof. </h2>
<p>		Suppose that $A$ and $B$ are similar. Then there exists a nonsingular matrix $S$ such that<br />
		\[S^{-1}AS=B\]
		by definition.<br />
		Then we have<br />
		\begin{align*}<br />
	&#038;\det(B)\\<br />
	&#038;=\det(S^{-1}AS)\\<br />
	&#038;=\det(S)^{-1}\det(A)\det(S) \\<br />
	&#038; \text{(by multiplicative properties of determinants)}\\<br />
	&#038;=\det(A) \\<br />
	&#038;\text{(since determinants are just numbers, hence commutative).}<br />
	\end{align*}</p>
<p>	Thus, we obtain $\det(A)=\det(B)$ as required.</p>
<h2> Related Question. </h2>
<p>More generally, we can prove that if $A$ and $B$ are similar, then their characteristic polynomials are the same.<br />
From this, we also can deduce that the determinants of $A$ and $B$ are the same as well as their traces are the same.</p>
<p>For a proof, see the post &#8220;<a href="//yutsumura.com/similar-matrices-have-the-same-eigenvalues/" target="_blank">Similar matrices have the same eigenvalues</a>&#8220;.</p>
<button class="simplefavorite-button has-count" data-postid="2791" data-siteid="1" data-groupid="1" data-favoritecount="47" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">47</span></button><p>The post <a href="https://yutsumura.com/if-two-matrices-are-similar-then-their-determinants-are-the-same/" target="_blank">If Two Matrices are Similar, then their Determinants are the Same</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/if-two-matrices-are-similar-then-their-determinants-are-the-same/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2791</post-id>	</item>
		<item>
		<title>Trace, Determinant, and Eigenvalue (Harvard University Exam Problem)</title>
		<link>https://yutsumura.com/trace-determinant-and-eigenvalue-harvard-university-exam-problem/</link>
				<comments>https://yutsumura.com/trace-determinant-and-eigenvalue-harvard-university-exam-problem/#respond</comments>
				<pubDate>Wed, 26 Apr 2017 04:27:39 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[determinant]]></category>
		<category><![CDATA[determinant of a matrix]]></category>
		<category><![CDATA[eigenvalue]]></category>
		<category><![CDATA[exam]]></category>
		<category><![CDATA[Harvard]]></category>
		<category><![CDATA[Harvard.LA]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[trace]]></category>
		<category><![CDATA[trace of a matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2768</guid>
				<description><![CDATA[<p>(a) A $2 \times 2$ matrix $A$ satisfies $\tr(A^2)=5$ and $\tr(A)=3$. Find $\det(A)$. (b) A $2 \times 2$ matrix has two parallel columns and $\tr(A)=5$. Find $\tr(A^2)$. (c) A $2\times 2$ matrix $A$ has&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/trace-determinant-and-eigenvalue-harvard-university-exam-problem/" target="_blank">Trace, Determinant, and Eigenvalue (Harvard University Exam Problem)</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 389</h2>
<p><strong>(a)</strong> A $2 \times 2$ matrix $A$ satisfies $\tr(A^2)=5$ and $\tr(A)=3$.<br />
	Find $\det(A)$.</p>
<p><strong>(b)</strong> A $2 \times 2$ matrix has two parallel columns and $\tr(A)=5$. Find $\tr(A^2)$.</p>
<p><strong>(c)</strong> A $2\times 2$ matrix $A$ has $\det(A)=5$ and positive integer eigenvalues. What is the trace of $A$?</p>
<p>(<em>Harvard University, Linear Algebra Exam Problem</em>)</p>
<p>&nbsp;<br />
<span id="more-2768"></span><br />

<h2>Solution.</h2>
<p>		For (a) and (b), we give two solutions. The first one does not use the knowledge of eigenvalues, and the second one uses eigenvalues.</p>
<h3>Solution 1 of (a) A $2 \times 2$ matrix $A$ satisfies $\tr(A^2)=5$ and $\tr(A)=3$. Find $\det(A)$.  </h3>
<p>		Let<br />
		\[A=\begin{bmatrix}<br />
	  a &#038; b\\<br />
	  c&#038; d<br />
	\end{bmatrix}.\]
	Then we have<br />
	\begin{align*}<br />
	A^2=\begin{bmatrix}<br />
	  a &#038; b\\<br />
	  c&#038; d<br />
	\end{bmatrix}\begin{bmatrix}<br />
	  a &#038; b\\<br />
	  c&#038; d<br />
	\end{bmatrix}=\begin{bmatrix}<br />
	  a^2+bc &#038; ab+bd\\<br />
	  ac+cd&#038; bc+d^2<br />
	\end{bmatrix}.<br />
	\end{align*}<br />
	Since $\tr(A^2)=5$ and $\tr(A)=3$, we obtain<br />
	\begin{align*}<br />
	5&#038;=\tr(A^2)=(a^2+bc)+(bc+d^2)=a^2+2bc+d^2 \text{ and }\\<br />
	3&#038;=\tr(A)=a+d.<br />
	\end{align*}<br />
	We find the determinant $\det(A)=ad-bc$ as follows.<br />
	We have<br />
	\begin{align*}<br />
	\det(A)&#038;=ad-bc=\frac{1}{2}\left(\, (a+d)^2-(a^2+2bc+d^2)  \,\right)\\<br />
	&#038;=\frac{1}{2}(3^2-5)=2.<br />
	\end{align*}<br />
	Thus, we obtain $\det(A)=2$.</p>
<h3>Solution 2 of (a)</h3>
<p>	Let $\lambda_1$ and $\lambda_2$ be eigenvalues of $A$.<br />
	Then we have<br />
	\begin{align*}<br />
	3=\tr(A)=\lambda_1+\lambda_2 \text{ and }\\<br />
	5=\tr(A^2)=\lambda_1^2+\lambda_2^2.<br />
	\end{align*}<br />
	Here we used two facts.<br />
The first one is that the <a href="//yutsumura.com/determinant-trace-and-eigenvalues-of-a-matrix/" target="_blank">trace of a matrix is the sum of all eigenvalues of the matrix</a>.<br />
 The second one is that <a href="//yutsumura.com/find-all-the-eigenvalues-of-ak-from-eigenvalues-of-a/" target="_blank">$\lambda^2$ is an eigenvalue of $A^2$ if $\lambda$ is an eigenvalue of $A$, and these are all the eigenvalues of $A^2$</a>.</p>
<p>	Since <a href="//yutsumura.com/determinant-trace-and-eigenvalues-of-a-matrix/" target="_blank">the determinant of $A$ is the product of eigenvalues of $A$</a>, we have<br />
	\begin{align*}<br />
	\det(A)&#038;=\lambda_1 \lambda_2\\<br />
	&#038;=\frac{1}{2}\left(\,  (\lambda_1+\lambda_2)^2-(\lambda_1^2+\lambda_2^2) \,\right)\\<br />
	&#038;=\frac{1}{2}(3^2-5)\\<br />
	&#038;=2.<br />
	\end{align*}<br />
	Hence we have $\det(A)=2$.</p>
<h3>Solution 1 of (b) A $2 \times 2$ matrix has two parallel columns and $\tr(A)=5$. Find $\tr(A^2)$.</h3>
<p>	Since two columns are parallel, we can write $A$ as<br />
	\[A=\begin{bmatrix}<br />
	  a &#038; ra\\<br />
	  c&#038; rc<br />
	\end{bmatrix}.\]
	Then we have<br />
	\begin{align*}<br />
	5=\tr(A)=a+rc.<br />
	\end{align*}<br />
	We use the formula in Solution 1 of (a) for $\tr(A^2)$ with $b=ra$ and $d=rc$, and we compute<br />
	\begin{align*}<br />
	\tr(A^2)&#038;=a^2+2(ra)+(rc)^2\\<br />
	&#038;=(a+rc)^2\\<br />
	&#038;=5^2=25.<br />
	\end{align*}<br />
	Thus, we find $\tr(A^2)=25$.</p>
<h3>Solution 2 of (b)</h3>
<p>	Since two columns are parallel, the matrix $A$ is singular. Hence $A$ has an eigenvalue $0$.<br />
	Since the sum of all the eigenvalues is $\tr(A)=5$, we see that $0$ and $5$ are eigenvalues of $A$.<br />
	It follows that $0$ and $25$ are eigenvalues of $A^2$. Hence<br />
	\[\tr(A^2)=0+25=25.\]
<h3>Solution of (c) A $2\times 2$ matrix $A$ has $\det(A)=5$ and positive integer eigenvalues. What is the trace of $A$?</h3>
<p>	The product of eigenvalues of $A$ is the determinant $\det(A)=5$.<br />
	Since eigenvalues are positive integers, it follows that $1$ and $5$ are eigenvalues of $A$.<br />
	It follows that<br />
	\[\tr(A)=1+5=6.\]
<button class="simplefavorite-button has-count" data-postid="2768" data-siteid="1" data-groupid="1" data-favoritecount="71" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">71</span></button><p>The post <a href="https://yutsumura.com/trace-determinant-and-eigenvalue-harvard-university-exam-problem/" target="_blank">Trace, Determinant, and Eigenvalue (Harvard University Exam Problem)</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/trace-determinant-and-eigenvalue-harvard-university-exam-problem/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2768</post-id>	</item>
		<item>
		<title>If 2 by 2 Matrices Satisfy $A=AB-BA$, then $A^2$ is Zero Matrix</title>
		<link>https://yutsumura.com/if-2-by-2-matrices-satisfy-aab-ba-then-a2-is-zero-matrix/</link>
				<comments>https://yutsumura.com/if-2-by-2-matrices-satisfy-aab-ba-then-a2-is-zero-matrix/#respond</comments>
				<pubDate>Wed, 15 Mar 2017 16:06:00 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[Cayley-Hamilton theorem]]></category>
		<category><![CDATA[characteristic equation]]></category>
		<category><![CDATA[characteristic polynomial]]></category>
		<category><![CDATA[determinant]]></category>
		<category><![CDATA[determinant of a matrix]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[trace]]></category>
		<category><![CDATA[trace of a matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2440</guid>
				<description><![CDATA[<p>Let $A, B$ be complex $2\times 2$ matrices satisfying the relation \[A=AB-BA.\] Prove that $A^2=O$, where $O$ is the $2\times 2$ zero matrix. &#160; Hint. Find the trace of $A$. Use the Cayley-Hamilton theorem&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/if-2-by-2-matrices-satisfy-aab-ba-then-a2-is-zero-matrix/" target="_blank">If 2 by 2 Matrices Satisfy $A=AB-BA$, then $A^2$ is Zero Matrix</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 337</h2>
<p>		Let $A, B$ be complex $2\times 2$ matrices satisfying the relation<br />
		\[A=AB-BA.\]
<p>		Prove that $A^2=O$, where $O$ is the $2\times 2$ zero matrix.</p>
<p>&nbsp;<br />
<span id="more-2440"></span><br />

<h2>Hint.</h2>
<ol>
<li>Find the trace of $A$.</li>
<li>Use the Cayley-Hamilton theorem</li>
</ol>
<h2> Proof. </h2>
<p>			We first calculate the trace of the matrix $A$ as follows. We have<br />
			\begin{align*}<br />
	\tr(A)&#038;=\tr(AB-BA)\\<br />
	&#038;=\tr(AB)-\tr(BA)\\<br />
	&#038;=\tr(AB)-\tr(AB)=0.<br />
	\end{align*}</p>
<p>	Thus $\tr(A)=0$ and it follows from the Cayley-Hamilton theorem (see below) for the $2\times 2$ matrix $A$ that<br />
	\begin{align*}<br />
	O&#038;=A^2-\tr(A)A+\det(A)I\\<br />
	&#038;=A^2+\det(A)I,<br />
	\end{align*}<br />
	where $I$ is the $2\times 2$ identity matrix.</p>
<p>	Thus, we obtain<br />
	\[A^2=-\det(A)I. \tag{*}\]
<hr />
<p>	Next, we compute $A^2$ in two ways.<br />
	We have<br />
	\begin{align*}<br />
	A^2=A(AB-BA)=A^2B-ABA<br />
	\end{align*}<br />
	and<br />
	\begin{align*}<br />
	A^2=(AB-BA)A=ABA-BA^2.<br />
	\end{align*}<br />
	Adding these two, we have<br />
	\begin{align*}<br />
	2A^2&#038;=A^2B-BA^2\\<br />
	&#038; \stackrel{(*)}{=} (-\det(A)I)B-B(-\det(A)I)\\<br />
	&#038;=-\det(A)B+\det(A)B=O.<br />
	\end{align*}</p>
<p>	As a result, we obtain $A^2=O$. This completes the proof.</p>
<h2>The Cayley-Hamilton theorem for a $2\times 2$ matrix </h2>
<p>	Let us add the proof of the fact we used in the proof about the <strong>Cayley-Hamilton theorem</strong>.<br />
	Let $A=\begin{bmatrix}<br />
	  a &#038; b\\<br />
	  c&#038; d<br />
	\end{bmatrix}$ be a $2\times 2$ matrix.</p>
<p>	Then its characteristic polynomial is<br />
	\begin{align*}<br />
	p(x)&#038;=\det(A-xI)\\<br />
	&#038;=\begin{vmatrix}<br />
	  a-x &#038; b\\<br />
	  c&#038; d-x<br />
	\end{vmatrix}\\<br />
	&#038;=(a-x)(d-x)-bc\\<br />
	&#038;=x^2-(a+d)x+ad-bc\\<br />
	&#038;=x^2-\tr(A)x+\det(A),<br />
	\end{align*}<br />
	since $\tr(A)=a+d$ and $\det(A)=ad-bc$.</p>
<p>	The Cayley-Hamilton theorem says that the matrix $A$ satisfies its characteristic equation $p(x)=0$.<br />
	Namely we have<br />
	\[A^2-\tr(A)A+\det(A)I=O.\]
	This is the equality we used in the proof.</p>
<h2>Variation</h2>
<p>As a variation of this problem, consider the following problem.</p>
<p>Let $A, B$ be $2\times 2$ matrices satisfying $A=AB-BA$.<br />
Then prove that $\det(A)=0$.</p>
<button class="simplefavorite-button has-count" data-postid="2440" data-siteid="1" data-groupid="1" data-favoritecount="53" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">53</span></button><p>The post <a href="https://yutsumura.com/if-2-by-2-matrices-satisfy-aab-ba-then-a2-is-zero-matrix/" target="_blank">If 2 by 2 Matrices Satisfy $A=AB-BA$, then $A^2$ is Zero Matrix</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/if-2-by-2-matrices-satisfy-aab-ba-then-a2-is-zero-matrix/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2440</post-id>	</item>
		<item>
		<title>Matrix $XY-YX$ Never Be the Identity Matrix</title>
		<link>https://yutsumura.com/matrix-xy-yx-never-be-the-identity-matrix/</link>
				<comments>https://yutsumura.com/matrix-xy-yx-never-be-the-identity-matrix/#comments</comments>
				<pubDate>Wed, 18 Jan 2017 04:15:16 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[identity matrix]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[matrix]]></category>
		<category><![CDATA[trace]]></category>
		<category><![CDATA[trace of a matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=1981</guid>
				<description><![CDATA[<p>Let $I$ be the $n\times n$ identity matrix, where $n$ is a positive integer. Prove that there are no $n\times n$ matrices $X$ and $Y$ such that \[XY-YX=I.\] &#160; Hint. Suppose that such matrices&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/matrix-xy-yx-never-be-the-identity-matrix/" target="_blank">Matrix $XY-YX$ Never Be the Identity Matrix</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 261</h2>
<p>Let $I$ be the $n\times n$ identity matrix, where $n$ is a positive integer. Prove that there are no $n\times n$ matrices $X$ and $Y$ such that<br />
\[XY-YX=I.\]
&nbsp;<br />
<span id="more-1981"></span><br />

<h2>Hint.</h2>
<p>Suppose that such matrices exist and consider the trace of the matrix $XY-YX$.</p>
<p>Recall that the trace of a square matrix $A$ is the sum of the diagonal entries of $A$.</p>
<h2> Proof. </h2>
<p>We use the following basic properties of the trace of matrices.<br />
Let $A, B$ be $n\times n$ matrices and let $c$ be a scalar.</p>
<ol>
<li> $\tr(A+B)=\tr(A)+\tr(B)$.</li>
<li>$\tr(cA)=c\tr(A)$.</li>
<li>$\tr(AB)=\tr(BA)$.</li>
</ol>
<hr />
<p>Seeking a contradiction, we assume that there are matrices $X$ and $Y$ such that $XY-YX=I$.</p>
<p>Then we take the trace of both sides and obtain<br />
\begin{align*}<br />
n&#038;=\tr(I)\\<br />
&#038;=\tr(XY-YX)\\<br />
&#038;=\tr(XY)-\tr(YX) \qquad \text{ (by property (1), (2) of the trace)}\\<br />
&#038;=\tr(XY)-\tr(YX) \qquad \text{ (by property (3) of the trace)}\\<br />
&#038;=0.<br />
\end{align*}</p>
<p>Since $n$ is a positive integer, this is a contradiction.<br />
Therefore, such matrices $X, Y$ do not exist. </p>
<button class="simplefavorite-button has-count" data-postid="1981" data-siteid="1" data-groupid="1" data-favoritecount="32" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">32</span></button><p>The post <a href="https://yutsumura.com/matrix-xy-yx-never-be-the-identity-matrix/" target="_blank">Matrix $XY-YX$ Never Be the Identity Matrix</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/matrix-xy-yx-never-be-the-identity-matrix/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">1981</post-id>	</item>
		<item>
		<title>The Vector Space Consisting of All Traceless Diagonal Matrices</title>
		<link>https://yutsumura.com/the-vector-space-consisting-of-all-traceless-diagonal-matrices/</link>
				<comments>https://yutsumura.com/the-vector-space-consisting-of-all-traceless-diagonal-matrices/#respond</comments>
				<pubDate>Sun, 21 Aug 2016 03:23:08 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[basis]]></category>
		<category><![CDATA[diagonal matrix]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[matrix]]></category>
		<category><![CDATA[subspace]]></category>
		<category><![CDATA[subspace criteria]]></category>
		<category><![CDATA[system of linear equations]]></category>
		<category><![CDATA[trace]]></category>
		<category><![CDATA[trace of a matrix]]></category>
		<category><![CDATA[vector space]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=644</guid>
				<description><![CDATA[<p>Let $V$ be the set of all $n \times n$ diagonal matrices whose traces are zero. That is, \begin{equation*} V:=\left\{ A=\begin{bmatrix} a_{11} &#38; 0 &#38; \dots &#38; 0 \\ 0 &#38;a_{22} &#38; \dots &#38;&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/the-vector-space-consisting-of-all-traceless-diagonal-matrices/" target="_blank">The Vector Space Consisting of All Traceless Diagonal Matrices</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2>Problem 79</h2>
<p>Let $V$ be the set of all $n \times n$ diagonal matrices whose traces are zero.<br />
That is,</p>
<p>\begin{equation*}<br />
V:=\left\{ A=\begin{bmatrix}<br />
a_{11} &amp; 0 &amp; \dots &amp; 0 \\<br />
0 &amp;a_{22} &amp; \dots &amp; 0 \\<br />
0 &amp; 0 &amp; \ddots &amp; \vdots \\<br />
0 &amp; 0 &amp; \dots &amp; a_{nn}<br />
\end{bmatrix} \quad \middle| \quad<br />
\begin{array}{l}<br />
a_{11}, \dots, a_{nn} \in \C,\\<br />
\tr(A)=0 \\<br />
\end{array}<br />
\right\}<br />
\end{equation*}</p>
<p>Let $E_{ij}$ denote the $n \times n$ matrix whose $(i,j)$-entry is $1$ and zero elsewhere.</p>
<p><strong>(a)</strong> Show that $V$ is a subspace of the vector space $M_n$ over $\C$ of all $n\times n$ matrices. (You may assume without a proof that $M_n$ is a vector space.)</p>
<p><strong>(b)</strong> Show that matrices<br />
\[E_{11}-E_{22}, \, E_{22}-E_{33}, \, \dots,\, E_{n-1\, n-1}-E_{nn}\]
are a basis for the vector space $V$.</p>
<p><strong>(c)</strong> Find the dimension of $V$.<br />
<span id="more-644"></span><br />

<h2>Hint (Subspace Criteria)</h2>
<p>For (a), use the criteria for a subset to be a subspace.</p>
<ol>
<li>The zero vector $\mathbf{0} \in M_n$ is in $V$.</li>
<li>For $\mathbf{u}, \mathbf{v}\in V$, the sum $\mathbf{u}+\mathbf{v}\in V$.</li>
<li>For $\mathbf{v}\in V, c\in \C$, the scalar product $c\mathbf{v}\in V$.</li>
</ol>
<h2>Proof.</h2>
<h3>(a) $V$ is a subspace of the vector space $M_n$ over $\C$ </h3>
<p> We check the following criteria for a subset to be a subspace.</p>
<ol>
<li>The zero vector $\mathbf{0} \in M_n$ is in $V$.</li>
<li>For $\mathbf{u}, \mathbf{v}\in V$, the sum $\mathbf{u}+\mathbf{v}\in V$.</li>
<li>For $\mathbf{v}\in V, c\in \C$, the scalar product $c\mathbf{v}\in V$.</li>
</ol>
<hr />
<p>For (1), note that the zero vector $\mathbf{0}\in M_n$ is the $n \times n$ zero matrix. Thus it is clearly in $V$.</p>
<hr />
<p>To check (2), take $\mathbf{u}, \mathbf{v}\in V$. Then $\mathbf{u}, \mathbf{v}$ are diagonal matrices and $\tr(\mathbf{u})=0$, $\tr(\mathbf{v})=0$.<br />
Thus the sum $\mathbf{u}+\mathbf{v}$ is a diagonal matrix and the trace is<br />
\[\tr(\mathbf{u}+\mathbf{v})=\tr(\mathbf{u})+\tr(\mathbf{v})=0+0=0.\]
Hence the sum $\mathbf{u}+\mathbf{v} \in V$.</p>
<hr />
<p>Finally, to prove (3) we take $\mathbf{v}\in V, c\in \C$.<br />
Then $\mathbf{v}$ is a diagonal matrix and $\tr(\mathbf{v})=0$.<br />
Thus $c\mathbf{v}$ is also a diagonal matrix and the trace is<br />
\[\tr(c\mathbf{v})=c\tr(\mathbf{v})=c\cdot 0=0.\]
Hence $c\mathbf{v} \in V$.<br />
Therefore the subspace criteria (1)-(3) hold. Thus $V$ is a subspace of the vector space $M_n$.</p>
<h3>(b) A basis for the vector space $V$. </h3>
<p>Note that for each $1 \leq i \leq n-1$, the matrix $E_{ii}-E_{i+1\, i+1}$ is a diagonal matrix and the trace is<br />
\[\tr(E_{ii}-E_{i+1\, i+1})=\tr(E_{ii})-\tr(E_{i+1\,i+1})=1-1=0.\]
Hence the matrix $E_{ii}-E_{i+1\, i+1} \in V$.</p>
<p>We show that the matrices $E_{ii}-E_{i+1\, i+1}$ span $V$.<br />
Let $A=(a_{ij})\in V$. We want to solve the following linear combination.<br />
\begin{align*}<br />
A=c_1(E_{11}-E_{22})+c_2(E_{22}-E_{33})+\cdots+c_{n-1}( E_{n-1\, n-1}-E_{nn}).<br />
\end{align*}<br />
Rearranging this, we obtain<br />
\begin{align*}<br />
A=c_1E_{11}+(c_2-c_1)E_{22}+\cdots+(c_{n-1}-c_{n-2}) E_{n-1\, n-1}-c_{n-1}E_{nn}.<br />
\end{align*}</p>
<hr />
<p>Namely, in the matrix form we have<br />
\[\begin{bmatrix}<br />
a_{11} &amp; 0 &amp; \dots &amp; 0 \\<br />
0 &amp;a_{22} &amp; \dots &amp; 0 \\<br />
\vdots &amp; \ddots &amp; \ddots &amp; \ddots \\<br />
0 &amp; 0 &amp; \dots &amp; a_{nn}<br />
\end{bmatrix}<br />
=<br />
\begin{bmatrix}<br />
c_1 &amp; 0 &amp; \dots &amp; \dots &amp;0 \\<br />
0 &amp; c_2-c_1 &amp; \dots &amp; \dots &amp; 0 \\<br />
\vdots &amp; \ddots &amp; \ddots &amp; \ddots &amp; \vdots \\<br />
0 &amp; \dots &amp; 0 &amp; c_{n-1}-c_{n-2} &amp; 0 \\<br />
0 &amp; \dots &amp; \dots &amp; 0 &amp; -c_{n-1}<br />
\end{bmatrix}.\]
Comparing entries, we have the system of $n$ equations in $n-1$ unknowns $c_1,\dots, c_{n-1}$<br />
\begin{align*}<br />
a_{11}&amp;=c_1\\<br />
a_{22}&amp;=c_2-c_1\\<br />
a_{33}&amp;=c_3-c_2\\<br />
\vdots\\<br />
a_{n-1 n-1}&amp;=c_{n-1}-c_{n-2}\\<br />
a_{nn}&amp;=-c_{n-1}.<br />
\end{align*}</p>
<hr />
<p>We solve this system as follows.<br />
The matrix form of this system is<br />
\[\begin{bmatrix}<br />
1 &amp; &amp; &amp; &amp; \\<br />
-1 &amp; 1 &amp; &amp; &amp; \\<br />
&amp; -1 &amp; 1 &amp; &amp; \\<br />
&amp; &amp; \ddots &amp; \ddots &amp; \\<br />
&amp; &amp; &amp; -1&amp; 1\\<br />
&amp; &amp; &amp; &amp; -1<br />
\end{bmatrix}\begin{bmatrix}<br />
c_1 \\<br />
c_2 \\<br />
\vdots \\<br />
c_{n-1}<br />
\end{bmatrix}=\begin{bmatrix}<br />
a_{11} \\<br />
a_{22} \\<br />
\vdots \\<br />
a_{nn}<br />
\end{bmatrix}.\]
(The empty entries are all zero.)</p>
<hr />
<p>The augmented matrix is<br />
\[\left[\begin{array}{rrrrr|r}<br />
1 &amp; &amp; &amp; &amp; &amp; a_{11}\\<br />
-1 &amp; 1 &amp; &amp; &amp; &amp;a_{22} \\<br />
&amp; -1 &amp; 1 &amp; &amp; &amp;a_{33}\\<br />
&amp; &amp; \ddots &amp; \ddots &amp; &amp; \vdots \\<br />
&amp; &amp; &amp; -1&amp; 1 &amp;a_{n-1 n-1}\\<br />
&amp; &amp; &amp; &amp; -1 &amp;a_{n n}<br />
\end{array} \right].\]
Then we reduce this matrix as follows.<br />
Add the first row to the second row, then add the second row to the third row.<br />
Repeating this process we get<br />
\[\left[\begin{array}{rrrrr|r}<br />
1 &amp; &amp; &amp; &amp; &amp; a_{11}\\<br />
&amp; 1 &amp; &amp; &amp; &amp;a_{11}+a_{22} \\<br />
&amp; &amp; 1 &amp; &amp; &amp;a_{11}+a_{22}+a_{33}\\<br />
&amp; &amp; \ddots &amp; \ddots &amp; &amp; \vdots \\<br />
&amp; &amp; &amp; &amp; 1 &amp;a_{11}+a_{22}+\dots +a_{n-1 n-1}\\<br />
&amp; &amp; &amp; &amp; 0 &amp;a_{11}+a_{22}+\dots +a_{n n}<br />
\end{array} \right].\]
<hr />
<p>Note that since $A \in V$, $\tr(A)=a_{11}+a_{22}+\cdots a_{nn}=0$, thus the right-bottom entry ($(n,n)$-entry) of the augmented matrix is $0$, hence the system is consistent and it has the unique solution<br />
\begin{align*}<br />
c_{1} &amp;= a_{11} \\<br />
c_{2} &amp;=a_{11}+a_{22}\\<br />
c_3 &amp;=a_{11}+a_{22}+a_{33}\\<br />
\vdots \\<br />
c_{n-1}&amp;=a_{11}+a_{22}+\cdots+a_{n-1 n-1}.\tag{*}<br />
\end{align*}<br />
Therefore the matrices $E_{11}-E_{22}, \, E_{22}-E_{33}, \, \dots,\, E_{n-1\, n-1}-E_{nn}$ span $V$.</p>
<hr />
<p>To show that these matrices are linearly independent, we can reuse the above computation.<br />
Suppose we have a linear combination<br />
\[\mathbf{0}=c_1(E_{11}-E_{22})+c_2(E_{22}-E_{33})+\cdots+c_{n-1}( E_{n-1\, n-1}-E_{nn}).\]
Here $\mathbf{0}$ is the $n \times n$ zero matrix.<br />
Since $a_{ii}=0$ in the above computation, we see from (*) that $c_1=c_2=\dots=c_{n-1}=0$, hence the matrices $E_{ii}-E_{i+1 i+1}$ are linearly independent.<br />
Therefore those matrices are a basis of $V$.</p>
<h3>(c) The dimension of $V$.</h3>
<p>From part (b), the $n-1$ matrices<br />
\[E_{11}-E_{22}, \, E_{22}-E_{33}, \, \dots,\, E_{n-1\, n-1}-E_{nn}\]
are a basis of $V$. Thus the dimension of $V$ is $n-1$.</p>
<button class="simplefavorite-button has-count" data-postid="644" data-siteid="1" data-groupid="1" data-favoritecount="9" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">9</span></button><p>The post <a href="https://yutsumura.com/the-vector-space-consisting-of-all-traceless-diagonal-matrices/" target="_blank">The Vector Space Consisting of All Traceless Diagonal Matrices</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/the-vector-space-consisting-of-all-traceless-diagonal-matrices/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">644</post-id>	</item>
		<item>
		<title>Determinant/Trace and Eigenvalues of a Matrix</title>
		<link>https://yutsumura.com/determinant-trace-and-eigenvalues-of-a-matrix/</link>
				<comments>https://yutsumura.com/determinant-trace-and-eigenvalues-of-a-matrix/#comments</comments>
				<pubDate>Fri, 22 Jul 2016 06:15:00 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[characteristic polynomial]]></category>
		<category><![CDATA[determinant]]></category>
		<category><![CDATA[eigenvalue]]></category>
		<category><![CDATA[Jordan canonical form]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[matrix]]></category>
		<category><![CDATA[trace]]></category>
		<category><![CDATA[triangularizable matrix]]></category>
		<category><![CDATA[upper triangular matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=81</guid>
				<description><![CDATA[<p>Let $A$ be an $n\times n$ matrix and let $\lambda_1, \dots, \lambda_n$ be its eigenvalues. Show that (1) $$\det(A)=\prod_{i=1}^n \lambda_i$$ (2) $$\tr(A)=\sum_{i=1}^n \lambda_i$$ Here $\det(A)$ is the determinant of the matrix $A$ and $\tr(A)$&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/determinant-trace-and-eigenvalues-of-a-matrix/" target="_blank">Determinant/Trace and Eigenvalues of a Matrix</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 9</h2>
<p>Let $A$ be an $n\times n$ matrix and let $\lambda_1, \dots, \lambda_n$ be its eigenvalues.<br />
Show that</p>
<p><strong>(1) </strong> $$\det(A)=\prod_{i=1}^n \lambda_i$$</p>
<p><strong>(2)</strong> $$\tr(A)=\sum_{i=1}^n \lambda_i$$</p>
<p>Here $\det(A)$ is the determinant of the matrix $A$ and $\tr(A)$ is the trace of the matrix $A$.</p>
<p>Namely, prove that (1) the determinant of $A$ is the product of its eigenvalues, and (2) the trace of $A$ is the sum of the eigenvalues.<br />
<span id="more-81"></span>We give two different proofs.</p>
<h2> Plan 1. </h2>
<ol>
<li>Use the definition of eigenvalues (the characteristic polynomial).</li>
<li>Compare coefficients.</li>
</ol>
<h2> Plan 2. </h2>
<ol>
<li>Make $A$ upper triangular matrix or in the Jordan normal/canonical form.</li>
<li>Use the property of determinants and traces.</li>
</ol>
<h2> Proof. [Method 1]</h2>
<p><strong>(1)</strong> Recall that eigenvalues are roots of the characteristic polynomial $p(\lambda)=\det(A-\lambda I_n)$.<br />
It follows that we have<br />
\begin{align*}<br />
&amp;\det(A-\lambda I_n) \\<br />
&amp;=\begin{vmatrix}<br />
a_{1 1}- \lambda &amp; a_{1 2} &amp; \cdots &amp; a_{1,n} \\<br />
a_{2 1} &amp; a_{2 2} -\lambda &amp; \cdots &amp; a_{2,n} \\<br />
\vdots &amp; \vdots &amp; \ddots &amp; \vdots \\<br />
a_{n 1} &amp; a_{m 2} &amp; \cdots &amp; a_{n n}-\lambda<br />
\end{vmatrix} =\prod_{i=1}^n (\lambda_i-\lambda). \tag{*}<br />
\end{align*}</p>
<p>Letting $\lambda=0$, we see that $\det(A)=\prod_{i=1}^n \lambda_i$ and this completes the proof of part (a).</p>
<hr />
<p><strong>(2)</strong> Compare the coefficients of $\lambda^{n-1}$ of the both sides of (*).<br />
The coefficient of $\lambda^{n-1}$ of the determinant on the left side of (*) is</p>
<p>$$(-1)^{n-1}(a_{11}+a_{22}+\cdots a_{n n})=(-1)^{n-1}\tr(A).$$<br />
The coefficient of $\lambda^{n-1}$ of the determinant on the right side of (*) is<br />
$$(-1)^{n-1}\sum_{i=1}^n \lambda_i.$$<br />
Thus we have $\tr(A)=\sum_{i=1}^n \lambda_i$.</p>
<h2> Proof. [Method 2]</h2>
<p>Observe that there exists an $n \times n$ invertible matrix $P$ such that<br />
\[P^{-1} A P= \begin{bmatrix}<br />
\lambda_1 &amp; * &amp; \cdots &amp; * \\<br />
0 &amp; \lambda_2 &amp; \cdots &amp; * \\<br />
\vdots &amp; \vdots &amp; \ddots &amp; \vdots \\<br />
0 &amp; 0 &amp; \cdots &amp; \lambda_n \tag{**}<br />
\end{bmatrix}.<br />
\]
This is an upper triangular matrix and diagonal entries are eigenvalues.<br />
(If this is not familiar to you, then study a &#8220;triangularizable matrix&#8221; or &#8220;Jordan normal/canonical form&#8221;.)</p>
<p><strong>(1)</strong> Since the determinant of an upper triangular matrix is the product of diagonal entries, we have<br />
\begin{align*}<br />
\prod_{i=1}^n \lambda_i &amp; =\det(P^{-1} A P)=\det(P^{-1}) \det(A) \det(P) \\<br />
&amp;= \det(P)^{-1}\det(A) \det(P)=\det(A),<br />
\end{align*}<br />
where we used the multiplicative property of the determinant.</p>
<hr />
<p><strong>(2)</strong> We take the trace of both sides of (**) and get<br />
\begin{align*}<br />
\sum_{i=1}^n \lambda_i =\tr(P^{-1}AP) =\tr(A).<br />
\end{align*}<br />
(Here for the last equality we used the property of the trace that $\tr(AB)=\tr(BA)$ for any $n\times n$ matrices $A$ and $B$.)<br />
Thus we obtained the result $\tr(A)=\sum_{i=1}^n \lambda_i$.</p>
<h2>Comment.</h2>
<p>The proof of (1) in the first method is simple, but that of (2) requires a bit observation, especially when we find the coefficient of the left-hand side.</p>
<p>The proof of (2) in the second method is simpler although you need to know about the Jordan normal/canonical form.</p>
<p>These two formulas relate the determinant and the trace, and the eigenvalue of a matrix in a very simple way.</p>
<button class="simplefavorite-button has-count" data-postid="81" data-siteid="1" data-groupid="1" data-favoritecount="34" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">34</span></button><p>The post <a href="https://yutsumura.com/determinant-trace-and-eigenvalues-of-a-matrix/" target="_blank">Determinant/Trace and Eigenvalues of a Matrix</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/determinant-trace-and-eigenvalues-of-a-matrix/feed/</wfw:commentRss>
		<slash:comments>7</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">81</post-id>	</item>
	</channel>
</rss>
