Skip to content
← All questions

How do you prove that nullity plus rank equals the dimension of the domain for a finite-dimensional linear map?

Extend a basis of the kernel to a basis of the finite-dimensional domain. The images of the added basis vectors form a basis of the range, giving nullity+rank=domain dimension.

Conditions

  • The linear map is defined on a finite-dimensional domain.
  • A basis for the kernel has been identified.

Reasoning, step by step

  1. Start with a basis for the kernel.
  2. Extend this basis to form a complete basis for the domain.
  3. Identify the added basis vectors that are not in the kernel.
  4. Apply the linear map to these added vectors.
  5. Verify that their images form a basis for the range.
  6. Sum the number of kernel basis vectors (nullity) and range basis vectors (rank).
  7. Conclude that this sum equals the total dimension of the domain.

Example

Extend a basis of the kernel to a basis of the finite-dimensional domain. Images of the added basis vectors form a basis of the range, giving nullity+rank=domain dimension.

Common misconceptions

  • Assuming the images of all domain basis vectors are linearly independent.
  • Forgetting that kernel vectors map to zero and do not contribute to the range basis.

Watch the explanation

Connected concepts

Explore next

Related questions

Meet the concept

↗
Understand why

↗
Find a method

↗
Understand why

↗

Answers are generated from source material and independently checked. Consult the original video or creator if something is unclear.