Difference between revisions of "Subspaces of Rn and Linear Independence"

From Department of Mathematics at UTSA
Jump to navigation Jump to search
(Created page with "One of the examples that led us to introduce the idea of a vector space was the solution set of a homogeneous system. For instance, we've seen in Linear Algebra/Definition a...")
 
Line 6: Line 6:
 
vector space, the plane.
 
vector space, the plane.
  
−
{{TextBox|1=
 
−
;Definition 2.1{{anchor|subspace}}:
 
−
For any vector space, a '''subspace''' is a subset that is itself a vector space, under the inherited operations.
 
−
}}
 
  
−
{{TextBox|1=
+
Definition of a subspace:
−
;Example 2.2{{anchor|ex:PlaneSubspRThree}}:<!--\label{ex:PlaneSubspRThree}-->
+
: For any vector space, a '''subspace''' is a subset that is itself a vector space, under the inherited operations.
−
The plane from the prior subsection,
 
  
−
:<math>
+
==Examples==
−
P=\{\begin{pmatrix} x \\ y \\ z \end{pmatrix}\,\big|\, x+y+z=0\}
+
===Example 1===
−
</math>
+
: The plane <math> P=\{\begin{pmatrix} x \\ y \\ z \end{pmatrix}\,\big|\, x+y+z=0\} </math> is a subspace of <math> \mathbb{R}^3 </math>. As specified in the definition, the operations are the ones inherited from the larger space, that is, vectors add in <math>P</math> as they add in <math>\mathbb{R}^3</math>
  
−
is a subspace of <math> \mathbb{R}^3 </math>.
+
:: <math>
−
As specified in the definition,
 
−
the operations are the ones that are inherited from the larger space, that is,
 
−
vectors add in <math>P</math> as they add in <math>\mathbb{R}^3</math>
 
−
 
 
−
:<math>
 
 
\begin{pmatrix} x_1 \\ y_1 \\ z_1 \end{pmatrix}+\begin{pmatrix} x_2 \\ y_2 \\ z_2 \end{pmatrix}
 
\begin{pmatrix} x_1 \\ y_1 \\ z_1 \end{pmatrix}+\begin{pmatrix} x_2 \\ y_2 \\ z_2 \end{pmatrix}
 
=\begin{pmatrix} x_1+x_2 \\ y_1+y_2 \\ z_1+z_2 \end{pmatrix}
 
=\begin{pmatrix} x_1+x_2 \\ y_1+y_2 \\ z_1+z_2 \end{pmatrix}
 
</math>
 
</math>
  
−
and scalar multiplication is also the same as it is in <math>\mathbb{R}^3</math>. To show that <math>P</math> is a subspace, we need only note that it is a subset and then verify that it is a space. Checking that <math>P</math> satisfies the conditions in the definition of a vector space is routine. For instance, for closure under addition, just note that if the summands satisfy that <math>x_1+y_1+z_1=0</math> and <math>x_2+y_2+z_2=0</math> then the sum satisfies that <math>(x_1+x_2)+(y_1+y_2)+(z_1+z_2)=(x_1+y_1+z_1)+(x_2+y_2+z_2)=0</math>.
+
: and scalar multiplication is also the same as it is in <math>\mathbb{R}^3</math>. To show that <math>P</math> is a subspace, we need only note that it is a subset and then verify that it is a space. Checking that <math>P</math> satisfies the conditions in the definition of a vector space is routine. For instance, for closure under addition, just note that if the summands satisfy that <math>x_1+y_1+z_1=0</math> and <math>x_2+y_2+z_2=0</math> then the sum satisfies that <math>(x_1+x_2)+(y_1+y_2)+(z_1+z_2)=(x_1+y_1+z_1)+(x_2+y_2+z_2)=0</math>.
−
}}
 
  
−
{{TextBox|1=
+
===Example 2===
−
;Example 2.3{{anchor|ex:SubspacesRTwo}}:<!--\label{ex:SubspacesRTwo}-->
 
−
The <math> x </math>-axis in <math> \mathbb{R}^2 </math>
 
−
is a subspace where
 
−
the addition and scalar multiplication operations are
 
−
the inherited ones.
 
  
−
:<math>
+
: The <math> x </math>-axis in <math> \mathbb{R}^2 </math> is a subspace where the addition and scalar multiplication operations are the inherited ones.
 +
:: <math>
 
\begin{pmatrix} x_1 \\ 0 \end{pmatrix}
 
\begin{pmatrix} x_1 \\ 0 \end{pmatrix}
 
+
 
+
Line 50: Line 35:
 
</math>
 
</math>
  
−
As above, to verify that this is a subspace, we simply note that it is a subset and then check that it satisfies the conditions in definition of a vector space. For instance, the two closure conditions are satisfied: (1) adding two vectors with a second component of zero results in a vector with a second component of zero, and (2) multiplying a scalar times a vector with a second component of zero results in a vector with a second component of zero.
+
: As above, to verify that this is a subspace, we simply note that it is a subset and then check that it satisfies the conditions in definition of a vector space. For instance, the two closure conditions are satisfied: (1) adding two vectors with a second component of zero results in a vector with a second component of zero, and (2) multiplying a scalar times a vector with a second component of zero results in a vector with a second component of zero.
−
}}
 
  
−
{{TextBox|1=
+
===Example 3===
−
;Example 2.4:
+
: Another subspace of <math>\mathbb{R}^2</math> is  
−
Another subspace of <math>\mathbb{R}^2</math> is  
 
  
−
:<math>
+
:: <math>
 
\{\begin{pmatrix} 0 \\ 0 \end{pmatrix}\}
 
\{\begin{pmatrix} 0 \\ 0 \end{pmatrix}\}
 
</math>
 
</math>
  
−
its trivial subspace.
+
: which is its '''trivial subspace'''.
−
}}
 
  
−
Any vector space has a trivial subspace <math> \{\vec{0}\,\} </math>.
+
: Any vector space has a trivial subspace <math> \{\vec{0}\,\} </math>.
 
