<?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>spanning set | Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/spanning-set/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Mon, 19 Mar 2018 04:57:36 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>
	hourly	</sy:updatePeriod>
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<generator>https://wordpress.org/?v=5.3.10</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>spanning set | 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>Find a Spanning Set for the Vector Space of Skew-Symmetric Matrices</title>
		<link>https://yutsumura.com/find-a-spanning-set-for-the-vector-space-of-skew-symmetric-matrices/</link>
				<comments>https://yutsumura.com/find-a-spanning-set-for-the-vector-space-of-skew-symmetric-matrices/#respond</comments>
				<pubDate>Mon, 19 Mar 2018 04:57:36 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linear combination]]></category>
		<category><![CDATA[skew-symmetric matrix]]></category>
		<category><![CDATA[spanning set]]></category>
		<category><![CDATA[subspace]]></category>
		<category><![CDATA[vector space]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=6964</guid>
				<description><![CDATA[<p>Let $W$ be the set of $3\times 3$ skew-symmetric matrices. Show that $W$ is a subspace of the vector space $V$ of all $3\times 3$ matrices. Then, exhibit a spanning set for $W$. &#160;&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/find-a-spanning-set-for-the-vector-space-of-skew-symmetric-matrices/">Find a Spanning Set for the Vector Space of Skew-Symmetric Matrices</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 714</h2>
<p>Let $W$ be the set of $3\times 3$ skew-symmetric matrices. Show that $W$ is a subspace of the vector space $V$ of all $3\times 3$ matrices. Then, exhibit a spanning set for $W$.</p>
<p> &nbsp;<br />
<span id="more-6964"></span></p>
<h2> Proof. </h2>
<p> 	 To prove that $W$ is a subspace of $V$, the $3\times 3$ zero matrix $\mathbf{0}$ is the zero vector of $V$, and since $\mathbf{0}$ is clearly skew-symmetric, $\mathbf{0}\in W$. Next, let $A,B\in W$. Then $A^{T}=-A$ and $B^{T}=-B$. Therefore,<br />
	\[<br />
	(A+B)^{T}<br />
	=A^{T}+B^{T}<br />
	=-A+(-B)<br />
	=-(A+B).<br />
	\]
	Thus $A+B$ is skew-symmetric, and therefore $A+B\in W$. Next, take any $A\in W$ and $r$ in the scalar field. Then<br />
	\[<br />
	(rA)^{T}<br />
	=rA^{T}<br />
	=r(-A)<br />
	=-rA.<br />
	\]
	Thus $rA$ is skew symmetric, which implies $rA\in W$. Therefore, $W$ is a subspace of $V$.</p>
<hr />
<p>	To exhibit a spanning set for $W$, first note that<br />
	\[<br />
	W=<br />
	\left\{<br />
	A\left|<br />
	A=<br />
	\begin{bmatrix}<br />
	0 &#038; a &#038; b \\<br />
	-a &#038; 0 &#038; c \\<br />
	-b &#038; -c &#038; 0<br />
	\end{bmatrix}<br />
	,\;a,b,c\in\R<br />
	\right.\right\}.<br />
	\]
	Let<br />
	\[<br />
	A_{1}=<br />
	\begin{bmatrix}<br />
	0 &#038; 1 &#038; 0 \\<br />
	-1 &#038; 0 &#038; 0 \\<br />
	0 &#038; 0 &#038; 0<br />
	\end{bmatrix}<br />
	,\;<br />
	A_{2}=<br />
	\begin{bmatrix}<br />
	0 &#038; 0 &#038; 1 \\<br />
	0 &#038; 0 &#038; 0 \\<br />
	-1 &#038; 0 &#038; 0<br />
	\end{bmatrix}<br />
	,\;<br />
	A_{3}=<br />
	\begin{bmatrix}<br />
	0 &#038; 0 &#038; 0 \\<br />
	0 &#038; 0 &#038; 1 \\<br />
	0 &#038; -1 &#038; 0<br />
	\end{bmatrix}<br />
	.<br />
	\]
	Then any $A\in W$ can be written as<br />
	\[<br />
	A=<br />
	\begin{bmatrix}<br />
	0 &#038; a &#038; b \\<br />
	-a &#038; 0 &#038; c \\<br />
	-b &#038; -c &#038; 0<br />
	\end{bmatrix}<br />
	=aA_{1}+bA_{2}+cA_{3},<br />
	\]
	which is a linear combination of $A_{1},A_{2},A_{3}$. Thus $\{A_{1},A_{2},A_{3}\}$ is a spanning set for $W$.</p>
<button class="simplefavorite-button has-count" data-postid="6964" data-siteid="1" data-groupid="1" data-favoritecount="139" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">139</span></button>The post <a href="https://yutsumura.com/find-a-spanning-set-for-the-vector-space-of-skew-symmetric-matrices/">Find a Spanning Set for the Vector Space of Skew-Symmetric Matrices</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/find-a-spanning-set-for-the-vector-space-of-skew-symmetric-matrices/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">6964</post-id>	</item>
		<item>
		<title>Find a basis for $\Span(S)$, where $S$ is a Set of Four Vectors</title>
		<link>https://yutsumura.com/find-a-basis-for-spans-where-s-is-a-set-of-four-vectors/</link>
				<comments>https://yutsumura.com/find-a-basis-for-spans-where-s-is-a-set-of-four-vectors/#respond</comments>
				<pubDate>Mon, 26 Feb 2018 14:10:52 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[basis for a vector space]]></category>
		<category><![CDATA[leading 1 method]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linear combination]]></category>
		<category><![CDATA[span]]></category>
		<category><![CDATA[spanning set]]></category>
		<category><![CDATA[subspace]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=6933</guid>
				<description><![CDATA[<p>Find a basis for $\Span(S)$ where $S= \left\{ \begin{bmatrix} 1 \\ 2 \\ 1 \end{bmatrix} , \begin{bmatrix} -1 \\ -2 \\ -1 \end{bmatrix} , \begin{bmatrix} 2 \\ 6 \\ -2 \end{bmatrix} , \begin{bmatrix} 1&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/find-a-basis-for-spans-where-s-is-a-set-of-four-vectors/">Find a basis for $\Span(S)$, where $S$ is a Set of Four Vectors</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 710</h2>
<p>Find a basis for $\Span(S)$ where $S=<br />
\left\{<br />
\begin{bmatrix}<br />
1 \\ 2 \\ 1<br />
\end{bmatrix}<br />
,<br />
\begin{bmatrix}<br />
-1 \\ -2 \\ -1<br />
\end{bmatrix}<br />
,<br />
\begin{bmatrix}<br />
2 \\ 6 \\ -2<br />
\end{bmatrix}<br />
,<br />
\begin{bmatrix}<br />
1 \\ 1 \\ 3<br />
\end{bmatrix}<br />
\right\}$.</p>
<p>&nbsp;<br />
<span id="more-6933"></span><br />

<h2>Solution.</h2>
<p>	We will first use the leading $1$ method. Consider the system<br />
	\[<br />
	x_{1}<br />
	\begin{bmatrix}<br />
	1 \\ 2 \\ 1<br />
	\end{bmatrix}<br />
	+x_{2}<br />
	\begin{bmatrix}<br />
	-1 \\ -2 \\ -1<br />
	\end{bmatrix}<br />
	+x_{3}<br />
	\begin{bmatrix}<br />
	2 \\ 6 \\ -2<br />
	\end{bmatrix}<br />
	+x_{4}<br />
	\begin{bmatrix}<br />
	1 \\ 1 \\ 3<br />
	\end{bmatrix}<br />
	=<br />
	\begin{bmatrix}<br />
	0 \\ 0 \\ 0<br />
	\end{bmatrix}<br />
	.\]
	The augmented matrix for this system is<br />
	\[<br />
	\left[\begin{array}{cccc|c}<br />
	1 &#038; -1 &#038; 2 &#038; 1 &#038; 0 \\<br />
	2 &#038; -2 &#038; 6 &#038; 1 &#038; 0 \\<br />
	1 &#038; -1 &#038; -2 &#038; 3 &#038; 0<br />
	\end{array}\right]
	\xrightarrow{\substack{R_{2}-2R_{1} \\ R_{3}-R_{1}}}<br />
	\left[\begin{array}{cccc|c}<br />
	1 &#038; -1 &#038; 2 &#038; 1 &#038; 0 \\<br />
	0 &#038; 0 &#038; 2 &#038; -1 &#038; 0 \\<br />
	0 &#038; 0 &#038; -4 &#038; 2 &#038; 0<br />
	\end{array}\right]
	\]
	\[<br />
	\to<br />
	\left[\begin{array}{cccc|c}<br />
	1 &#038; -1 &#038; 0 &#038; 2 &#038; 0 \\<br />
	0 &#038; 0 &#038; 1 &#038; -1/2 &#038; 0 \\<br />
	0 &#038; 0 &#038; 0 &#038; 0<br />
	\end{array}\right].<br />
	\]
	Since the above matrix has leading $1$&#8217;s in the first and third columns, we can conclude that the first and third vectors of $S$ form a basis of $\Span(S)$. Thus<br />
	\[<br />
	\left\{<br />
	\begin{bmatrix}<br />
	1 \\ 2 \\ 1<br />
	\end{bmatrix}<br />
	,<br />
	\begin{bmatrix}<br />
	2 \\ 6 \\ -2<br />
	\end{bmatrix}<br />
	\right\}<br />
	\]
	is a basis for $\Span(S)$.</p>
<button class="simplefavorite-button has-count" data-postid="6933" data-siteid="1" data-groupid="1" data-favoritecount="127" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">127</span></button>The post <a href="https://yutsumura.com/find-a-basis-for-spans-where-s-is-a-set-of-four-vectors/">Find a basis for $\Span(S)$, where $S$ is a Set of Four Vectors</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/find-a-basis-for-spans-where-s-is-a-set-of-four-vectors/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">6933</post-id>	</item>
		<item>
		<title>Find a Basis for the Subspace spanned by Five Vectors</title>
		<link>https://yutsumura.com/find-a-basis-for-the-subspace-spanned-by-five-vectors/</link>
				<comments>https://yutsumura.com/find-a-basis-for-the-subspace-spanned-by-five-vectors/#respond</comments>
				<pubDate>Mon, 26 Feb 2018 13:54:44 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[basis]]></category>
		<category><![CDATA[leading 1 method]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[row space]]></category>
		<category><![CDATA[row space method]]></category>
		<category><![CDATA[span]]></category>
		<category><![CDATA[spanning set]]></category>
		<category><![CDATA[subspace]]></category>
		<category><![CDATA[vector space]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=6930</guid>
				<description><![CDATA[<p>Let $S=\{\mathbf{v}_{1},\mathbf{v}_{2},\mathbf{v}_{3},\mathbf{v}_{4},\mathbf{v}_{5}\}$ where \[ \mathbf{v}_{1}= \begin{bmatrix} 1 \\ 2 \\ 2 \\ -1 \end{bmatrix} ,\;\mathbf{v}_{2}= \begin{bmatrix} 1 \\ 3 \\ 1 \\ 1 \end{bmatrix} ,\;\mathbf{v}_{3}= \begin{bmatrix} 1 \\ 5 \\ -1 \\ 5 \end{bmatrix}&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/find-a-basis-for-the-subspace-spanned-by-five-vectors/">Find a Basis for the Subspace spanned by Five Vectors</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 709</h2>
<p>Let $S=\{\mathbf{v}_{1},\mathbf{v}_{2},\mathbf{v}_{3},\mathbf{v}_{4},\mathbf{v}_{5}\}$ where<br />
\[<br />
\mathbf{v}_{1}=<br />
\begin{bmatrix}<br />
1 \\ 2 \\ 2 \\ -1<br />
\end{bmatrix}<br />
,\;\mathbf{v}_{2}=<br />
\begin{bmatrix}<br />
1 \\ 3 \\ 1 \\ 1<br />
\end{bmatrix}<br />
,\;\mathbf{v}_{3}=<br />
\begin{bmatrix}<br />
1 \\ 5 \\ -1 \\ 5<br />
\end{bmatrix}<br />
,\;\mathbf{v}_{4}=<br />
\begin{bmatrix}<br />
1 \\ 1 \\ 4 \\ -1<br />
\end{bmatrix}<br />
,\;\mathbf{v}_{5}=<br />
\begin{bmatrix}<br />
2 \\ 7 \\ 0 \\ 2<br />
\end{bmatrix}<br />
.\]
Find a basis for the span $\Span(S)$.</p>
<p>&nbsp;<br />
<span id="more-6930"></span><br />

	We will give two solutions.</p>
<h2>Solution 1.</h2>
<p>	We apply the leading 1 method.<br />
	Let $A$ be the matrix whose column vectors are vectors in the set $S$:<br />
	\[<br />
	A=<br />
	\begin{bmatrix}<br />
	1 &#038; 1 &#038; 1 &#038; 1 &#038; 2 \\<br />
	2 &#038; 3 &#038; 5 &#038; 1 &#038; 7 \\<br />
	2 &#038; 1 &#038; -1 &#038; 4 &#038; 0 \\<br />
	-1 &#038; 1 &#038; 5 &#038; -1 &#038; 2<br />
	\end{bmatrix}<br />
	.\]
	Applying the elementary row operations to $A$, we obtain<br />
	\begin{align*}<br />
A=\begin{bmatrix}<br />
	1 &#038; 1 &#038; 1 &#038; 1 &#038; 2 \\<br />
	2 &#038; 3 &#038; 5 &#038; 1 &#038; 7 \\<br />
	2 &#038; 1 &#038; -1 &#038; 4 &#038; 0 \\<br />
	-1 &#038; 1 &#038; 5 &#038; -1 &#038; 2<br />
	\end{bmatrix}<br />
	\xrightarrow[R_4+R_1]{\substack{R_2-2R_1 \\ R_3-2R_1}}<br />
	\begin{bmatrix}<br />
   1 &#038; 1 &#038; 1 &#038;   1 &#038;  2 \\<br />
   0 &#038;  1 &#038; 3  &#038; -1 &#038; 3 \\<br />
    0 &#038; -1 &#038; -3 &#038; 2 &#038; -4 \\<br />
     0 &#038; 2 &#038; 6 &#038; 0 &#038; 4<br />
     \end{bmatrix}\\[6pt]
     \xrightarrow[R_4-2R_2]{\substack{R_1-R_2 \\ R_3+R_2}}<br />
     \begin{bmatrix}<br />
   1 &#038; 0 &#038; -2 &#038;   2 &#038;  -1 \\<br />
   0 &#038;  1 &#038; 3  &#038; -1 &#038; 3 \\<br />
    0 &#038; 0 &#038; 0 &#038; 1 &#038; -1 \\<br />
     0 &#038; 0 &#038; 0 &#038; 2 &#038; -2<br />
     \end{bmatrix}<br />
     \xrightarrow[R_4-2R_3]{\substack{R_1-2R_3 \\ R_2+R_3}}<br />
     \begin{bmatrix}<br />
   1 &#038; 0 &#038; -2 &#038;   0 &#038;  1 \\<br />
   0 &#038;  1 &#038; 3  &#038; 0 &#038; 2 \\<br />
    0 &#038; 0 &#038; 0 &#038; 1 &#038; -1 \\<br />
     0 &#038; 0 &#038; 0 &#038; 0 &#038; 0<br />
     \end{bmatrix}=\rref(A).<br />
\end{align*}<br />
Observe that the first, second, and fourth column vectors of $\rref(A)$ contain the leading 1 entries.<br />
Hence, the first, second, and fourth column vectors of $A$ form a basis of $\Span(S)$.<br />
Namely,<br />
\[\left\{ \begin{bmatrix}<br />
  1 \\<br />
   2 \\<br />
    2 \\<br />
   -1<br />
   \end{bmatrix}, \begin{bmatrix}<br />
  1 \\<br />
   3 \\<br />
    1 \\<br />
   1<br />
   \end{bmatrix}, \begin{bmatrix}<br />
  1 \\<br />
   1 \\<br />
    4 \\<br />
   -1<br />
   \end{bmatrix}\right \}\]
   is a basis for $\Span(S)$.</p>
<h2>Solution 2.</h2>
<p>	Let<br />
	\[<br />
	A=<br />
	\begin{bmatrix}<br />
	1 &#038; 1 &#038; 1 &#038; 1 &#038; 2 \\<br />
	2 &#038; 3 &#038; 5 &#038; 1 &#038; 7 \\<br />
	2 &#038; 1 &#038; -1 &#038; 4 &#038; 0 \\<br />
	-1 &#038; 1 &#038; 5 &#038; -1 &#038; 2<br />
	\end{bmatrix}<br />
	.\]
	Then $\Span(S)$ is the column space of $A$, which is the row space of $A^{T}$. Using row operations, we have<br />
	\[<br />
	A^{T}=<br />
	\begin{bmatrix}<br />
	1 &#038; 2 &#038; 2 &#038; -1 \\<br />
	1 &#038; 3 &#038; 1 &#038; 1 \\<br />
	1 &#038; 5 &#038; -1 &#038; 5 \\<br />
	1 &#038; 1 &#038; 4 &#038; -1 \\<br />
	2 &#038; 7 &#038; 0 &#038; 2<br />
	\end{bmatrix}<br />
	\to<br />
	\begin{bmatrix}<br />
	1 &#038; 2 &#038; 2 &#038; -1 \\<br />
	0 &#038; 1 &#038; -1 &#038; 2 \\<br />
	0 &#038; 3 &#038; -3 &#038; 6 \\<br />
	0 &#038; -1 &#038; 2 &#038; 0 \\<br />
	0 &#038; 3 &#038; -4 &#038; 4<br />
	\end{bmatrix}<br />
	\to<br />
	\begin{bmatrix}<br />
	1 &#038; 0 &#038; 4 &#038; 5 \\<br />
	0 &#038; 1 &#038; -1 &#038; 2 \\<br />
	0 &#038; 0 &#038; 0 &#038; 0 \\<br />
	0 &#038; 0 &#038; 1 &#038; 2 \\<br />
	0 &#038; 0 &#038; -1 &#038; -2<br />
	\end{bmatrix}<br />
	\]
	\[<br />
	\to<br />
	\begin{bmatrix}<br />
	1 &#038; 0 &#038; 0 &#038; -13 \\<br />
	0 &#038; 1 &#038; 0 &#038; 4 \\<br />
	0 &#038; 0 &#038; 1 &#038; 2 \\<br />
	0 &#038; 0 &#038; 0 &#038; 0 \\<br />
	0 &#038; 0 &#038; 0 &#038; 0<br />
	\end{bmatrix}<br />
	.<br />
	\]
	Therefore, the set of nonzero rows<br />
	\[<br />
	\left\{<br />
	\begin{bmatrix}<br />
	1 \\ 0 \\ 0 \\ -13<br />
	\end{bmatrix}<br />
	,<br />
	\begin{bmatrix}<br />
	0 \\ 1 \\ 0 \\ 4<br />
	\end{bmatrix}<br />
	,<br />
	\begin{bmatrix}<br />
	0 \\ 0 \\ 1 \\ 2<br />
	\end{bmatrix}<br />
	\right\}<br />
	\]
	is a basis for the row space of $A^{T}$, which equals $\Span(S)$.</p>
<button class="simplefavorite-button has-count" data-postid="6930" data-siteid="1" data-groupid="1" data-favoritecount="171" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">171</span></button>The post <a href="https://yutsumura.com/find-a-basis-for-the-subspace-spanned-by-five-vectors/">Find a Basis for the Subspace spanned by Five Vectors</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/find-a-basis-for-the-subspace-spanned-by-five-vectors/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">6930</post-id>	</item>
		<item>
		<title>Can We Reduce the Number of Vectors in a Spanning Set?</title>
		<link>https://yutsumura.com/can-we-reduce-the-number-of-vectors-in-a-spanning-set/</link>
				<comments>https://yutsumura.com/can-we-reduce-the-number-of-vectors-in-a-spanning-set/#respond</comments>
				<pubDate>Mon, 26 Feb 2018 13:09:40 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linear combination]]></category>
		<category><![CDATA[linearly dependent]]></category>
		<category><![CDATA[spanning set]]></category>
		<category><![CDATA[subspace]]></category>
		<category><![CDATA[vector space]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=6923</guid>
				<description><![CDATA[<p>Suppose that a set of vectors $S_1=\{\mathbf{v}_1, \mathbf{v}_2, \mathbf{v}_3\}$ is a spanning set of a subspace $V$ in $\R^3$. Is it possible that $S_2=\{\mathbf{v}_1\}$ is a spanning set for $V$? &#160; Solution. Yes, in&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/can-we-reduce-the-number-of-vectors-in-a-spanning-set/">Can We Reduce the Number of Vectors in a Spanning Set?</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 707</h2>
<p> Suppose that a set of vectors $S_1=\{\mathbf{v}_1, \mathbf{v}_2, \mathbf{v}_3\}$ is a spanning set of a subspace $V$ in $\R^3$. Is it possible that $S_2=\{\mathbf{v}_1\}$ is a spanning set for $V$?</p>
<p>&nbsp;<br />
<span id="more-6923"></span></p>
<h2>Solution.</h2>
<p> 	Yes, in general, $S_2$ can be a spanning set.</p>
<p> 	As an example, consider the vectors<br />
 	\[\mathbf{v}_1=\begin{bmatrix}<br />
  1 \\<br />
   0 \\<br />
    0<br />
  \end{bmatrix}, \mathbf{v}_2=\begin{bmatrix}<br />
  2 \\<br />
   0 \\<br />
    0<br />
  \end{bmatrix}, \mathbf{v}_3=\begin{bmatrix}<br />
  3 \\<br />
   0 \\<br />
    0<br />
  \end{bmatrix}.\]
  Then, as we have $\mathbf{v}_2=2\mathbf{v}_1$ and $\mathbf{v}_3=\mathbf{3}\mathbf{v}_1$, we see that<br />
 the set $S_1=\{\mathbf{v}_1, \mathbf{v}_2, \mathbf{v}_3\}$ is a spanning set of the subspace $V=\Span(\mathbf{v}_1)$, and clearly $S_2=\{\mathbf{v}_1\}$ is a spanning set for $V$.</p>
<p> Geometrically, $V=\Span(\mathbf{v}_1)$ is a line in $\R^3$ passing through the origin and $\mathbf{v}_1$. The vectors $\mathbf{v}_2, \mathbf{v}_3$ are also on the same line. Thus, we can omit them from the spanning set $S_1$.</p>
<button class="simplefavorite-button has-count" data-postid="6923" data-siteid="1" data-groupid="1" data-favoritecount="86" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">86</span></button>The post <a href="https://yutsumura.com/can-we-reduce-the-number-of-vectors-in-a-spanning-set/">Can We Reduce the Number of Vectors in a Spanning Set?</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/can-we-reduce-the-number-of-vectors-in-a-spanning-set/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">6923</post-id>	</item>
		<item>
		<title>Does an Extra Vector Change the Span?</title>
		<link>https://yutsumura.com/does-an-extra-vector-change-the-span/</link>
				<comments>https://yutsumura.com/does-an-extra-vector-change-the-span/#respond</comments>
				<pubDate>Mon, 26 Feb 2018 04:54:44 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linear combination]]></category>
		<category><![CDATA[span]]></category>
		<category><![CDATA[spanning set]]></category>
		<category><![CDATA[subspace]]></category>
		<category><![CDATA[vector space]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=6920</guid>
				<description><![CDATA[<p>Suppose that a set of vectors $S_1=\{\mathbf{v}_1, \mathbf{v}_2, \mathbf{v}_3\}$ is a spanning set of a subspace $V$ in $\R^5$. If $\mathbf{v}_4$ is another vector in $V$, then is the set \[S_2=\{\mathbf{v}_1, \mathbf{v}_2, \mathbf{v}_3, \mathbf{v}_4\}\]&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/does-an-extra-vector-change-the-span/">Does an Extra Vector Change the Span?</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 706</h2>
<p>Suppose that a set of vectors $S_1=\{\mathbf{v}_1, \mathbf{v}_2, \mathbf{v}_3\}$ is a spanning set of a subspace $V$ in $\R^5$. If $\mathbf{v}_4$ is another vector in $V$, then is the set<br />
\[S_2=\{\mathbf{v}_1, \mathbf{v}_2, \mathbf{v}_3, \mathbf{v}_4\}\]
still a spanning set for $V$? If so, prove it. Otherwise, give a counterexample.</p>
<p>&nbsp;<br />
<span id="more-6920"></span><br />

<h2> Proof. </h2>
<p>We prove that $S_2$ is also a spanning set for $V$, that is, we prove that<br />
\[\Span(S_2)=V.\]
<h3>Prove $\Span(S_2) \subset V$</h3>
<p> We first show that $\Span(S_2)$ is contained in $V$. Let $\mathbf{x}$ be an element in $\Span(S_2)$. Then there exist scalars $c_1, c_2, c_3, c_4$ such that<br />
\[\mathbf{x}=c_1\mathbf{v}_1+c_2\mathbf{v}_2+c_3 \mathbf{v}_3 + c_4 \mathbf{v}_4.\]
Since $\Span(S_1)=V$, we know that $c_1\mathbf{v}_1+c_2\mathbf{v}_2+c_3 \mathbf{v}_3$ is a vector in $V$. As $\mathbf{v}_4\in V$, we have $c_4\mathbf{v}_4 \in V$.<br />
Since $V$ is a vector space, the sum of two elements in $V$ is in $V$.<br />
So, \[\mathbf{x}=(c_1\mathbf{v}_1+c_2\mathbf{v}_2+c_3 \mathbf{v}_3) + (c_4 \mathbf{v}_4) \in V.\]
This proves that $\Span(S_2) \subset V$.</p>
<h3>Prove $\Span(S_2) \supset V$</h3>
<p>	Note that since $S_1$ is a spanning set for $V$, every element of $S_1$ can be written as a linear combination of the vectors $\mathbf{v}_1, \mathbf{v}_2$, and $\mathbf{v}_3$.<br />
	That is, for any $\mathbf{v}\in V$, there exist scalars $c_1, c_2, c_3$ such that<br />
	\[\mathbf{v}=c_1\mathbf{v}_1+c_2\mathbf{v}_2+c_3\mathbf{v}_3.\]
	Observe that this can be written as follows.<br />
	\[\mathbf{v}=c_1\mathbf{v}_1+c_2\mathbf{v}_2+c_3\mathbf{v}_3+0\mathbf{v}_4.\]
	This tells us that $\mathbf{v}$ is a linear combination of $\mathbf{v}_1, \mathbf{v}_2, \mathbf{v}_3$, and $\mathbf{v}_4$.<br />
	Hence, any vector in $V$ can be written as a linear combination of the vectors in $S_2$.<br />
	Thus, $V\subset \Span(S_2)$.</p>
<hr />
<p>	Putting these inclusion together yields that $V=\Span(S_2)$, and hence $S_2$ is a spanning set for $V$.</p>
<button class="simplefavorite-button has-count" data-postid="6920" data-siteid="1" data-groupid="1" data-favoritecount="57" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">57</span></button>The post <a href="https://yutsumura.com/does-an-extra-vector-change-the-span/">Does an Extra Vector Change the Span?</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/does-an-extra-vector-change-the-span/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">6920</post-id>	</item>
		<item>
		<title>Describe the Range of the Matrix Using the Definition of the Range</title>
		<link>https://yutsumura.com/describe-the-range-of-the-matrix-using-the-definition-of-the-range/</link>
				<comments>https://yutsumura.com/describe-the-range-of-the-matrix-using-the-definition-of-the-range/#respond</comments>
				<pubDate>Fri, 16 Feb 2018 04:58:27 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[basis for a vector space]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[range]]></category>
		<category><![CDATA[range of a matrix]]></category>
		<category><![CDATA[spanning set]]></category>
		<category><![CDATA[subspace]]></category>
		<category><![CDATA[vector space]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=6892</guid>
				<description><![CDATA[<p>Using the definition of the range of a matrix, describe the range of the matrix \[A=\begin{bmatrix} 2 &#038; 4 &#038; 1 &#038; -5 \\ 1 &#038;2 &#038; 1 &#038; -2 \\ 1 &#038; 2&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/describe-the-range-of-the-matrix-using-the-definition-of-the-range/">Describe the Range of the Matrix Using the Definition of the Range</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 703</h2>
<p>	Using the definition of the range of a matrix, describe the range of the matrix<br />
	\[A=\begin{bmatrix}<br />
  2 &#038; 4 &#038; 1 &#038;   -5 \\<br />
  1 &#038;2 &#038;  1 &#038; -2  \\<br />
  1 &#038; 2 &#038; 0 &#038; -3<br />
  \end{bmatrix}.\]
<p> &nbsp;<br />
<span id="more-6892"></span></p>
<h2>Solution.</h2>
<p>  	By definition, the range $\calR(A)$ of the matrix $A$ is given by<br />
	\[\calR(A)=\left \{ \mathbf{b} \in \R^3 \quad \middle | \quad  A\mathbf{x}=\mathbf{b} \text{ for some } \mathbf{x} \in \R^4 \right \}.\]
<p>	Thus, a vector $\mathbf{b}=\begin{bmatrix}<br />
  b_1 \\<br />
   b_2 \\<br />
    b_3<br />
  \end{bmatrix}$ in $\R^3$ is in the range $\calR(A)$ if and only if the system $A\mathbf{x}=\mathbf{b}$ is consistent.<br />
  So, let us find the conditions on $\mathbf{b}$ so that the system is consistent.</p>
<hr />
<p>To do this, we consider the augmented matrix of the system and reduce it as follows.<br />
  \begin{align*}<br />
\left[\begin{array}{rrrr|r}<br />
   2 &#038; 4 &#038; 1 &#038;   -5 &#038; b_1\\<br />
  1 &#038;2 &#038;  1 &#038; -2 &#038; b_2 \\<br />
  1 &#038; 2 &#038; 0 &#038; -3 &#038;b_3<br />
  \end{array}\right]
  \xrightarrow{R_1 \leftrightarrow R_2}<br />
  \left[\begin{array}{rrrr|r}<br />
  1 &#038;2 &#038;  1 &#038; -2 &#038; b_2 \\<br />
   2 &#038; 4 &#038; 1 &#038;   -5 &#038; b_1\\<br />
  1 &#038; 2 &#038; 0 &#038; -3 &#038;b_3<br />
  \end{array}\right]
  \xrightarrow[R_3-R_1]{R_2-2R_1}\\[6pt]
   \left[\begin{array}{rrrr|r}<br />
  1 &#038;2 &#038;  1 &#038; -2 &#038; b_2 \\<br />
   0 &#038; 0 &#038; -1 &#038;   -1 &#038; b_1-2b_2\\<br />
 0 &#038; 0 &#038; 0 &#038; -1 &#038; b_3-b_2<br />
  \end{array}\right]
  \xrightarrow{-R_2}<br />
   \left[\begin{array}{rrrr|r}<br />
  1 &#038;2 &#038;  1 &#038; -2 &#038; b_2 \\<br />
   0 &#038; 0 &#038; 1 &#038;  1 &#038; -b_1+2b_2\\<br />
 0 &#038; 0 &#038; -1 &#038; -1 &#038; b_3-b_2<br />
  \end{array}\right]\\[6pt]
  \xrightarrow[R_3+R_2]{R_1-R_2}<br />
     \left[\begin{array}{rrrr|r}<br />
  1 &#038;2 &#038;  0 &#038; -3 &#038; b_1-b_2 \\<br />
   0 &#038; 0 &#038; 1 &#038;  1 &#038; -b_1+2b_2\\<br />
 0 &#038; 0 &#038; 0 &#038; 0 &#038; -b_1 +b_2 +b_3<br />
  \end{array}\right].<br />
\end{align*}</p>
<hr />
<p>Note that if the $(3, 5)$-entry $-b_1+b_2+b_3$ is not zero, then the system $A\mathbf{x}=\mathbf{0}$ is inconsistent because this implies $0=1$.<br />
On the other hand, if $-b_1+b_2+b_3=0$, then we see that the system is consistent.<br />
Hence, the vector $\mathbf{b}$ is in the range $\calR(A)$ if and only if $-b_1+b_2+b_3=0$.</p>
<hr />
<p>In summary, we have<br />
\[\calR(A)=\left\{ \begin{bmatrix}<br />
  b_1 \\<br />
   b_2 \\<br />
    b_3<br />
  \end{bmatrix}\in \R^3 \quad \middle | \quad -b_1+b_2+b_3=0 \right \}.\]
<h3>Spanning set for the range</h3>
<p>With a little bit additional computation, we can find the spanning set for the range as follows.</p>
<hr />
<p>	Thus, $\mathbf{b} \in \calR(A)$ if and only if<br />
	\begin{align*}<br />
\mathbf{b}=\begin{bmatrix}<br />
  b_1 \\<br />
   b_2 \\<br />
    b_3<br />
  \end{bmatrix}=\begin{bmatrix}<br />
  b_2+b_3 \\<br />
   b_2 \\<br />
    b_3<br />
  \end{bmatrix}=b_2\begin{bmatrix}<br />
  1 \\<br />
   1 \\<br />
    0<br />
  \end{bmatrix}+b_3\begin{bmatrix}<br />
  1 \\<br />
   0 \\<br />
    1<br />
  \end{bmatrix}.<br />
\end{align*}</p>
<p>	In summary, we have<br />
\begin{align*}<br />
\calR(A)&#038;=\left\{ \mathbf{b} \in \R^3 \quad \middle | \quad \mathbf{b}=b_2\begin{bmatrix}<br />
  1 \\<br />
   1 \\<br />
    0<br />
  \end{bmatrix}+b_3\begin{bmatrix}<br />
  1 \\<br />
   0 \\<br />
    1<br />
  \end{bmatrix} \right \}\\[6pt]
  &#038;=\Span\left\{ \begin{bmatrix}<br />
  1 \\<br />
   1 \\<br />
    0<br />
  \end{bmatrix}, \begin{bmatrix}<br />
  1 \\<br />
   0 \\<br />
    1<br />
  \end{bmatrix} \right \}.<br />
  \end{align*}<br />
  Hence, the spanning set is<br />
 \[ \left\{ \begin{bmatrix}<br />
  1 \\<br />
   1 \\<br />
    0<br />
  \end{bmatrix}, \begin{bmatrix}<br />
  1 \\<br />
   0 \\<br />
    1<br />
  \end{bmatrix} \right \}.\]
<hr />
<p>This spanning set is linearly independent, hence it&#8217;s a basis for the range. </p>
<p>Thus, the dimension of the range is $2$.</p>
<button class="simplefavorite-button has-count" data-postid="6892" data-siteid="1" data-groupid="1" data-favoritecount="60" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">60</span></button>The post <a href="https://yutsumura.com/describe-the-range-of-the-matrix-using-the-definition-of-the-range/">Describe the Range of the Matrix Using the Definition of the Range</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/describe-the-range-of-the-matrix-using-the-definition-of-the-range/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">6892</post-id>	</item>
		<item>
		<title>Spanning Sets for $\R^2$ or its Subspaces</title>
		<link>https://yutsumura.com/spanning-sets-for-r2-or-its-subspaces/</link>
				<comments>https://yutsumura.com/spanning-sets-for-r2-or-its-subspaces/#respond</comments>
				<pubDate>Mon, 12 Feb 2018 04:58:07 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[augmented matrix]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linear combination]]></category>
		<category><![CDATA[span]]></category>
		<category><![CDATA[spanning set]]></category>
		<category><![CDATA[vector]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=6846</guid>
				<description><![CDATA[<p>In this problem, we use the following vectors in $\R^2$. \[\mathbf{a}=\begin{bmatrix} 1 \\ 0 \end{bmatrix}, \mathbf{b}=\begin{bmatrix} 1 \\ 1 \end{bmatrix}, \mathbf{c}=\begin{bmatrix} 2 \\ 3 \end{bmatrix}, \mathbf{d}=\begin{bmatrix} 3 \\ 2 \end{bmatrix}, \mathbf{e}=\begin{bmatrix} 0 \\ 0&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/spanning-sets-for-r2-or-its-subspaces/">Spanning Sets for $\R^2$ or its Subspaces</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 691</h2>
<p>  In this problem, we use the following vectors in $\R^2$.<br />
  \[\mathbf{a}=\begin{bmatrix}<br />
  1 \\<br />
  0<br />
\end{bmatrix}, \mathbf{b}=\begin{bmatrix}<br />
  1 \\<br />
  1<br />
\end{bmatrix}, \mathbf{c}=\begin{bmatrix}<br />
  2 \\<br />
  3<br />
\end{bmatrix}, \mathbf{d}=\begin{bmatrix}<br />
  3 \\<br />
  2<br />
\end{bmatrix}, \mathbf{e}=\begin{bmatrix}<br />
  0 \\<br />
  0<br />
\end{bmatrix}, \mathbf{f}=\begin{bmatrix}<br />
  5 \\<br />
  6<br />
\end{bmatrix}.\]
For each set $S$, determine whether $\Span(S)=\R^2$. If $\Span(S)\neq \R^2$, then give algebraic description for $\Span(S)$ and explain the geometric shape of $\Span(S)$.</p>
<p><strong>(a)</strong> $S=\{\mathbf{a}, \mathbf{b}\}$<br />
<strong>(b)</strong> $S=\{\mathbf{a}, \mathbf{c}\}$<br />
<strong>(c) </strong>$S=\{\mathbf{c}, \mathbf{d}\}$<br />
<strong>(d)</strong> $S=\{\mathbf{a}, \mathbf{f}\}$<br />
<strong>(e)</strong> $S=\{\mathbf{e}, \mathbf{f}\}$<br />
<strong>(f)</strong> $S=\{\mathbf{a}, \mathbf{b}, \mathbf{c}\}$<br />
<strong>(g)</strong> $S=\{\mathbf{e}\}$</p>
<p>&nbsp;<br />
<span id="more-6846"></span><br />

<h2>Solution.</h2>
<p>	By definition, the subspace $\Span(S)$ spanned by $S$ is the set of all linear combinations of vectors in $S$. Thus, $\Span(S)$ is a subset in $\R^2$. The question is whether all of the vectors in $\R^2$ are linear combinations of vectors in $S$ or not.</p>
<h3>(a) $S=\{\mathbf{a}, \mathbf{b}\}$</h3>
<p>Let $\begin{bmatrix}<br />
  a \\<br />
  b<br />
\end{bmatrix}$ be an arbitrary vector in $\R^2$. We determine whether it is a linear combination of $\mathbf{a}$ and $\mathbf{b}$:<br />
\[\begin{bmatrix}<br />
  a \\<br />
  b<br />
\end{bmatrix}=c_1\mathbf{a}+c_2\mathbf{b}.\]
The augmented matrix is<br />
\begin{align*}<br />
\left[\begin{array}{rr|r}<br />
  1 &#038; 1 &#038; a \\<br />
   0 &#038; 1 &#038; b<br />
\end{array} \right]
\xrightarrow{R_1-R_2}<br />
\left[\begin{array}{rr|r}<br />
  1 &#038; 0 &#038; a-b \\<br />
   0 &#038; 1 &#038; b<br />
\end{array} \right].<br />
\end{align*}<br />
Hence, the solution is $c_1=a-b$, $c_2=b$.<br />
Thus, we have<br />
\[\begin{bmatrix}<br />
  a \\<br />
  b<br />
\end{bmatrix}=(a-b)\mathbf{a}+b\mathbf{b},\]
and this implies that every vector in $\R^2$ is a linear combination of $\mathbf{a}$ and $\mathbf{b}$.<br />
Hence, $\Span(S)=\R^2$.</p>
<h3>(b) $S=\{\mathbf{a}, \mathbf{c}\}$</h3>
<p>Just like part (a), let $\begin{bmatrix}<br />
  a \\<br />
  b<br />
\end{bmatrix}$ be any vector in $\R^2$.<br />
Are there $c_1, c_2$ satisfying<br />
\[\begin{bmatrix}<br />
  a \\<br />
  b<br />
\end{bmatrix}=c_1\mathbf{a}+c_2\mathbf{c}?\]
The augmented matrix is<br />
\begin{align*}<br />
\left[\begin{array}{rr|r}<br />
  1 &#038; 2 &#038; a \\<br />
   0 &#038; 3 &#038; b<br />
\end{array} \right]
\xrightarrow{\frac{1}{3} R_2}<br />
\left[\begin{array}{rr|r}<br />
  1 &#038; 2 &#038; a \\<br />
   0 &#038; 1 &#038; b/3<br />
\end{array} \right]
\xrightarrow{R_1-2R_2}<br />
\left[\begin{array}{rr|r}<br />
  1 &#038; 0 &#038; a-\frac{2}{3}b \\<br />
   0 &#038; 1 &#038; b/3<br />
\end{array} \right].<br />
\end{align*}<br />
Hence, we have $c_1=a-\frac{2}{3}b$, $c_2=b/3$.<br />
Thus,<br />
\[\begin{bmatrix}<br />
  a \\<br />
  b<br />
\end{bmatrix}=\frac{2b}{3} \mathbf{a}+\frac{b}{3}\mathbf{c}.\]
This yields that every vector in $\R^2$ is in $\Span(S)$. Hence $\Span(S)=\R^2$.</p>
<h3>(c) $S=\{\mathbf{c}, \mathbf{d}\}$</h3>
<p>The strategy for this problem is the exactly same as before. So let us consider<br />
\begin{align*}<br />
\left[\begin{array}{rr|r}<br />
  2 &#038; 3 &#038; a \\<br />
   3 &#038; 2 &#038; b<br />
\end{array} \right]
\xrightarrow{R_2-R_1}<br />
\left[\begin{array}{rr|r}<br />
  2 &#038; 3 &#038; a \\<br />
   1 &#038; -1 &#038; b-a<br />
\end{array} \right]
\xrightarrow{R_1\leftrightarrow R_2}<br />
\left[\begin{array}{rr|r}<br />
  1 &#038; -1 &#038; b-a \\<br />
   2 &#038; 3 &#038; a<br />
\end{array} \right]\\[6pt]
\xrightarrow{R_2- 2 R_1}<br />
\left[\begin{array}{rr|r}<br />
  1 &#038; -1 &#038; b-a \\<br />
   0 &#038; 5 &#038; 3a-2b<br />
\end{array} \right]
\xrightarrow{\frac{1}{5}R_2}<br />
\left[\begin{array}{rr|r}<br />
  1 &#038; -1 &#038; b-a \\<br />
   0 &#038; 1 &#038; \frac{3}{5}a-\frac{2}{5}b<br />
\end{array} \right] \\[6pt]
\xrightarrow{R_1+R_2}<br />
\left[\begin{array}{rr|r}<br />
  1 &#038; 0 &#038; -\frac{2}{5}a+\frac{3}{5}b \\<br />
   0 &#038; 1 &#038; \frac{3}{5}a-\frac{2}{5}b<br />
\end{array} \right].<br />
\end{align*}<br />
It follows that any vector $\begin{bmatrix}<br />
  a \\<br />
  b<br />
\end{bmatrix}\in \R^2$ can be written as a linear combination<br />
\[\begin{bmatrix}<br />
  a \\<br />
  b<br />
\end{bmatrix}=\left(-\frac{2}{5}a+\frac{3}{5}b \right)\mathbf{c}+\left( \frac{3}{5}a-\frac{2}{5}b \right) \mathbf{d}.\]
Hence, $\Span(S)=\R^2$.</p>
<h3>(d) $S=\{\mathbf{a}, \mathbf{f}\}$</h3>
<p>This is also similar to previous problems. For any vector $\begin{bmatrix}<br />
  a \\<br />
  b<br />
\end{bmatrix}\in \R^2$, we have<br />
\begin{align*}<br />
\left[\begin{array}{rr|r}<br />
  1 &#038; 5 &#038; a \\<br />
   0 &#038; 6 &#038; b<br />
\end{array} \right]
\xrightarrow{\frac{1}{6}R_2}<br />
\left[\begin{array}{rr|r}<br />
  1 &#038; 5 &#038; a \\<br />
   0 &#038; 1 &#038; b/6<br />
\end{array} \right]
\xrightarrow{R_1-5R_2}<br />
\left[\begin{array}{rr|r}<br />
  1 &#038; 0 &#038; a-\frac{5}{6}b \\<br />
   0 &#038; 1 &#038; b/6<br />
\end{array} \right].<br />
\end{align*}<br />
This yields that<br />
\[\begin{bmatrix}<br />
  a \\<br />
  b<br />
\end{bmatrix}=\left(a-\frac{5b}{6} \right)\mathbf{a}+\left(\frac{b}{6}\right)\mathbf{f}.\]
Hence, $\Span(S)=\R^2$.</p>
<h3>(e) $S=\{\mathbf{e}, \mathbf{f}\}$</h3>
<p>Note that as the vector $\mathbf{e}$ is the zero vector, any linear combination of $\mathbf{e}$ and $\mathbf{f}$ is just a scalar multiple of $\mathbf{f}$:<br />
\[c_1\mathbf{e}+c_2\mathbf{f}=c_2\mathbf{f}.\]
Thus, the algebraic description is<br />
\begin{align*}<br />
\Span(S)=\Span(\mathbf{e}, \mathbf{f})=\Span(\mathbf{f})=\{\mathbf{x}\in \R^2 \mid \mathbf{x}=c\mathbf{f} \text{ for some } c\in \R\}.<br />
\end{align*}<br />
Geometrically, the span is the line parametrized by $c\mathbf{f}=c\begin{bmatrix}<br />
  5 \\<br />
  6<br />
\end{bmatrix}$ for any $c\in \R$.</p>
<h3>(f) $S=\{\mathbf{a}, \mathbf{b}, \mathbf{c}\}$</h3>
<p>Note that $\Span(\mathbf{a}, \mathbf{b})$ is contained in $\Span(\mathbf{a}, \mathbf{b}, \mathbf{c})$ because any linear combination of $\mathbf{a}$ and $\mathbf{b}$ is a linear combination of $\mathbf{a}, \mathbf{b}$, and $\mathbf{c}$ by taking the coefficient of $\mathbf{c}$ to be $0$.<br />
We already saw in part (a) that $\Span(\mathbf{a}, \mathbf{b})=\R^2$. Hence, we must have $\Span(\mathbf{a}, \mathbf{b}, \mathbf{c})=\R^2$ as well.</p>
<h3>(g) $S=\{\mathbf{e}\}$</h3>
<p>Note that $\Span(\mathbf{e})$ is the set of all linear combination of $\mathbf{e}$, which is just the zero vector. So,<br />
\[\Span(\mathbf{e})=\left\{\begin{bmatrix}<br />
  0 \\<br />
  0<br />
\end{bmatrix}\right\}.\]Geometrically, this is just one point: the origin in the $x$-$y$ plane.</p>
<button class="simplefavorite-button has-count" data-postid="6846" data-siteid="1" data-groupid="1" data-favoritecount="21" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">21</span></button>The post <a href="https://yutsumura.com/spanning-sets-for-r2-or-its-subspaces/">Spanning Sets for $\R^2$ or its Subspaces</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/spanning-sets-for-r2-or-its-subspaces/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">6846</post-id>	</item>
		<item>
		<title>The Subspace of Linear Combinations whose Sums of Coefficients are zero</title>
		<link>https://yutsumura.com/the-subspace-of-linear-combinations-whose-sums-of-coefficients-are-zero/</link>
				<comments>https://yutsumura.com/the-subspace-of-linear-combinations-whose-sums-of-coefficients-are-zero/#respond</comments>
				<pubDate>Mon, 09 Oct 2017 23:34:50 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linear combination]]></category>
		<category><![CDATA[span]]></category>
		<category><![CDATA[spanning set]]></category>
		<category><![CDATA[subspace]]></category>
		<category><![CDATA[subspace criteria]]></category>
		<category><![CDATA[vector space]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=5058</guid>
				<description><![CDATA[<p>Let $V$ be a vector space over a scalar field $K$. Let $\mathbf{v}_1, \mathbf{v}_2, \dots, \mathbf{v}_k$ be vectors in $V$ and consider the subset \[W=\{a_1\mathbf{v}_1+a_2\mathbf{v}_2+\cdots+ a_k\mathbf{v}_k \mid a_1, a_2, \dots, a_k \in K \text{&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/the-subspace-of-linear-combinations-whose-sums-of-coefficients-are-zero/">The Subspace of Linear Combinations whose Sums of Coefficients are zero</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 581</h2>
<p> Let $V$ be a vector space over a scalar field $K$.<br />
	Let $\mathbf{v}_1, \mathbf{v}_2, \dots, \mathbf{v}_k$ be vectors in $V$ and consider the subset<br />
	\[W=\{a_1\mathbf{v}_1+a_2\mathbf{v}_2+\cdots+ a_k\mathbf{v}_k \mid a_1, a_2, \dots, a_k \in K \text{ and } a_1+a_2+\cdots+a_k=0\}.\]
	So each element of $W$ is a linear combination of vectors $\mathbf{v}_1, \dots, \mathbf{v}_k$ such that the sum of the coefficients is zero.</p>
<p>	Prove that $W$ is a subspace of $V$.</p>
<p>&nbsp;<br />
<span id="more-5058"></span><br />

We give two proofs.</p>
<h2> Proof 1. (Subspace Criteria) </h2>
<p>		We use the following subspace criteria.<br />
		The subset $W$ is a subspace of $V$ if the following three conditions are met.</p>
<div style="padding: 16px; border: none 3px #4169e1; border-radius: 10px; background-color: #f0f8ff; margin-top: 30px; margin-bottom: 30px;">
<ol>
<li>The zero vector in $V$ is in $W$.</li>
<li>For any two elements $\mathbf{v}, \mathbf{v}&#8217; \in W$, we have $\mathbf{v}+\mathbf{v}&#8217; \in W$.</li>
<li> For any scalar $c\in K$ and any element $\mathbf{v} \in W$, we have $c\mathbf{v}\in W$.</li>
</ol>
</div>
<p>		The zero vector $\mathbf{0}$ of $V$ can be written as<br />
		\[\mathbf{0}=0\mathbf{v}_1+0\mathbf{v}_2+\cdots+0\mathbf{v}_k.\]
		Clearly the sum of the coefficient is zero, hence $\mathbf{0} \in W$.<br />
		So condition 1 is met.</p>
<hr />
<p>		To verify condition 2, let<br />
		\[\mathbf{v}=a_1\mathbf{v}_1+a_2\mathbf{v}_2+\cdots+ a_k\mathbf{v}_k\]
		and<br />
		\[\mathbf{v}&#8217;=b_1\mathbf{v}_1+b_2\mathbf{v}_2+\cdots+ b_k\mathbf{v}_k\]
		be arbitrary elements in $W$. Thus<br />
		\[a_1+a_2+\cdots+a_k=0 \text{ and } b_1+b_2+\cdots+b_k=0. \tag{*}\]
		The sum $\mathbf{v}+\mathbf{v}&#8217;$ is<br />
		\begin{align*}<br />
		\mathbf{v}+\mathbf{v}&#8217;&#038;=(a_1\mathbf{v}_1+a_2\mathbf{v}_2+\cdots+ a_k\mathbf{v}_k)+(b_1\mathbf{v}_1+b_2\mathbf{v}_2+\cdots+ b_k\mathbf{v}_k)\\<br />
		&#038;=(a_1+b_1)\mathbf{v}_1+(a_2+b_2)\mathbf{v}_2+\cdots+(a_k+b_k)\mathbf{v}_k.<br />
		\end{align*}<br />
		The the sum of the coefficients of the above linear combination is<br />
		\begin{align*}<br />
		&#038;(a_1+b_1)+(a_2+b_2)+\cdots+(a_k+b_k)\\<br />
		&#038;=(a_1+a_2+\cdots+a_k)+(b_1+b_2+\cdots+b_k) \stackrel{(*)}{=} 0+0=0.<br />
		\end{align*}<br />
		It follows that the sum $\mathbf{v}+\mathbf{v}&#8217;$ is in $W$, and hence condition 2 is met.</p>
<hr />
<p>		Finally, let us check condition 3. Let<br />
		\[\mathbf{v}=a_1\mathbf{v}_1+a_2\mathbf{v}_2+\cdots+ a_k\mathbf{v}_k\]
		be an arbitrary vector in $W$ and let $c\in K$.<br />
		Since $\mathbf{v}\in W$, we have<br />
				\[a_1+a_2+\cdots+a_k=0.\]
				Then the scalar product is<br />
				\begin{align*}<br />
		c\mathbf{v}&#038;=c(a_1\mathbf{v}_1+a_2\mathbf{v}_2+\cdots+ a_k\mathbf{v}_k)\\<br />
				&#038;=ca_1\mathbf{v}_1+ca_2\mathbf{v}_2+\cdots+ ca_k\mathbf{v}_k.<br />
		\end{align*}<br />
		The sum of the coefficients of the linear combination is<br />
		\begin{align*}<br />
		ca_1+ca_2+\cdots+ ca_k=c(a_1+a_2+\cdots+a_k)=a0=0.<br />
		\end{align*}<br />
		Hence $c\mathbf{v}\in V$, and condition 3 is met.</p>
<p>		Therefore by the subspace criteria, we conclude that $W$ is a subspace of $V$.</p>
<h2> Proof 2. (Span) </h2>
<p>		Consider an arbitrary vector in $W$:<br />
		\[a_1\mathbf{v}_1+a_2\mathbf{v}_2+\cdots+ a_k\mathbf{v}_k \text{ with } a_1+a_2+\cdots+a_k=0.\]
		Substituting the relation $a_k=-(a_1+a_2+\cdots+a_{k-1})$, we obtain<br />
		\begin{align*}<br />
		&#038;a_1\mathbf{v}_1+a_2\mathbf{v}_2+\cdots+a_{k-1}\mathbf{v}_{k-1}+ a_k\mathbf{v}_k\\<br />
		&#038;=a_1\mathbf{v}_1+a_2\mathbf{v}_2+\cdots +a_{k-1}\mathbf{v}_{k-1}-(a_1+a_2+\cdots+a_{k-1})\mathbf{v}_k\\<br />
		&#038;=a_1(\mathbf{v}_1-\mathbf{v}_k)+a_2(\mathbf{v}_2-\mathbf{v}_k)+\cdots+a_{k-1}(\mathbf{v}_{k-1}-\mathbf{v}_{k-1}).<br />
		\end{align*}<br />
		This computation yields that every vector in $W$ is a linear combination of vectors in<br />
		\[S:=\{\mathbf{v}_1-\mathbf{v}_k, \mathbf{v}_2-\mathbf{v}_k,\dots, \mathbf{v}_{k-1}-\mathbf{v}_{k-1}\}.\]
		That is, we have $W\subset \Span(S)$.</p>
<hr />
<p>		On the other hand, let<br />
		\[\mathbf{v}=c_1(\mathbf{v}_1-\mathbf{v}_k)+c_2(\mathbf{v}_2-\mathbf{v}_k)+\cdots+c_{k-1}(\mathbf{v}_{k-1}-\mathbf{v}_{k-1})\]
		be an arbitrary vector in $\Span(S)$.<br />
		Then we have<br />
		\begin{align*}<br />
		\mathbf{v}&#038;=c_1\mathbf{v}_1+c_2\mathbf{v}_2+\cdots +c_{k-1}\mathbf{v}_{k-1}-(c_1+c_2+\cdots+c_{k-1})\mathbf{v}_k.<br />
		\end{align*}<br />
		This is a linear combination of $\mathbf{v}_1, \mathbf{v}_2, \dots, \mathbf{v}_k$, and the sum of the coefficients is<br />
		\[c_1+c_2+\cdots +c_{k-1}-(c_1+c_2+\cdots+c_{k-1})=0.\]
		Therefore $\mathbf{v}\in W$. Thus we also have $\Span(S)\subset W$.</p>
<hr />
<p>		Putting together these inclusion yields that $W=\Span(S)$.<br />
		As the span is always a subspace, we conclude that $W$ is a subspace of $V$.</p>
<button class="simplefavorite-button has-count" data-postid="5058" data-siteid="1" data-groupid="1" data-favoritecount="26" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">26</span></button>The post <a href="https://yutsumura.com/the-subspace-of-linear-combinations-whose-sums-of-coefficients-are-zero/">The Subspace of Linear Combinations whose Sums of Coefficients are zero</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/the-subspace-of-linear-combinations-whose-sums-of-coefficients-are-zero/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">5058</post-id>	</item>
		<item>
		<title>Determine Whether Each Set is a Basis for $\R^3$</title>
		<link>https://yutsumura.com/determine-whether-each-set-is-a-basis-for-r3/</link>
				<comments>https://yutsumura.com/determine-whether-each-set-is-a-basis-for-r3/#respond</comments>
				<pubDate>Wed, 04 Oct 2017 04:37:23 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[basis for a vector space]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linear combination]]></category>
		<category><![CDATA[linearly independent]]></category>
		<category><![CDATA[span]]></category>
		<category><![CDATA[spanning set]]></category>
		<category><![CDATA[vector space]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=5026</guid>
				<description><![CDATA[<p>Determine whether each of the following sets is a basis for $\R^3$. (a) $S=\left\{\, \begin{bmatrix} 1 \\ 0 \\ -1 \end{bmatrix}, \begin{bmatrix} 2 \\ 1 \\ -1 \end{bmatrix}, \begin{bmatrix} -2 \\ 1 \\ 4&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/determine-whether-each-set-is-a-basis-for-r3/">Determine Whether Each Set is a Basis for $\R^3$</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 579</h2>
<p>	Determine whether each of the following sets is a basis for $\R^3$.</p>
<p><strong>(a)</strong> $S=\left\{\,  \begin{bmatrix}<br />
	  1 \\<br />
	   0 \\<br />
	    -1<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  2 \\<br />
	   1 \\<br />
	    -1<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  -2 \\<br />
	   1 \\<br />
	    4<br />
	  \end{bmatrix} \,\right\}$</p>
<p></p>
<p><strong>(b)</strong> $S=\left\{\,  \begin{bmatrix}<br />
	  1 \\<br />
	   4 \\<br />
	    7<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  2 \\<br />
	   5 \\<br />
	    8<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  3 \\<br />
	   6 \\<br />
	    9<br />
	  \end{bmatrix} \,\right\}$<br />
</p>
<p><strong>(c)</strong> $S=\left\{\,  \begin{bmatrix}<br />
	  1 \\<br />
	   1 \\<br />
	    2<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  0 \\<br />
	   1 \\<br />
	    7<br />
	  \end{bmatrix} \,\right\}$<br />
</p>
<p><strong>(d)</strong> $S=\left\{\,  \begin{bmatrix}<br />
	  1 \\<br />
	   2 \\<br />
	    5<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  7 \\<br />
	   4 \\<br />
	    0<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  3 \\<br />
	   8 \\<br />
	    6<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  -1 \\<br />
	   9 \\<br />
	    10<br />
	  \end{bmatrix} \,\right\}$</p>
<p>&nbsp;<br />
<span id="more-5026"></span><br />

<h2>Definition (A Basis of a Subspace).</h2>
<p>A subset $S$ of a vector space $V$ is called a <strong>basis</strong> if</p>
<ol>
<li>$S$ is linearly independent, and</li>
<li>$S$ is a spanning set.</li>
</ol>
<h2>Solution.</h2>
<p>Recall that any three linearly independent vectors form a basis of $\R^3$.<br />
(See the post &#8220;<a href="//yutsumura.com/three-linearly-independent-vectors-in-r3-form-a-basis-three-vectors-spanning-r3-form-a-basis/" rel="noopener" target="_blank">Three Linearly Independent Vectors in $\R^3$ Form a Basis. Three Vectors Spanning $\R^3$ Form a Basis.</a>&#8221; for the proof of this fact.)</p>
<h3>(a) $S=\left\{\,  \begin{bmatrix}<br />
	  1 \\<br />
	   0 \\<br />
	    -1<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  2 \\<br />
	   1 \\<br />
	    -1<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  -2 \\<br />
	   1 \\<br />
	    4<br />
	  \end{bmatrix} \,\right\}$</h3>
<p>	Let us check that whether $S$ is a linearly independent set.<br />
	  	Consider the linear combination<br />
	  	\[x_1\begin{bmatrix}<br />
	  1 \\<br />
	   0 \\<br />
	    -1<br />
	  \end{bmatrix}+x_2 \begin{bmatrix}<br />
	  2 \\<br />
	   1 \\<br />
	    -1<br />
	  \end{bmatrix}+x_3\begin{bmatrix}<br />
	  -2 \\<br />
	   1 \\<br />
	    4<br />
	  \end{bmatrix} =\mathbf{0}.\]
	  This is equivalent to the matrix equation<br />
	 \[\begin{bmatrix}<br />
	  1 &#038; 2 &#038; -2 \\<br />
	   0 &#038;1 &#038;1 \\<br />
	   -1 &#038; -1 &#038; 4<br />
	\end{bmatrix}<br />
	\begin{bmatrix}<br />
	  x_1 \\<br />
	   x_2 \\<br />
	    x_3<br />
	  \end{bmatrix}=\mathbf{0}.\]
	  To find the solution, consider the augmented matrix.<br />
	  Applying elementary row operations, we obtain<br />
	  \begin{align*}<br />
	 \left[\begin{array}{rrr|r}<br />
	 1 &#038; 2 &#038; -2 &#038;   0 \\<br />
	  0 &#038;1 &#038;  1 &#038; 0  \\<br />
	  -1 &#038; -1 &#038; 4 &#038; 0<br />
	    \end{array} \right]
	    \xrightarrow{R_3+R_1}<br />
	     \left[\begin{array}{rrr|r}<br />
	 1 &#038; 2 &#038; -2 &#038;   0 \\<br />
	  0 &#038;1 &#038;  1 &#038; 0  \\<br />
	  0 &#038; 1 &#038; 2 &#038; 0<br />
	    \end{array} \right]\\[6pt]
	    \xrightarrow[R_3-R_2]{R_1-2R_2}<br />
	     \left[\begin{array}{rrr|r}<br />
	 1 &#038; 0 &#038; -4 &#038;   0 \\<br />
	  0 &#038;1 &#038;  1 &#038; 0  \\<br />
	  0 &#038; 0 &#038; 1 &#038; 0<br />
	    \end{array} \right]
	    \xrightarrow[R_2-R_3]{R_1+4R_3}<br />
	     \left[\begin{array}{rrr|r}<br />
	 1 &#038; 0 &#038; 0 &#038;   0 \\<br />
	  0 &#038;1 &#038;  0 &#038; 0  \\<br />
	  0 &#038; 0 &#038; 1 &#038; 0<br />
	    \end{array} \right].<br />
	\end{align*}<br />
	  It follows that the solution is $x_1=x_2=x_3=0$.<br />
	  Hence $S$ is linearly independent.<br />
	  As $S$ consists of three linearly independent vectors in $\R^3$, it must be a basis of $\R^3$.</p>
<h3>(b) $S=\left\{\,  \begin{bmatrix}<br />
	  1 \\<br />
	   4 \\<br />
	    7<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  2 \\<br />
	   5 \\<br />
	    8<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  3 \\<br />
	   6 \\<br />
	    9<br />
	  \end{bmatrix} \,\right\}$</h3>
<p>As in part (a), we determine whether the set $S$ is linearly independent or not by considering the following augmented matrix:<br />
	  \begin{align*}<br />
	 \left[\begin{array}{rrr|r}<br />
	 1 &#038; 2 &#038; 3 &#038;   0 \\<br />
	  4 &#038;5 &#038;  6 &#038; 0  \\<br />
	  7 &#038; 8 &#038; 9 &#038; 0<br />
	    \end{array} \right]
	    \xrightarrow[R_3-7R_1]{R_2-4R_1}<br />
	     \left[\begin{array}{rrr|r}<br />
	 1 &#038; 2 &#038; 3 &#038;   0 \\<br />
	  0 &#038;-3 &#038;  -6 &#038; 0  \\<br />
	  0 &#038; -6 &#038; -12 &#038; 0<br />
	    \end{array} \right]\\[6pt]
	    \xrightarrow{-\frac{1}{3}R_2}<br />
	       \left[\begin{array}{rrr|r}<br />
	 1 &#038; 2 &#038; 3 &#038;   0 \\<br />
	  0 &#038; 1 &#038;  2&#038; 0  \\<br />
	  0 &#038; -6 &#038; -12 &#038; 0<br />
	    \end{array} \right]
	    \xrightarrow[R_3+6R_2]{R_1-2R_2}<br />
	     \left[\begin{array}{rrr|r}<br />
	 1 &#038; 0 &#038; -1 &#038;   0 \\<br />
	  0 &#038;1 &#038;  2 &#038; 0  \\<br />
	  0 &#038; 0 &#038; 0 &#038; 0<br />
	    \end{array} \right].<br />
	\end{align*}</p>
<p>	 Thus, the general solution is $x_1=x_3$, $x_2=-2x_3$, where $x_3$ is a free variable.<br />
	 Hence, in particular, there is a nonzero solution.<br />
	 So $S$ is linearly dependent, and hence $S$ cannot be a basis for $\R^3$.</p>
<h3>(c) $S=\left\{\,  \begin{bmatrix}<br />
	  1 \\<br />
	   1 \\<br />
	    2<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  0 \\<br />
	   1 \\<br />
	    7<br />
	  \end{bmatrix} \,\right\}$<br />
</h3>
<p> A quick solution is to note that any basis of $\R^3$ must consist of three vectors. Thus $S$ cannot be a basis as $S$ contains only two vectors.</p>
<hr />
<p>	 Another solution is to describe the span $\Span(S)$.<br />
	 Note that a vector $\mathbf{v}=\begin{bmatrix}<br />
	  a \\<br />
	   b \\<br />
	    c<br />
	  \end{bmatrix}$ is in $\Span(S)$ if and only if $\mathbf{v}$ is a linear combination of vectors in $S$.<br />
	  Equivalently, the vector $\mathbf{v}$ is in $\Span(S)$ if and only if the system<br />
	  \[\begin{bmatrix}<br />
	  1 &#038; 0 \\<br />
	   1  &#038; 1 \\<br />
	   2 &#038;7<br />
	\end{bmatrix}<br />
	\begin{bmatrix}<br />
	  x_1 \\<br />
	   x_2<br />
	  \end{bmatrix}<br />
	  =<br />
	  \begin{bmatrix}<br />
	  a \\<br />
	   b \\<br />
	    c<br />
	  \end{bmatrix}\]
	  is consistent.</p>
<p>	  Let us consider the augmented matrix and reduce it by elementary row operations.<br />
	  \begin{align*}<br />
	\left[\begin{array}{rr|r}<br />
	   1 &#038; 0 &#038; a \\<br />
	   1 &#038; 1 &#038;b \\<br />
	   2 &#038; 7 &#038; c<br />
	  \end{array}\right]
	  \xrightarrow[R_3-2R_1]{R_2-R_1}<br />
	  \left[\begin{array}{rr|r}<br />
	   1 &#038; 0 &#038; a \\<br />
	   0 &#038; 1 &#038;b-a \\<br />
	   0 &#038; 7 &#038; c-2a<br />
	  \end{array}\right]\\[6pt]
	  \xrightarrow{R_3-7R_2}<br />
	    \left[\begin{array}{rr|r}<br />
	   1 &#038; 0 &#038; a \\<br />
	   0 &#038; 1 &#038;b-a \\<br />
	   0 &#038; 0 &#038; 5a-7b+c<br />
	  \end{array}\right].<br />
	\end{align*}<br />
	Note that we obtained the $(3,3)$-entry by $c-2a-7(b-a)=5a-7b+c$.<br />
	It follows that the system is consistent if and only if<br />
	\[5a-7b+c=0.\]
	Thus, for example, the vector $\begin{bmatrix}<br />
	  1 \\<br />
	   0 \\<br />
	    0<br />
	  \end{bmatrix}$ is not in $\Span(S)$ as $5\cdot 1-7\cdot 0+0\neq 0$.<br />
	  Hence $\Span(S)$ is not $\R^3$, and we conclude that $S$ is not a basis.</p>
<h3>(d) $S=\left\{\,  \begin{bmatrix}<br />
	  1 \\<br />
	   2 \\<br />
	    5<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  7 \\<br />
	   4 \\<br />
	    0<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  3 \\<br />
	   8 \\<br />
	    6<br />
	  \end{bmatrix}, \begin{bmatrix}<br />
	  -1 \\<br />
	   9 \\<br />
	    10<br />
	  \end{bmatrix} \,\right\}$</h3>
<p>The set $S$ contains four $3$-dimensional vectors. Hence $S$ is linearly dependent, and thus $S$ is not a basis.</p>
<button class="simplefavorite-button has-count" data-postid="5026" data-siteid="1" data-groupid="1" data-favoritecount="323" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">323</span></button>The post <a href="https://yutsumura.com/determine-whether-each-set-is-a-basis-for-r3/">Determine Whether Each Set is a Basis for $\R^3$</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/determine-whether-each-set-is-a-basis-for-r3/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">5026</post-id>	</item>
		<item>
		<title>Find the Dimension of the Subspace of Vectors Perpendicular to Given Vectors</title>
		<link>https://yutsumura.com/find-the-dimension-of-the-subspace-of-vectors-perpendicular-to-given-vectors/</link>
				<comments>https://yutsumura.com/find-the-dimension-of-the-subspace-of-vectors-perpendicular-to-given-vectors/#respond</comments>
				<pubDate>Tue, 03 Oct 2017 03:01:37 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[basis]]></category>
		<category><![CDATA[dimension]]></category>
		<category><![CDATA[dimension of a vector space]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linearly independent]]></category>
		<category><![CDATA[null space]]></category>
		<category><![CDATA[spanning set]]></category>
		<category><![CDATA[subspace]]></category>
		<category><![CDATA[vector space]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=5019</guid>
				<description><![CDATA[<p>Let $V$ be a subset of $\R^4$ consisting of vectors that are perpendicular to vectors $\mathbf{a}, \mathbf{b}$ and $\mathbf{c}$, where \[\mathbf{a}=\begin{bmatrix} 1 \\ 0 \\ 1 \\ 0 \end{bmatrix}, \quad \mathbf{b}=\begin{bmatrix} 1 \\ 1&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/find-the-dimension-of-the-subspace-of-vectors-perpendicular-to-given-vectors/">Find the Dimension of the Subspace of Vectors Perpendicular to Given Vectors</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 578</h2>
<p>			Let $V$ be a subset of $\R^4$ consisting of vectors that are perpendicular to vectors $\mathbf{a}, \mathbf{b}$ and $\mathbf{c}$, where<br />
			\[\mathbf{a}=\begin{bmatrix}<br />
		  1 \\<br />
		   0 \\<br />
		    1 \\<br />
		   0<br />
		   \end{bmatrix}, \quad \mathbf{b}=\begin{bmatrix}<br />
		  1 \\<br />
		   1 \\<br />
		    0 \\<br />
		   0<br />
		   \end{bmatrix}, \quad \mathbf{c}=\begin{bmatrix}<br />
		  0 \\<br />
		   1 \\<br />
		    -1 \\<br />
		   0<br />
		   \end{bmatrix}.\]
<p>		   Namely,<br />
		   \[V=\{\mathbf{x}\in \R^4 \mid \mathbf{a}^{\trans}\mathbf{x}=0, \mathbf{b}^{\trans}\mathbf{x}=0, \text{ and } \mathbf{c}^{\trans}\mathbf{x}=0\}.\]
<p><strong>(a)</strong> Prove that $V$ is a subspace of $\R^4$.</p>
<p><strong>(b)</strong> Find a basis of $V$.</p>
<p><strong>(c)</strong> Determine the dimension of $V$.</p>
<p>&nbsp;<br />
<span id="more-5019"></span><br />

<h2> Proof. </h2>
<h3>(a) Prove that $V$ is a subspace of $\R^4$.</h3>
<p>Observe that the conditions<br />
					\[\mathbf{a}^{\trans}\mathbf{x}=0, \mathbf{b}^{\trans}\mathbf{x}=0, \text{ and } \mathbf{c}^{\trans}\mathbf{x}=0\]
					can be combined into the following matrix equation<br />
					\[A\mathbf{x}=\mathbf{0},\]
					where<br />
					\[A=\begin{bmatrix}<br />
		  1 &#038; 0 &#038; 1 &#038;   0 \\<br />
		  1 &#038;1 &#038;  0 &#038; 0  \\<br />
		  0 &#038; 1 &#038; -1 &#038; 0<br />
		  \end{bmatrix}\]
		  and $\mathbf{0}$ is the three dimensional zero vector.<br />
		  Note that the rows of the matrix $A$ are $\mathbf{a}^{\trans}$, $\mathbf{b}^{\trans}$, and $\mathbf{c}^{\trans}$.<br />
		  It follows that the subset $V$ is the null space $\calN(A)$ of the matrix $A$.<br />
		  Being the null space, $V=\calN(A)$ is a subspace of $\R^4$.<br />
 (See the post &#8220;<a href="//yutsumura.com/the-null-space-the-kernel-of-a-matrix-is-a-subspace-of-rn/" rel="noopener" target="_blank">The Null Space (the Kernel) of a Matrix is a Subspace of $\R^n$</a>&#8220;.)</p>
<h3>(b) Find a basis of $V$.</h3>
<p> In the proof of Part (a), we saw that $V=\calN(A)$.<br />
		  To find a basis, we determine the solutions of $A\mathbf{x}=\mathbf{0}$.<br />
		  Applying elementary row operations to the augmented matrix, we see that<br />
		  \begin{align*}<br />
		\left[\begin{array}{rrrr|r}<br />
		  1 &#038; 0 &#038; 1 &#038; 0 &#038;0 \\<br />
		  1 &#038; 1 &#038; 0 &#038; 0 &#038; 0 \\<br />
		  0 &#038; 1 &#038; -1 &#038; 0 &#038; 0<br />
		  \end{array}\right]
		  \xrightarrow{R_2-R_1}<br />
		  \left[\begin{array}{rrrr|r}<br />
		  1 &#038; 0 &#038; 1 &#038; 0 &#038;0 \\<br />
		  0 &#038; 1 &#038; -1 &#038; 0 &#038; 0 \\<br />
		  0 &#038; 1 &#038; -1 &#038; 0 &#038; 0<br />
		  \end{array}\right]\\[6pt]
		  \xrightarrow{R_3-R_2}<br />
		    \left[\begin{array}{rrrr|r}<br />
		  1 &#038; 0 &#038; 1 &#038; 0 &#038;0 \\<br />
		  0 &#038; 1 &#038; -1 &#038; 0 &#038; 0 \\<br />
		  0 &#038; 0 &#038; 0 &#038; 0 &#038; 0<br />
		  \end{array}\right].<br />
		\end{align*}<br />
		It follows that the general solution is given by<br />
		\[x_1=-x_3, x_2=x_3.\]
		The vector form solution is<br />
		\[\mathbf{x}=\begin{bmatrix}<br />
		  x_1 \\<br />
		   x_2 \\<br />
		    x_3 \\<br />
		   x_4<br />
		   \end{bmatrix}=\begin{bmatrix}<br />
		  -x_3 \\<br />
		   x_3 \\<br />
		    x_3 \\<br />
		   x_4<br />
		   \end{bmatrix}=x_3\begin{bmatrix}<br />
		  -1 \\<br />
		   1 \\<br />
		    1 \\<br />
		   0<br />
		   \end{bmatrix}+x_4\begin{bmatrix}<br />
		  0 \\<br />
		   0 \\<br />
		    0 \\<br />
		   1<br />
		   \end{bmatrix}.\]
<p>		   Hence we have<br />
		   \begin{align*}<br />
		V&#038;=\calN(A)\\<br />
		&#038;=\left\{\,  \mathbf{x}\in \R^4 \quad \middle|\quad \mathbf{x}=x_3\begin{bmatrix}<br />
		  -1 \\<br />
		   1 \\<br />
		    1 \\<br />
		   0<br />
		   \end{bmatrix}+x_4\begin{bmatrix}<br />
		  0 \\<br />
		   0 \\<br />
		    0 \\<br />
		   1<br />
		   \end{bmatrix}, \text{ where $x_3, x_4\in \R$} \,\right\}\\[6pt]
		   &#038;=\Span \left\{\, \begin{bmatrix}<br />
		  -1 \\<br />
		   1 \\<br />
		    1 \\<br />
		   0<br />
		   \end{bmatrix}, \begin{bmatrix}<br />
		  0 \\<br />
		   0 \\<br />
		    0 \\<br />
		   1<br />
		   \end{bmatrix}  \,\right\}.<br />
		\end{align*}<br />
		Let $B:=\left\{\, \begin{bmatrix}<br />
		  -1 \\<br />
		   1 \\<br />
		    1 \\<br />
		   0<br />
		   \end{bmatrix}, \begin{bmatrix}<br />
		  0 \\<br />
		   0 \\<br />
		    0 \\<br />
		   1<br />
		   \end{bmatrix}  \,\right\}$.<br />
		   Then we just showed that $B$ is a spanning set for $V$.<br />
		   It is straightforward to see that $B$ is linearly independent.<br />
		   Hence $B$ is a basis for $V$.</p>
<h3>(c) Determine the dimension of $V$.</h3>
<p> As the basis $B$ for $V$ that we obtained in Part (b) consists of two vectors, the dimension of the subspace $V$ is $\dim(V)=2$.</p>
<button class="simplefavorite-button has-count" data-postid="5019" data-siteid="1" data-groupid="1" data-favoritecount="56" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">56</span></button>The post <a href="https://yutsumura.com/find-the-dimension-of-the-subspace-of-vectors-perpendicular-to-given-vectors/">Find the Dimension of the Subspace of Vectors Perpendicular to Given Vectors</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/find-the-dimension-of-the-subspace-of-vectors-perpendicular-to-given-vectors/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">5019</post-id>	</item>
	</channel>
</rss>
