Summary
Vector space
Definition
Definition
A vector space is ordered pair where is a set and is a field, together with two operations:
- Vector addition:
- Scalar multiplication:
Such that the following properties hold:
- is an Abelian group. Here, is the additive identity.
- Scalar multiplication is distributive over vector addition: for all and .
- Scalar multiplication is distributive over field addition: for all and .
- Scalar multiplication is associative: for all and .
- Scalar multiplication by the multiplicative identity of the field is the identity operation on the vector space: for all .
Examples
Example
- The set of real numbers with standard addition and scalar multiplication is a vector space.
- The set of matrices over a field is a vector space.
- The set of polynomials of degree at most is a vector space.
Subspaces
Definition
A subspace of a vector space is a subset of that is itself a vector space with the operations of vector addition and scalar multiplication inherited from . The subspace is denoted by .
Examples
- The set of all polynomials of degree at most is a subspace of the vector space of all polynomials.
- is a subspace of
Span
Definition
The span of a set of vectors is the set of all linear combinations of the vectors. It is denoted by .
Linear combinations
Definition
A linear combination of a set of vectors is where are scalars.
Basis
Definition
A basis of a vector space is a set of linearly independent vectors that span .
Important
- A basis is a minimal set of vectors that can represent all vectors in the vector space.
- A basis is a maximal set of linearly independent vectors.
Linear independence
Definition
A set of vectors is linearly independent if the only solution to the equation is for all .
Dimension
Definition
The dimension of a vector space is the number of vectors in a basis of . It is denoted by .
Linear transformations
Definition
A linear transformation between two vector spaces and is a function that preserves vector addition and scalar multiplication. It satisfies the following properties:
- for all .
- for all and .
Kernel
Definition
The kernel of a linear transformation is the set of all vectors in that are mapped to the zero vector in . It is denoted by .
Image
Definition
The image of a linear transformation is the set of all vectors in that are the result of applying to some vector in . It is denoted by .