At the opposite extreme, any vector space has itself for a subspace.
 
At the opposite extreme, any vector space has itself for a subspace.
 
{{anchor|improper}}These two are the '''improper''' subspaces.
 
{{anchor|improper}}These two are the '''improper''' subspaces.
 
{{anchor|proper}}Other subspaces are '''proper'''.  
 
{{anchor|proper}}Other subspaces are '''proper'''.  
  
−
{{TextBox|1=
+
===Example 4===
−
;Example 2.5{{anchor|ex:OperNotInherit}}:<!--\label{ex:OperNotInherit}-->
 
 
The condition in the definition requiring that the addition and scalar multiplication operations must be the ones inherited from the larger space is important. Consider the subset <math> \{1\} </math> of the vector space <math> \mathbb{R}^1 </math>. Under the operations <math>1+1=1</math> and  <math>r\cdot 1=1</math> that set is a vector space, specifically, a trivial space. But it is not a subspace of <math> \mathbb{R}^1 </math> because those aren't the inherited operations, since of course <math> \mathbb{R}^1 </math> has <math> 1+1=2 </math>.
 
The condition in the definition requiring that the addition and scalar multiplication operations must be the ones inherited from the larger space is important. Consider the subset <math> \{1\} </math> of the vector space <math> \mathbb{R}^1 </math>. Under the operations <math>1+1=1</math> and  <math>r\cdot 1=1</math> that set is a vector space, specifically, a trivial space. But it is not a subspace of <math> \mathbb{R}^1 </math> because those aren't the inherited operations, since of course <math> \mathbb{R}^1 </math> has <math> 1+1=2 </math>.
−
}}
 
  
−
{{TextBox|1=
+
===Example 5===
−
;Example 2.6{{anchor|ex:LinSubspPolyThree}}:  <!--\label{ex:LinSubspPolyThree}-->
+
: All kinds of vector spaces, not just <math>\mathbb{R}^n</math>'s, have subspaces. The vector space of cubic polynomials <math> \{a+bx+cx^2+dx^3\,\big|\, a,b,c,d\in\mathbb{R}\} </math> has a subspace comprised of all linear polynomials <math> \{m+nx\,\big|\, m,n\in\mathbb{R}\} </math>.
−
All kinds of vector spaces, not just <math>\mathbb{R}^n</math>'s, have subspaces. The vector space of cubic polynomials <math> \{a+bx+cx^2+dx^3\,\big|\, a,b,c,d\in\mathbb{R}\} </math> has a subspace comprised of all linear polynomials <math> \{m+nx\,\big|\, m,n\in\mathbb{R}\} </math>.
 
−
}}
 
  
−
{{TextBox|1=
+
===Example 6===
−
;Example 2.7:
+
: This is a subspace of the <math> 2 \! \times \! 2 </math> matrices
−
Another example of a subspace not taken from an <math>\mathbb{R}^n</math> is one from the examples following the definition of a vector space. The space of all real-valued functions of one real variable <math>f:\mathbb{R}\to \mathbb{R}</math> has a subspace of functions satisfying the restriction <math>(d^2\,f/dx^2)+f=0</math>.
 
−
}}
 
  
−
{{TextBox|1=
+
::<math>
−
;Example 2.8{{anchor|ex:RPlusNotSubSp}}:<!--\label{ex:RPlusNotSubSp}-->
 
−
Being vector spaces themselves, subspaces must satisfy the closure conditions. The set <math> \mathbb{R}^+ </math> is not a subspace of the vector space <math> \mathbb{R}^1 </math> because with the inherited operations it is not closed under scalar multiplication: if <math> \vec{v}=1 </math> then <math> -1\cdot\vec{v}\not\in\mathbb{R}^+ </math>.
 
−
}}
 
