Fundamental theorem of linear algebra
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)(Learn how and when to remove this template message)
In mathematics, the fundamental theorem of linear algebra makes several statements regarding vector spaces. Those statements may be given concretely in terms of the rank r of an m × n matrix A and its singular value decomposition:
First, each matrix ( has rows and columns) induces four fundamental subspaces. These fundamental subspaces are as follows:
|name of subspace||definition||containing space||dimension||basis|
|column space, range or image||or||(rank)||The first columns of|
|nullspace or kernel||or||(nullity)||The last columns of|
|row space or coimage||or||(rank)||The first columns of|
|left nullspace or cokernel||or||(corank)||The last columns of|
- In , , that is, the nullspace is the orthogonal complement of the row space
- In , , that is, the left nullspace is the orthogonal complement of the column space.
The dimensions of the subspaces are related by the rank–nullity theorem, and follow from the above theorem.
Further, all these spaces are intrinsically defined—they do not require a choice of basis—in which case one rewrites this in terms of abstract vector spaces, operators, and the dual spaces as and : the kernel and image of are the cokernel and coimage of .
- Strang, Gilbert. Linear Algebra and Its Applications. 3rd ed. Orlando: Saunders, 1988.
- Strang, Gilbert (1993), "The fundamental theorem of linear algebra" (PDF), American Mathematical Monthly, 100 (9): 848–855, doi:10.2307/2324660, JSTOR 2324660
- Banerjee, Sudipto; Roy, Anindya (2014), Linear Algebra and Matrix Analysis for Statistics, Texts in Statistical Science (1st ed.), Chapman and Hall/CRC, ISBN 978-1420095388
- Media related to Fundamental theorem of linear algebra at Wikimedia Commons
- Gilbert Strang, MIT Linear Algebra Lecture on the Four Fundamental Subspaces on YouTube, from MIT OpenCourseWare