<?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>common eigenvalues &#8211; Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/common-eigenvalues/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Wed, 18 Oct 2017 04:07:55 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>
	hourly	</sy:updatePeriod>
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<generator>https://wordpress.org/?v=5.3.6</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>common eigenvalues &#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>Commuting Matrices $AB=BA$ such that $A-B$ is Nilpotent Have the Same Eigenvalues</title>
		<link>https://yutsumura.com/commuting-matrices-abba-such-that-a-b-is-nilpotent-have-the-same-eigenvalues/</link>
				<comments>https://yutsumura.com/commuting-matrices-abba-such-that-a-b-is-nilpotent-have-the-same-eigenvalues/#respond</comments>
				<pubDate>Wed, 18 Oct 2017 04:07:55 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[binomial expansion]]></category>
		<category><![CDATA[binomial theorem]]></category>
		<category><![CDATA[common eigenvalues]]></category>
		<category><![CDATA[eigenvalues]]></category>
		<category><![CDATA[eigenvector]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[nilpotent matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=5121</guid>
				<description><![CDATA[<p>Let $A$ and $B$ be square matrices such that they commute each other: $AB=BA$. Assume that $A-B$ is a nilpotent matrix. Then prove that the eigenvalues of $A$ and $B$ are the same. &#160;&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/commuting-matrices-abba-such-that-a-b-is-nilpotent-have-the-same-eigenvalues/" target="_blank">Commuting Matrices $AB=BA$ such that $A-B$ is Nilpotent Have the Same Eigenvalues</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 587</h2>
<p>		Let $A$ and $B$ be square matrices such that they commute each other: $AB=BA$.<br />
		Assume that $A-B$ is a nilpotent matrix.</p>
<p>		Then prove that the eigenvalues of $A$ and $B$ are the same.</p>
<p>&nbsp;<br />
<span id="more-5121"></span></p>
<h2> Proof. </h2>
<p>			Let $N:=A-B$. By assumption, the matrix $N$ is nilpotent.<br />
			This means that there exists a positive integer $n$ such that $N^n$ is the zero matrix $O$.</p>
<p>			Let $\lambda$ be an eigenvalue of $B$ and let $\mathbf{v}$ be an eigenvector corresponding to $\lambda$. That is, we have $B\mathbf{v}=\lambda \mathbf{v}$ and $\mathbf{v}\neq \mathbf{0}$.<br />
			We prove that $\lambda$ is also an eigenvalue of $A$.</p>
<hr />
<p>			Note that since $A$ and $B$ commute each other, it follows that the matrices $N$ and $B-\lambda I$ commute each other as well.<br />
			Then we compute<br />
			\begin{align*}<br />
		(A-\lambda I)^n&#038;=(N+B-\lambda I)^n\\<br />
		&#038;=\sum_{i=0}^n \begin{pmatrix}<br />
		  n \\<br />
		  i<br />
		\end{pmatrix}<br />
		N^i(B-\lambda I)^{n-i},<br />
		\end{align*}<br />
		where the second equality follows by the binomial expansion. (Note that the binomial expansion is true for matrices commuting each other.)<br />
		Then we have<br />
		\begin{align*}<br />
		(A-\lambda I)^n \mathbf{v}&#038;=\sum_{i=0}^{n-1} \begin{pmatrix}<br />
		  n \\<br />
		  i<br />
		\end{pmatrix}<br />
		N^i(B-\lambda I)^{n-i}\mathbf{v}+N^n\mathbf{v}=\mathbf{0}<br />
		\end{align*}<br />
		since $(B-\lambda I)\mathbf{v}=\mathbf{0}$ and $N^n=O$.</p>
<hr />
<p>		This implies that there exists an integer $k$, $0\leq k \leq n-1$ such that<br />
		\[\mathbf{u}:=(A-\lambda I)^k\mathbf{v}\neq \mathbf{0} \text{ and } (A-\lambda I)^{k+1}\mathbf{v}=\mathbf{0}.\]
<p>			It yields that $(A-\lambda I)\mathbf{u}=\mathbf{0}$ and $\mathbf{u}\neq \mathbf{0}$, or equivalently $A\mathbf{u}=\lambda \mathbf{u}$.<br />
			Hence $\lambda$ is an eigenvalue of $A$.</p>
<hr />
<p>			This proves that each eigenvalue of $B$ is an eigenvalue of $A$.<br />
			Note that if $A-B$ is nilpotent, then $B-A$ is also nilpotent.<br />
			Thus, switching the roles of $A$ and $B$, we also see that each eigenvalue of $A$ is an eigenvalue of $B$.<br />
			Therefore, the eigenvalues of $A$ and $B$ are the same.</p>
<button class="simplefavorite-button has-count" data-postid="5121" data-siteid="1" data-groupid="1" data-favoritecount="33" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">33</span></button><p>The post <a href="https://yutsumura.com/commuting-matrices-abba-such-that-a-b-is-nilpotent-have-the-same-eigenvalues/" target="_blank">Commuting Matrices $AB=BA$ such that $A-B$ is Nilpotent Have the Same Eigenvalues</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/commuting-matrices-abba-such-that-a-b-is-nilpotent-have-the-same-eigenvalues/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">5121</post-id>	</item>
	</channel>
</rss>