−
 
 
−
The next result says that [[#ex:RPlusNotSubSp|Example 2.8]]<!--\ref{ex:RPlusNotSubSp}--> is prototypical.
 
−
The only way that a subset can fail to be a subspace
 
−
(if it is nonempty and the inherited operations are used)
 
−
is if it isn't closed.
 
−
 
 
−
{{TextBox|1=
 
−
;Lemma 2.9{{anchor|le:SubspIffClosed}}:<!--\label{le:SubspIffClosed}-->
 
−
For a nonempty subset <math> S </math> of a vector space, under the inherited
 
−
operations, the following are equivalent
 
−
statements.<ref>More information on equivalence of statements is in the appendix.</ref> 
 
−
<ol type=1 start=1>
 
−
<li> <math> S </math> is a subspace of that vector space
 
−
<li> <math> S </math> is closed under linear combinations of pairs of vectors:
 
−
for any vectors <math> \vec{s}_1,\vec{s}_2\in S </math> and scalars <math> r_1,r_2 </math>
 
−
the vector <math> r_1\vec{s}_1+r_2\vec{s}_2 </math> is in <math> S </math>
 
−
<li> <math> S </math> is closed under linear combinations of any number of vectors:
 
−
for any vectors <math> \vec{s}_1,\ldots,\vec{s}_n\in S </math> and scalars
 
−
<math> r_1, \ldots,r_n </math>
 
−
the vector <math> r_1\vec{s}_1+\cdots+r_n\vec{s}_n </math> is in <math> S </math>.
 
−
</ol>
 
−
}}
 
−
Briefly, the way that a subset gets to be a
 
−
subspace is by being closed under linear combinations.
 
−
 
 
−
{{TextBox|1=
 
−
;Proof:
 
−
"The following are equivalent" means that each pair of
 
−
statements are equivalent.
 
−
 
 
−
:<math>
 
−
(1)\!\iff\!(2)
 
−
\qquad
 
−
(2)\!\iff\!(3)
 
−
\qquad
 
−
(3)\!\iff\!(1)
 
−
</math>
 
−
 
 
−
We will show this equivalence by establishing that
 
−
<math> (1)\implies (3)\implies (2)\implies (1)</math>.
 
−
This strategy is suggested by noticing that
 
−
<math> (1)\implies (3) </math> and <math> (3)\implies (2) </math> are easy and so we need only
 
−
argue the single implication <math> (2)\implies (1) </math>.
 
−
 
 
−
For that argument, assume that <math> S </math> is a nonempty subset of a vector space
 
−
<math>V</math> and that <math>S</math> is closed under combinations of pairs of vectors.
 
−
We will show that <math>S</math> is a vector space by checking the conditions.
 
−
 
 
−
The first item in the vector space definition has five conditions.
 
−
First, for closure under addition, if
 
−
<math> \vec{s}_1,\vec{s}_2\in S </math> then <math> \vec{s}_1+\vec{s}_2\in S </math>,
 
−
as <math> \vec{s}_1+\vec{s}_2=1\cdot\vec{s}_1+1\cdot\vec{s}_2 </math>.
 
−
Second, for any <math> \vec{s}_1,\vec{s}_2\in S </math>, because addition
 
−
is inherited from <math> V </math>, the sum <math> \vec{s}_1+\vec{s}_2 </math>
 
−
in <math> S </math> equals the sum <math> \vec{s}_1+\vec{s}_2 </math>
 
−
in <math> V </math>, and that equals the sum <math> \vec{s}_2+\vec{s}_1 </math> in
 
−
<math> V </math> (because <math>V</math> is a vector space, its addition is commutative),
 
−
and that in turn equals the sum <math> \vec{s}_2+\vec{s}_1 </math> in <math> S </math>.
 
−
The argument for the third condition is similar to that for the second.
 
−
For the fourth, consider the zero vector of <math> V </math> and note that
 
−
closure of <math>S</math> under linear combinations of pairs of vectors gives that
 
−
(where <math> \vec{s} </math> is any member of the nonempty set <math> S </math>)
 
−
<math> 0\cdot\vec{s}+0\cdot\vec{s}=\vec{0} </math> is in <math>S</math>;
 
−
showing that <math> \vec{0} </math> acts under the inherited operations as the additive
 
−
identity of <math> S </math> is easy.
 
−
The fifth condition is satisfied because for any <math> \vec{s}\in S </math>,
 
−
closure under linear combinations shows that the vector
 
−
<math> 0\cdot\vec{0}+(-1)\cdot\vec{s} </math> is in <math> S </math>; showing that it is the
 
−
additive inverse of <math> \vec{s} </math> under the inherited operations is
 
−
routine.
 
−
 
 
−
The checks for item 2 are similar and are saved for [[#exer:SubspIffClosed|Problem 13]]<!--\ref{exer:SubspIffClosed}-->.
 
−
}}
 
−
 
 
−
We usually show that a subset is a subspace with <math> (2)\implies (1) </math>.
 
−
 
 
−
{{TextBox|1=
 
−
;Remark 2.10:
 
−
At the start of this chapter we introduced vector spaces as collections in
 
−
which linear combinations are "sensible".
 
−
The above result speaks to this.
 
−
 
 
−
The vector space definition has ten conditions but eight of them&mdash; the
 
−
conditions not about closure&mdash; simply ensure that referring to the
 
−
operations as an "addition" and a "scalar multiplication" is sensible.
 
−
The proof above checks that these eight
 
−
are inherited from the
 
−
surrounding vector space provided that the nonempty set <math>S</math> satisfies
 
−
[[#le:SubspIffClosed|Lemma 2.9]]<!--\ref{le:SubspIffClosed}-->'s statement (2)
 
−
(e.g., commutativity of addition in <math>S</math> follows right from
 
−
commutativity of addition in <math>V</math>).
 
−
So, in this context, this meaning of "sensible" is automatically
 
−
satisfied.
 
−
 
 
−
In assuring us that this first meaning of the word is met, the result draws
 
−
our attention to the second meaning of "sensible".
 
−
It has to do with the two remaining conditions, the closure conditions.
 
−
Above, the two separate closure conditions inherent in statement (1) are
 
−
combined in statement (2) into the single condition of closure under all
 
−
linear combinations of two vectors, which is then extended in statement (3) to
 
−
closure under combinations of any number of vectors.
 
−
The latter two statements say that we can always make sense of
 
−
an expression like
 
−
<math>r_1\vec{s}_1+r_2\vec{s}_2</math>, without restrictions on the <math>r</math>'s&mdash; such
 
−
expressions are "sensible" in that the vector described is defined
 
−
and is in the set <math>S</math>.
 
−
 
 
−
This second meaning suggests that a good way to think of a vector space is as a collection of unrestricted linear combinations. The next two examples take some spaces and describe them in this way. That is, in these examples we parametrize, just as we did in Chapter One to describe the solution set of a homogeneous linear system.
 
−
}}
 
−
 
 
−
{{TextBox|1=
 
−
;Example 2.11:
 
−
This subset of <math>\mathbb{R}^3</math>
 
−
 
 
−
:<math>
 
−
S=\{\begin{pmatrix} x \\ y \\ z \end{pmatrix}\,\big|\, x-2y+z=0\}
 
−
</math>
 
−
 
 
−
is a subspace under the usual addition and scalar multiplication
 
−
operations of column vectors (the check that it is nonempty and closed under
 
−
linear combinations of two vectors is just like the one in
 
−
[[#ex:PlaneSubspRThree|Example 2.2]]<!--\ref{ex:PlaneSubspRThree}-->).
 
−
To parametrize, we can take <math>x-2y+z=0</math> to be a one-equation linear system and
 
−
expressing the leading
 
−
variable in terms of the free variables <math>x=2y-z</math>.
 
−
 
 
−
:<math>
 
−
S
 
−
=\{\begin{pmatrix} 2y-z \\ y \\ z \end{pmatrix}\,\big|\, y,z\in\mathbb{R}\}
 
−
=\{y\begin{pmatrix} 2 \\ 1 \\ 0 \end{pmatrix}+z\begin{pmatrix} -1 \\ 0 \\ 1 \end{pmatrix}\,\big|\, y,z\in\mathbb{R}\}
 
−
</math>
 
−
 
 
−
Now the subspace is described as the collection of unrestricted linear combinations of those two vectors. Of course, in either description, this is a plane through the origin.
 
−
}}
 
−
 
 
−
{{TextBox|1=
 
−
;Example 2.12{{anchor|ex:ParamSubspace}}:<!--\label{ex:ParamSubspace}-->
 
−
This is a subspace of the <math> 2 \! \times \! 2 </math> matrices
 
−
 
 
−
:<math>
 
 
L=\{\begin{pmatrix}
 
L=\{\begin{pmatrix}
 
a  &0  \\
 
a  &0  \\
Line 235: Line 68:
 
</math>
 
</math>
  
−
(checking that it is nonempty and closed under linear combinations is easy).
+
: (checking that it is nonempty and closed under linear combinations is easy).
−
To parametrize, express the condition as <math>a=-b-c</math>.
+
: To parametrize, express the condition as <math>a=-b-c</math>.
  
−
:<math>
+
::<math>
 
L
 
L
 
=\{\begin{pmatrix}
 
=\{\begin{pmatrix}
Line 256: Line 89:
 
</math>
 
</math>
  
−
As above, we've described the subspace as a collection of unrestricted linear combinations (by coincidence, also of two elements).
+
: As above, we've described the subspace as a collection of unrestricted linear combinations (by coincidence, also of two elements).
−
}}
 
  
−
Parametrization is an easy technique, but it is important.
+
==Lemma on Subspaces==
−
We shall use it often.
+
For a nonempty subset <math> S </math> of a vector space, under the inherited
 +
operations, the following are equivalent statements.
  
−
{{TextBox|1=
+
# <math> S </math> is a subspace of that vector space
−
;Definition 2.13:
+
# <math> S </math> is closed under linear combinations of pairs of vectors: for any vectors <math> \vec{s}_1,\vec{s}_2\in S </math> and scalars <math> r_1,r_2 </math> the vector <math> r_1\vec{s}_1+r_2\vec{s}_2 </math> is in <math> S </math>
−
The '''span'''(or
+
# <math> S </math> is closed under linear combinations of any number of vectors: for any vectors <math> \vec{s}_1,\ldots,\vec{s}_n\in S </math> and scalars <math> r_1, \ldots,r_n </math> the vector <math> r_1\vec{s}_1+\cdots+r_n\vec{s}_n </math> is in <math> S </math>.
−
'''linear closure''') of a nonempty subset <math> S </math> of a
 
−
vector space is the set of all linear combinations of vectors from <math> S </math>.
 
  
−
:<math>
+
Briefly, the way that a subset gets to be a
−
[S] =\{ c_1\vec{s}_1+\cdots+c_n\vec{s}_n
+
subspace is by being closed under linear combinations.
−
\,\big|\, c_1,\ldots, c_n\in\mathbb{R}
 
−
\text{ and } \vec{s}_1,\ldots,\vec{s}_n\in S \}
 
−
</math>
 
  
−
The span of the empty subset of a vector space is the trivial subspace.
+
: Proof:
−
}}
+
:: "The following are equivalent" means that each pair of statements are equivalent.
−
No notation for the span is completely standard.
 
−
The square brackets used here are common, but so are
 
−
"<math>\mbox{span}(S)</math>" and "<math>\mbox{sp}(S)</math>".
 
  
−
{{TextBox|1=
+
:::<math>
−
;Remark 2.14:
+
(1)\!\iff\!(2)
−
In Chapter One, after we showed that the solution
+
\qquad
−
set of a homogeneous linear system can be written as
+
(2)\!\iff\!(3)
−
<math>\{c_1\vec{\beta}_1+\cdots+c_k\vec{\beta}_k\,\big|\,
+
\qquad
−
c_1,\ldots,c_k\in\mathbb{R}\}</math>,
+
(3)\!\iff\!(1)
−
we described that as the set "generated" by the <math>{\vec{\beta}}</math>'s.
 
−
We now have the technical term; we call that the "span" of the set
 
−
<math>\{\vec{\beta}_1,\ldots,\vec{\beta}_k\}</math>.
 
−
 
 
−
Recall also the discussion of the "tricky point" in that proof. The span of the empty set is defined to be the set <math> \{\vec{0}\} </math> because we follow the convention that a linear combination of no vectors sums to <math> \vec{0} </math>. Besides, defining the empty set's span to be the trivial subspace is a convenience in that it keeps results like the next one from having annoying exceptional cases.
 
−
}}
 
−
 
 
−
{{TextBox|1=
 
−
;Lemma 2.15{{anchor|le:SpanIsASubsp}}:<!--\label{le:SpanIsASubsp}-->
 
−
In a vector space, the span of any subset is a subspace.
 
−
}}
 
−
 
 
−
{{TextBox|1=
 
−
;Proof:
 
−
Call the subset <math> S </math>.
 
−
If <math> S </math> is empty then by definition its span is the trivial
 
−
subspace.
 
−
If <math> S</math> is not empty then by [[#le:SubspIffClosed|Lemma 2.9]]<!--\ref{le:SubspIffClosed}--> we need
 
−
only check that the span <math> [S] </math> is closed under linear combinations.
 
−
For a pair of vectors from that span,
 
−
<math> \vec{v}=c_1\vec{s}_1+\cdots+c_n\vec{s}_n </math> and
 
−
<math> \vec{w}=c_{n+1}\vec{s}_{n+1}+\cdots+c_m\vec{s}_m </math>,
 
−
a linear combination
 
−
:<math>
 
−
p\cdot(c_1\vec{s}_1+\cdots+c_n\vec{s}_n)+
 
−
r\cdot(c_{n+1}\vec{s}_{n+1}+\cdots+c_m\vec{s}_m)</math>
 
−
::<math>
 
−
=
 
−
pc_1\vec{s}_1+\cdots+pc_n\vec{s}_n
 
−
+rc_{n+1}\vec{s}_{n+1}+\cdots+rc_m\vec{s}_m
 
 
</math>
 
</math>
−
(<math> p </math>, <math> r </math> scalars) is a linear combination of elements of <math> S </math> and so is in <math> [S] </math> (possibly some of the <math>\vec{s}_i</math>'s forming <math>\vec{v}</math> equal some of the <math>\vec{s}_j</math>'s from <math>\vec{w}</math>, but it does not matter).
 
−
}}
 
  
−
The converse of the lemma
+
:: We will show this equivalence by establishing that <math> (1)\implies (3)\implies (2)\implies (1)</math>. This strategy is suggested by noticing that <math> (1)\implies (3) </math> and <math> (3)\implies (2) </math> are easy and so we need only argue the single implication <math> (2)\implies (1) </math>.
−
holds: any subspace is the span of some set, because
 
−
a subspace is obviously the span of the set of its members.
 
−
Thus a subset of a vector space is a subspace if and only if it is a span.
 
−
This fits the intuition
 
−
that a good way to think of a vector space is as
 
−
a collection in which linear combinations are sensible.
 
  
−
Taken together, [[#le:SubspIffClosed|Lemma 2.9]]<!--\ref{le:SubspIffClosed}--> and
+
:: For that argument, assume that <math> S </math> is a nonempty subset of a vector space <math>V</math> and that <math>S</math> is closed under combinations of pairs of vectors. We will show that <math>S</math> is a vector space by checking the conditions.
−
[[#le:SpanIsASubsp|Lemma 2.15]]<!--\ref{le:SpanIsASubsp}--> show that the span of a subset <math>S</math> of a
 
−
vector space is the smallest subspace containing all the members of <math>S</math>.
 
  
−
{{TextBox|1=
+
:: The first item in the vector space definition has five conditions. First, for closure under addition, if <math> \vec{s}_1,\vec{s}_2\in S </math> then <math> \vec{s}_1+\vec{s}_2\in S </math>, as <math> \vec{s}_1+\vec{s}_2=1\cdot\vec{s}_1+1\cdot\vec{s}_2 </math>.
−
;Example 2.16{{anchor|ex:SpanSingVec}}:<!--\label{ex:SpanSingVec}-->
+
:: Second, for any <math> \vec{s}_1,\vec{s}_2\in S </math>, because addition is inherited from <math> V </math>, the sum <math> \vec{s}_1+\vec{s}_2 </math> in <math> S </math> equals the sum <math> \vec{s}_1+\vec{s}_2 </math> in <math> V </math>, and that equals the sum <math> \vec{s}_2+\vec{s}_1 </math> in <math> V </math> (because <math>V</math> is a vector space, its addition is commutative), and that in turn equals the sum <math> \vec{s}_2+\vec{s}_1 </math> in <math> S </math>. The argument for the third condition is similar to that for the second.
−
In any vector space <math> V </math>, for any vector <math> \vec{v} </math>, the set <math> \{r\cdot\vec{v} \,\big|\, r\in\mathbb{R}\} </math> is a subspace of <math> V </math>. For instance, for any vector <math> \vec{v}\in\mathbb{R}^3 </math>, the line through the origin containing that vector, <math> \{k\vec{v}\,\big|\, k\in\mathbb{R} \} </math> is a subspace of <math> \mathbb{R}^3 </math>. This is true even when <math>\vec{v}</math> is the zero vector, in which case the subspace is the degenerate line, the trivial subspace.
+
:: For the fourth, consider the zero vector of <math> V </math> and note that closure of <math>S</math> under linear combinations of pairs of vectors gives that (where <math> \vec{s} </math> is any member of the nonempty set <math> S </math>) <math> 0\cdot\vec{s}+0\cdot\vec{s}=\vec{0} </math> is in <math>S</math>; showing that <math> \vec{0} </math> acts under the inherited operations as the additive identity of <math> S </math> is easy.
−
}}
+
:: The fifth condition is satisfied because for any <math> \vec{s}\in S </math>, closure under linear combinations shows that the vector <math> 0\cdot\vec{0}+(-1)\cdot\vec{s} </math> is in <math> S </math>; showing that it is the additive inverse of <math> \vec{s} </math> under the inherited operations is routine.
  
−
{{TextBox|1=
 
−
;Example 2.17:
 
−
The span of this set
 
−
is all of <math>\mathbb{R}^2</math>.
 
  
−
:<math>
+
We usually show that a subset is a subspace with <math> (2)\implies (1) </math>.
−
\{\begin{pmatrix} 1 \\ 1 \end{pmatrix},\begin{pmatrix} 1 \\ -1 \end{pmatrix}\}
 
−
</math>
 
−
 
 
−
To check this we must show that any member of <math>\mathbb{R}^2</math> is a linear combination
 
−
of these two vectors.
 
−
So we ask: for which
 
−
vectors (with real components <math>x</math> and <math>y</math>)
 
−
are there scalars <math>c_1</math> and <math>c_2</math> such that this holds?
 
−
 
 
−
:<math>
 
−
c_1\begin{pmatrix} 1 \\ 1 \end{pmatrix}+c_2\begin{pmatrix} 1 \\ -1 \end{pmatrix}=\begin{pmatrix} x \\ y \end{pmatrix}
 
−
</math>
 
−
 
 
−
Gauss' method
 
−
 
 
−
:<math>\begin{array}{rcl}
 
−
\begin{array}{*{2}{rc}r}
 
−
c_1  &+  &c_2  &=  &x  \\
 
−
c_1  &-  &c_2  &=  &y
 
−
\end{array}
 
−
&\xrightarrow[]{-\rho_1+\rho_2}
 
−
&\begin{array}{*{2}{rc}r}
 
−
c_1  &+  &c_2    &=  &x  \\
 
−
&  &-2c_2  &=  &-x+y
 
−
\end{array}
 
−
\end{array}
 
−
</math>
 
−
with back substitution gives <math>c_2=(x-y)/2</math> and <math>c_1=(x+y)/2</math>. These two equations show that for any <math>x</math> and <math>y</math> that we start with, there are appropriate coefficients <math>c_1</math> and <math>c_2</math> making the above vector equation true. For instance, for <math>x=1</math> and <math>y=2</math> the coefficients <math>c_2=-1/2</math> and <math>c_1=3/2</math> will do. That is, any vector in <math>\mathbb{R}^2</math> can be written as a linear combination of the two given vectors.
 
−
}}
 
−
 
 
−
Since spans are subspaces, and we know that a
 
−
good way to understand a subspace is
 
−
to parametrize its description, we can try to understand a set's span in
 
−
that way.
 
−
 
 
−
{{TextBox|1=
 
−
;Example 2.18:
 
−
Consider, in <math> \mathcal{P}_2 </math>,
 
−
the span of the set <math> \{3x-x^2, 2x\} </math>.
 
−
By the definition of span, it is the set of unrestricted linear
 
−
combinations of the two <math>\{c_1(3x-x^2)+c_2(2x)\,\big|\, c_1,c_2\in\mathbb{R}\}</math>.
 
−
Clearly polynomials in this span must have a constant term of zero.
 
−
Is that necessary condition also sufficient?
 
−
 
 
−
We are asking: for which members <math>a_2x^2+a_1x+a_0</math>
 
−
of <math>\mathcal{P}_2</math> are there <math>c_1</math> and <math>c_2</math> such that
 
−
<math>a_2x^2+a_1x+a_0=c_1(3x-x^2)+c_2(2x)</math>?
 
−
Since polynomials are equal if and only if their coefficients are equal,
 
−
we are looking for conditions on <math>a_2</math>, <math>a_1</math>, and <math>a_0</math> satisfying these.
 
−
 
 
−
:<math>
 
−
\begin{array}{*{2}{rc}r}
 
−
-c_1  &  &    &=  &a_2  \\
 
−
3c_1  &+  &2c_2 &=  &a_1  \\
 
−
&  &0    &=  &a_0                                 
 
−
\end{array}
 
−
</math>
 
−
 
 
−
Gauss' method gives that
 
−
<math>c_1=-a_2</math>, <math>c_2=(3/2)a_2+(1/2)a_1</math>, and <math>0=a_0</math>.
 
−
Thus the only condition on polynomials in the span
 
−
is the condition that we knew of&mdash; as long as <math>a_0=0</math>,
 
−
we can give appropriate coefficients <math>c_1</math> and <math>c_2</math>
 
−
to describe the polynomial <math>a_0+a_1x+a_2x^2</math> as in the span.
 
−
For instance, for the polynomial <math>0-4x+3x^2</math>, the coefficients
 
−
<math>c_1=-3</math> and <math>c_2=5/2</math> will do.
 
−
So the span of the given set is
 
−
<math>\{a_1x+a_2x^2\,\big|\, a_1,a_2\in\mathbb{R}\}</math>.
 
−
 
 
−
This shows, incidentally, that the set <math> \{x,x^2\} </math> also spans this subspace. A space can have more than one spanning set. Two other sets spanning this subspace are <math> \{x,x^2,-x+2x^2\} </math> and <math> \{x,x+x^2,x+2x^2,\ldots\,\} </math>. (Naturally, we usually prefer to work with spanning sets that have only a few members.)
 
−
}}
 
−
 
 
−
{{TextBox|1=
 
−
;Example 2.19{{anchor|ex:SubspRThree}}:<!--\label{ex:SubspRThree}-->
 
−
These are the subspaces of <math> \mathbb{R}^3 </math> that we now know of, the
 
−
trivial subspace, the lines through the origin,
 
−
the planes through the origin, and the whole space
 
−
(of course, the picture shows only a few of the infinitely many subspaces).
 
−
In the next section we will prove that <math>\mathbb{R}^3</math> has no other
 
−
type of subspaces, so in fact this picture shows them all.
 
−
<center>
 
−
[[Image:Linalg R3 subspaces.png|x250px]]
 
−
</center>
 
−
The subsets are described as spans of sets, using a minimal number of members, and are shown connected to their supersets. Note that these subspaces fall naturally into levels&mdash; planes on one level, lines on another, etc.&mdash; according to how many vectors are in a minimal-sized spanning set.
 
−
}}
 
−
 
 
−
So far in this chapter we have seen that to study the
 
−
properties of linear combinations, the right setting is a
 
−
collection that is closed under these combinations.
 
−
In the first subsection we introduced such collections, vector spaces,
 
−
and we saw a great variety of examples.
 
−
In this subsection we saw still
 
−
more spaces, ones that happen to be subspaces of others.
 
−
In all of the variety we've seen a commonality.
 
−
[[#ex:SubspRThree|Example 2.19]]<!--\ref{ex:SubspRThree}--> above
 
−
brings it out: vector spaces and subspaces are best understood as a span,
 
−
and especially as a span of a small number of vectors.
 
−
The next section studies spanning sets that are minimal.
 

Revision as of 14:33, 29 September 2021

One of the examples that led us to introduce the idea of a vector space was the solution set of a homogeneous system. For instance, we've seen in Example 1.4 such a space that is a planar subset of . There, the vector space contains inside it another vector space, the plane.


Definition of a subspace:

For any vector space, a subspace is a subset that is itself a vector space, under the inherited operations.

Examples

Example 1

The plane is a subspace of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}^3 } . As specified in the definition, the operations are the ones inherited from the larger space, that is, vectors add in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P} as they add in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}^3}
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{pmatrix} x_1 \\ y_1 \\ z_1 \end{pmatrix}+\begin{pmatrix} x_2 \\ y_2 \\ z_2 \end{pmatrix} =\begin{pmatrix} x_1+x_2 \\ y_1+y_2 \\ z_1+z_2 \end{pmatrix} }
and scalar multiplication is also the same as it is in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}^3} . To show that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P} is a subspace, we need only note that it is a subset and then verify that it is a space. Checking that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P} satisfies the conditions in the definition of a vector space is routine. For instance, for closure under addition, just note that if the summands satisfy that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_1+y_1+z_1=0} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_2+y_2+z_2=0} then the sum satisfies that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (x_1+x_2)+(y_1+y_2)+(z_1+z_2)=(x_1+y_1+z_1)+(x_2+y_2+z_2)=0} .

Example 2

The Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x } -axis in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}^2 } is a subspace where the addition and scalar multiplication operations are the inherited ones.
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{pmatrix} x_1 \\ 0 \end{pmatrix} + \begin{pmatrix} x_2 \\ 0 \end{pmatrix} = \begin{pmatrix} x_1+x_2 \\ 0 \end{pmatrix} \qquad r\cdot\begin{pmatrix} x \\ 0 \end{pmatrix} =\begin{pmatrix} rx \\ 0 \end{pmatrix} }
As above, to verify that this is a subspace, we simply note that it is a subset and then check that it satisfies the conditions in definition of a vector space. For instance, the two closure conditions are satisfied: (1) adding two vectors with a second component of zero results in a vector with a second component of zero, and (2) multiplying a scalar times a vector with a second component of zero results in a vector with a second component of zero.

Example 3

Another subspace of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}^2} is
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{\begin{pmatrix} 0 \\ 0 \end{pmatrix}\} }
which is its trivial subspace.
Any vector space has a trivial subspace Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{\vec{0}\,\} } .

