<?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>conjugate transpose &#8211; Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/conjugate-transpose/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Sun, 19 Nov 2017 01:46:53 +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>conjugate transpose &#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>Normal Nilpotent Matrix is Zero Matrix</title>
		<link>https://yutsumura.com/normal-nilpotent-matrix-is-zero-matrix/</link>
				<comments>https://yutsumura.com/normal-nilpotent-matrix-is-zero-matrix/#respond</comments>
				<pubDate>Wed, 15 Mar 2017 06:11:34 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[conjugate transpose]]></category>
		<category><![CDATA[diagonal matrix]]></category>
		<category><![CDATA[diagonalizable matrix]]></category>
		<category><![CDATA[diagonalization]]></category>
		<category><![CDATA[eigenvalue]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[nilpotent matrix]]></category>
		<category><![CDATA[normal matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2435</guid>
				<description><![CDATA[<p>A complex square ($n\times n$) matrix $A$ is called normal if \[A^* A=A A^*,\] where $A^*$ denotes the conjugate transpose of $A$, that is $A^*=\bar{A}^{\trans}$. A matrix $A$ is said to be nilpotent if&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/normal-nilpotent-matrix-is-zero-matrix/" target="_blank">Normal Nilpotent Matrix 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 336</h2>
<p>A complex square ($n\times n$) matrix $A$ is called <strong>normal</strong> if<br />
		 \[A^* A=A A^*,\]
		where $A^*$ denotes the conjugate transpose of $A$, that is $A^*=\bar{A}^{\trans}$.<br />
		A matrix $A$ is said to be <strong><a href="//yutsumura.com/tag/nilpotent-matrix/" target="_blank">nilpotent</a></strong> if there exists a positive integer $k$ such that $A^k$ is the zero matrix.</p>
<p><strong>(a)</strong> Prove that if $A$ is both normal and nilpotent, then $A$ is the zero matrix.<br />
		You may use the fact that every normal matrix is diagonalizable.</p>
<p><strong>(b)</strong> Give a proof of (a) without referring to eigenvalues and diagonalization.</p>
<p><strong>(c)</strong> Let $A, B$ be $n\times n$ complex matrices. Prove that if $A$ is normal and $B$ is nilpotent such that $A+B=I$, then $A=I$, where $I$ is the $n\times n$ identity matrix.</p>
<p>&nbsp;<br />
<span id="more-2435"></span><br />

<h2> Proof. </h2>
<h3>(a) If $A$ is normal and nilpotent, then $A=O$</h3>
<p>Since $A$ is normal, it is diagonalizable. Thus there exists an invertible matrix $P$ such that $P^{-1}AP=D$, where $D$ is a diagonal matrix whose diagonal entries are eigenvalues of $A$. </p>
<p>Since $A$ is nilpotent, all the eigenvalues of $A$ are $0$. (See the post &#8220;<a href="//yutsumura.com/nilpotent-matrix-and-eigenvalues-of-the-matrix/" target="_blank">Nilpotent matrix and eigenvalues of the matrix</a>&#8221; for the proof.)<br />
		Hence the diagonal entries of $D$ are zero, and we have $D=O$, the zero matrix.</p>
<p>		It follows that we have<br />
		\begin{align*}<br />
	A=PDP^{-1}=POP^{-1}=O.<br />
	\end{align*}<br />
	Therefore, every normal nilpotent matrix must be a zero matrix.</p>
<h3>(b) Give a proof of (a) without referring to eigenvalues and diagonalization.</h3>
<p> Since $A$ is nilpotent, there exists a positive integer $k$ such that $A^k=O$.<br />
	We prove by induction on $k$ that $A=O$.<br />
	The base case $k=1$ is trivial.</p>
<hr />
<p>	Suppose $k>1$ and the case $k-1$ holds. Let $B=A^{k-1}$. Note that since $A$ is normal, the matrix $B$ is also normal.<br />
	For any vector $x \in \C^n$, we compute the length of the vector $B^*Bx$ as follows.<br />
	\begin{align*}<br />
	&#038;\|B^*Bx\|=(B^*Bx)^*(B^*Bx) &#038;&#038; \text{by definition of the length}\\<br />
	&#038;=x^*B^*(BB^*)Bx\\<br />
	&#038;=x^*B^*(B^*B)Bx &#038;&#038; \text{since $B$ is normal}\\<br />
	&#038;=x^* (B^*)^2B^2x,<br />
	\end{align*}<br />
	and the last expression is $O$ since $B^2=A^{2k-2}=O$ as $k \geq 2$ implies $2k-2 \geq k$.<br />
	Hence we have $B^*Bx=\mathbf{0}$ for every $x\in \C^n$.</p>
<hr />
<p>	This yields that<br />
	\begin{align*}<br />
	\|Bx\|&#038;=(Bx)^*(Bx)\\<br />
	&#038;=x^*B^*Bx=0,<br />
	\end{align*}<br />
	for every $x\in \C^n$, and hence $B=O$.</p>
<p>	By the induction hypothesis, $A^{k-1}=O$ implies $A=O$, and the induction is completed.<br />
	So the matrix $A$ must be the zero matrix.</p>
<h3>(c) If $A$ is normal and $B$ is nilpotent such that $A+B=I$, then $A=I$</h3>
<p> We claim that the matrix $B$ is normal as well. If this claim is proved, then part (a) yields that $B=O$ since $B$ is a nilpotent normal matrix, which implies the result $A=I$.</p>
<p>	To prove the claim, we compute<br />
	\begin{align*}<br />
	B^* B&#038;=(I-A)^* (I-A)\\<br />
	&#038;=(I-A^*)(I-A)\\<br />
	&#038;=I-A-A^*+A^*A,<br />
	\end{align*}<br />
	and<br />
	\begin{align*}<br />
	B B^*&#038;=(I-A) (I-A)^*\\<br />
	&#038;=(I-A)(I-A^*)\\<br />
	&#038;=I-A^*-A+AA^*\\<br />
	&#038;=I-A^*-A+A^*A \qquad \text{ since $A$ is normal.}<br />
	\end{align*}<br />
	It follows that we have $B^* B=BB^*$, and thus $B$ is normal.<br />
	Hence, the claim is proved.</p>
<button class="simplefavorite-button has-count" data-postid="2435" data-siteid="1" data-groupid="1" data-favoritecount="25" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">25</span></button><p>The post <a href="https://yutsumura.com/normal-nilpotent-matrix-is-zero-matrix/" target="_blank">Normal Nilpotent Matrix 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/normal-nilpotent-matrix-is-zero-matrix/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2435</post-id>	</item>
	</channel>
</rss>
