Algebraic structure of a vector space,
Linear combination, matrix-vector product
Linear independence, linear dependence
Range and null space
After groups and fields, an additional algebraic structure of particular relevance to differential equations is now introduced, that of a vector space
A vector space is formed by a set of vectors , a set of scalars with a field structure, the operation of vector addition , and the operation of multiplication of a vector by a scalar , with the properties of
a commutative group for : ,
|
|
, |
, |
|
|
closure with respect to multiplication by a scalar:
Distributivity properties:
|
|
|
|
Scalar identity element:
is the vector space of polynomials of degree at most over the reals. For , the operations are defined as
with , . Note that the variable is irrelevant to the specification of a particular polynomial by its coefficients, such that it is convenient to identify and the operations become
with , is not a vector space, since in general. is not a vector space since is not a field.
The Euclidean vector space with operations for ,
has many applications:
position vector of a point in 3D,
polynomials, ,
trigonometric sums, ,
exponential sums,
In vector space , from , , obtain a new vector
(1) |
Question: can all vectors within be obtained this way?
Answer: in general, no since in , cannot be obtained from , .
Question: can one somehow generalize (1) so as to describe all vectors in ?
Answer: yes, through the following
Definition. In vector space
is the linear combination of with coefficients .
Linear combinations have very many applications. It is convenient to define notation to efficiently carry out linear combinations, especially for the widely used Euclidean space (we use for number of components,
Group the vectors together to define a matrix, group the scalar coefficients together into a vector
Define matrix-vector multiplication to carry out the linear combination
Note: denotes the number of components in a vector, the number of vectors in the linear combination.
Denote set of real-component matrices with rows and columns by
Notation:
are matrices, are vectors, are scalars
Column vectors of are
Components of are
Matrix-vector product can also be computed by “row over columns rule”
Having defined as a concise way of defining the linear combination of vectors with scalar coefficients , consider now the original question: can all vectors within a vector space be reached by linear combination of some choice of vectors in ?
Definition. The vectors are said to be linearly dependent if there exists a solution to the equation
In the vector space , are linearly dependent. The solutions to are , , for any
In the vector space , are linearly dependent since , and is a solution to with .
1. Note: the matrix notation has been extended to
allow for arbitrary vectors (in this case polynomials)
to be placed in columns. This is a very useful
convention for computational applications.
Definition. The vectors are said to be linearly independent if is the only solution to the equation
In the vector space , are linearly independent. The only solution to is ,
In the vector space , are linearly independent since
(2) |
is an equality between vectors that are in this case the polynomials , and (2) must be satisfied for all . Choosing implies , and choosing subsequently implies
Linear dependence of vectors indicates that some vectors are redundant, they can be expressed as linear combinations of other vectors in the set.
Linear independence of vectors indicates that there are no redundant vectors in the set, but it is not yet established that all vectors in the can be reached by linear combination of .
Definition. The range of (also known as the span of vectors ) is the set
The range or the span is the set of all vectors reachable by linear combination of columns of .
Also introduce a definition to characterize whether a set of vectors (represented as columns of a matrix) are linearly independent or not.
Definition. The null space of (also known as the kernel of ) is the set
If the null space only contains , , then the vectors , are linearly independent.
In vector space , the null space of is