Prove something is a Subspace
Dimension of a Subspace
The dimension of a subspace is the size of an arbitrary basis. Find a basis of the subspace: We select elements
- Show the set is independent
- Show the set generates the subspace Then the set is a basis. The dimension of is then the number of elements of the basis.
Example
See Sheet 6, exercise 5:

Determinant
The determinant only exists for square matrices!
Calculations
Least Squares
We solve the system of normal equations which boils down to using RREF on to find .
The solution is unique when has independent columns according to Theorem 6.11.
CR Decomposition
Proofs I (Vectors)
Prove a solution to some system exists with conditions
Use a matrix to model the system and add extra rows to model the extra conditions.
HS23 Proofs I c) has us show that there exists a such that … We can add a row of 1s to the bottom of the solution matrix which makes them linearly dependent in and thus there is a solution for .
The bottom row correctly models the condition that !
Prove something is a subspace
We have to prove the subspace is not empty (usually by showing the is in it). We have to prove that for , and for :
- closure under addition
- closure under scalar multiplication.
Show a set of vectors is a basis of some
Any linearly independent vectors are a basis of . (Script) We have our given vectors . We show that is equal to the matrix product of (containing the ‘s) with some invertible matrix (such that ). Thus we know is also invertible (as it’s the product of two invertible matrices, thus rank ) and therefore the ‘s span the space.
Proofs II
PD proofs
use th property PD ⇐> . Then we multiply by to use the PD of S and the PD of on the other side.
Make sure to try all possibilities which we can multiply by.
CR-Decomp and Pseudoinverse
We can use the CR decomposition to show things with the Pseudoinverse, if we need linearly independent rows/columns.
Find minimiser of some sum using Least Squares
See Exercise Sheet 8 Question 5.

We know System is unsolvable, use Certificate
If we get told a system like is unsolvable, we now know that the system and is solvable.
We use this to transform those two equations into which we know is solvable. And by the Lemma 6.2.2 this has a unique solution with . As .
Disprove something is a linear transformation
Use the unit-vectors and choose the correct linearity axiom to show (either multiplication or addition).
Then just insert them into the definition of the function and show that there’s a contradiction.
Show something about singular values
Try to bring the expression into either the form or and show that these matrices have some eigenvalue, the square root of which is then a singular value of .
Note that something is only an eigenvector if !
We can also decompose into Note that we can say that the singular values of are .
Multiple Choice
Use SVD and to show Singular Values
We have Then . We show that is an eigenvector using with eigenvalue . We know the singular values are the square-root of the eigenvalues of (or ). As has rank 1 (it’s ), this is the only eigenvalue.
Thus the only and biggest singular value of is .
Column Space of the Pseudoinverse
We know is the projection matrix for projection onto . Thus . Therefore . We also have thus We show the other direction in a symmetric argument.
Thus .
Eigenvalues of are same as for
We have for .
- If then does not have full rank thus also then also has a EW.
- If then thus an EW of .