Motivating the Eight Axioms
- As a reminder, a vector can be any set of crazy object as long as there is a reasonable notion of adding and scaling
- Take a moment to imagine yourself as a mathematician developing the theory of linear algebra
- You want all of the definitions and discoveries of your work, such as linear transformations, determinants, etc, to apply to all of the vector-ish things (i.e. arrows, lists of numbers, etc.)
- More specifically, you want all of the definitions and discoveries to apply to all of the vector-ish things in full generality, not just to one specific case
- These sets of vector-ish things, like arrows or lists of numbers or functions, are called vector spaces
- In other words, you'd want to establish a list of general rules (involving vector addition and scalar multiplication) that would need to be followed in order to apply all of the wonderful things about linear algebra (i.e. determinants, linear transformations, etc.) to your vector space
- There are eight of these rules, and they are called axioms
The Eight Axioms of a Vector Space
-
- Where and are any vector within the vector space
-
- Where and are any vector within the vector space
-
There is a zero vector such that for all
- Where is any vector within the vector space
- Where is the zero vector of the vector space
-
For every vector , there is a vector such that
- Where is any vector within the vector space
- Where is the zero vector of the vector space
-
- Where is any vector within the vector space
- Where and are any real numbers
-
- Where is the real number
- Where is any vector within the vector space
-
- Where is any real numbers
- Where and w are any vector within the vector space
-
- Where and are any real numbers
- Where is any vector within the vector space
References
Previous