Dimension

Rank-Nullity Theorem

dim(col A) + dim(null A) = number of columns.

Examples

In Depth

The dimension of a vector space is the number of vectors in any basis — the minimum number of vectors needed to span the space. All bases of a finite-dimensional space have the same cardinality (the dimension theorem). \(\mathbb{R}^n\) has dimension \(n\); the space of \(m\times n\) matrices has dimension \(mn\).

The rank-nullity theorem: for a linear map \(T:V\to W\), \(\dim(\ker T)+\dim(\text{im}\,T)=\dim V\). This is one of the most useful results in linear algebra, relating the dimensions of the kernel (null space) and image (column space) to the domain dimension.

Subspace dimensions: if \(U,W\) are subspaces of \(V\), then \(\dim(U+W)=\dim U+\dim W-\dim(U\cap W)\) (inclusion-exclusion for dimensions). A direct sum \(V=U\oplus W\) requires \(U\cap W=\{0\}\) and \(U+W=V\), giving \(\dim V=\dim U+\dim W\).

Infinite-dimensional spaces arise in functional analysis: \(L^2[0,1]\) (square-integrable functions) has a countably infinite orthonormal basis (Fourier series). Hilbert spaces generalize finite-dimensional inner product spaces to infinite dimensions, preserving most geometric intuition.

Dimension is a topological invariant: homeomorphic spaces have the same topological dimension. The Brouwer invariance of domain theorem proves that \(\mathbb{R}^m\) and \(\mathbb{R}^n\) are not homeomorphic for \(m\neq n\), confirming that dimension is well-defined topologically.

Key Properties & Applications

The dimension of the solution space of a homogeneous linear system \(A\mathbf{x}=\mathbf{0}\) equals \(n-\text{rank}(A)\) (rank-nullity theorem). This tells us immediately how many free parameters the solution has, without solving the system.

Dimension counting is a powerful heuristic: two subspaces of dimensions \(d_1\) and \(d_2\) in \(\mathbb{R}^n\) generically intersect in a subspace of dimension \(\max(0,d_1+d_2-n)\). This is used in algebraic geometry (Bézout's theorem) and in the analysis of constraint systems.

The Grassmannian \(\text{Gr}(k,n)\) is the space of all \(k\)-dimensional subspaces of \(\mathbb{R}^n\). It is a smooth manifold of dimension \(k(n-k)\) and is fundamental in algebraic geometry, topology, and the theory of vector bundles.

Further Reading & Context

The study of dimension connects to many areas of mathematics and its applications. Understanding the foundational definitions and theorems provides the basis for advanced work in analysis, algebra, and applied mathematics.

Historical development: most mathematical concepts evolved over centuries, with contributions from mathematicians across many cultures. The modern axiomatic treatment provides rigor, while computational tools enable practical application.

In modern mathematics, this topic appears in graduate courses and research across pure and applied mathematics. Connections to computer science, physics, and engineering make it a versatile and important area of study. Mastery of the core results and techniques opens doors to research in number theory, analysis, geometry, and beyond.

Recommended next steps: work through the standard theorems with full proofs, explore the connections to related topics listed above, and practice with a variety of problems ranging from computational exercises to theoretical proofs. The interplay between different areas of mathematics is one of the subject's greatest rewards.

Deep Dive: Dimension

This lesson extends core ideas for dimension with rigorous reasoning, edge-case checks, and application framing in linear algebra.

Practice Set

References & Editorial Notes

• Stewart, Calculus.
• Strang, Introduction to Linear Algebra.
• Apostol, Mathematical Analysis.

Last editorial review: 2026-04-14.