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, 1v=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=0c1==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 dimV .

Objects and Dimensions

Object Meaning Dimensions
V vector space dimV=n if finite-dimensional
Col(A) column space of A rank(A)
Nul(A) null space of A nrank(A) for ARm×n
Row(A) row space of A rank(A)

Notation

Symbol Meaning
span{vi} all linear combinations of the vi
dimV 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=B1x.

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=e3c3=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/ ↩︎