Clarify the theory of bases and dimensions for the linear subspaces [math]V\subset\mathbb R^N[/math], notably by establishing the formula
valid for any linear map [math]f:\mathbb C^N\to\mathbb C^N[/math], and then extend this into a theory of abstract linear spaces [math]V[/math], which are not necessarily subspaces of [math]\mathbb C^N[/math].
Work out what happens to the main diagonalization theorem for the matrices [math]A\in M_N(\mathbb C)[/math], in the cases [math]A\in M_2(\mathbb C)[/math], [math]A\in M_N(\mathbb R)[/math], and [math]A\in M_2(\mathbb R)[/math].
Establish with full details the resultant formula
and discuss as well what happens in the context of the discriminant.
Clarify which functions can be applied to which matrices, as to have results stating that the eigenvalues of [math]f(A)[/math] are [math]f(\lambda_1),\ldots,f(\lambda_N)[/math].
Work out specialized spectral theorems for the orthogonal matrices [math]U\in O_N[/math], going beyond what has been said in the above.
Prove that any matrix can be put in Jordan form,
with each of the blocks which appear, called Jordan blocks, being as follows,
with the size being the multiplicity of [math]\lambda_i[/math].