<?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>vector space axioms &#8211; Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/vector-space-axioms/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Wed, 28 Feb 2018 13:26:12 +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>vector space axioms &#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>Prove Vector Space Properties Using Vector Space Axioms</title>
		<link>https://yutsumura.com/prove-vector-space-properties-using-vector-space-axioms/</link>
				<comments>https://yutsumura.com/prove-vector-space-properties-using-vector-space-axioms/#respond</comments>
				<pubDate>Wed, 28 Feb 2018 20:00:38 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[cancellation law]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[vector space]]></category>
		<category><![CDATA[vector space axioms]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=6941</guid>
				<description><![CDATA[<p>Using the axiom of a vector space, prove the following properties. Let $V$ be a vector space over $\R$. Let $u, v, w\in V$. (a) If $u+v=u+w$, then $v=w$. (b) If $v+u=w+u$, then $v=w$.&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/prove-vector-space-properties-using-vector-space-axioms/" target="_blank">Prove Vector Space Properties Using Vector Space Axioms</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 711</h2>
<p>Using the axiom of a vector space, prove the following properties.<br />
Let $V$ be a vector space over $\R$. Let $u, v, w\in V$.</p>
<p><strong>(a)</strong> If $u+v=u+w$, then $v=w$.</p>
<p><strong>(b)</strong> If $v+u=w+u$, then $v=w$.</p>
<p><strong>(c)</strong> The zero vector $\mathbf{0}$ is unique.</p>
<p><strong>(d)</strong> For each $v\in V$, the additive inverse $-v$ is unique.</p>
<p><strong>(e)</strong> $0v=\mathbf{0}$ for every $v\in V$, where $0\in\R$ is the zero scalar.</p>
<p><strong>(f)</strong> $a\mathbf{0}=\mathbf{0}$ for every scalar $a$.</p>
<p><strong>(g)</strong> If $av=\mathbf{0}$, then $a=0$ or $v=\mathbf{0}$.</p>
<p><strong>(h)</strong> $(-1)v=-v$.</p>
<p>The first two properties are called the <strong>cancellation law</strong>.</p>
<p>&nbsp;<br />
<span id="more-6941"></span><br />

<h2>The Axioms of a Vector Space</h2>
<p>Recall the axioms of a vector space:</p>
<p>A set $V$ is said to be a <strong>vector space</strong> over $\R$ if</p>
<p>(1) an addition operation &#8220;$+$&#8221; is defined between any two elements of $V$, and<br />
(2) a scalar multiplication operation is defined between any element of $K$ and any element in $V$.</p>
<p>Moreover, the following properties must hold for all $u,v,w\in V$ and $a,b\in \R$:</p>
<p><strong>Closure Properties</strong></p>
<p>(c1) $u+v\in V$.<br />
(c2) $av\in V$.</p>
<p><strong>Properties of Addition</strong><br />
(a1) $u+v=v+u$.<br />
(a2) $u+(v+w)=(u+v)+w$.<br />
(a3) There is an element $\mathbf{0}\in V$ such that $\mathbf{0}+v=v$ for all $v\in V$.<br />
(a4) Given an element $v\in V$, there is an element $-v\in V$ such that $v+(-v)=\mathbf{0}$.</p>
<p><strong>Properties of Scalar Multiplication</strong><br />
(m1)  $a(bv)=(ab)v$.<br />
(m2) $a(u+v)=au+av$.<br />
(m3) $(a+b)v=av+bv$.<br />
(m4) $1v=v$ for all $v\in V$.</p>
<p>The element $\mathbf{0} \in V$ is called the <strong>zero vector</strong>, and for any $v\in V$, the element $-v\in V$ is called the <strong>additive inverse</strong> of $v$.</p>
<h2>Solution.</h2>
<h3>(a) If $u+v=u+w$, then $v=w$.</h3>
<p>We know by $(a4)$ that there is an additive inverse $-u\in V$. Then<br />
\begin{align*}<br />
u+v=u+w<br />
&#038;\implies<br />
-u+(u+v)=-u+(u+w)<br />
\\<br />
&#038;\stackrel{(a2)}{\implies}<br />
(-u+u)+v=(-u+u)+w<br />
\\<br />
&#038;\stackrel{(a1)}{\implies}<br />
(u+(-u))+v=(u+(-u))+w<br />
\\<br />
&#038;\stackrel{(a4)}{\implies}<br />
\mathbf{0}+v=\mathbf{0}+w<br />
\\<br />
&#038;\stackrel{(a3)}{\implies}<br />
v=w.<br />
\end{align*}</p>
<h3>(b) If $v+u=w+u$, then $v=w$.</h3>
<p>Now suppose that we have $v+u=w+u$. Then by (a1), we see that $u+v=u+w$. Now, it follows from (a) that $v=w$.<br />
(Alternatively, you may prove this just like part (a).)</p>
<h3>(c) The zero vector $\mathbf{0}$ is unique.</h3>
<p>Suppose that $\mathbf{0}&#8217;$ is another zero vector satisfying axiom (a3). That is, we have $\mathbf{0}&#8217;+v=v$ for any $v \in V$. Since $\mathbf{0}$ is also satisfy $\mathbf{0}+v=v$, we have<br />
\[\mathbf{0}&#8217;+v=v=\mathbf{0}+v,\]
where $v$ is any fixed vector (for example $v=\mathbf{0}$ is enough).<br />
Now by the cancellation law (see (b)), we obtain $\mathbf{0}&#8217;=\mathbf{0}$.<br />
Thus, there is only one zero vector $\mathbf{0}$.</p>
<h3>(d) For each $v\in V$, the additive inverse $-v$ is unique.</h3>
<p>Since $-v$ is the additive inverse of $v\in V$, we have $v+(-v)=\mathbf{0}$. (This is just (a4).)<br />
Now, suppose that we have a vector $w \in V$ satisfying $v+w=\mathbf{0}$. So, $w$ is another element satisfying axiom (a4).<br />
Then we have<br />
\[v+(-v)=0=v+w.\]
By the cancellation law (see (a)), we have $-v=w$. Thus, the additive inverse is unique.</p>
<h3>(e) $0v=\mathbf{0}$ for every $v\in V$, where $0\in\R$ is the zero scalar.</h3>
<p>Note that $0$ is a real number and $\mathbf{0}$ is the zero vector in $V$. For $v\in V$, we have<br />
\begin{align*}<br />
0v&#038;=(0+0)v\stackrel{(m3)}{=} 0v+0v.<br />
\end{align*}<br />
We also have<br />
\[0v\stackrel{(a3)}{=} \mathbf{0}+0v.\]
Hence, combining these, we see that<br />
\[0v+0v=\mathbf{0}+0v,\]
and by the cancellation law, we obtain $0v=\mathbf{0}$.</p>
<h3>(f) $a\mathbf{0}=\mathbf{0}$ for every scalar $a$.</h3>
<p>Note that we have $\mathbf{0}+\mathbf{0}=\mathbf{0}$ by (a3).<br />
Thus, we have<br />
\begin{align*}<br />
a\mathbf{0}=a(\mathbf{0}+\mathbf{0})\stackrel{(m2)}{=}a\mathbf{0}+a\mathbf{0}.<br />
\end{align*}<br />
We also have<br />
\[a\mathbf{0}=\mathbf{0}+a\mathbf{0}\]
by (a3). Combining these, we have<br />
\[a\mathbf{0}+a\mathbf{0}=\mathbf{0}+a\mathbf{0},\]
and the cancellation law yields $a\mathbf{0}=\mathbf{0}$.</p>
<h3>(g) If $av=\mathbf{0}$, then $a=0$ or $v=\mathbf{0}$.</h3>
<p>For this problem, we use a little bit logic. Our assumption is $av=\mathbf{0}$. From this assumption, we need to deduce that either $a=0$ or $v=\mathbf{0}$.<br />
Note that if $a=0$, then we are done as this is one of the consequence we want. So, let us assume that $a\neq 0$. Then we want to prove $v=0$.<br />
Since $a$ is a nonzero scalar, we have $a^{-1}$. Then we have<br />
\begin{align*}<br />
a^{-1}(av)=a^{-1}\mathbf{0}.<br />
\end{align*}<br />
The right hand side $a^{-1}\mathbf{0}$ is $\mathbf{0}$ by part (f).<br />
On the other hand, the left hand side can be computed as follows:<br />
\begin{align*}<br />
a^{-1}(av) \stackrel{(m1)}{=}(a^{-1}a)v =1v \stackrel{(m4)}{=} v.<br />
\end{align*}<br />
Therefore, we have $v=0$.<br />
Thus, we conclude that if $av=\mathbf{0}$, then either $a=0$ or $v=\mathbf{0}$.</p>
<h3>(h) $(-1)v=-v$.</h3>
<p>Note that $(-1)v$ is the scalar product of $-1$ and $v$. On the other hand, $-v$ is the additive inverse of $v$, which is guaranteed to exist by (a4).<br />
We show that $(-1)v$ is also the additive inverse of $v$:<br />
\begin{align*}<br />
v+(-1)v\stackrel{(m4)}{=}1v+(-1)v \stackrel{(m3)}{=}(1+(-1))v=0v \stackrel{(e)}{=} \mathbf{0}.<br />
\end{align*}<br />
So $(-1)v$ is the additive inverse of $v$. Since by part (d), we know that the additive inverse is unique, it follows that $(-1)v=-v$.</p>
<button class="simplefavorite-button has-count" data-postid="6941" data-siteid="1" data-groupid="1" data-favoritecount="157" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">157</span></button><p>The post <a href="https://yutsumura.com/prove-vector-space-properties-using-vector-space-axioms/" target="_blank">Prove Vector Space Properties Using Vector Space Axioms</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/prove-vector-space-properties-using-vector-space-axioms/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">6941</post-id>	</item>
	</channel>
</rss>
