<?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>U.Tokyo &#8211; Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/u-tokyo/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Fri, 17 Nov 2017 05:33:43 +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>U.Tokyo &#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>Idempotent Matrices. 2007 University of Tokyo Entrance Exam Problem</title>
		<link>https://yutsumura.com/idempotent-matrices-2007-university-of-tokyo-entrance-exam-problem/</link>
				<comments>https://yutsumura.com/idempotent-matrices-2007-university-of-tokyo-entrance-exam-problem/#respond</comments>
				<pubDate>Fri, 20 Jan 2017 00:52:35 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[determinant]]></category>
		<category><![CDATA[entrance exam]]></category>
		<category><![CDATA[exam]]></category>
		<category><![CDATA[high school]]></category>
		<category><![CDATA[idempotent]]></category>
		<category><![CDATA[idempotent matrix]]></category>
		<category><![CDATA[invertible matrix]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[matrix]]></category>
		<category><![CDATA[U.Tokyo]]></category>
		<category><![CDATA[U.Tokyo.LA]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2004</guid>
				<description><![CDATA[<p>For a real number $a$, consider $2\times 2$ matrices $A, P, Q$ satisfying the following five conditions. $A=aP+(a+1)Q$ $P^2=P$ $Q^2=Q$ $PQ=O$ $QP=O$, where $O$ is the $2\times 2$ zero matrix. Then do the following&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/idempotent-matrices-2007-university-of-tokyo-entrance-exam-problem/" target="_blank">Idempotent Matrices. 2007 University of Tokyo Entrance Exam Problem</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 265</h2>
<p>For a real number $a$, consider $2\times 2$ matrices $A, P, Q$ satisfying the following five conditions.</p>
<ol>
<li>$A=aP+(a+1)Q$</li>
<li> $P^2=P$</li>
<li>$Q^2=Q$</li>
<li>$PQ=O$</li>
<li>$QP=O$,</li>
</ol>
<p>where $O$ is the $2\times 2$ zero matrix.<br />
Then do the following problems.</p>
<hr />
<p><strong>(a)</strong> Prove that $(P+Q)A=A$.</p>
<hr />
<p><strong>(b)</strong> Suppose $a$ is a positive real number and let<br />
\[ A=\begin{bmatrix}<br />
  a &#038; 0\\<br />
  1&#038; a+1<br />
\end{bmatrix}.\]
Then find all matrices $P, Q$ satisfying conditions (1)-(5).</p>
<hr />
<p><strong>(c)</strong> Let $n$ be an integer greater than $1$. For any integer $k$, $2\leq k \leq n$, we define the matrix<br />
\[A_k=\begin{bmatrix}<br />
  k &#038; 0\\<br />
  1&#038; k+1<br />
\end{bmatrix}.\]
Then calculate and simplify the matrix product<br />
\[A_nA_{n-1}A_{n-2}\cdots A_2.\]
<p>(<em>Tokyo University Entrance Exam 2007</em>)<br />
&nbsp;<br />
<span id="more-2004"></span><br />

<h2>Solution.</h2>
<h3>(a) Prove that $(P+Q)A=A$.</h3>
<p>	 We have<br />
	\begin{align*}<br />
(P+Q)A&#038;\stackrel{(1)}{=} (P+Q)(aP+(a+1)Q)\\<br />
&#038;=aP^2+(a+1)PQ+aQP+(a+1)Q^2\\<br />
&#038;=aP+(a+1)O+aO+(a+1)Q \\<br />
&#038;\text{[ by (2), (3), (4), (5)]}\\<br />
&#038;=aP+(a+1)Q\stackrel{(1)}{=}A.<br />
\end{align*}<br />
Hence, we obtain<br />
\[(P+Q)A=A\]
as required.</p>
<h3>(b) Find all matrices $P, Q$</h3>
<p> Note that the matrix $A=\begin{bmatrix}<br />
  a &#038; 0\\<br />
  1&#038; a+1<br />
\end{bmatrix}$ is invertible since the determinant<br />
\[\det(A)=\begin{vmatrix}<br />
  a &#038; 0\\<br />
  1&#038; a+1<br />
\end{vmatrix}=a(a+1)\neq 0.\]
By part (a), we know $(P+Q)A=A$.<br />
Multiplying this by $A^{-1}$ from the right, we have<br />
\[P+Q=I,\]
where $I$ is the $2\times 2$ identity matrix.<br />
Substituting $Q=I-P$ into the equality $A=aP+(a+1)Q$ of (1), we have<br />
\begin{align*}<br />
A&#038;=aP+(a+1)(I-P)\\<br />
&#038;=(a+1)I-P.<br />
\end{align*}</p>
<p>Thus, we have<br />
\begin{align*}<br />
P&#038;=(a+1)I-A\\[6pt]
&#038;=\begin{bmatrix}<br />
  a+1 &#038; 0\\<br />
  0&#038; a+1<br />
\end{bmatrix}-\begin{bmatrix}<br />
  a &#038; 0\\<br />
  1&#038; a+1<br />
\end{bmatrix}\\[6pt]
&#038;=\begin{bmatrix}<br />
  1 &#038; 0\\<br />
  -1&#038; 0<br />
\end{bmatrix},<br />
\end{align*}<br />
and thus<br />
\begin{align*}<br />
Q&#038;=I-P\\[6pt]
&#038;=\begin{bmatrix}<br />
  1 &#038; 0\\<br />
  0&#038; 1<br />
\end{bmatrix}-\begin{bmatrix}<br />
  1 &#038; 0\\<br />
  -1&#038; 0<br />
\end{bmatrix}\\[6pt]
&#038;=\begin{bmatrix}<br />
  0 &#038; 0\\<br />
  1&#038; 1<br />
\end{bmatrix}.<br />
\end{align*}<br />
It is straightforward to check that the matrices<br />
\[P=\begin{bmatrix}<br />
  1 &#038; 0\\<br />
  -1&#038; 0<br />
\end{bmatrix} \text{ and } Q=\begin{bmatrix}<br />
  0 &#038; 0\\<br />
  1&#038; 1<br />
\end{bmatrix}\]
satisfy conditions (1)-(5).<br />
Hence these are the only matrices satisfying conditions (1)-(5).</p>
<h3>(c) Calculate and simplify the matrix product $A_nA_{n-1}A_{n-2}\cdots A_2$</h3>
<p> In part (2), we showed that for any positive integer $k$<br />
\[ A_k=kP+(k+1)Q,\]
where<br />
\[P=\begin{bmatrix}<br />
  1 &#038; 0\\<br />
  -1&#038; 0<br />
\end{bmatrix} \text{ and } Q=\begin{bmatrix}<br />
  0 &#038; 0\\<br />
  1&#038; 1<br />
\end{bmatrix}.\]
(We just applied the result of (b) with $a=k$.)</p>
<p>Thus we have<br />
\begin{align*}<br />
&#038;A_n A_{n-1} \cdots A_2 \\<br />
&#038;=\left(nP+(n+1)Q\right) \left((n-1)P+nQ\right)\cdots \left (2P+3Q\right)\\[6pt]
&#038;=n! P+\frac{(n+1)!}{2} Q<br />
\end{align*}<br />
We used conditions (4) and (5) in the second equality.<br />
Using the explicit matrices for $P$ and $Q$, we have<br />
\begin{align*}<br />
&#038;n! P+\frac{(n+1)!}{2} Q\\[6pt]
&#038;=n!\begin{bmatrix}<br />
  1 &#038; 0\\<br />
  -1&#038; 0<br />
\end{bmatrix}+\frac{(n+1)!}{2}\begin{bmatrix}<br />
  0 &#038; 0\\<br />
  1&#038; 1<br />
\end{bmatrix}\\[6pt]
&#038;=\begin{bmatrix}<br />
  n! &#038; 0\\<br />
  -n!+\frac{(n+1)!}{2}&#038; \frac{(n+1)!}{2}<br />
\end{bmatrix}\\[6pt]
&#038;=\begin{bmatrix}<br />
  n! &#038; 0\\<br />
  n!\frac{n-1}{2}&#038; \frac{(n+1)!}{2}<br />
\end{bmatrix}.<br />
\end{align*}</p>
<p>Note that in the last step, we computed<br />
\begin{align*}<br />
&#038;-n!+\frac{(n+1)!}{2}=-n!+\frac{(n+1)n!}{2}\\[6pt]
&#038;=n!(-1+\frac{n+1}{2})\\[6pt]
&#038;=n!\frac{n-1}{2}.<br />
\end{align*}</p>
<p>In conclusion, we have obtained<br />
\[A_n A_{n-1} \cdots A_2 =\begin{bmatrix}<br />
  n! &#038; 0\\<br />
  n!\frac{n-1}{2}&#038; \frac{(n+1)!}{2}<br />
\end{bmatrix}.\]
<h2>Comment.</h2>
<p>Another way to solve (c) is that one first guesses the formula we obtained and prove it by mathematical induction.</p>
<button class="simplefavorite-button has-count" data-postid="2004" data-siteid="1" data-groupid="1" data-favoritecount="17" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">17</span></button><p>The post <a href="https://yutsumura.com/idempotent-matrices-2007-university-of-tokyo-entrance-exam-problem/" target="_blank">Idempotent Matrices. 2007 University of Tokyo Entrance 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/idempotent-matrices-2007-university-of-tokyo-entrance-exam-problem/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2004</post-id>	</item>
		<item>
		<title>Find All Matrices Satisfying a Given Relation</title>
		<link>https://yutsumura.com/find-all-matrices-satisfying-a-given-relation/</link>
				<comments>https://yutsumura.com/find-all-matrices-satisfying-a-given-relation/#respond</comments>
				<pubDate>Wed, 03 Aug 2016 01:23:03 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[eigenspace]]></category>
		<category><![CDATA[eigenvalue]]></category>
		<category><![CDATA[eigenvector]]></category>
		<category><![CDATA[exam]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[system of linear equations]]></category>
		<category><![CDATA[U.Tokyo]]></category>
		<category><![CDATA[U.Tokyo.LA]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=270</guid>
				<description><![CDATA[<p>Let $a$ and $b$ be two distinct positive real numbers. Define matrices \[A:=\begin{bmatrix} 0 &#38; a\\ a &#38; 0 \end{bmatrix}, \,\, B:=\begin{bmatrix} 0 &#38; b\\ b&#38; 0 \end{bmatrix}.\] Find all the pairs $(\lambda, X)$,&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/find-all-matrices-satisfying-a-given-relation/" target="_blank">Find All Matrices Satisfying a Given Relation</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 43</h2>
<p>Let $a$ and $b$ be two distinct positive real numbers. Define matrices<br />
\[A:=\begin{bmatrix}<br />
0 &amp; a\\<br />
a &amp; 0<br />
\end{bmatrix}, \,\,<br />
B:=\begin{bmatrix}<br />
0 &amp; b\\<br />
b&amp; 0<br />
\end{bmatrix}.\]
<p>Find all the pairs $(\lambda, X)$, where $\lambda$ is a real number and $X$ is a non-zero real matrix satisfying the relation<br />
\[AX+XB=\lambda X. \tag{*} \]
<p>&nbsp;</p>
<p>(<em>The University of Tokyo Linear Algebra Exam</em>)</p>
<p><span id="more-270"></span><br />

<h2>Hint.</h2>
<ol>
<li>Let $X=\begin{bmatrix}<br />
x_1 &amp; x_2\\<br />
x_3&amp; x_4<br />
\end{bmatrix}$ and compute (*).</li>
<li>Compare entries of matrices.</li>
<li>Rewrite it as a matrix equation.</li>
<li>The problem is now translated to a problem of eigenvalue/eigenvectors.</li>
</ol>
<h2>Solution.</h2>
<p>Let $X=\begin{bmatrix}<br />
x_1 &amp; x_2\\<br />
x_3&amp; x_4<br />
\end{bmatrix}$.<br />
Then the relation (*) becomes<br />
\[ a\begin{bmatrix}<br />
x_3 &amp; x_4\\<br />
x_1&amp; x_2<br />
\end{bmatrix}<br />
+b \begin{bmatrix}<br />
x_2 &amp; x_1\\<br />
x_4&amp; x_3<br />
\end{bmatrix}<br />
=<br />
\lambda \begin{bmatrix}<br />
x_1 &amp; x_2\\<br />
x_3&amp; x_4<br />
\end{bmatrix}.\]
Comparing the entries of matrices, we obtain four equations<br />
\begin{align*}<br />
ax_3+b x_2 &amp;=\lambda x_1\\<br />
ax_4+ b x_1 &amp;=\lambda x_2\\<br />
ax_1+b x_4 &amp;=\lambda x_3 \\<br />
a x_2+b x_3 &amp;=\lambda x_4.<br />
\end{align*}<br />
We rewrite these equations into the matrix equation<br />
\[ \begin{bmatrix}<br />
-\lambda &amp; b &amp; a &amp; 0 \\<br />
b &amp;-\lambda &amp; 0 &amp; a \\<br />
a &amp; 0 &amp; -\lambda &amp; b \\<br />
0 &amp; a &amp; b &amp; -\lambda<br />
\end{bmatrix}<br />
\begin{bmatrix}<br />
x_1 \\<br />
x_2 \\<br />
x_3 \\<br />
x_4<br />
\end{bmatrix}=<br />
\begin{bmatrix}<br />
0 \\<br />
0 \\<br />
0 \\<br />
0<br />
\end{bmatrix}.\]
Thus the problem is to find all the pairs $(\lambda, X)$ satisfying this matrix equation.<br />
Let<br />
\[C= \begin{bmatrix}<br />
0 &amp; b &amp; a &amp; 0 \\<br />
b &amp; 0 &amp; 0 &amp; a \\<br />
a &amp; 0 &amp; 0 &amp; b \\<br />
0 &amp; a &amp; b &amp; 0<br />
\end{bmatrix}.\]
<p>Then the problem is equivalent to find all eigenvalues and eigenvectors of the matrix $C$.<br />
So we first compute the characteristic polynomial of $C$ to find eigenvalues.<br />
We have<br />
\begin{align*}<br />
\det(C-\lambda I)&amp;= \begin{vmatrix}<br />
-\lambda &amp; b &amp; a &amp; 0 \\<br />
b &amp;-\lambda &amp; 0 &amp; a \\<br />
a &amp; 0 &amp; -\lambda &amp; b \\<br />
0 &amp; a &amp; b &amp; -\lambda<br />
\end{vmatrix}\\<br />
&amp;=\lambda^4-2(a^2+b^2)\lambda^2+(a^2-b^2)^2.<br />
\end{align*}<br />
(Use cofactor expansion and simplify to obtain this.)<br />
We solve<br />
\[\lambda^4-2(a^2+b^2)\lambda^2+(a^2-b^2)^2=0\] for $\lambda$.<br />
By the quadratic formula we have<br />
\begin{align*}<br />
\lambda^2&amp;=a^2+b^2\pm \sqrt{(a^2+b^2)^2-(a^2-b^2)^2}\\<br />
&amp;=a^2+b^2\pm2ab =(a\pm b)^2.<br />
\end{align*}<br />
Hence we obtained four eigenvalues $\lambda=\pm (a\pm b)$.<br />
Note that since we have four distinct eigenvalues, each eigenspace is one dimensional.</p>
<p>Now, let us find eigenvectors. First consider the eigenvalue $\lambda=a+b$.<br />
In this case,<br />
\begin{align*}<br />
C-\lambda I =\begin{bmatrix}<br />
-a-b &amp; b &amp; a &amp; 0 \\<br />
b &amp; -a-b &amp; 0 &amp; a \\<br />
a &amp; 0 &amp; -a-b &amp; b \\<br />
0 &amp; a &amp; b &amp; -a-b<br />
\end{bmatrix}.<br />
\end{align*}<br />
The eigenvector is the solutions of $(C-\lambda I)\mathbf{x}=\mathbf{0}$. The typical method to find eigenvector is to reduce the matrix $C-\lambda I$ into row echelon form.<br />
But as we noted earlier each eigenspace is one dimensional, so if we find one nonzero vector solution, then it is a basis of the eigenspace.</p>
<p>For this specific matrix, we see that $\mathbf{x}=\begin{bmatrix}<br />
1 \\<br />
1 \\<br />
1 \\<br />
1<br />
\end{bmatrix}$ satisfies $(C-\lambda I)\mathbf{x}=\mathbf{0}$. Therefore all the eigenvectors corresponding to eigenvalue $\lambda=a+b$ is<br />
\[\mathbf{x}=\begin{bmatrix}<br />
1 \\<br />
1 \\<br />
1 \\<br />
1<br />
\end{bmatrix}t\]
for any nonzero scalar $t$.</p>
<p>Similarly, we find that<br />
\[\begin{bmatrix}<br />
-1 \\<br />
1 \\<br />
1 \\<br />
-1<br />
\end{bmatrix}t, \quad \begin{bmatrix}<br />
1 \\<br />
-1 \\<br />
1 \\<br />
-1<br />
\end{bmatrix}t, \quad \begin{bmatrix}<br />
1 \\<br />
1 \\<br />
-1 \\<br />
-1<br />
\end{bmatrix}t\]
for any nonzero $t$ are all the eigenvector corresponding to eigenvalue $\lambda=-a-b, a-b, -a+b$, respectively.</p>
<p>Therefore the solution to the problem is that the pair $(\lambda, X)$ is one of the following paris.<br />
\begin{align*}<br />
\left(a+b, t\begin{bmatrix}<br />
1 &amp; 1\\<br />
1&amp; 1<br />
\end{bmatrix}\right), \,\,<br />
\left(-a-b, t \begin{bmatrix}<br />
-1 &amp; 1\\<br />
1&amp; -1<br />
\end{bmatrix}\right),\\<br />
\left(a-b, t\begin{bmatrix}<br />
1 &amp; -1\\<br />
1&amp; -1<br />
\end{bmatrix}\right), \,\,<br />
\left(-a+b, t\begin{bmatrix}<br />
1 &amp; 1\\<br />
-1&amp; -1<br />
\end{bmatrix}\right)<br />
\end{align*}<br />
for nonzero $t$ (because $X$ must be a nonzero matrix.)</p>
<h2>Comment.</h2>
<p>When we find an eigenvector, you could have used elementary row operations to reduce a matrix.<br />
The reduction for this matrix is not impossible, but it takes time and a sheet of paper.</p>
<p>So I think it is better to use the fact that the eigenspace is 1 dimensional (for the current problem)<br />
and guess one nonzero eigenvector like I did above.</p>
<button class="simplefavorite-button has-count" data-postid="270" data-siteid="1" data-groupid="1" data-favoritecount="10" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">10</span></button><p>The post <a href="https://yutsumura.com/find-all-matrices-satisfying-a-given-relation/" target="_blank">Find All Matrices Satisfying a Given Relation</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/find-all-matrices-satisfying-a-given-relation/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">270</post-id>	</item>
		<item>
		<title>Symmetric Matrix and Its Eigenvalues, Eigenspaces, and Eigenspaces</title>
		<link>https://yutsumura.com/symmetric-matrix-and-its-eigenvalues-eigenspaces-and-eigenspaces/</link>
				<comments>https://yutsumura.com/symmetric-matrix-and-its-eigenvalues-eigenspaces-and-eigenspaces/#respond</comments>
				<pubDate>Tue, 02 Aug 2016 22:29:14 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[eigenspace]]></category>
		<category><![CDATA[eigenvalue]]></category>
		<category><![CDATA[eigenvector]]></category>
		<category><![CDATA[Gram-Schmidt process]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[matrix]]></category>
		<category><![CDATA[symmetric matrix]]></category>
		<category><![CDATA[U.Tokyo]]></category>
		<category><![CDATA[U.Tokyo.LA]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=266</guid>
				<description><![CDATA[<p>Let $A$ be a $4\times 4$ real symmetric matrix. Suppose that $\mathbf{v}_1=\begin{bmatrix} -1 \\ 2 \\ 0 \\ -1 \end{bmatrix}$ is an eigenvector corresponding to the eigenvalue $1$ of $A$. Suppose that the eigenspace&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/symmetric-matrix-and-its-eigenvalues-eigenspaces-and-eigenspaces/" target="_blank">Symmetric Matrix and Its Eigenvalues, Eigenspaces, and Eigenspaces</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 42</h2>
<p>Let $A$ be a $4\times 4$ real symmetric matrix. Suppose that $\mathbf{v}_1=\begin{bmatrix}<br />
-1 \\<br />
2 \\<br />
0 \\<br />
-1<br />
\end{bmatrix}$ is an eigenvector corresponding to the eigenvalue $1$ of $A$.<br />
Suppose that the eigenspace for the eigenvalue $2$ is $3$-dimensional.</p>
<p><strong>(a)</strong> Find an orthonormal basis for the eigenspace of the eigenvalue $2$ of $A$.</p>
<p><strong>(b)</strong> Find $A\mathbf{v}$, where<br />
\[ \mathbf{v}=\begin{bmatrix}<br />
1 \\<br />
0 \\<br />
0 \\<br />
0<br />
\end{bmatrix}.\]
<p>&nbsp;</p>
<p>(<em>The University of Tokyo Linear Algebra Exam</em>)</p>
<p><span id="more-266"></span><br />

<h2>Hint.</h2>
<ol>
<li>A symmetric matrix is diagonalizable. Hence the sum of dimensions of eigenspaces is $4$.</li>
<li>Show that the eigenspaces for eigenvalues $1$ and $2$ are orthogonal.</li>
<li>To obtain an orthonormal basis from any basis, use Gram-Schmidt process and then normalize the lengths.</li>
<li>For (b), express the vector $\mathbf{v}$ as a linear combination of a basis consisting of eigenvectors.</li>
</ol>
<h2> Proof. </h2>
<h3>(a) Find an orthonormal basis for the eigenspace of the eigenvalue $2$ of $A$.</h3>
<p>Note that since $A$ is symmetric, it is diagonalizable. Thus $\C^4$ is a direct sum of eigenspaces of $A$.<br />
Since the eigenspace $E_2$ for the eigenvalue $2$ has dimension $3$, the eigenspace $E_1$ for the eigenvalue $1$ must have dimension $1$.</p>
<p>Thus $\mathbf{v}_1$ is a basis for $E_1$. We also see that there is no other eigenvalues. Hence $C^4=E_1\oplus E_2$.</p>
<hr />
<p>We fist claim that $E_1$ and $E_2$ are orthogonal.</p>
<p>Let $x\in E_1$ and $y \in E_2$.<br />
Then we calculate the inner product<br />
\begin{align*}<br />
(x, y)&amp;=(Ax, y)=\bar{x}^{\trans}\bar{A}^{\trans}y = \bar{x}^{\trans}Ay = (x, Ay)=(x,2y)=2(x,y)<br />
\end{align*}<br />
Thus we have $(x,y)=0$, hence $x$ and $y$ are orthogonal.</p>
<hr />
<p>Since $\mathbf{v}_1$ is a basis for $E_1$, if $\begin{bmatrix}<br />
x_1 \\<br />
x_2 \\<br />
x_3<br />
\end{bmatrix} \in E_2$, we have<br />
\[-x_1+2x_2-x_4=0.\]
Solving this we see that<br />
\[x=s\begin{bmatrix}<br />
2 \\<br />
1 \\<br />
0 \\<br />
0<br />
\end{bmatrix}+t \begin{bmatrix}<br />
0 \\<br />
0 \\<br />
1 \\<br />
0<br />
\end{bmatrix}+u\begin{bmatrix}<br />
-1 \\<br />
0 \\<br />
0 \\<br />
1<br />
\end{bmatrix}.\]
Thus a basis of $E_3$ is<br />
\[\left\{\, \begin{bmatrix}<br />
2 \\<br />
1 \\<br />
0 \\<br />
0<br />
\end{bmatrix},<br />
\begin{bmatrix}<br />
0 \\<br />
0 \\<br />
1 \\<br />
0<br />
\end{bmatrix},<br />
\begin{bmatrix}<br />
-1 \\<br />
0 \\<br />
0 \\<br />
1<br />
\end{bmatrix}\, \right\}. \]
Let us call these vectors $b_1, b_2, b_3$.<br />
The note that $b_1\cdot b_2=0$, $b_2\cdot b_3=0$, but $b_1\cdot b_3=-2$.<br />
Hence they are not orthogonal. </p>
<hr />
<p>We apply Gram-Schmidt orthogonalization process.<br />
Let $b_3&#8217;=b_3+ab_1$ be a vector that is orthogonal to $b_1$ for some $a$.<br />
Taking the inner product with $b_1$, we get<br />
$0=b_1\cdot b_3+ab_1\cdot b_1=-2+a5$.<br />
Thus $a=2/5$ and<br />
\[b_3&#8217;=b_3+(2/5)b_1=\frac{1}{5}\begin{bmatrix}<br />
-1 \\<br />
2 \\<br />
0 \\<br />
5<br />
\end{bmatrix}.\]
Then $b_1, b_2, b_3&#8217;$ are orthogonal vectors.</p>
<hr />
<p>Now we normalize them so that the lengths of them become $1$.<br />
We divide each vector with its length and obtain a orthonormal basis for $E_3$<br />
\[ \left \{\,\frac{1}{5}\begin{bmatrix}<br />
2 \\<br />
1 \\<br />
0 \\<br />
0<br />
\end{bmatrix}, \begin{bmatrix}<br />
0 \\<br />
0 \\<br />
1 \\<br />
0<br />
\end{bmatrix}, \frac{1}{30}\begin{bmatrix}<br />
-1 \\<br />
2 \\<br />
0 \\<br />
5<br />
\end{bmatrix} \,\right\}.\]
<h3>(b) Find $A\mathbf{v}$</h3>
<p>We express $\mathbf{v}$ as a linear combination of orthogonal basis $\{\mathbf{v}_1, b_1 b_2, b_3&#8242; \}$ of $C^4=E_1\oplus E_2$.<br />
Let<br />
\[\mathbf{v}=\begin{bmatrix}<br />
1 \\<br />
0 \\<br />
0 \\<br />
0<br />
\end{bmatrix}=c_1\begin{bmatrix}<br />
-1 \\<br />
2 \\<br />
0 \\<br />
-1<br />
\end{bmatrix}+c_2\begin{bmatrix}<br />
2 \\<br />
1 \\<br />
0 \\<br />
0<br />
\end{bmatrix}+c_3\begin{bmatrix}<br />
0 \\<br />
0 \\<br />
1 \\<br />
0<br />
\end{bmatrix}+c_4\begin{bmatrix}<br />
-1 \\<br />
2 \\<br />
0 \\<br />
5<br />
\end{bmatrix}.\]
(I scaled $b_3&#8217;$ to $5b_3&#8217;$. This does not change the orthogonality.)<br />
We solve this for $c_i$. (There are several ways to do this.)<br />
We take the inner product of this linear combination with $\mathbf{v}_1$ and obtain<br />
$ -1=6c_1$, thus $c_1=-1/6$.</p>
<hr />
<p>Similarly taking inner product with other basis vectors, we obtain $c_2=2/5$, $c_3=0$, and $c_4=-1/30$.<br />
Then we compute<br />
\begin{align*}<br />
A\mathbf{v} &amp;= A\left( \frac{-1}{6}\begin{bmatrix}<br />
-1 \\<br />
2 \\<br />
0 \\<br />
-1<br />
\end{bmatrix}+\frac{2}{5}\begin{bmatrix}<br />
2 \\<br />
1 \\<br />
0 \\<br />
0<br />
\end{bmatrix}+\frac{-1}{30}\begin{bmatrix}<br />
-1 \\<br />
2 \\<br />
0 \\<br />
5<br />
\end{bmatrix} \right)<br />
\\[6pt]
&amp;= \frac{-1}{6}A\begin{bmatrix}<br />
-1 \\<br />
2 \\<br />
0 \\<br />
-1<br />
\end{bmatrix}+\frac{2}{5}A\begin{bmatrix}<br />
2 \\<br />
1 \\<br />
0 \\<br />
0<br />
\end{bmatrix}+\frac{-1}{30}A\begin{bmatrix}<br />
-1 \\<br />
2 \\<br />
0 \\<br />
5<br />
\end{bmatrix}<br />
\\[6pt]
&amp;= \frac{-1}{6}\begin{bmatrix}<br />
-1 \\<br />
2 \\<br />
0 \\<br />
-1<br />
\end{bmatrix}+\frac{4}{5}\begin{bmatrix}<br />
2 \\<br />
1 \\<br />
0 \\<br />
0<br />
\end{bmatrix}+\frac{-2}{30}\begin{bmatrix}<br />
-1 \\<br />
2 \\<br />
0 \\<br />
5<br />
\end{bmatrix}<br />
\\[6pt]
&#038;=\frac{1}{6}\begin{bmatrix}<br />
11 \\<br />
2 \\<br />
0 \\<br />
-1<br />
\end{bmatrix}.<br />
\end{align*}<br />
Therefore the answer is<br />
\[A\mathbf{v}=\frac{1}{6}\begin{bmatrix}<br />
11 \\<br />
2 \\<br />
0 \\<br />
-1<br />
\end{bmatrix}. \]
<h2>Comment.</h2>
<p>At first glance, there seems insufficient amount of information to answer the question, but everything we need to solve this problem was given.<br />
This is one of the final exam problems of linear algebra course taught at the University of  Tokyo.<br />
I like this problem because the statement is concise yet it requires some essential knowledge/skills of linear algebra.</p>
<button class="simplefavorite-button has-count" data-postid="266" data-siteid="1" data-groupid="1" data-favoritecount="5" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">5</span></button><p>The post <a href="https://yutsumura.com/symmetric-matrix-and-its-eigenvalues-eigenspaces-and-eigenspaces/" target="_blank">Symmetric Matrix and Its Eigenvalues, Eigenspaces, and Eigenspaces</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/symmetric-matrix-and-its-eigenvalues-eigenspaces-and-eigenspaces/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">266</post-id>	</item>
	</channel>
</rss>
