Vector Spaces and Bases

Summary

A vector space is a set closed under addition and scalar multiplication with the usual algebraic axioms. Bases give coordinate systems: every vector has unique coordinates, and dimension is the number of basis vectors.

Prerequisites

Matrices and Row Reduction, Systems of Linear Equations. Hub: Linear Algebra.

Definition / Statement

A vector space V over R is a set with addition and scalar multiplication satisfying the standard axioms (associativity, commutativity of addition, zero vector, additive inverses, distributive laws, 1⋅v=v ).

Common examples: Rn , matrix spaces Rm×n , polynomial spaces, solution spaces of homogeneous linear systems (null spaces).

A set {v1,…,vk} is linearly independent if

c1v1+⋯+ckvk=0⟹c1=⋯=ck=0.

Otherwise it is linearly dependent.

The span of {v1,…,vk} is the set of all linear combinations of those vectors.

A basis of V is a linearly independent spanning set. All bases of a finite-dimensional space have the same number of vectors; that number is dim⁡V .

Objects and Dimensions

Object Meaning Dimensions
V vector space dim⁡V=n if finite-dimensional
Col(A) column space of A rank(A)
Nul(A) null space of A n−rank(A) for A∈Rm×n
Row(A) row space of A rank(A)

Notation

Symbol Meaning
span{vi} all linear combinations of the vi
dim⁡V dimension of V
[x]B coordinates of x in basis B

Conditions / Assumptions

Matrix / Vector Form

If B={b1,…,bn} is a basis of Rn and B is the matrix with those columns, then

x=B[x]B⟹[x]B=B−1x.

Pivot columns of A form a basis for Col(A) . Free-variable special solutions form a basis for Nul(A) .

Geometric Interpretation

Worked Example

In R3 , let v1=⟨1,0,0⟩ , v2=⟨1,1,0⟩ , v3=⟨1,1,1⟩ .

The matrix with these columns is upper triangular with nonzero diagonals after mild reduction, so they are independent and form a basis of R3 . Coordinates of e3=⟨0,0,1⟩ :

c1v1+c2v2+c3v3=e3⟹c3=1,c2=−1,c1=0,

so [e3]B=⟨0,−1,1⟩ .

Common Mistakes

Connections

References

Vector spaces, bases, and rank–nullity follow MIT 18.06.[1]


  1. MIT OpenCourseWare, 18.06 Linear Algebra, https://ocw.mit.edu/courses/18-06-linear-algebra-spring-2010/ ↩︎