A
vector space over is a set
of objects (called vectors) together with two operations,
addition and multiplication by scalars (real numbers), that satisfy
the following axioms. The axioms must hold for
all vectors
in and for
all scalars in .
- (Closed under addition:) The sum of and , denoted , is in .
- (Closed under scalar multiplication:) The scalar multiple of by , denoted , is in .
- (Addition is commutative:) .
- (Addition is associative:) .
- (A zero vector exists:) There exists a vector in such that .
- (Additive inverses exist:) For each in , there exists a in such that . (We write .)
- (Scaling by is the identity:) .
- (Scalar multiplication is associative): .
- (Scalar multiplication distributes over vector addition:) .
- (Scalar addition is distributive:) .
Let be the set of functions .
For any two functions in , define the sum to be the
function given by for all real numbers .
For any real number and any function in , define
scalar multiplication by for all real numbers .
Answer the following questions as partial verification that is a vector space.
(Addition is commutative:) Let and be any vectors in . Then
for all real numbers since adding
the real numbers and is a commutative operation.
(A zero vector exists:) The zero vector in is the function given by
for all .
(Additive inverses exist:) The additive inverse of the function in is
a function that satisfies for all real numbers .
The additive inverse of is the function
for all .
(Scalar multiplication distributes over vector addition:)
If is any real number and and are two vectors in , then
You can earn partial credit on this problem.