Before Proof
Before Proof/Contents/Linear Algebra

Linear Algebra

What survives a change of viewpoint?

Matrices are usually taught as arrays with rules, which is like teaching music as fingerings. A linear map exists before any coordinates are chosen, and almost everything in the subject is the question of which facts about it depend on that choice and which do not.

7 films7 documents6 problem sets76% complete
Assumes: Algebra Groups and fields are assumed; the rest is built here.
1

Vector spaces

What is a vector when it is not an arrow?

2 units · 2 films
2 documents
Film13:36
Opens the questionWatched 24k times
Unit 1

Arrows, polynomials, and functions in one definition

Three collections with nothing in common satisfy the same eight axioms. The film checks all three before the definition is stated.

Film15:10
Opens the questionWatched 13k times
Unit 2

A basis is a choice, and the number is not

Any two bases of a space have the same size, which is far from obvious and is the reason dimension means anything.

2

Linear maps

How much can a matrix hide?

2 units · 2 films
2 documents
Film16:22
Opens the questionWatched 19k times
Unit 3

The map comes first, the matrix second

The same map has infinitely many matrices, one for each basis. Watching the entries change while the map does not is the point of the film.

Film14:48
Opens the questionWatched 29k times
Unit 4

What the determinant measures

The determinant is presented as a formula and is actually a signed volume. Once it is a volume, every one of its properties becomes obvious.

3

Eigenvalues

Which directions does a map leave alone?

2 units · 2 films
2 documents
Film17:04
Opens the questionWatched 33k times
Unit 5

Directions that only stretch

Most vectors get turned by a map. A few only get longer, and those few determine nearly everything about it.

Film12:55
Opens the questionWatched 11k times
Unit 6

When can a map be made diagonal?

Not always — and the obstruction is a genuine mathematical phenomenon rather than a technicality, which the film demonstrates with a single stubborn matrix.

4

Inner product spaces

What does perpendicular mean without a picture?

In preparation

Linear Algebra, as one volume

Every document in this subject is a chapter of the same book, compiled from one source with live cross-references and continuous numbering. Download the whole thing, or take chapters as you go — the page numbers and theorem references agree either way.

Download Volume VIII  ↓

228 pages · PDF · 8.2 MB · revision 10, 7 September 2026 · LaTeX source available