Linear Span Article Index for
Linear 		Website Links For
Linear 		 

Information About

Linear Span
  CATEGORIES ABOUT LINEAR SPAN
   
abstract algebra
   
linear algebra
   
APPAREL
BABY
BEAUTY
BOOKS
CAR TOYS
CELL PHONES
DVD'S
ELECTRONICS
GOURMET FOOD
GROCERIES
HEALTH & PERSONAL
HOME & GARDEN
JEWELRY
MUSIC
MUSIC INSTRUMENTS
OFFICE PRODUCTS
SOFTWARE
SPORTING GOODS
TOOLS & HARDWARE
TOYS
VIDEO GAMES
SHOPPING HOME
MORE SHOPPING...



The linear span is an example of a Set-builder Notation .


DEFINITION


Given a vector space ''V'' over a Field ''K'' and vectors v1,...,v''n'' in ''V'' then

: \mathrm{span}( \mathbf{v}_1 ,\ldots, \mathbf{v}_n) := \{ a_1 \mathbf{v}_1 + \cdots + a_n \mathbf{v}_n : a_1 ,\ldots, a_n \in K \} \,

is a Subspace ''S'' of ''V'' called the linear span of '''v'''1,...,'''v'''''n''.

The vectors are called spanning vectors and

:\lbrace \mathbf{v}_1,\ldots,\mathbf{v}_n brace

is called a spanning set or '''generating set''' of ''S''.


NOTES


A ''spanning set'' is usually not a basis for ''S'' as the ''spanning vectors'' need not be Linearly Independent . On the other hand a minimal spanning set for a given vector space ''S'' is a basis. In other words a ''spanning set'' is a basis for ''S'' if and only if every vector in ''S'' can be written as a unique linear combination of elements in the ''spanning set''.


EXAMPLES


The Real vector space R3 has {(1,0,0), (0,1,0), (0,0,1)} as a spanning set.
This spanning set is actually a Basis .
Another spanning set for the same space is given by {(1,2,3), (0,1,2), (−1,1/2,3), (1,1,1)}, but this set is not a basis, because it is Linearly Dependent .
The set {(1,0,0), (0,1,0), (1,1,0)} is not a spanning set of R3; instead its span is the space of all vectors in R3 whose last component is zero.


THEOREMS


Theorem 1: span(''v''1,...,''v''''n'') is a Subspace of ''V''. Furthermore, this span is the smallest subspace of ''V'' that the vectors ''v''1,...,''v''''n'' all belong to.

This fact (which is proved later in this section) is one reason why the span is important.

Now let ''S'' be a subset of the vector space ''V''. The ''linear span'' of ''S'' consists of all linear combinations of elements of ''S''.
In symbols,


: \mathrm{span}( S ) = \{ a_1 v_1 + \cdots + a_k v_k : k \in \mathbf{N}, a_1 ,\ldots, a_k \in K , v_1 ,\ldots, v_k \in S \} \,

where N is the set of Natural Number s (including zero). Notice that this time the number of vectors involved in the linear combination can vary, from zero on up, but it must still be finite each time.

Theorem 2:
span(''S'') is also a subspace of ''V''. Furthermore, this span is the smallest subspace of ''V'' that is a Superset of ''S''.

The rest of this section is a proof of Theorem 1. Theorem 2 is very similar, but a bit messier to write down, since the vectors involved in any given linear combination can vary.

''Proof of Theorem 1:''

Property 1:

The most general possible two elements of the span are ''x'' := ''a''1''v''1 + ... + ''a''''n''''v''''n'' and ''y'' := ''b''1''v''1 + ... + ''b''''n''''v''''n''.
We have to show that ''x'' + ''y'' is also a linear combination. By using associativity and commutativity of addition and the distributive law, we can write
: x + y = ( a_1 + b_1 ) v_1 + \cdots + ( a_n + b_n ) v_n \,
and since ''a''''i'' + ''b''''i'' is a scalar for every ''i'', we see that ''x'' + ''y'' is indeed a linear combination of the given vectors.

Property 2:

Let ''c'' be a scalar and again take ''x'' := ''a''1''v''1 + ... + ''a''''n''''v''''n''.
We have to show that ''cx'' is also a linear combination.
Now,
: c x = ( c a_1 ) v_1 + \cdots + ( c a_n ) v_n \,
and since ''ca''''i'' is a scalar for every ''i'', we are done.

Property 3:

The zero element 0''V'' of ''V'' is a linear combination because we can write
: 0_V = 0_K v_1 + 0_K v_2 + \cdots + 0_K v_n \,
(Here, 0''K'' is the zero element of the field ''K''.)
This equation is true because in every vector space we have 0''K''''v'' = 0''V''.

Minimality:

Suppose ''W'' is another subspace of ''V'' which contains the vectors ''v''1,...,''v''''n''.
Then ''W'' is closed under scalar multiplication and addition of vectors, so we can prove by Mathematical Induction that ''a''1''v''1 + ... + ''a''''n''''v''''n'' is an element of ''W'' for any scalars ''a''1,...,''a''''n''.
Thus, span(''v''1,...,''v''''n''), the set of all such linear combinations, is a subset of ''W''.