At the opposite extreme, any vector space has itself for a subspace. Template:AnchorThese two are the improper subspaces. Template:AnchorOther subspaces are proper.

Example 4

The condition in the definition requiring that the addition and scalar multiplication operations must be the ones inherited from the larger space is important. Consider the subset Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{1\} } of the vector space Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}^1 } . Under the operations Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1+1=1} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r\cdot 1=1} that set is a vector space, specifically, a trivial space. But it is not a subspace of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}^1 } because those aren't the inherited operations, since of course Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}^1 } has Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1+1=2 } .

Example 5

All kinds of vector spaces, not just Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}^n} 's, have subspaces. The vector space of cubic polynomials Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{a+bx+cx^2+dx^3\,\big|\, a,b,c,d\in\mathbb{R}\} } has a subspace comprised of all linear polynomials Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{m+nx\,\big|\, m,n\in\mathbb{R}\} } .

Example 6

This is a subspace of the Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2 \! \times \! 2 } matrices
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle L=\{\begin{pmatrix} a &0 \\ b &c \end{pmatrix} \,\big|\, a+b+c=0\} }
(checking that it is nonempty and closed under linear combinations is easy).
To parametrize, express the condition as Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a=-b-c} .
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle L =\{\begin{pmatrix} -b-c &0 \\ b &c \end{pmatrix} \,\big|\, b,c\in\mathbb{R}\} =\{b\begin{pmatrix} -1 &0 \\ 1 &0 \end{pmatrix} +c\begin{pmatrix} -1 &0 \\ 0 &1 \end{pmatrix} \,\big|\, b,c\in\mathbb{R}\} }
As above, we've described the subspace as a collection of unrestricted linear combinations (by coincidence, also of two elements).

