<?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>orthogonal transformation &#8211; Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/orthogonal-transformation/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Tue, 30 Jan 2018 04:26:16 +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>orthogonal transformation &#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>The Rotation Matrix is an Orthogonal Transformation</title>
		<link>https://yutsumura.com/the-rotation-matrix-is-an-orthogonal-transformation/</link>
				<comments>https://yutsumura.com/the-rotation-matrix-is-an-orthogonal-transformation/#respond</comments>
				<pubDate>Tue, 30 Jan 2018 04:26:16 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[cosine]]></category>
		<category><![CDATA[inner product]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linear transformation]]></category>
		<category><![CDATA[orthogonal transformation]]></category>
		<category><![CDATA[Pythagorean identity]]></category>
		<category><![CDATA[rotation matrix]]></category>
		<category><![CDATA[sine]]></category>
		<category><![CDATA[trigonometric function]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=6800</guid>
				<description><![CDATA[<p>Let $\mathbb{R}^2$ be the vector space of size-2 column vectors. This vector space has an inner product defined by $ \langle \mathbf{v} , \mathbf{w} \rangle = \mathbf{v}^\trans \mathbf{w}$. A linear transformation $T : \R^2&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/the-rotation-matrix-is-an-orthogonal-transformation/" target="_blank">The Rotation Matrix is an Orthogonal Transformation</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 684</h2>
<p>Let $\mathbb{R}^2$ be the vector space of size-2 column vectors.  This vector space has an <strong>inner product</strong> defined by $ \langle \mathbf{v} , \mathbf{w} \rangle = \mathbf{v}^\trans \mathbf{w}$.  A linear transformation $T : \R^2 \rightarrow \R^2$ is called an <strong>orthogonal transformation</strong> if for all $\mathbf{v} , \mathbf{w} \in \R^2$,<br />
\[\langle T(\mathbf{v}) , T(\mathbf{w}) \rangle = \langle \mathbf{v} , \mathbf{w} \rangle.\]
<p>For a fixed angle $\theta \in [0, 2 \pi )$ , define the matrix<br />
\[ [T] = \begin{bmatrix} \cos (\theta) &#038; &#8211; \sin ( \theta ) \\ \sin ( \theta ) &#038; \cos ( \theta ) \end{bmatrix} \]
and the linear transformation $T : \R^2 \rightarrow \R^2$ by<br />
\[T( \mathbf{v} ) = [T] \mathbf{v}.\]
<p>Prove that $T$ is an orthogonal transformation.  </p>
<p>&nbsp;<br />
<span id="more-6800"></span></p>
<h2>Solution.</h2>
<p>Suppose we have vectors $\mathbf{v} =  \begin{bmatrix} v_1 \\ v_2 \end{bmatrix}$ and $\mathbf{w} = \begin{bmatrix} w_1 \\ w_2 \end{bmatrix} $ .  Then,<br />
\[T(\mathbf{v}) = \begin{bmatrix} \cos (\theta) &#038; &#8211; \sin ( \theta ) \\ \sin ( \theta ) &#038; \cos ( \theta ) \end{bmatrix} \begin{bmatrix} v_1 \\ v_2 \end{bmatrix} = \begin{bmatrix} \cos(\theta) v_1 &#8211; \sin (\theta) v_2 \\ \sin(\theta) v_1 + \cos (\theta) v_2 \end{bmatrix},\]
and<br />
\[ T(\mathbf{w}) = \begin{bmatrix} \cos (\theta) &#038; &#8211; \sin ( \theta ) \\ \sin ( \theta ) &#038; \cos ( \theta ) \end{bmatrix} \begin{bmatrix} w_1 \\ w_2 \end{bmatrix} = \begin{bmatrix} \cos(\theta) w_1 &#8211; \sin (\theta) w_2 \\  \sin(\theta) w_1 + \cos (\theta) w_2 \end{bmatrix}.\]
<hr />
<p>Then we find the inner product for these two vectors:<br />
\begin{align*}<br />
&#038;\langle T(\mathbf{v} ) , T( \mathbf{w} ) \rangle \\<br />
&#038;= \begin{bmatrix} \cos(\theta) v_1 &#8211; \sin (\theta) v_2 &#038; \sin(\theta) v_1 + \cos (\theta) v_2 \end{bmatrix} \begin{bmatrix} \cos(\theta) w_1 &#8211; \sin (\theta) w_2 \\  \sin(\theta) w_1 + \cos (\theta) w_2 \end{bmatrix} \\[6pt]
&#038;= \biggl( \cos(\theta) v_1  &#8211; \sin(\theta) v_2 \biggr) \biggl( \cos(\theta) w_1 &#8211; \sin ( \theta) w_2 \biggr) \\[6pt]
 &#038;\qquad + \biggl( \sin (\theta) v_1 + \cos (\theta) v_2 \biggr) \biggl( \sin (\theta) w_1 + \cos(\theta) w_2 \biggr)  \\[6pt]
 &#038;= \cos^2(\theta) ( v_1 w_1 + v_2 w_2 ) + \sin(\theta) \cos(\theta) (  &#8211; v_1 w_2 &#8211; v_2 w_1 + v_1 w_2 + v_2 w_1 ) \\ &#038;\qquad + \sin^2 (\theta) ( v_2 w_2 + v_1 w_1 )  \\[6pt]
&#038;= \left( \cos^2 ( \theta) + \sin^2 ( \theta ) \right) ( v_1 w_1 + v_2 w_2 ) \\<br />
&#038;= v_1 w_1 + v_2 w_2 \\<br />
&#038;= \langle \mathbf{v} , \mathbf{w} \rangle .<br />
\end{align*}</p>
<hr />
<p>This proves that $T$ is an orthogonal transformation.  For the second-to-last equality, we used the Pythagorean identity $\sin^2 ( \theta ) + \cos^2 ( \theta ) = 1$.</p>
<button class="simplefavorite-button has-count" data-postid="6800" data-siteid="1" data-groupid="1" data-favoritecount="38" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">38</span></button><p>The post <a href="https://yutsumura.com/the-rotation-matrix-is-an-orthogonal-transformation/" target="_blank">The Rotation Matrix is an Orthogonal Transformation</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/the-rotation-matrix-is-an-orthogonal-transformation/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">6800</post-id>	</item>
		<item>
		<title>An Orthogonal Transformation from $\R^n$ to $\R^n$ is an Isomorphism</title>
		<link>https://yutsumura.com/an-orthogonal-transformation-from-rn-to-rn-is-an-isomorphism/</link>
				<comments>https://yutsumura.com/an-orthogonal-transformation-from-rn-to-rn-is-an-isomorphism/#respond</comments>
				<pubDate>Wed, 25 Oct 2017 05:47:24 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[dot product]]></category>
		<category><![CDATA[Euclidean space]]></category>
		<category><![CDATA[injective linear transformation]]></category>
		<category><![CDATA[inner product space]]></category>
		<category><![CDATA[isomorphism]]></category>
		<category><![CDATA[isomorphism of vector spaces]]></category>
		<category><![CDATA[kernel of]]></category>
		<category><![CDATA[linear transformation]]></category>
		<category><![CDATA[null space of a linear transformation]]></category>
		<category><![CDATA[orthogonal transformation]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=5163</guid>
				<description><![CDATA[<p>Let $\R^n$ be an inner product space with inner product $\langle \mathbf{x}, \mathbf{y}\rangle=\mathbf{x}^{\trans}\mathbf{y}$ for $\mathbf{x}, \mathbf{y}\in \R^n$. A linear transformation $T:\R^n \to \R^n$ is called orthogonal transformation if for all $\mathbf{x}, \mathbf{y}\in \R^n$, it&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/an-orthogonal-transformation-from-rn-to-rn-is-an-isomorphism/" target="_blank">An Orthogonal Transformation from $\R^n$ to $\R^n$ is an Isomorphism</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 592</h2>
<p>Let $\R^n$ be an inner product space with inner product $\langle \mathbf{x}, \mathbf{y}\rangle=\mathbf{x}^{\trans}\mathbf{y}$ for $\mathbf{x}, \mathbf{y}\in \R^n$.</p>
<p>	 A linear transformation $T:\R^n \to \R^n$ is called <strong>orthogonal transformation</strong> if for all $\mathbf{x}, \mathbf{y}\in \R^n$, it satisfies<br />
	 \[\langle T(\mathbf{x}), T(\mathbf{y})\rangle=\langle\mathbf{x}, \mathbf{y} \rangle.\]
<p>	 Prove that if $T:\R^n\to \R^n$ is an orthogonal transformation, then $T$ is an isomorphism.</p>
<p>&nbsp;<br />
<span id="more-5163"></span><br />

We give two proofs.<br />
The second one uses a fact about the injectivity of linear transformations.</p>
<h2>Proof 1.</h2>
<p>	 	As $T$ is a linear transformation from $\R^n$ to itself, it suffices to show that $T$ is an injective linear transformation.</p>
<p>	 	Suppose that $T(\mathbf{x})=T(\mathbf{y})$ for $\mathbf{x}, \mathbf{y}\in \R^n$.<br />
	 	We show that $\mathbf{x}=\mathbf{y}$.</p>
<p>	 	We have<br />
	 	\begin{align*}<br />
		&#038;\|\mathbf{x}-\mathbf{y}\|^2\\<br />
		&#038;=(\mathbf{x}-\mathbf{y})^{\trans}(\mathbf{x}-\mathbf{y})\\<br />
		&#038;=(\mathbf{x}^{\trans}-\mathbf{y}^{\trans})(\mathbf{x}-\mathbf{y})\\<br />
		&#038;=\mathbf{x}^{\trans}\mathbf{x}-\mathbf{x}^{\trans}\mathbf{y}-\mathbf{y}^{\trans}\mathbf{x}+\mathbf{y}^{\trans}\mathbf{y}\\<br />
		&#038;=\langle\mathbf{x}, \mathbf{x} \rangle-\langle\mathbf{x}, \mathbf{y} \rangle-\langle\mathbf{y}, \mathbf{x} \rangle+\langle\mathbf{y}, \mathbf{y} \rangle\\<br />
		&#038;=\langle T(\mathbf{x}), T(\mathbf{x}) \rangle-\langle T(\mathbf{x}), T(\mathbf{y}) \rangle-\langle T(\mathbf{y}), T(\mathbf{x}) \rangle+\langle T(\mathbf{y}), T(\mathbf{y}) \rangle\\<br />
		&#038;\text{(since $T$ is an orthogonal transformation)}\\<br />
		&#038;=\langle T(\mathbf{x}), T(\mathbf{x}) \rangle-\langle T(\mathbf{x}), T(\mathbf{x}) \rangle-\langle T(\mathbf{x}), T(\mathbf{x}) \rangle+\langle T(\mathbf{x}), T(\mathbf{x}) \rangle\\<br />
		&#038;\text{(since $T(\mathbf{x})=T(\mathbf{y})$)}\\<br />
		&#038;=0.<br />
		\end{align*}<br />
		It follows that $\|\mathbf{x}-\mathbf{y}\|=0$ and hence $\mathbf{x}=\mathbf{y}$.<br />
		This proves that $T:\R^n\to \R^n$ is injective.</p>
<p>		As $T$ is an injective linear transformation from the $n$-dimensional vector space $\R^n$ to itself, it is also surjective, and thus $T$ is an isomorphism.</p>
<h2> Proof 2. </h2>
<p> Recall that the linear transformation  $T$ is injective if and only if the null space $\calN(T)=\{\mathbf{0}\}$, that is, $T(\mathbf{x})=\mathbf{0}$ implies that $\mathbf{x}=\mathbf{0}$.<br />
(See the post &#8220;<a href="//yutsumura.com/a-linear-transformation-is-injective-one-to-one-if-and-only-if-the-nullity-is-zero/" rel="noopener" target="_blank">A Linear Transformation is Injective (One-To-One) if and only if the Nullity is Zero</a>&#8221; for the proof of this fact.)</p>
<p>			 	We use this fact to show that $T$ is injective.<br />
			 	Suppose that $T(\mathbf{x})=\mathbf{0}$.<br />
			 	Then we have<br />
			 	\begin{align*}<br />
		\|\mathbf{x}\|^2&#038;=\langle \mathbf{x}, \mathbf{x}\rangle\\<br />
		&#038;=\langle T(\mathbf{x}), T(\mathbf{x})\rangle &#038;&#038;\text{as $T$ is orthogonal}\\<br />
		&#038;=\langle \mathbf{0}, \mathbf{0}\rangle=0 &#038;&#038;\text{as $T(\mathbf{x})=\mathbf{0}$}.<br />
		\end{align*}</p>
<p>			 It follows that the length $\|\mathbf{x}\|=0$, and hence $\mathbf{x}=\mathbf{0}$.<br />
			 This proves that the null space $\calN(T)=\{\mathbf{0}\}$ and $T$ is injective.</p>
<p>			 As $T$ is an injective linear transformation from $\R^n$ to itself, it is also surjective, and hence $T$ is an isomorphism.</p>
<button class="simplefavorite-button has-count" data-postid="5163" 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/an-orthogonal-transformation-from-rn-to-rn-is-an-isomorphism/" target="_blank">An Orthogonal Transformation from $\R^n$ to $\R^n$ is an Isomorphism</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/an-orthogonal-transformation-from-rn-to-rn-is-an-isomorphism/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">5163</post-id>	</item>
	</channel>
</rss>
