A few comments are in order on our axioms and notation. There are striking similarities (and equally striking differences) between the axioms for a field and the axioms for a vector space over a field. In both cases, the axioms (A) describe the additive structure of the system, the axioms (B) describe its multiplicative structure, and the axioms (C) describe the connection between the two structures. Those familiar with algebraic terminology will have recognized the axioms (A) (in both Sections 1 and 2) as the defining conditions of an abelian (commutative) group; the axioms (B) and (C) (in Section: Vector spaces ) express the fact that the group admits scalars as operators. We mention in passing that if the scalars are elements of a ring (instead of a field), the generalized concept corresponding to a vector space is called a module .
Special real vector spaces (such as
Finally we comment on notation. We observe that the symbol
EXERCISES
Exercise 1. Prove that if
. . . . (Observe that the same symbol is used on both sides of this equation; on the left it denotes a scalar, on the right it denotes a vector.) - If
, then either or (or both). . . (Here .)
Exercise 2. If
Exercise 3. Let
Is
Exercise 4. Sometimes a subset of a vector space is itself a vector space (with respect to the linear operations already given). Consider, for example, the vector space
is real, , - either
or , , .
In which of these cases is
Exercise 5. Consider the vector space
has degree , , whenever , for all .
In which of these cases is