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 .

  1. (Closed under addition:) The sum of and , denoted , is in .

  2. (Closed under scalar multiplication:) The scalar multiple of by , denoted , is in .

  3. (Addition is commutative:) .

  4. (Addition is associative:) .

  5. (A zero vector exists:) There exists a vector in such that .

  6. (Additive inverses exist:) For each in , there exists a in such that . (We write .)

  7. (Scaling by is the identity:) .

  8. (Scalar multiplication is associative): .

  9. (Scalar multiplication distributes over vector addition:) .

  10. (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.