<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://gradwiki.math.ucr.edu/index.php?action=history&amp;feed=atom&amp;title=Section_1.10_Homework</id>
	<title>Section 1.10 Homework - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://gradwiki.math.ucr.edu/index.php?action=history&amp;feed=atom&amp;title=Section_1.10_Homework"/>
	<link rel="alternate" type="text/html" href="https://gradwiki.math.ucr.edu/index.php?title=Section_1.10_Homework&amp;action=history"/>
	<updated>2026-05-20T10:01:41Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.35.0</generator>
	<entry>
		<id>https://gradwiki.math.ucr.edu/index.php?title=Section_1.10_Homework&amp;diff=955&amp;oldid=prev</id>
		<title>Grad at 07:03, 16 November 2015</title>
		<link rel="alternate" type="text/html" href="https://gradwiki.math.ucr.edu/index.php?title=Section_1.10_Homework&amp;diff=955&amp;oldid=prev"/>
		<updated>2015-11-16T07:03:28Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left diff-editfont-monospace&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 07:03, 16 November 2015&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l3&quot; &gt;Line 3:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 3:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;is a subspace of &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt;.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;is a subspace of &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt;.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;''&lt;/del&gt;Proof:&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;'' &lt;/del&gt;Suppose &amp;lt;math&amp;gt;x_1,x_2 \in L^{-1}(N)&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;L(x_1),L(x_2) \in N&amp;lt;/math&amp;gt;. But &amp;lt;math&amp;gt;N&amp;lt;/math&amp;gt; is a subspace and so &amp;lt;math&amp;gt;L(x_1)+L(x_2) \in N&amp;lt;/math&amp;gt;. But &amp;lt;math&amp;gt;L&amp;lt;/math&amp;gt; is linear so that &amp;lt;math&amp;gt;L(x_1+x_2) = L(x_1)+L(x_2) \in N&amp;lt;/math&amp;gt; so that &amp;lt;math&amp;gt;x_1+x_2 \in L^{-1}(N)&amp;lt;/math&amp;gt;. Thus, &amp;lt;math&amp;gt;L^{-1}(N)&amp;lt;/math&amp;gt; is closed under vector addition. Now suppose &amp;lt;math&amp;gt;x \in L^{-1}(N)&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\alpha \in \mathbb{F}&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;L(x) \in N&amp;lt;/math&amp;gt; and since &amp;lt;math&amp;gt;N&amp;lt;/math&amp;gt; is a subspace, &amp;lt;math&amp;gt;\alpha L(x) \in N&amp;lt;/math&amp;gt;. But again &amp;lt;math&amp;gt;L&amp;lt;/math&amp;gt; is linear so &amp;lt;math&amp;gt;L(\alpha x) = \alpha L(x) \in N&amp;lt;/math&amp;gt;. This means &amp;lt;math&amp;gt;\alpha x \in L^{-1}(N)&amp;lt;/math&amp;gt;. Hence &amp;lt;math&amp;gt;L^{-1}(N)&amp;lt;/math&amp;gt; is closed under scalar multiplication. Therefore &amp;lt;math&amp;gt;L^{-1}(N)&amp;lt;/math&amp;gt; is a subspace of &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt;.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;{| class=&amp;quot;mw-collapsible mw-collapsed&amp;quot; style = &amp;quot;text-align:left;&amp;quot;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;!&lt;/ins&gt;Proof:&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;|-&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;|&lt;/ins&gt;Suppose &amp;lt;math&amp;gt;x_1,x_2 \in L^{-1}(N)&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;L(x_1),L(x_2) \in N&amp;lt;/math&amp;gt;. But &amp;lt;math&amp;gt;N&amp;lt;/math&amp;gt; is a subspace and so &amp;lt;math&amp;gt;L(x_1)+L(x_2) \in N&amp;lt;/math&amp;gt;. But &amp;lt;math&amp;gt;L&amp;lt;/math&amp;gt; is linear so that &amp;lt;math&amp;gt;L(x_1+x_2) = L(x_1)+L(x_2) \in N&amp;lt;/math&amp;gt; so that &amp;lt;math&amp;gt;x_1+x_2 \in L^{-1}(N)&amp;lt;/math&amp;gt;. Thus, &amp;lt;math&amp;gt;L^{-1}(N)&amp;lt;/math&amp;gt; is closed under vector addition. Now suppose &amp;lt;math&amp;gt;x \in L^{-1}(N)&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\alpha \in \mathbb{F}&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;L(x) \in N&amp;lt;/math&amp;gt; and since &amp;lt;math&amp;gt;N&amp;lt;/math&amp;gt; is a subspace, &amp;lt;math&amp;gt;\alpha L(x) \in N&amp;lt;/math&amp;gt;. But again &amp;lt;math&amp;gt;L&amp;lt;/math&amp;gt; is linear so &amp;lt;math&amp;gt;L(\alpha x) = \alpha L(x) \in N&amp;lt;/math&amp;gt;. This means &amp;lt;math&amp;gt;\alpha x \in L^{-1}(N)&amp;lt;/math&amp;gt;. Hence &amp;lt;math&amp;gt;L^{-1}(N)&amp;lt;/math&amp;gt; is closed under scalar multiplication. Therefore &amp;lt;math&amp;gt;L^{-1}(N)&amp;lt;/math&amp;gt; is a subspace of &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt;.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;|}&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;'''10.''' Show that if &amp;lt;math&amp;gt;M \subset V&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;N \subset W&amp;lt;/math&amp;gt; are subspaces, then &amp;lt;math&amp;gt;M \times N \subset V \times W&amp;lt;/math&amp;gt; is also a subspace.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;'''10.''' Show that if &amp;lt;math&amp;gt;M \subset V&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;N \subset W&amp;lt;/math&amp;gt; are subspaces, then &amp;lt;math&amp;gt;M \times N \subset V \times W&amp;lt;/math&amp;gt; is also a subspace.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;''&lt;/del&gt;Proof:&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;'' &lt;/del&gt;Suppose &amp;lt;math&amp;gt;(x_1,y_1),(x_2,y_2) \in M \times N&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;x_1,x_2 \in M&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;y_1,y_2 \in N&amp;lt;/math&amp;gt;. But &amp;lt;math&amp;gt;M&amp;lt;/math&amp;gt; is a subspace and so &amp;lt;math&amp;gt;x_1+x_2 \in M&amp;lt;/math&amp;gt;. Also &amp;lt;math&amp;gt;N&amp;lt;/math&amp;gt; is a subspace so &amp;lt;math&amp;gt;y_1 + y_2 \in N&amp;lt;/math&amp;gt;. This means &amp;lt;math&amp;gt;(x_1+x_2,y_1+y_2) \in M \times N&amp;lt;/math&amp;gt;. On the other hand &amp;lt;math&amp;gt;(x_1,y_1)+(x_2,y_2) = (x_1+x_2,y_1+y_2)&amp;lt;/math&amp;gt;. Thus, &amp;lt;math&amp;gt;M \times N&amp;lt;/math&amp;gt; is closed under vector addition. Now suppose &amp;lt;math&amp;gt;(x,y) \in M \times N&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\alpha \in \mathbb{F}&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;x \in M&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;y \in N&amp;lt;/math&amp;gt;. But &amp;lt;math&amp;gt;M&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;N&amp;lt;/math&amp;gt; are subspaces so &amp;lt;math&amp;gt;\alpha x \in M&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\alpha y \in N&amp;lt;/math&amp;gt;. That means &amp;lt;math&amp;gt;(\alpha x, \alpha y) \in M \times N&amp;lt;/math&amp;gt;. This means &amp;lt;math&amp;gt;\alpha (x,y) = (\alpha x, \alpha y) \in M \times N&amp;lt;/math&amp;gt;. Hence &amp;lt;math&amp;gt;M \times N&amp;lt;/math&amp;gt; is closed under scalar multiplication. Therefore &amp;lt;math&amp;gt;M \times N&amp;lt;/math&amp;gt; is a subspace of &amp;lt;math&amp;gt;V \times W&amp;lt;/math&amp;gt;.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;{| class=&amp;quot;mw-collapsible mw-collapsed&amp;quot; style = &amp;quot;text-align:left;&amp;quot;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;!&lt;/ins&gt;Proof:&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;|-&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;|&lt;/ins&gt;Suppose &amp;lt;math&amp;gt;(x_1,y_1),(x_2,y_2) \in M \times N&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;x_1,x_2 \in M&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;y_1,y_2 \in N&amp;lt;/math&amp;gt;. But &amp;lt;math&amp;gt;M&amp;lt;/math&amp;gt; is a subspace and so &amp;lt;math&amp;gt;x_1+x_2 \in M&amp;lt;/math&amp;gt;. Also &amp;lt;math&amp;gt;N&amp;lt;/math&amp;gt; is a subspace so &amp;lt;math&amp;gt;y_1 + y_2 \in N&amp;lt;/math&amp;gt;. This means &amp;lt;math&amp;gt;(x_1+x_2,y_1+y_2) \in M \times N&amp;lt;/math&amp;gt;. On the other hand &amp;lt;math&amp;gt;(x_1,y_1)+(x_2,y_2) = (x_1+x_2,y_1+y_2)&amp;lt;/math&amp;gt;. Thus, &amp;lt;math&amp;gt;M \times N&amp;lt;/math&amp;gt; is closed under vector addition. Now suppose &amp;lt;math&amp;gt;(x,y) \in M \times N&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\alpha \in \mathbb{F}&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;x \in M&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;y \in N&amp;lt;/math&amp;gt;. But &amp;lt;math&amp;gt;M&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;N&amp;lt;/math&amp;gt; are subspaces so &amp;lt;math&amp;gt;\alpha x \in M&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\alpha y \in N&amp;lt;/math&amp;gt;. That means &amp;lt;math&amp;gt;(\alpha x, \alpha y) \in M \times N&amp;lt;/math&amp;gt;. This means &amp;lt;math&amp;gt;\alpha (x,y) = (\alpha x, \alpha y) \in M \times N&amp;lt;/math&amp;gt;. Hence &amp;lt;math&amp;gt;M \times N&amp;lt;/math&amp;gt; is closed under scalar multiplication. Therefore &amp;lt;math&amp;gt;M \times N&amp;lt;/math&amp;gt; is a subspace of &amp;lt;math&amp;gt;V \times W&amp;lt;/math&amp;gt;.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;|}&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l14&quot; &gt;Line 14:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 22:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;(a) Show that &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is a subspace.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;(a) Show that &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is a subspace.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;''&lt;/del&gt;Proof:&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;'' &lt;/del&gt;Suppose &amp;lt;math&amp;gt;(x_1,L(x_1),(x_2,L(x_2) \in G_L&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;(x_1,L(x_1)+(x_2,L(x_2) = (x_1+x_2,L(x_1)+L(x_2)) = (x_1+x_2, L(x_1+x_2) \in G_L&amp;lt;/math&amp;gt;. Here I used the fact that &amp;lt;math&amp;gt;L&amp;lt;/math&amp;gt; is linear which means &amp;lt;math&amp;gt;L(x_1)+L(x_2) = L(x_1+x_2)&amp;lt;/math&amp;gt;. Thus, &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is closed under vector addition. Now suppose &amp;lt;math&amp;gt;(x,L(x)) \in G_L&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\alpha \in \mathbb{F}&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;\alpha (x,L(x)) = (\alpha x, \alpha L(x)) = (\alpha x, L(\alpha x) \in G_L&amp;lt;/math&amp;gt;. Again I used the linearity property to conclude &amp;lt;math&amp;gt;\alpha L(x) = L(\alpha x)&amp;lt;/math&amp;gt;. Hence &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is closed under scalar multiplication. Therefore &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is a subspace of &amp;lt;math&amp;gt;V \times W&amp;lt;/math&amp;gt;.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;{| class=&amp;quot;mw-collapsible mw-collapsed&amp;quot; style = &amp;quot;text-align:left;&amp;quot;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;!&lt;/ins&gt;Proof:&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;|-&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;|&lt;/ins&gt;Suppose &amp;lt;math&amp;gt;(x_1,L(x_1),(x_2,L(x_2) \in G_L&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;(x_1,L(x_1)+(x_2,L(x_2) = (x_1+x_2,L(x_1)+L(x_2)) = (x_1+x_2, L(x_1+x_2) \in G_L&amp;lt;/math&amp;gt;. Here I used the fact that &amp;lt;math&amp;gt;L&amp;lt;/math&amp;gt; is linear which means &amp;lt;math&amp;gt;L(x_1)+L(x_2) = L(x_1+x_2)&amp;lt;/math&amp;gt;. Thus, &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is closed under vector addition. Now suppose &amp;lt;math&amp;gt;(x,L(x)) \in G_L&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\alpha \in \mathbb{F}&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;\alpha (x,L(x)) = (\alpha x, \alpha L(x)) = (\alpha x, L(\alpha x) \in G_L&amp;lt;/math&amp;gt;. Again I used the linearity property to conclude &amp;lt;math&amp;gt;\alpha L(x) = L(\alpha x)&amp;lt;/math&amp;gt;. Hence &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is closed under scalar multiplication. Therefore &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is a subspace of &amp;lt;math&amp;gt;V \times W&amp;lt;/math&amp;gt;.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;|}&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;(b) Show that the map &amp;lt;math&amp;gt;V \to G_L&amp;lt;/math&amp;gt; that sends &amp;lt;math&amp;gt;x&amp;lt;/math&amp;gt; to &amp;lt;math&amp;gt;(x,L(x)&amp;lt;/math&amp;gt; is an isomorphism.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;(b) Show that the map &amp;lt;math&amp;gt;V \to G_L&amp;lt;/math&amp;gt; that sends &amp;lt;math&amp;gt;x&amp;lt;/math&amp;gt; to &amp;lt;math&amp;gt;(x,L(x)&amp;lt;/math&amp;gt; is an isomorphism.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;''&lt;/del&gt;Proof:&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;'' &lt;/del&gt;Call this map &amp;lt;math&amp;gt;\hat{L}: V \to G_L&amp;lt;/math&amp;gt;. That is &amp;lt;math&amp;gt;\hat{L}(x) = (x,L(x))&amp;lt;/math&amp;gt;. First I will show this map is linear:  &lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;{| class=&amp;quot;mw-collapsible mw-collapsed&amp;quot; style = &amp;quot;text-align:left;&amp;quot;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;!&lt;/ins&gt;Proof:&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;|-&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;|&lt;/ins&gt;Call this map &amp;lt;math&amp;gt;\hat{L}: V \to G_L&amp;lt;/math&amp;gt;. That is &amp;lt;math&amp;gt;\hat{L}(x) = (x,L(x))&amp;lt;/math&amp;gt;. First I will show this map is linear:  &lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;math&amp;gt;\hat{L}(x_1+x_2) =(x_1+x_2, L(x_1+x_2)) = (x_1+x_2,L(x_1)+L(x_2)) = (x_1,L(x_1))+(x_2,L(x_2)) = \hat{L}(x_1)+\hat{L}(x_2)&amp;lt;/math&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;math&amp;gt;\hat{L}(x_1+x_2) =(x_1+x_2, L(x_1+x_2)) = (x_1+x_2,L(x_1)+L(x_2)) = (x_1,L(x_1))+(x_2,L(x_2)) = \hat{L}(x_1)+\hat{L}(x_2)&amp;lt;/math&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;and &amp;lt;math&amp;gt;\hat{L}(\alpha x) =(\alpha x, L(\alpha x)) = (\alpha x,\alpha L(x)) = \alpha (x,L(x)) = \alpha \hat{L}(x)&amp;lt;/math&amp;gt;. Thus &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is linear. Now to show &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is bijective. If &amp;lt;math&amp;gt;(x,L(x)) \in G_L&amp;lt;/math&amp;gt;, then &amp;lt;math&amp;gt;\hat{L}(x) = (x,L(x))&amp;lt;/math&amp;gt; so &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is trivially onto. In fact, we essentially chose to the codomain of our function &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; to just be the image/range of the map to ensure it was onto. Now to show &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is one-to-one. Suppose &amp;lt;math&amp;gt;\hat{L}(x_1) = \hat{L}(x_2)&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;(x_1,L(x_1)) = (x_2,L(x_2)&amp;lt;/math&amp;gt;. But two ordered pairs are equal if and only if both components are equal. That is, &amp;lt;math&amp;gt;x_1 = x_2&amp;lt;/math&amp;gt;. Thus &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is one-to-one. Therefore &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is an isomorphism.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;and &amp;lt;math&amp;gt;\hat{L}(\alpha x) =(\alpha x, L(\alpha x)) = (\alpha x,\alpha L(x)) = \alpha (x,L(x)) = \alpha \hat{L}(x)&amp;lt;/math&amp;gt;. Thus &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is linear. Now to show &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is bijective. If &amp;lt;math&amp;gt;(x,L(x)) \in G_L&amp;lt;/math&amp;gt;, then &amp;lt;math&amp;gt;\hat{L}(x) = (x,L(x))&amp;lt;/math&amp;gt; so &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is trivially onto. In fact, we essentially chose to the codomain of our function &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; to just be the image/range of the map to ensure it was onto. Now to show &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is one-to-one. Suppose &amp;lt;math&amp;gt;\hat{L}(x_1) = \hat{L}(x_2)&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;(x_1,L(x_1)) = (x_2,L(x_2)&amp;lt;/math&amp;gt;. But two ordered pairs are equal if and only if both components are equal. That is, &amp;lt;math&amp;gt;x_1 = x_2&amp;lt;/math&amp;gt;. Thus &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is one-to-one. Therefore &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is an isomorphism.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;|}&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Grad</name></author>
	</entry>
	<entry>
		<id>https://gradwiki.math.ucr.edu/index.php?title=Section_1.10_Homework&amp;diff=946&amp;oldid=prev</id>
		<title>Grad at 23:20, 12 November 2015</title>
		<link rel="alternate" type="text/html" href="https://gradwiki.math.ucr.edu/index.php?title=Section_1.10_Homework&amp;diff=946&amp;oldid=prev"/>
		<updated>2015-11-12T23:20:50Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left diff-editfont-monospace&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 23:20, 12 November 2015&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l19&quot; &gt;Line 19:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 19:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;''Proof:'' Call this map &amp;lt;math&amp;gt;\hat{L}: V \to G_L&amp;lt;/math&amp;gt;. That is &amp;lt;math&amp;gt;\hat{L}(x) = (x,L(x))&amp;lt;/math&amp;gt;. First I will show this map is linear:  &lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;''Proof:'' Call this map &amp;lt;math&amp;gt;\hat{L}: V \to G_L&amp;lt;/math&amp;gt;. That is &amp;lt;math&amp;gt;\hat{L}(x) = (x,L(x))&amp;lt;/math&amp;gt;. First I will show this map is linear:  &lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;math&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;math&amp;gt;\hat{L}(x_1+x_2) =(x_1+x_2, L(x_1+x_2)) = (x_1+x_2,L(x_1)+L(x_2)) = (x_1,L(x_1))+(x_2,L(x_2)) = \hat{L}(x_1)+\hat{L}(x_2)&amp;lt;/math&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;\hat{L}(x_1+x_2) &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;&amp;amp; &lt;/del&gt;=(x_1+x_2, L(x_1+x_2)) = (x_1+x_2,L(x_1)+L(x_2)) = (x_1,L(x_1))+(x_2,L(x_2)) &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\\&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;&amp;amp; &lt;/del&gt;= \hat{L}(x_1)+\hat{L}(x_2)&amp;lt;/math&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;and &amp;lt;math&amp;gt;\hat{L}(\alpha x) =(\alpha x, L(\alpha x)) = (\alpha x,\alpha L(x)) = \alpha (x,L(x)) = \alpha \hat{L}(x)&amp;lt;/math&amp;gt;. Thus &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is linear. Now to show &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is bijective. If &amp;lt;math&amp;gt;(x,L(x)) \in G_L&amp;lt;/math&amp;gt;, then &amp;lt;math&amp;gt;\hat{L}(x) = (x,L(x))&amp;lt;/math&amp;gt; so &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is trivially onto. In fact, we essentially chose to the codomain of our function &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; to just be the image/range of the map to ensure it was onto. Now to show &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is one-to-one. Suppose &amp;lt;math&amp;gt;\hat{L}(x_1) = \hat{L}(x_2)&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;(x_1,L(x_1)) = (x_2,L(x_2)&amp;lt;/math&amp;gt;. But two ordered pairs are equal if and only if both components are equal. That is, &amp;lt;math&amp;gt;x_1 = x_2&amp;lt;/math&amp;gt;. Thus &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is one-to-one. Therefore &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is an isomorphism.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;and &amp;lt;math&amp;gt;\hat{L}(\alpha x) =(\alpha x, L(\alpha x)) = (\alpha x,\alpha L(x)) = \alpha (x,L(x)) = \alpha \hat{L}(x)&amp;lt;/math&amp;gt;. Thus &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is linear. Now to show &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is bijective. If &amp;lt;math&amp;gt;(x,L(x)) \in G_L&amp;lt;/math&amp;gt;, then &amp;lt;math&amp;gt;\hat{L}(x) = (x,L(x))&amp;lt;/math&amp;gt; so &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is trivially onto. In fact, we essentially chose to the codomain of our function &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; to just be the image/range of the map to ensure it was onto. Now to show &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is one-to-one. Suppose &amp;lt;math&amp;gt;\hat{L}(x_1) = \hat{L}(x_2)&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;(x_1,L(x_1)) = (x_2,L(x_2)&amp;lt;/math&amp;gt;. But two ordered pairs are equal if and only if both components are equal. That is, &amp;lt;math&amp;gt;x_1 = x_2&amp;lt;/math&amp;gt;. Thus &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is one-to-one. Therefore &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is an isomorphism.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Grad</name></author>
	</entry>
	<entry>
		<id>https://gradwiki.math.ucr.edu/index.php?title=Section_1.10_Homework&amp;diff=945&amp;oldid=prev</id>
		<title>Grad at 23:19, 12 November 2015</title>
		<link rel="alternate" type="text/html" href="https://gradwiki.math.ucr.edu/index.php?title=Section_1.10_Homework&amp;diff=945&amp;oldid=prev"/>
		<updated>2015-11-12T23:19:23Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left diff-editfont-monospace&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 23:19, 12 November 2015&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l12&quot; &gt;Line 12:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 12:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;'''12.''' Let &amp;lt;math&amp;gt;L: V \to W&amp;lt;/math&amp;gt; be a linear map and consider the graph  &lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;'''12.''' Let &amp;lt;math&amp;gt;L: V \to W&amp;lt;/math&amp;gt; be a linear map and consider the graph  &lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;math&amp;gt;G_L = \{ (x,L(x)): x \in V\} \subset V \times W&amp;lt;/math&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;math&amp;gt;G_L = \{ (x,L(x)): x \in V\} \subset V \times W&amp;lt;/math&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt; &lt;/del&gt;(a) Show that &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is a subspace.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;(a) Show that &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is a subspace.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;''Proof:'' Suppose &amp;lt;math&amp;gt;(x_1,L(x_1),(x_2,L(x_2) \in G_L&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;(x_1,L(x_1)+(x_2,L(x_2) = (x_1+x_2,L(x_1)+L(x_2)) = (x_1+x_2, L(x_1+x_2) \in G_L&amp;lt;/math&amp;gt;. Here I used the fact that &amp;lt;math&amp;gt;L&amp;lt;/math&amp;gt; is linear which means &amp;lt;math&amp;gt;L(x_1)+L(x_2) = L(x_1+x_2)&amp;lt;/math&amp;gt;. Thus, &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is closed under vector addition. Now suppose &amp;lt;math&amp;gt;(x,L(x)) \in G_L&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\alpha \in \mathbb{F}&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;\alpha (x,L(x)) = (\alpha x, \alpha L(x)) = (\alpha x, L(\alpha x) \in G_L&amp;lt;/math&amp;gt;. Again I used the linearity property to conclude &amp;lt;math&amp;gt;\alpha L(x) = L(\alpha x)&amp;lt;/math&amp;gt;. Hence &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is closed under scalar multiplication. Therefore &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is a subspace of &amp;lt;math&amp;gt;V \times W&amp;lt;/math&amp;gt;.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;''Proof:'' Suppose &amp;lt;math&amp;gt;(x_1,L(x_1),(x_2,L(x_2) \in G_L&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;(x_1,L(x_1)+(x_2,L(x_2) = (x_1+x_2,L(x_1)+L(x_2)) = (x_1+x_2, L(x_1+x_2) \in G_L&amp;lt;/math&amp;gt;. Here I used the fact that &amp;lt;math&amp;gt;L&amp;lt;/math&amp;gt; is linear which means &amp;lt;math&amp;gt;L(x_1)+L(x_2) = L(x_1+x_2)&amp;lt;/math&amp;gt;. Thus, &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is closed under vector addition. Now suppose &amp;lt;math&amp;gt;(x,L(x)) \in G_L&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\alpha \in \mathbb{F}&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;\alpha (x,L(x)) = (\alpha x, \alpha L(x)) = (\alpha x, L(\alpha x) \in G_L&amp;lt;/math&amp;gt;. Again I used the linearity property to conclude &amp;lt;math&amp;gt;\alpha L(x) = L(\alpha x)&amp;lt;/math&amp;gt;. Hence &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is closed under scalar multiplication. Therefore &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is a subspace of &amp;lt;math&amp;gt;V \times W&amp;lt;/math&amp;gt;.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l18&quot; &gt;Line 18:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 18:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;(b) Show that the map &amp;lt;math&amp;gt;V \to G_L&amp;lt;/math&amp;gt; that sends &amp;lt;math&amp;gt;x&amp;lt;/math&amp;gt; to &amp;lt;math&amp;gt;(x,L(x)&amp;lt;/math&amp;gt; is an isomorphism.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;(b) Show that the map &amp;lt;math&amp;gt;V \to G_L&amp;lt;/math&amp;gt; that sends &amp;lt;math&amp;gt;x&amp;lt;/math&amp;gt; to &amp;lt;math&amp;gt;(x,L(x)&amp;lt;/math&amp;gt; is an isomorphism.&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;br /&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;''Proof:'' Call this map &amp;lt;math&amp;gt;\hat{L}: V \to G_L&amp;lt;/math&amp;gt;. That is &amp;lt;math&amp;gt;\hat{L}(x) = (x,L(x))&amp;lt;/math&amp;gt;. First I will show this map is linear: &amp;lt;math&amp;gt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\begin{aligned}&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;''Proof:'' Call this map &amp;lt;math&amp;gt;\hat{L}: V \to G_L&amp;lt;/math&amp;gt;. That is &amp;lt;math&amp;gt;\hat{L}(x) = (x,L(x))&amp;lt;/math&amp;gt;. First I will show this map is linear:  &lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;math&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;\hat{L}(x_1+x_2) &amp;amp; =(x_1+x_2, L(x_1+x_2)) = (x_1+x_2,L(x_1)+L(x_2)) = (x_1,L(x_1))+(x_2,L(x_2)) \\&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt; &lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;\hat{L}(x_1+x_2) &amp;amp; =(x_1+x_2, L(x_1+x_2)) = (x_1+x_2,L(x_1)+L(x_2)) = (x_1,L(x_1))+(x_2,L(x_2)) \\&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;amp; = \hat{L}(x_1)+\hat{L}(x_2)&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\end{aligned}&lt;/del&gt;&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\hat{L}(\alpha x) =(\alpha x, L(\alpha x)) = (\alpha x,\alpha L(x)) = \alpha (x,L(x)) = \alpha \hat{L}(x)&amp;lt;/math&amp;gt;. Thus &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is linear. Now to show &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is bijective. If &amp;lt;math&amp;gt;(x,L(x)) \in G_L&amp;lt;/math&amp;gt;, then &amp;lt;math&amp;gt;\hat{L}(x) = (x,L(x))&amp;lt;/math&amp;gt; so &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is trivially onto. In fact, we essentially chose to the codomain of our function &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; to just be the image/range of the map to ensure it was onto. Now to show &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is one-to-one. Suppose &amp;lt;math&amp;gt;\hat{L}(x_1) = \hat{L}(x_2)&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;(x_1,L(x_1)) = (x_2,L(x_2)&amp;lt;/math&amp;gt;. But two ordered pairs are equal if and only if both components are equal. That is, &amp;lt;math&amp;gt;x_1 = x_2&amp;lt;/math&amp;gt;. Thus &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is one-to-one. Therefore &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is an isomorphism.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;amp; = \hat{L}(x_1)+\hat{L}(x_2)&amp;lt;/math&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt; &lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;and &amp;lt;math&amp;gt;\hat{L}(\alpha x) =(\alpha x, L(\alpha x)) = (\alpha x,\alpha L(x)) = \alpha (x,L(x)) = \alpha \hat{L}(x)&amp;lt;/math&amp;gt;. Thus &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is linear. Now to show &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is bijective. If &amp;lt;math&amp;gt;(x,L(x)) \in G_L&amp;lt;/math&amp;gt;, then &amp;lt;math&amp;gt;\hat{L}(x) = (x,L(x))&amp;lt;/math&amp;gt; so &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is trivially onto. In fact, we essentially chose to the codomain of our function &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; to just be the image/range of the map to ensure it was onto. Now to show &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is one-to-one. Suppose &amp;lt;math&amp;gt;\hat{L}(x_1) = \hat{L}(x_2)&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;(x_1,L(x_1)) = (x_2,L(x_2)&amp;lt;/math&amp;gt;. But two ordered pairs are equal if and only if both components are equal. That is, &amp;lt;math&amp;gt;x_1 = x_2&amp;lt;/math&amp;gt;. Thus &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is one-to-one. Therefore &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is an isomorphism.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Grad</name></author>
	</entry>
	<entry>
		<id>https://gradwiki.math.ucr.edu/index.php?title=Section_1.10_Homework&amp;diff=944&amp;oldid=prev</id>
		<title>Grad: Created page with &quot;'''3.''' Let &lt;math&gt;L: V \to W&lt;/math&gt; be a linear map and &lt;math&gt;N \subset W&lt;/math&gt; a subspace. Show that:  &lt;math&gt;L^{-1}(N) = \{ x\in V: L(x) \in N\}&lt;/math&gt; is a subspace of &lt;ma...&quot;</title>
		<link rel="alternate" type="text/html" href="https://gradwiki.math.ucr.edu/index.php?title=Section_1.10_Homework&amp;diff=944&amp;oldid=prev"/>
		<updated>2015-11-12T23:18:14Z</updated>

		<summary type="html">&lt;p&gt;Created page with &amp;quot;&amp;#039;&amp;#039;&amp;#039;3.&amp;#039;&amp;#039;&amp;#039; Let &amp;lt;math&amp;gt;L: V \to W&amp;lt;/math&amp;gt; be a linear map and &amp;lt;math&amp;gt;N \subset W&amp;lt;/math&amp;gt; a subspace. Show that:  &amp;lt;math&amp;gt;L^{-1}(N) = \{ x\in V: L(x) \in N\}&amp;lt;/math&amp;gt; is a subspace of &amp;lt;ma...&amp;quot;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;'''3.''' Let &amp;lt;math&amp;gt;L: V \to W&amp;lt;/math&amp;gt; be a linear map and &amp;lt;math&amp;gt;N \subset W&amp;lt;/math&amp;gt; a subspace. Show that: &lt;br /&gt;
&amp;lt;math&amp;gt;L^{-1}(N) = \{ x\in V: L(x) \in N\}&amp;lt;/math&amp;gt;&lt;br /&gt;
is a subspace of &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt;.&amp;lt;br /&amp;gt;&lt;br /&gt;
&amp;lt;br /&amp;gt;&lt;br /&gt;
''Proof:'' Suppose &amp;lt;math&amp;gt;x_1,x_2 \in L^{-1}(N)&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;L(x_1),L(x_2) \in N&amp;lt;/math&amp;gt;. But &amp;lt;math&amp;gt;N&amp;lt;/math&amp;gt; is a subspace and so &amp;lt;math&amp;gt;L(x_1)+L(x_2) \in N&amp;lt;/math&amp;gt;. But &amp;lt;math&amp;gt;L&amp;lt;/math&amp;gt; is linear so that &amp;lt;math&amp;gt;L(x_1+x_2) = L(x_1)+L(x_2) \in N&amp;lt;/math&amp;gt; so that &amp;lt;math&amp;gt;x_1+x_2 \in L^{-1}(N)&amp;lt;/math&amp;gt;. Thus, &amp;lt;math&amp;gt;L^{-1}(N)&amp;lt;/math&amp;gt; is closed under vector addition. Now suppose &amp;lt;math&amp;gt;x \in L^{-1}(N)&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\alpha \in \mathbb{F}&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;L(x) \in N&amp;lt;/math&amp;gt; and since &amp;lt;math&amp;gt;N&amp;lt;/math&amp;gt; is a subspace, &amp;lt;math&amp;gt;\alpha L(x) \in N&amp;lt;/math&amp;gt;. But again &amp;lt;math&amp;gt;L&amp;lt;/math&amp;gt; is linear so &amp;lt;math&amp;gt;L(\alpha x) = \alpha L(x) \in N&amp;lt;/math&amp;gt;. This means &amp;lt;math&amp;gt;\alpha x \in L^{-1}(N)&amp;lt;/math&amp;gt;. Hence &amp;lt;math&amp;gt;L^{-1}(N)&amp;lt;/math&amp;gt; is closed under scalar multiplication. Therefore &amp;lt;math&amp;gt;L^{-1}(N)&amp;lt;/math&amp;gt; is a subspace of &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt;.&amp;lt;br /&amp;gt;&lt;br /&gt;
&amp;lt;br /&amp;gt;&lt;br /&gt;
'''10.''' Show that if &amp;lt;math&amp;gt;M \subset V&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;N \subset W&amp;lt;/math&amp;gt; are subspaces, then &amp;lt;math&amp;gt;M \times N \subset V \times W&amp;lt;/math&amp;gt; is also a subspace.&amp;lt;br /&amp;gt;&lt;br /&gt;
&amp;lt;br /&amp;gt;&lt;br /&gt;
''Proof:'' Suppose &amp;lt;math&amp;gt;(x_1,y_1),(x_2,y_2) \in M \times N&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;x_1,x_2 \in M&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;y_1,y_2 \in N&amp;lt;/math&amp;gt;. But &amp;lt;math&amp;gt;M&amp;lt;/math&amp;gt; is a subspace and so &amp;lt;math&amp;gt;x_1+x_2 \in M&amp;lt;/math&amp;gt;. Also &amp;lt;math&amp;gt;N&amp;lt;/math&amp;gt; is a subspace so &amp;lt;math&amp;gt;y_1 + y_2 \in N&amp;lt;/math&amp;gt;. This means &amp;lt;math&amp;gt;(x_1+x_2,y_1+y_2) \in M \times N&amp;lt;/math&amp;gt;. On the other hand &amp;lt;math&amp;gt;(x_1,y_1)+(x_2,y_2) = (x_1+x_2,y_1+y_2)&amp;lt;/math&amp;gt;. Thus, &amp;lt;math&amp;gt;M \times N&amp;lt;/math&amp;gt; is closed under vector addition. Now suppose &amp;lt;math&amp;gt;(x,y) \in M \times N&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\alpha \in \mathbb{F}&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;x \in M&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;y \in N&amp;lt;/math&amp;gt;. But &amp;lt;math&amp;gt;M&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;N&amp;lt;/math&amp;gt; are subspaces so &amp;lt;math&amp;gt;\alpha x \in M&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\alpha y \in N&amp;lt;/math&amp;gt;. That means &amp;lt;math&amp;gt;(\alpha x, \alpha y) \in M \times N&amp;lt;/math&amp;gt;. This means &amp;lt;math&amp;gt;\alpha (x,y) = (\alpha x, \alpha y) \in M \times N&amp;lt;/math&amp;gt;. Hence &amp;lt;math&amp;gt;M \times N&amp;lt;/math&amp;gt; is closed under scalar multiplication. Therefore &amp;lt;math&amp;gt;M \times N&amp;lt;/math&amp;gt; is a subspace of &amp;lt;math&amp;gt;V \times W&amp;lt;/math&amp;gt;.&amp;lt;br /&amp;gt;&lt;br /&gt;
&amp;lt;br /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
'''12.''' Let &amp;lt;math&amp;gt;L: V \to W&amp;lt;/math&amp;gt; be a linear map and consider the graph &lt;br /&gt;
&amp;lt;math&amp;gt;G_L = \{ (x,L(x)): x \in V\} \subset V \times W&amp;lt;/math&amp;gt;&lt;br /&gt;
 (a) Show that &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is a subspace.&amp;lt;br /&amp;gt;&lt;br /&gt;
&amp;lt;br /&amp;gt;&lt;br /&gt;
''Proof:'' Suppose &amp;lt;math&amp;gt;(x_1,L(x_1),(x_2,L(x_2) \in G_L&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;(x_1,L(x_1)+(x_2,L(x_2) = (x_1+x_2,L(x_1)+L(x_2)) = (x_1+x_2, L(x_1+x_2) \in G_L&amp;lt;/math&amp;gt;. Here I used the fact that &amp;lt;math&amp;gt;L&amp;lt;/math&amp;gt; is linear which means &amp;lt;math&amp;gt;L(x_1)+L(x_2) = L(x_1+x_2)&amp;lt;/math&amp;gt;. Thus, &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is closed under vector addition. Now suppose &amp;lt;math&amp;gt;(x,L(x)) \in G_L&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\alpha \in \mathbb{F}&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;\alpha (x,L(x)) = (\alpha x, \alpha L(x)) = (\alpha x, L(\alpha x) \in G_L&amp;lt;/math&amp;gt;. Again I used the linearity property to conclude &amp;lt;math&amp;gt;\alpha L(x) = L(\alpha x)&amp;lt;/math&amp;gt;. Hence &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is closed under scalar multiplication. Therefore &amp;lt;math&amp;gt;G_L&amp;lt;/math&amp;gt; is a subspace of &amp;lt;math&amp;gt;V \times W&amp;lt;/math&amp;gt;.&amp;lt;br /&amp;gt;&lt;br /&gt;
&amp;lt;br /&amp;gt;&lt;br /&gt;
(b) Show that the map &amp;lt;math&amp;gt;V \to G_L&amp;lt;/math&amp;gt; that sends &amp;lt;math&amp;gt;x&amp;lt;/math&amp;gt; to &amp;lt;math&amp;gt;(x,L(x)&amp;lt;/math&amp;gt; is an isomorphism.&amp;lt;br /&amp;gt;&lt;br /&gt;
&amp;lt;br /&amp;gt;&lt;br /&gt;
''Proof:'' Call this map &amp;lt;math&amp;gt;\hat{L}: V \to G_L&amp;lt;/math&amp;gt;. That is &amp;lt;math&amp;gt;\hat{L}(x) = (x,L(x))&amp;lt;/math&amp;gt;. First I will show this map is linear: &amp;lt;math&amp;gt;\begin{aligned}&lt;br /&gt;
\hat{L}(x_1+x_2) &amp;amp; =(x_1+x_2, L(x_1+x_2)) = (x_1+x_2,L(x_1)+L(x_2)) = (x_1,L(x_1))+(x_2,L(x_2)) \\&lt;br /&gt;
&amp;amp; = \hat{L}(x_1)+\hat{L}(x_2)\end{aligned}&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;\hat{L}(\alpha x) =(\alpha x, L(\alpha x)) = (\alpha x,\alpha L(x)) = \alpha (x,L(x)) = \alpha \hat{L}(x)&amp;lt;/math&amp;gt;. Thus &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is linear. Now to show &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is bijective. If &amp;lt;math&amp;gt;(x,L(x)) \in G_L&amp;lt;/math&amp;gt;, then &amp;lt;math&amp;gt;\hat{L}(x) = (x,L(x))&amp;lt;/math&amp;gt; so &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is trivially onto. In fact, we essentially chose to the codomain of our function &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; to just be the image/range of the map to ensure it was onto. Now to show &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is one-to-one. Suppose &amp;lt;math&amp;gt;\hat{L}(x_1) = \hat{L}(x_2)&amp;lt;/math&amp;gt;. Then &amp;lt;math&amp;gt;(x_1,L(x_1)) = (x_2,L(x_2)&amp;lt;/math&amp;gt;. But two ordered pairs are equal if and only if both components are equal. That is, &amp;lt;math&amp;gt;x_1 = x_2&amp;lt;/math&amp;gt;. Thus &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is one-to-one. Therefore &amp;lt;math&amp;gt;\hat{L}&amp;lt;/math&amp;gt; is an isomorphism.&lt;/div&gt;</summary>
		<author><name>Grad</name></author>
	</entry>
</feed>