THE WHOLE UNIT · ONE REFERENCE

Vector Spaces
Cheat sheet.

The key rules, formulas and reminders from all 3 topics, gathered into reference cards.

Choose “Save as PDF” in the print dialog.

Key formulas, conditions and traps · Read down each column.

Span, Independence and Bases

Core rule

Basis = spanning + linearly independent. A basis gives unique coordinates; its size is the dimension.

Watch for

Independence belongs to a list, span is a set, and dimension is not necessarily the number of ambient coordinates.

Subspaces, Null Spaces and Column Spaces

Core rule

N(A)={x:Ax=0},C(A)=span⁡(columns of A),Ax=b⇒x=xp+N(A).N(A)=\{x:Ax=0\},\quad C(A)=\operatorname{span}(\text{columns of }A),\quad Ax=b\Rightarrow x=x_p+N(A).

Watch for

Use original pivot columns for a column-space basis. A nonzero right-hand side generally gives an affine set, not a subspace.

Rank, Nullity and the Four Fundamental Spaces

Core rule

For A∈Rm×nA\in\mathbb R^{m\times n} of rank rr: column/row dimensions rr, nullity n−rn-r, left nullity m−rm-r.

Watch for

Keep input and output spaces separate. Solvability requires b⊥N(AT)b\perp N(A^T).

01

Span, Independence and Bases

2 reference blocks

Read lesson ↗

Core rule

Basis = spanning + linearly independent. A basis gives unique coordinates; its size is the dimension.

Watch for

Independence belongs to a list, span is a set, and dimension is not necessarily the number of ambient coordinates.

02

Subspaces, Null Spaces and Column Spaces

2 reference blocks

Read lesson ↗

Core rule

N(A)={x:Ax=0},C(A)=span⁡(columns of A),Ax=b⇒x=xp+N(A).N(A)=\{x:Ax=0\},\quad C(A)=\operatorname{span}(\text{columns of }A),\quad Ax=b\Rightarrow x=x_p+N(A).

Watch for

Use original pivot columns for a column-space basis. A nonzero right-hand side generally gives an affine set, not a subspace.

03

Rank, Nullity and the Four Fundamental Spaces

2 reference blocks

Read lesson ↗

Core rule

For A∈Rm×nA\in\mathbb R^{m\times n} of rank rr: column/row dimensions rr, nullity n−rn-r, left nullity m−rm-r.

Watch for

Keep input and output spaces separate. Solvability requires b⊥N(AT)b\perp N(A^T).