Lemma on Subspaces

For a nonempty subset Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S } of a vector space, under the inherited operations, the following are equivalent statements.

  1. Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S } is a subspace of that vector space
  2. Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S } is closed under linear combinations of pairs of vectors: for any vectors Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{s}_1,\vec{s}_2\in S } and scalars Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r_1,r_2 } the vector Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r_1\vec{s}_1+r_2\vec{s}_2 } is in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S }
  3. Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S } is closed under linear combinations of any number of vectors: for any vectors Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{s}_1,\ldots,\vec{s}_n\in S } and scalars Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r_1, \ldots,r_n } the vector Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r_1\vec{s}_1+\cdots+r_n\vec{s}_n } is in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S } .

Briefly, the way that a subset gets to be a subspace is by being closed under linear combinations.

Proof:
"The following are equivalent" means that each pair of statements are equivalent.
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (1)\!\iff\!(2) \qquad (2)\!\iff\!(3) \qquad (3)\!\iff\!(1) }
We will show this equivalence by establishing that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (1)\implies (3)\implies (2)\implies (1)} . This strategy is suggested by noticing that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (1)\implies (3) } and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (3)\implies (2) } are easy and so we need only argue the single implication Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (2)\implies (1) } .
For that argument, assume that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S } is a nonempty subset of a vector space and that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} is closed under combinations of pairs of vectors. We will show that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} is a vector space by checking the conditions.
The first item in the vector space definition has five conditions. First, for closure under addition, if Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{s}_1,\vec{s}_2\in S } then Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{s}_1+\vec{s}_2\in S } , as Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{s}_1+\vec{s}_2=1\cdot\vec{s}_1+1\cdot\vec{s}_2 } .
Second, for any Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{s}_1,\vec{s}_2\in S } , because addition is inherited from Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V } , the sum Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{s}_1+\vec{s}_2 } in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S } equals the sum Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{s}_1+\vec{s}_2 } in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V } , and that equals the sum Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{s}_2+\vec{s}_1 } in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V } (because Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V} is a vector space, its addition is commutative), and that in turn equals the sum Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{s}_2+\vec{s}_1 } in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S } . The argument for the third condition is similar to that for the second.
For the fourth, consider the zero vector of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V } and note that closure of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} under linear combinations of pairs of vectors gives that (where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{s} } is any member of the nonempty set Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S } ) Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0\cdot\vec{s}+0\cdot\vec{s}=\vec{0} } is in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} ; showing that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{0} } acts under the inherited operations as the additive identity of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S } is easy.
The fifth condition is satisfied because for any Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{s}\in S } , closure under linear combinations shows that the vector Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0\cdot\vec{0}+(-1)\cdot\vec{s} } is in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S } ; showing that it is the additive inverse of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{s} } under the inherited operations is routine.


We usually show that a subset is a subspace with Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (2)\implies (1) } .

Retrieved from "https://mathresearch.utsa.edu/wiki/index.php?title=Subspaces_of_Rn_and_Linear_Independence&oldid=1608"