4.1 Spans and Spanning Sets
Link to originalLinear Combination
Let for some vector space over
A linear combination of is
Link to originalSpan
Let for some vector space over
The span of is defined asAlso the smallest subspace of that contains
AKA all the possible linear combinations of
Link to originalSpans are a subspace of the Vector Space lemma
Let for some vector space over then
Proof of Subspace Property
Setting we getSo
2)
Take so supposeThen for
So by the subspace test
Link to originalSpanning Set
Let be a vector space over
If and thenin other words
Also means every vector can be written as a linear combination of the elements in
Link to originalRow Space ( Matrix)
: Span of the rows of a matrix
With
Link to originalColumn Space
: Span of the columns of the matrix
With
4.2 Linear Independence
Link to originalLinearly Independent
Let be a vector space over
are linearly independent if the only solution tois
Otherwise the vectors are linearly dependent
Link to originalSubsets of Vector Spaces being Linearly Independent
Let then
is linearly independent of every finite subset of is linearly independent
Link to originalComparing Coefficients (of Linearly Independent Vectors)
Let where , where is a vector space
Supposefor some
Then for
Proof
Rearrange the equation to
As the vectors are linearly independent then
Hence
Link to originalUseful Examples of Linearly Independent Sets
- with , the set of complex numbers
- with , the vector space of polynomials with real coefficients
Link to originalExtending a linearly independent set lemma
Let be linearly independent elements of a vector space
Let thenProof
- Proving
Suppose
Take such thatThen for
So however this is a contradiction so
Then as are linearly independent then the solution toIs
So are linearly independent
- Proving
Suppose are linearly independent then
Suppose then there exists such thatRearranging this to get
However as are linearly independent then there exists no solution to the above equation
Hence
4.3 Bases
Link to originalBasis of vector space
Basis of is a linearly independent, spanning set
If the basis is finite then is finite-dimensional
Plural of basis is bases
Link to originalNote the basis of a vector space is not unique!
Link to originalExamples of infinite-dimensional vector spaces
- Vector space of real polynomials
- Vector space of real sequences
Link to originalStandard Basis (Canonical Basis) of
For define be the row vector with coordinate in the th entry and elsewhere
Example - and
Proof
- Linear Independence
If we considerLooking at the th entry we see that for all
Hence are linearly independent.
- Spanning Set
For any then we can writeHence spans
Link to originalStandard Basis of Vector Space
Standard basis of is the set
Where has a at the th entry and elsewhere
Spanning Property
For matrix then
This is a unique expression of and a linear combination of the standard basis
Link to originalCharacterising a Basis via Linear Combinations
Let be a vector space over and
Proof
- Prove
Let be a basis of and take
Since spans , there exists such thatAs is linearly independent then by Unique Coefficients of Linear Combinations then are unique
- Prove
Suppose that every vector has a unique expression as a linear combination of elements of
- spanning set: by definition spans as every vector can be written as a linear combination
- linearly independent: By uniqueness (and is the only solution) so it is linearly independent
Hence is a basis for
Link to originalCoordinates
Given a basis of then every can be uniquely written as
Where is known as the coordinate of with respect to the basis
Link to originalProperty of Row Space
Let be a matrix and be a matrix
Let be the RRE form of by EROs
- The non-zero rows of are independent
- Rows of are linear combinations of the rows of
- is contained in
- If and is invertible then
Proof
- (1) Denote the non-zero rows of as and suppose that
Suppose that the leading or appears in the th column then
However as is in form then each of are as they are entries under a leading by RRE Form Properties
HenceSimilarly by focusing on the column which contains the leading of then likewise
Repeat this for the rest
Then as for each then the non-zero rows are independent
- (3) Remember that
Hence the th row of is the row vector
Thus it is a linear combination of the rows of so every row of is in
As a vector in the row space is a linear combination of the rows of then they are a linear combination of the rows of hence
is contained in
- (2) By (3) as with for some Elementary Matrices which are invertible
Hence is contained in- (4) By (3) as is contained in and by is contained in so
Link to originalTest for Independence corollary
Let be a matrix
Proof
We know that , where is a product of EROs so exists
Suppose the th row of is
ThenWhere are the entries along the th row of which cannot all be zero (as is invertible)
Hence rows of are linearly dependent
Link to originalTest for a Spanning Set corollary
Let be a matrix.
Then the rows of span if and only ifProof
- Let be the rows of in and suppose they span
By Property of Row Space then the row space is invariant under EROs
If the th column of does not contain a leading then would not be in the row space
Consequently every column contains a leading and so
- Conversely if has the above form then the rows of are spanning and hence so the original rows are also spanning
4.4 Addendum
Link to originalUniqueness of RRE Form
The reduced row echelon form of a matrix is unique
Proof
Link to originalRow Rank (or Rank)
Row Rank or Rank of matrix is the number of non-zero rows in
By Uniqueness of RRE Form then row rank is well-defined
Link to originalDetermining whether a system is consistent using row-rank / rank
Let be the matrix representing the linear system
Proof
Note this result was already demonstrated for systems in RRE form during the proof
Suppose that where is a product of Elementary Matrices that reduce
If is an elementary matrix then by the uniqueness of form
HenceThen
as the set of solutions to is unaffected by EROs
Link to originalClassifying the solutions of a Linear System
Let be a matrix and in
1)
Also requires
Set of solutions is a parameter familyx
