AcademyVector Spaces

Academy

Vector Spaces

Level 1 - Math I (Physics) topic page in Vector Spaces.

Principle

A vector space is a set where vectors can be added and multiplied by scalars without leaving the set. The word vector does not only mean an arrow in space: coordinate lists, functions, matrices, and physical states can all be vectors when they obey the same algebraic rules.

For physics, vector spaces let us combine allowed states, displacements, fields, or solutions. If two states are allowed and any real multiple of an allowed state is still allowed, linear methods become available.

Notation

\(V\)
a candidate vector space
\(\mathbb R\)
the real scalar field used in this course
\(\mathbf u\)
a vector in V
\(\mathbf v\)
another vector in V
\(\mathbf w\)
a third vector in V
\(\mathbf 0\)
the zero vector, the additive identity in V
\(-\mathbf v\)
the additive inverse of \mathbf v
\(\lambda\)
a real scalar
\(\mu\)
another real scalar
\(\lambda\mathbf v\)
the scalar multiple of \mathbf v by \lambda
\(closure\)
the property that an operation produces another object inside the same set

Closure under addition means \(\mathbf u+\mathbf v\) stays in \(V\) whenever \(\mathbf u\) and \(\mathbf v\) are in \(V\). Closure under scalar multiplication means \(\lambda\mathbf v\) stays in \(V\) whenever \(\lambda\in\mathbb R\) and \(\mathbf v\in V\).

Method

  1. State the candidate set \(V\) and the scalar field, usually \(\mathbb R\).
  2. Take arbitrary vectors \(\mathbf u,\mathbf v\in V\) and test whether \(\mathbf u+\mathbf v\in V\).
  3. Take an arbitrary scalar \(\lambda\in\mathbb R\) and vector \(\mathbf v\in V\), then test whether \(\lambda\mathbf v\in V\).
  4. Identify the zero vector \(\mathbf 0\) and check that it belongs to \(V\).
  5. Check that every vector has an additive inverse inside \(V\).
  6. Check that the usual associative and distributive scalar rules hold for the operations being used.

Rules

Closure under addition
\[\mathbf u,\mathbf v\in V\quad\Rightarrow\quad \mathbf u+\mathbf v\in V\]
Closure under scalar multiplication
\[\lambda\in\mathbb R,\ \mathbf v\in V\quad\Rightarrow\quad \lambda\mathbf v\in V\]
Addition commutativity
\[\mathbf u+\mathbf v=\mathbf v+\mathbf u\]
Addition associativity
\[(\mathbf u+\mathbf v)+\mathbf w=\mathbf u+(\mathbf v+\mathbf w)\]
Additive identity
\[\mathbf v+\mathbf 0=\mathbf v\]
Additive inverse
\[\mathbf v+(-\mathbf v)=\mathbf 0\]
Scalar identity
\[1\mathbf v=\mathbf v\]
Scalar associativity
\[(\lambda\mu)\mathbf v=\lambda(\mu\mathbf v)\]
Distributive law
\[\lambda(\mathbf u+\mathbf v)=\lambda\mathbf u+\lambda\mathbf v\]
Scalar-sum distributive law
\[(\lambda+\mu)\mathbf v=\lambda\mathbf v+\mu\mathbf v\]

Examples

Question
Why is
\[\mathbb R^2\]
a vector space over
\[\mathbb R\]
?
Answer
Take
\[\mathbf u=(u_1,u_2)\]
\[\mathbf v=(v_1,v_2)\]
and
\[\lambda\in\mathbb R\]
Then
\[\mathbf u+\mathbf v=(u_1+v_1,u_2+v_2)\]
which is still in
\[\mathbb R^2\]
Also
\[\lambda\mathbf v=(\lambda v_1,\lambda v_2)\]
which is still in
\[\mathbb R^2\]
The zero vector is
\[(0,0)\]
and the inverse of
\[(v_1,v_2)\]
is
\[(-v_1,-v_2)\]

Checks

  • State the scalar field before testing vector-space rules.
  • Test closure for arbitrary vectors and arbitrary allowed scalars, not just one example.
  • Check that the zero vector belongs to the set.
  • Do not rely only on arrow diagrams; the operations define the vector-space structure.