The Lumenary · Early undergraduate
Linear algebra
Name: ______________________
Date: ______________________
You will learn to
- Solve linear systems by Gaussian elimination and describe every solution set as a translate of a null space
- Prove that all bases of a finite-dimensional vector space have the same size (the exchange lemma), and prove and apply the rank–nullity theorem
- Represent linear maps by matrices, prove that composition corresponds to matrix multiplication, and change basis
- Prove that a square matrix is invertible if and only if its determinant is non-zero, if and only if its columns are linearly independent
- Compute eigenvalues and eigenvectors, prove that eigenvectors for distinct eigenvalues are independent, and decide whether a matrix is diagonalisable
- 1.
What is the rank of the matrix ?
- 2.
Which of these are subspaces of the given vector space? (Choose all that apply.)
- A.
- B.
- C. for a fixed matrix
- D.
- E.The polynomials of degree exactly , inside all polynomials
- 3.
A linear map is surjective. What is ?
- 4.
is a matrix with . What is ?
- 5.
Which of these real matrices are diagonalisable over ? (Choose all that apply.)
- A.
- B.
- C.
- D.
- E.
- 6.
In the proof that eigenvectors with distinct eigenvalues are independent, we reach for . Which fact lets us conclude ?
- A., and in a field a product of two non-zero elements is non-zero
- B.
- C.The induction hypothesis
- D.Linearity of
- 7.
For a linear map we proved: if is finite-dimensional, then injective surjective. Which example shows that the finite-dimensionality hypothesis cannot be dropped?
- A.On the space of all real sequences,
- B.On all polynomials,
- C.On ,
- D.On , rotation by
- 8.
Let
f : V →ₗ[K] Wwith[FiniteDimensional K V]. Which Lean statement correctly formalises the rank–nullity theorem?- A.
finrank K (LinearMap.range f) + finrank K (LinearMap.ker f) = finrank K V - B.
finrank K (LinearMap.range f) + finrank K (LinearMap.ker f) = finrank K W - C.
finrank K (LinearMap.range f) ≤ finrank K V - D.
finrank K (LinearMap.ker f) = finrank K V - finrank K W
- A.
- 9.
Write
rank(rows)that returns the rank of a matrix (a list of rows of integers) by Gaussian elimination with exactFractionarithmetic. Then use it to check rank–nullity on the photosynthesis matrix: its null space should be one-dimensional.Computational — Practice