4.1 Real Vector Spaces: Class Notes
Definition: (Vector space)
Let be an arbitrary nonempty set of objects for which two operations are defined: addition and multiplication by numbers called scalars. By addition we mean a rule for associating with each pair of objects and in an object , called the sum of and ; by scalar multiplication we mean a rule for associating with each scalar and each object in an object , called the scalar multiple of by . If the following axioms are satisfied by all objects , , and in and all scalars and , then we call a vector space and we call the objects in vectors.
- If and are objects in , then is in .
- There exists an object in , called the zero vector, that is denoted by and has the property that for all in .
- For each in , there is an object in , called a negative of such that .
- If is any scalar and is an object in , then is in .
Axiom 1 is closure under addition, and Axiom 6 is closure under scalar multiplication.
Notes:
- Vector addition and scalar multiplication can be any rules that satisfy these axioms.
- A vector is any object in a vector space.
#6
Determine whether the set equipped with the given operations is a vector space. For those that are not vector spaces, identify the vector space axioms that fail.
The set of all -tuples of real numbers that have the form with the standard operations on .
Solution
Let and be in the set (so both are in ).
Axiom 1: , which has the same form, so the set is closed under addition.
Axioms 2, 3, and 7 through 10 are satisfied by properties of real numbers and Theorem 3.1.1.
Axiom 6: , which has the same form.
Axiom 4: has the same form, so it is in the set.
Axiom 5: has the same form, so it is in the set.
Answer:
Examples of Vector Spaces
- The simplest vector space is .
- with the usual operations of addition and scalar multiplication of -tuples
- , the set of infinite sequences of numbers with the usual operations of addition and scalar multiplication performed componentwise
- The set of matrices with matrix addition and scalar multiplication, denoted
- The set of real-valued functions that are defined for all , denoted with addition and scalar multiplication
and - The set of polynomials of degree , denoted
Example
Show why #5 is a vector space.
Solution
Let and be in , and let be a scalar.
Axiom 1 (closure): , which is defined for every real , so is in .
Axiom 6 (closure): , which is also defined for every real .
At any point , and are real numbers, so Axioms 2, 3, 7, 8, 9, and 10 are satisfied by properties of real numbers.
Axiom 4: is the function , which is defined on . Thus Axiom 4 is satisfied.
Axiom 5: for all .
Example 4.1.7: Not a vector space
Let and . Define and .
Solution
This is not a vector space, because Axiom 10 fails: for ,
(whenever ).
Example 4.1.8: Unusual vector space
Let be the set of positive real numbers, so and are positive real numbers. Define and .
Solution
For instance, under these operations (multiply) and (raise to the power).
Axioms 1 and 6: the set is closed under addition and scalar multiplication, since and are positive whenever and are.
Axioms 2 and 3: the vector addition is commutative and associative because multiplication of real numbers is.
Axiom 4: the zero element is , because
Axiom 10 holds as well: .
Axiom 5: the negative of a vector is its reciprocal:
Axioms 7, 8, and 9:
Answer:
Example
Let be the set of all ordered pairs of real numbers, and consider the following addition and scalar multiplication operations on and :
, .
a. Show that Axioms 4 and 5 hold.
b. Find all axioms that fail to hold.
Solution
Axiom 4. Let and require :
Comparing entries: and . Then
Axiom 5. Let and require :
so and , and
Part b. Axioms 7 and 8 fail. For Axiom 7:
These differ whenever . Axiom 8 is similar.
Answer:
Theorem 4.1.1
Let be a vector space, be a vector in , and a scalar; then:
a)
b)
c)
d) If , then or
Example
Prove that the zero vector in any vector space is unique.
Proof
Let be a vector space and let be a vector such that
Suppose there is such that
Let in this equation. Then
But is a zero vector, so the same sum is also
The two lines start from the same sum , so
Answer:
The zero vector is unique.