Contents
“Mathematics is the art of reducing any problem to linear algebra.”
To provide a brief introduction, linear algebra concerns the behaviors of linear maps, and linear relations (hence “linear”).
More generally, however, linear algebra is the study of the behavior of mathematical structures that obey specific rules (vector addition and scalar multiplication), which apply to the aforementioned linear maps and relations.
The field of linear algebra begins with the definition of its most fundamental unit…
What is a vector? An immediate reaction might be to visualize an arrow in space, or a matrix, or the definition of “a quantity with magnitude and direction”:
These are all examples of vectors, but don’t quite encompass what a vector is. Our general definition of a vector is as follows:
Definition: A vector is an element of a vector space.
And the definition of a vector space:
Definition: A vector space is a non-empty set over some field with associated vector addition and scalar multiplication that satisfy the following 8 axioms:
- Vector addition associativity:
- Vector addition commutativity:
- Existence of an identity element under vector addition:
This vector is also called the zero vector, and denoted as such. There always exists a zero vector for any given vector space.- Existence of additive inverse under vector addition:
For every vector , there must exist another vector within the vector space such that under vector addition, they will add to the zero vector. Recall from above that a vector space must be a non-empty set—the smallest possible set a vector space can be is simply just the zero vector.- Existence of an identity element under scalar multiplication:
An identity element in under scalar multiplication. Analogous to axiom 3.- Scalar multiplication associativity:
- Scalar multiplication distributivity:
- Scalar multiplication distributivity with respect to vector addition:
There are some caveats regarding axioms 5 and 6 with field , but we’ll disregard them for now.
With these definitions established, we can create a few examples of vectors with respective vector spaces: