<?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>injective linear transformation &#8211; Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/injective-linear-transformation/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Thu, 26 Oct 2017 21:38:28 +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>injective linear 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>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="35" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">35</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>
		<item>
		<title>A Linear Transformation $T: U\to V$ cannot be Injective if $\dim(U) &gt; \dim(V)$</title>
		<link>https://yutsumura.com/a-linear-transformation-t-uto-v-cannot-be-injective-if-dimu-dimv/</link>
				<comments>https://yutsumura.com/a-linear-transformation-t-uto-v-cannot-be-injective-if-dimu-dimv/#respond</comments>
				<pubDate>Thu, 17 Aug 2017 21:40:56 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[basis]]></category>
		<category><![CDATA[injective linear transformation]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[null space of a linear transformation]]></category>
		<category><![CDATA[nullity]]></category>
		<category><![CDATA[range of a linear transformation]]></category>
		<category><![CDATA[rank]]></category>
		<category><![CDATA[rank-nullity theorem]]></category>
		<category><![CDATA[subspace]]></category>
		<category><![CDATA[vector space]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=4668</guid>
				<description><![CDATA[<p>Let $U$ and $V$ be finite dimensional vector spaces over a scalar field $\F$. Consider a linear transformation $T:U\to V$. Prove that if $\dim(U) > \dim(V)$, then $T$ cannot be injective (one-to-one). &#160; Hints.&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/a-linear-transformation-t-uto-v-cannot-be-injective-if-dimu-dimv/" target="_blank">A Linear Transformation $T: U\to V$ cannot be Injective if $\dim(U) > \dim(V)$</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 541</h2>
<p>	 Let $U$ and $V$ be finite dimensional vector spaces over a scalar field $\F$.<br />
	 Consider a linear transformation $T:U\to V$.</p>
<p>	 Prove that if $\dim(U) > \dim(V)$, then $T$ cannot be injective (one-to-one).</p>
<p>&nbsp;<br />
<span id="more-4668"></span><br />

<h2>Hints.</h2>
<p>You may use the folowing facts.</p>
<div style="padding: 16px; border: none 3px #4169e1; border-radius: 10px; background-color: #f0f8ff; margin-top: 30px; margin-bottom: 30px;">
A linear transformation $T: U\to V$ is injective if and only if the nullity of $T$ is zero.
</div>
<p>For the proof of this fact, see the post &#8628;<br />
<a href="//yutsumura.com/a-linear-transformation-is-injective-one-to-one-if-and-only-if-the-nullity-is-zero/" target="_blank">A Linear Transformation is Injective (One-To-One) if and only if the Nullity is Zero</a></p>
<div style="padding: 16px; border: none 3px #4169e1; border-radius: 10px; background-color: #f0f8ff; margin-top: 30px; margin-bottom: 30px;">
<strong>Rank-Nullity Theorem</strong><br />
For a linear transformation $T: U \to V$, we have<br />
\[\nullity(T)+\rk(T)=\dim(U).\]
</div>
<hr />
<p>We give two proofs. The first one uses the rank-nullity theorem.<br />
The second one avoids using the theorem.</p>
<h2> Proof 1. </h2>
<p>	 	By the rank-nullity theorem, we have<br />
	 	\[\nullity(T)+\rk(T)=\dim(U).\]
	 	Note that the rank of $T$ is the dimension of the range $\calR(T)$, which is a subspace of the vector space of $V$.<br />
	 	Hence it yields that<br />
	 	\[\rk(T)=\dim(\calR(T)) \leq \dim(V).\]
<p>	 	It follows that<br />
	 	\begin{align*}<br />
		\nullity(T)=\dim(U)-\rk(T) > \dim(U)-\dim(V) > 0,<br />
		\end{align*}<br />
		where the last inequality follows from the assumption.</p>
<p>		This implies that the nullity is nonzero, hence $T$ is not injective.<br />
(See the hints above.)</p>
<h2> Proof 2. </h2>
<p>	 In the second proof, we prove $T$ is injective without using the rank-nullity theorem.</p>
<p>	 Seeking a contradiction, assume that $T: U\to V$ is injective.<br />
	 Let $\{\mathbf{u}_1, \dots, \mathbf{u}_n\}$ be a basis of the vector space $U$, where $n=\dim(U)$.<br />
	 Put $\mathbf{v}_1=T(\mathbf{u}_1), \dots, \mathbf{v}_n=T(\mathbf{u}_n)$.</p>
<hr />
<p>	 	We claim that the vectors $\mathbf{v}_1, \dots, \mathbf{v}_n$ are linearly independent in $V$.<br />
	 	To see this, consider the linear combination<br />
	 	\[c_1\mathbf{v}_1+\cdots+c_n \mathbf{v}_n=\mathbf{0}_V,\]
	 	where $c_1, \dots, c_n$ are scalars in $\F$.<br />
	 	Then we have<br />
	 	\begin{align*}<br />
		\mathbf{0}_V&#038;=c_1\mathbf{v}_1+\cdots+c_n \mathbf{v}_n\\<br />
		&#038;=c_1T(\mathbf{u}_1)+\cdots+c_n T(\mathbf{u}_n)\\<br />
		&#038;=T(c_1\mathbf{u}_1+\cdots + c_n \mathbf{u}_n).<br />
		\end{align*}<br />
	 	Since $T$ is assumed to be injective, we must have<br />
	 	\[c_1\mathbf{u}_1+\cdots + c_n \mathbf{u}_n=\mathbf{0}_U.\]
	 	Because $\mathbf{u}_1, \dots, \mathbf{u}_n$ are basis vectors, they are linearly independent.<br />
	 	It follows that<br />
	 	\[c_1=\cdots=c_n=0,\]
	 	and hence the vectors $\mathbf{v}_1, \dots, \mathbf{v}_n$ are linearly independent.</p>
<hr />
<p>	  As the vector space $V$ contains $n$ linearly independent vectors, we see that<br />
	  \[\dim(V) \geq n=\dim(U),\]
	  which contradicts the assumption that $\dim(U) > \dim(V)$.<br />
	  Therefore, $T$ cannot be injective.</p>
<button class="simplefavorite-button has-count" data-postid="4668" data-siteid="1" data-groupid="1" data-favoritecount="31" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">31</span></button><p>The post <a href="https://yutsumura.com/a-linear-transformation-t-uto-v-cannot-be-injective-if-dimu-dimv/" target="_blank">A Linear Transformation $T: U\to V$ cannot be Injective if $\dim(U) > \dim(V)$</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/a-linear-transformation-t-uto-v-cannot-be-injective-if-dimu-dimv/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">4668</post-id>	</item>
		<item>
		<title>A Linear Transformation is Injective (One-To-One) if and only if the Nullity is Zero</title>
		<link>https://yutsumura.com/a-linear-transformation-is-injective-one-to-one-if-and-only-if-the-nullity-is-zero/</link>
				<comments>https://yutsumura.com/a-linear-transformation-is-injective-one-to-one-if-and-only-if-the-nullity-is-zero/#comments</comments>
				<pubDate>Thu, 17 Aug 2017 15:45:59 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[injective linear transformation]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linear transformation]]></category>
		<category><![CDATA[null space]]></category>
		<category><![CDATA[nullity]]></category>
		<category><![CDATA[nullity of a linear transformation]]></category>
		<category><![CDATA[one-to-one linear transformation]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=4663</guid>
				<description><![CDATA[<p>Let $U$ and $V$ be vector spaces over a scalar field $\F$. Let $T: U \to V$ be a linear transformation. Prove that $T$ is injective (one-to-one) if and only if the nullity of&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/a-linear-transformation-is-injective-one-to-one-if-and-only-if-the-nullity-is-zero/" target="_blank">A Linear Transformation is Injective (One-To-One) if and only if the Nullity is Zero</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 540</h2>
<p>	 Let $U$ and $V$ be vector spaces over a scalar field $\F$.<br />
	 Let $T: U \to V$ be a linear transformation.</p>
<p>	 Prove that $T$ is injective (one-to-one) if and only if the nullity of $T$ is zero.</p>
<p>&nbsp;<br />
<span id="more-4663"></span><br />

<h2>Definition (Injective, One-to-One Linear Transformation).</h2>
<p>A linear transformation is said to be <strong>injective</strong> or <strong>one-to-one</strong> if provided that for all $\mathbf{u}_1$ and $\mathbf{u}_1$ in $U$, whenever $T(\mathbf{u}_1)=T(\mathbf{u}_2)$, then we have $\mathbf{u}_1=\mathbf{u}_2$.</p>
<h2> Proof. </h2>
<h3>$(\implies)$: If $T$ is injective, then the nullity is zero.</h3>
<p> Suppose that $T$ is injective.<br />
	 	Our objective is to show that the null space $\calN(T)=\{\mathbf{0}_U\}$.</p>
<p>	 	Since $T$ is a linear transformation, it sends the zero vector $\mathbf{0}_U$ of $U$ to the zero vector $\mathbf{0}_V$ of $V$.<br />
	 	In fact, we have<br />
	 	\begin{align*}<br />
		T(\mathbf{0}_U)&#038;=T(\mathbf{0}_U-\mathbf{0}_U)\\<br />
		&#038;=T(\mathbf{0}_U+(-1)\mathbf{0}_U)\\<br />
		&#038;=T(\mathbf{0}_U)+(-1)T(\mathbf{0}_U) &#038;&#038;\text{by linearity of $T$}\\<br />
		&#038;=T(\mathbf{0}_U)-T(\mathbf{0}_U)=\mathbf{0}_V.<br />
		\end{align*}<br />
		Hence $\mathbf{0}_U\in \calN(T)$.</p>
<p>		On the other hand, if $\mathbf{u}\in \calN(T)$, then we have<br />
		\[T(\mathbf{u})=\mathbf{0}_V=T(\mathbf{0}_U).\]
		Since $T$ is injective, it yields that $\mathbf{u}=\mathbf{0}_U$.<br />
		Therefore we obtain $\calN(T)=\{\mathbf{0}_U\}$, and the nullity of $T$ is zero.<br />
		(Recall that the nullity of $T$ is the dimension of $\calN(T)$.)</p>
<h3>$(\impliedby)$: If the nullity is zero, then $T$ is injective.</h3>
<p> Next, suppose that the nullity of $T$ is zero.<br />
		This is equivalent to the condition $\calN(T)=\{\mathbf{0}_U\}$.<br />
		Our goal is to show that $T: U \to V$ is injective.</p>
<p>		Suppose that $T(\mathbf{u}_1)=T(\mathbf{u}_2)$ for some $\mathbf{u}_1, \mathbf{u}_2\in U$.<br />
		Then we have<br />
		\begin{align*}<br />
		\mathbf{0}_V&#038;=T(\mathbf{u}_1)-T(\mathbf{u}_2)\\<br />
		&#038;=T(\mathbf{u}_1)+(-1)T(\mathbf{u}_2)\\<br />
		&#038;=T(\mathbf{u}_1+(-1)\mathbf{u}_2) &#038;&#038; \text{by linearity of $T$}\\<br />
		&#038;=T(\mathbf{u}_1-\mathbf{u}_2)<br />
		\end{align*}<br />
		It follows that the vector $\mathbf{u}_1-\mathbf{u}_2$ is in the null space $\calN(T)=\{\mathbf{0}_U\}$.<br />
		Thus, we have $\mathbf{u}_1-\mathbf{u}_2=\mathbf{0}_U$, or $\mathbf{u}_1=\mathbf{u}_2$.<br />
		So the linear transformation $T$ is injective.</p>
<h2> Related Question. </h2>
<div style="padding: 16px; border: none 3px #4169e1; border-radius: 10px; background-color: #f0f8ff; margin-top: 30px; margin-bottom: 30px;">
<strong>Problem</strong>.<br />
 Let $U$ and $V$ be finite dimensional vector spaces over a scalar field $\F$.<br />
	 Consider a linear transformation $T:U\to V$.</p>
<p>	 Prove that if $\dim(U) > \dim(V)$, then $T$ cannot be injective.</p>
</div>
<p>The proof of this problem is given in the post &#8628;<br />
<a href="//yutsumura.com/a-linear-transformation-t-uto-v-cannot-be-injective-if-dimu-dimv/" target="_blank">A Linear Transformation $T: U\to V$ cannot be Injective if $\dim(U) > \dim(V)$</a></p>
<button class="simplefavorite-button has-count" data-postid="4663" 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/a-linear-transformation-is-injective-one-to-one-if-and-only-if-the-nullity-is-zero/" target="_blank">A Linear Transformation is Injective (One-To-One) if and only if the Nullity is Zero</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/a-linear-transformation-is-injective-one-to-one-if-and-only-if-the-nullity-is-zero/feed/</wfw:commentRss>
		<slash:comments>3</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">4663</post-id>	</item>
	</channel>
</rss>
