Chapter 5 — Further Reading

A short, annotated map to where this chapter's ideas are developed elsewhere. Chapter 5 is the book's first abstract chapter, so the starred companion here is Axler, whose entire text is built on treating abstract vector spaces and linear maps — not matrices — as the primary objects. You do not need any of these to follow this book; reach for them when you want a second voice on the axioms, the proofs, or the function-space examples.

The companion textbooks

  • ★ Sheldon Axler, Linear Algebra Done Right (Springer; 4th edition freely readable online). The definitive companion for this chapter. Axler's Chapter 1 defines vector spaces over an arbitrary field exactly as we do — closure, the eight axioms, subspaces — and his early results are the rigorous versions of our Theorems 5.1 and 5.2 (uniqueness of zero, $0\mathbf{v}=\mathbf{0}$, $-\mathbf{v}=(-1)\mathbf{v}$). He proves these from the axioms with the same "prove once, use everywhere" philosophy this chapter preaches, and he famously delays determinants to the very end so that the structure of vector spaces and linear maps stays in the foreground. If you found the abstraction here exhilarating rather than alarming, Axler is your book. Best fit for: math majors and anyone who wants the cleanest logical development; read his §1A–§1C alongside this chapter, and return for Chapters 6, 15, and 35.

  • Gilbert Strang, Introduction to Linear Algebra (Wellesley–Cambridge Press). Strang treats vector spaces a bit later and more concretely than Axler — he motivates them through the column space and null space of a matrix (our Chapter 13) rather than as free-standing axioms. That is a different pedagogical order, but a valuable second pass: where this chapter says "homogeneous constraints give subspaces," Strang shows you which subspaces a matrix manufactures. His treatment of the four fundamental subspaces is the framework Part III of this book adopts. Best fit for: readers who want the abstraction grounded in matrices and systems; come back to his chapter on vector spaces after our Chapter 13.

  • Stephen Boyd & Lieven Vandenberghe, Introduction to Applied Linear Algebra (Cambridge; free PDF at vmls-book.stanford.edu). The most applied of the three. Boyd–Vandenberghe stay largely in $\mathbb{R}^n$ and emphasize vectors-as-data over abstract spaces, so they are not the place for the axioms — but they are excellent for seeing why the function-space and signal applications of this chapter matter in practice (their material on time series and features pairs well with Case Study 1). Best fit for: CS/data-science readers who want the abstraction justified by applications rather than proofs.

The essential video companion

  • ★ 3Blue1Brown (Grant Sanderson), Essence of Linear Algebra (free, YouTube). The episode "Abstract vector spaces" is almost a video version of this chapter — Sanderson walks through functions as vectors, shows that derivatives are linear operators on a function space, and argues exactly our point that the axioms capture what arrows, functions, and other objects share. Watch it after a first read of Sections 5.2–5.4; it makes the "vectors are a role, not a kind of object" idea vivid. The earlier episodes on linear combinations and basis set up Chapter 6.

Free and open resources

  • MIT OpenCourseWare 18.06, Linear Algebra (Gilbert Strang). Free video lectures, problem sets, and exams. Strang's lectures on vector spaces and subspaces (and the four fundamental subspaces) are a strong supplement, especially if you want the matrix-first route to the same ideas.
  • Khan Academy, Linear Algebra — "Subspaces and the basis for a subspace." Free, gentle, exercise-driven coverage of subspaces and the closure tests, with many worked "is this a subspace?" examples in the spirit of this chapter's exercises.
  • numpy documentation (numpy.linspace, broadcasting). You used np.linspace to sample functions and array broadcasting to add and scale them in Section 5.6 and both case studies. The "absolute beginner's guide" is the fastest way to get comfortable with the array operations. Appendix C of this book walks through setup from scratch.

On the connections this chapter makes

  • Sets, operations, and the rules they obey are the bread and butter of discrete mathematics; for the broader picture of how mathematicians build structures from sets and structures — and what it means for a set with operations to satisfy a list of axioms (groups, fields, and vector spaces are all examples) — that book is the natural companion to the Math-Major Sidebar here.
  • The qubit and Hilbert space. The forward reference of Section 5.9 is developed physically in Hilbert space in quantum mechanics, which builds the quantum state vector and explains what its components mean. Read it after Chapter 34 of this book, when you have the inner-product machinery to make "infinite-dimensional vector space with geometry" precise.
  • Functions, derivatives, and integrals as linear operations. The fact that differentiation and integration are linear maps on a function space — hinted at when we noted the differentiable functions form a subspace — is one of the deepest bridges between this book and calculus. Once you see the derivative as a linear operator $D$ on the polynomial space (it sends $x^n$ to $nx^{n-1}$, and $D(cf+g) = cDf + Dg$), much of calculus becomes linear algebra in disguise; Chapter 35 makes this explicit.

On the history

  • The MacTutor History of Mathematics Archive (mathshistory.st-andrews.ac.uk) is a reliable place to check the Historical Note's attributions: Hermann Grassmann's 1844 Ausdehnungslehre (the first $n$-dimensional theory, long overlooked), Giuseppe Peano's 1888 axiomatic definition of "linear systems," and the early-twentieth-century functional analysis of Hilbert and Banach that put function spaces at the center — the reasons several claims in that note carry a [verify] flag.

How to read alongside this book

If you are a math major: read Axler §1 in parallel and treat this chapter's two proofs as the bridge to his more general development; do the proof-tier exercises. If you are a CS/data-science reader: skim the axioms, internalize the four examples and the closure test, watch 3Blue1Brown's "Abstract vector spaces," and lean on the two case studies (audio, fonts) for why function and polynomial spaces matter. If you are in physics/engineering: hold the function-space anchor and the qubit teaser front-of-mind, and revisit Section 5.9 after Chapters 21, 27, and 34, when the quantum thread is fully developed.