Demystifying Vector Spaces
Vector Spaces
The Rules of the Game
Imagine a collection of arrows, all starting from the same point. You can add any two arrows together by placing them tip-to-tail. You can also stretch or shrink any arrow by a certain factor. A vector space is essentially a playground for these arrows, or 'vectors', governed by a consistent set of rules.
A vector space is a collection of objects called vectors, along with a set of numbers called scalars, that follow specific rules for two main operations: vector addition and scalar multiplication.
For something to be a true vector space, these operations must be "closed." This means that if you add any two vectors from the space, the result is also a vector within that same space. Likewise, if you multiply any vector by a scalar, the new vector also belongs to the space. The vectors can't escape their playground.
Familiar Spaces
You're already familiar with some vector spaces. The 2D Cartesian plane, often called , is a perfect example. Every point can be represented by a vector—an arrow from the origin to that point. When you add two vectors in , you just get another vector in . The same holds for scaling them.
The world we live in can be described by , a three-dimensional vector space. Every location can be described by a vector . Just like in 2D, adding two 3D vectors or scaling one results in another vector that lives in the same 3D space.
But vector spaces aren't limited to arrows in space. The term 'vector' can apply to many other mathematical objects. For instance, consider all polynomials of degree 2 or less, like . This collection forms a vector space. If you add two of these polynomials, you get another polynomial of degree 2 or less. If you multiply one by a scalar, the result is still in the same family of polynomials. They follow the rules.
The Ten Axioms
To be officially called a vector space, a set of vectors and scalars must satisfy ten rules, or axioms. These rules ensure that the space behaves in a predictable and consistent way. They might seem obvious, but they are the formal foundation for all of linear algebra.
Let's break them down. For any vectors in the space and any scalars :
| Axiom | Description | Meaning |
|---|---|---|
| 1. Closure under Addition | is in the space | Adding vectors keeps you in the same space. |
| 2. Commutativity | The order of addition doesn't matter. | |
| 3. Associativity | How you group vectors for addition doesn't matter. | |
| 4. Zero Vector | There is a zero vector such that | A neutral element for addition exists. |
| 5. Additive Inverse | For every , there is a such that | Every vector has an opposite. |
| 6. Closure under Scalar Multiplication | is in the space | Scaling a vector keeps you in the same space. |
| 7. Distributivity (vector sum) | A scalar distributes over vector addition. | |
| 8. Distributivity (scalar sum) | A vector distributes over scalar addition. | |
| 9. Associativity (scalar mult.) | How you group scalars for multiplication doesn't matter. | |
| 10. Identity Element | Multiplying by the scalar 1 doesn't change the vector. |
These axioms guarantee that any space satisfying them will have the structure needed for the powerful tools of linear algebra to work. They create a consistent framework, whether we're talking about arrows on a plane, 3D forces, or even abstract function spaces.
What does it mean for a set of vectors to be "closed" under addition and scalar multiplication?
Which of the following is NOT a vector space?