<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://wiki.math.ucr.edu/index.php?action=history&amp;feed=atom&amp;title=Section_1.10</id>
	<title>Section 1.10 - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://wiki.math.ucr.edu/index.php?action=history&amp;feed=atom&amp;title=Section_1.10"/>
	<link rel="alternate" type="text/html" href="https://wiki.math.ucr.edu/index.php?title=Section_1.10&amp;action=history"/>
	<updated>2026-04-24T11:27:49Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.35.0</generator>
	<entry>
		<id>https://wiki.math.ucr.edu/index.php?title=Section_1.10&amp;diff=1167&amp;oldid=prev</id>
		<title>MathAdmin: 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://wiki.math.ucr.edu/index.php?title=Section_1.10&amp;diff=1167&amp;oldid=prev"/>
		<updated>2015-11-16T07:17:00Z</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;
{| class=&amp;quot;mw-collapsible mw-collapsed&amp;quot; style = &amp;quot;text-align:left;&amp;quot;&lt;br /&gt;
!Proof:&lt;br /&gt;
|-&lt;br /&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;br /&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;
{| class=&amp;quot;mw-collapsible mw-collapsed&amp;quot; style = &amp;quot;text-align:left;&amp;quot;&lt;br /&gt;
!Proof:&lt;br /&gt;
|-&lt;br /&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;br /&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;
{| class=&amp;quot;mw-collapsible mw-collapsed&amp;quot; style = &amp;quot;text-align:left;&amp;quot;&lt;br /&gt;
!Proof:&lt;br /&gt;
|-&lt;br /&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;br /&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;
{| class=&amp;quot;mw-collapsible mw-collapsed&amp;quot; style = &amp;quot;text-align:left;&amp;quot;&lt;br /&gt;
!Proof:&lt;br /&gt;
|-&lt;br /&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;br /&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;br /&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;br /&gt;
|}&lt;/div&gt;</summary>
		<author><name>MathAdmin</name></author>
	</entry>
</feed>