MAT240H1: linear algebra, done with proofs.
Vector spaces over arbitrary fields, linear transformations, determinants, and eigenvalues — the proof-based linear algebra that pairs with the analysis stream and underpins everything in statistics, ML, and finance.
The abstract core tool.
MAT240H1 "Algebra I": vector spaces over arbitrary fields (including $\mathbb{C}$ and modular arithmetic), subspaces, bases and dimension, linear transformations, matrices, change of basis, similarity, determinants, polynomials over fields, eigenvalues and eigenvectors, characteristic polynomials, diagonalization, minimal polynomials, and the Cayley–Hamilton theorem. This guide uses Friedberg, Insel & Spence as a companion text. Co-requisite: MAT158H1 + MAT159H1. The sequel is MAT247H1 (Algebra II).
Chapters
In course order. Each page has definitions, theorems, worked proofs, pitfalls, and practice.
- Open →
Fields & vector spaces
Fields, the axioms, and first examples.
- Open →
Subspaces, span & independence
Linear combinations and linear independence.
- Open →
Bases & dimension
Existence of bases; the dimension theorem.
- Open →
Linear transformations
Maps, null space and range.
- Open →
Rank–nullity & matrices
$\dim V=\operatorname{rank}(T)+\operatorname{nullity}(T)$; matrix forms.
- Open →
Change of basis & similarity
Coordinate changes and similar matrices.
- Open →
Systems & elementary operations
Row reduction, rank, and inverses.
- Open →
Determinants
Definition, properties, $\det(AB)=\det A\det B$.
- Open →
Polynomials, UFD & resultants
Division, unique factorization, resultants, and minimal polynomials.
- Open →
Eigenvalues & diagonalization
Characteristic polynomial, diagonalizability, Cayley–Hamilton.
Textbook Spine
The public calendar confirms MAT240H1's proof-based linear algebra topics. This guide uses Friedberg, Insel & Spence, Linear Algebra, as the companion text because its abstract-vector-space order matches the course: fields and vector spaces before matrices. Check the current syllabus for the exact edition and assigned problems.
Units 1-3 pair with the text's opening chapters on fields, vector spaces, subspaces, span, independence, bases, and dimension. The practice target is proof from axioms, not row reduction.
Units 4-7 pair with linear transformations, rank-nullity, matrix representations, change of basis, similarity, systems, elementary operations, and inverses.
Units 8-10 pair with determinants, polynomials over fields, eigenvalues, diagonalization, minimal polynomials, and Cayley-Hamilton. This is where computations become structural statements about operators.
Start from objects
Always name the field, vector space, basis, and linear map before writing a matrix. The same matrix can represent different maps under different bases.
Use theorem templates
Rank-nullity, dimension, determinant multiplicativity, and diagonalization each have standard proof shapes. Memorize the shape, not the wording.
Compute with meaning
Every row reduction, determinant, coordinate vector, or characteristic polynomial should answer a structural question: injective, spanning, invertible, similar, or diagonalizable?
Use multiple fields
Redo small examples over $\mathbb{R}$, $\mathbb{C}$, and $\mathbb{Z}_p$. Many MAT240 pitfalls come from assuming real-number behavior over every field.
Practice Plan
MAT240 practice should alternate between proof and computation. The unit pages give guided questions; use this course-level mix to build exam readiness.
Axiom checks
For every new object, check closure, zero, inverses, and scalar compatibility before using vector-space theorems.
Basis discipline
Convert between coordinate-free statements and coordinate matrices. Write the basis explicitly every time.
Proof-computation pairs
Pair each computation with a proof question: row reduction with rank-nullity, determinants with invertibility, eigenvectors with invariant subspaces.
Counterexample sets
Build examples where hypotheses fail: dependent spanning lists, maps with same rank but not similar, non-diagonalizable matrices, and fields where a polynomial does not split.
Course-wide challenge bank
These mix proof and computation in the style expected from a theoretical linear algebra course.
Let $W=\{p\in P_3(\mathbb{R}):p(1)=0\}$. Prove $W$ is a subspace and find a basis.
Solution sketch
If $T:P_2(\mathbb{R})\to P_2(\mathbb{R})$ is defined by $T(p)=p'$, find $\operatorname{rank}(T)$ and $\operatorname{nullity}(T)$.
Solution sketch
Prove that if $A$ and $B$ are similar matrices, then $\det A=\det B$.
Solution sketch
Is the linear map with matrix $A$ having rows $(2,1)$ and $(0,2)$ diagonalizable over $\mathbb{R}$?
Solution sketch
Resources
MAT240H1 — official calendar listing
3Blue1Brown — Essence of Linear Algebra (intuition)
Companion text used by this guide: Friedberg, Insel & Spence, Linear Algebra. The public calendar confirms the MAT240H1 topic list but does not publish a current instructor textbook. Verify the assigned text, edition, and problem numbers against the active syllabus each year.