01.01.E1 · foundations / linear-algebra

Linear algebra exercise pack (Apostol Vol. 2 Ch. 1-5 supplement)

shippedIntermediate-onlyLean: nonepending prereqs

Anchor (Master):

Formal definition of the pack Intermediate

Apostol Vol. 2 Chapters 1-5 build the linear-algebra spine: abstract linear spaces with subspace, span, independence, and dimension (Ch. 1); linear transformations, the rank-nullity theorem, and the matrix of a map in fixed bases (Ch. 2); the determinant as the unique multilinear alternating normalised function, with expansion and product rules (Ch. 3); eigenvalues, eigenvectors, the characteristic polynomial, and diagonalisability (Ch. 4); and the inner-product theory of Euclidean spaces — Gram-Schmidt, orthogonal projection, and the spectral theorem for symmetric operators (Ch. 5).

This pack collects ten problems drawn from those chapters — three easy, four medium, three hard — each with a hint and a complete worked solution. It is meant to be read alongside its prerequisite units rather than as a standalone development. The problems test operational competence: computing a dimension, applying rank-nullity, evaluating a determinant by structure rather than brute force, diagonalising a matrix, and orthonormalising a basis. Several deliberately reward a structural argument over a computational one, in Apostol's style.

Conventions follow the prerequisite units: , denote finite-dimensional vector spaces over a field ( or unless stated); a linear map; and its kernel and image; the characteristic polynomial; an inner product.

Key theorem with full solution Intermediate

Before the pack proper, we work one problem in full as an exemplar of the format. The remaining nine follow the same structure (problem, hint, full answer in <details> blocks).

Lead problem. Rank-nullity and the dimension of a sum. Let be subspaces of a finite-dimensional space . Prove , and deduce that if then .

Solution. Let be a basis of , so . Since , extend it to a basis of , so . Likewise extend to a basis of , so .

Claim: is a basis of . It spans, because any element of is a sum of a -vector and a -vector, each expressible in the listed vectors. For independence, suppose . Then lies in (right side) and in (left side), so it lies in , hence is a combination of the . But the together with the form a basis of , so the only way is a combination of the is for all . The relation reduces to , a relation among a basis of , forcing all . So is independent.

Therefore , which rearranges to the stated identity.

For the deduction: , using . A space of positive dimension contains a nonzero vector, so .

This is the Grassmann dimension formula (Apostol Ch. 1 §1.13). The deduction is the standard pigeonhole on dimensions: two subspaces whose dimensions overcrowd the ambient space must meet nontrivially.

Exercises Intermediate


Exercise pack. Apostol Vol. 2 Chapters 1-5 supplement: linear spaces and dimension, linear transformations and rank-nullity, determinants, eigenvalues, and the inner-product / spectral theory of Euclidean spaces.