The **rank theorem** is a theorem in linear algebra that states that the rank of a matrix plus the dimension of the null space of will be equal to the number of columns of .

Since the rank is equal to the dimension of the image space (or column space, since they are identical, and the row space since the dimension of the row space and column space are equal) this can be expanded to

Community content is available under CC-BY-SA unless otherwise noted.