Definition of Vector Space
Vector Space
- to be a non-null set and to be a scalar set
- Vectors: elements of the set
- - Internal composition law,
- - External composition law,
- () is said vector space of the vector set over the scalar field () if and olf if the ten vector space axioms are verified
Axioms
- is closed with respect to the internal composition law:
- is closed with respect to the external composition law:
- Commutativity for the internal composition law:
- Associativity for the internal composition law:
- Neutral element for the internal composition law:
- Opposite element for the internal composition law:
- Associativity for the external composition law: and
- Distributivity 1: and
- Distributivity 2:
- Neutral elements for the external composition law:
Vector Subspace
() be a vector space, and The triple () is a vector subspace of () if () is a vector space over the same field with respect to both the composition laws
Proposition shows that we do not need to prove all 10 axioms, just need to prove closure of the two composition laws.
Null vector in Vector Spaces
() be a vector space over a field . Every vector subspace () of () contains the null vector. For every vector space (), at least two vector subspace exist
Intersection and Sum Spaces
Intersection Spaces
If () and () are two vector subspace of (), then () is a vector subspace of ()
Sum Space
() and () be a vector space of (). Sum subset is a set defined as
Direct Sum
() and () be two vector subspaces of (). If the subset sum is indicated as and named subset direct sum
Linear dependence in dimensions
Basic Definition
- Linear combination of the vectors by means of scalars is the vector
- Said to be linear dependent if the null vector o can be expressed as linear combination by means of the scalars
- Vectors are linearly independent if the null vector can be expressed as linear combination only by means of the scalars
- Are linearly dependent if and only if at least one of them can be expressed as linear combination of the others
- Would then check them as you would do in matrices
Linear Span
Set containing the totality of all the possibly linear combinations of the vectors, by means of scalars.
Properties
- Span with the composition laws in a vector subspace of ()
- with . If vectors are linearly independent while each of the remaing vectors is linear combination of the linearly independent vectors, then