Basis of a Vector Space
Basis
Vector space is said to be finite-dimensional if a finite number of vectors such that the vector space where the span is .
A basis of is a set of vectors that verify the following properties:
- They are linearly independent
- They span , i.e.
Null Vector and Linear Dependence
If one of the vectors is equal to the null vector, then these vectors are linear dependent
Steinitz Lemma
= Finite-dimensional vector space = E its span Let be linearly independent vectors Follows that , the number of a set of linearly independent vectors cannot be higher than the number of vectors spanning the vector space.
Corollary of the Steinitz Lemma
^continuation be its basis, it follows that . The vectors composing the basis are linearly independent. For the Steinitzs Lemma, it follows immediately that
Dimension of a Basis
Order of a Basis
Number of vectors composing a basis is said order of a basis All the bases of a vector spaces have the same order
Dimension of a Vector Space
The order of a basis is said dimension is indicated with dim or dim(). The dimension dim of a vector space is:
- the maximum number of linearly independent vectors of E
- the minimum number of vectors spanning E
Linear independence and dimension
The vectors span the vectors if and only if they are linearly independent
Grassmann Formula
Reduction and Extension of a basis
Basis Reduction Theorem - If some vectors are removed a basis of is obtained Basis Extension Theorem - Let be linearly independent vectors of the vector space. If are not already a basis, they can be extended to a basis (by adding other linearly independent vectors)
Unique Representation
If the vectors are linearly dependent while is linearly independent, there is a unique way to express one vectors as linear combination of others (How you would represent other lines with one another, identify them with lambdas)
Grassmanns Formula
Let and be vector subspace of . Then,