where, \(a\in\K\) is some nonzero element, \(n_i\) are some natural numbers, and \(\lambda_i\) are distinct elements of \(\K\text{,}\) i.e., \(\lambda_i\neq\lambda_j\) for \(i\neq j\text{.}\)
We say that the multiplicity of \(\lambda_i\) is \(n_i\text{.}\)
Definition1.11.5.
Suppose that \(A\in M_n(\K)\) is a square matrix. Let \(\ell_A\) be the linear map associated to \(A\text{,}\) i.e., \(\ell_A\colon M_{n\times 1}(\K)\to M_{n\times 1}(\K)\) is given by \(\ell_A(v)=Av\text{.}\) We define the kernel of \(A\) to be the same as the kernel of the linear map \(\ell_A\text{.}\)
We denote the kernel of \(A\) by \(\ker(A)\text{.}\)
Definition1.11.6.
Suppose that \(A\in M_n(\K)\) is a square matrix. We define the dimension of the kernel of \(A\) to be \(n-{\rm rank}(A)\text{.}\)
We denote the dimension of the kernel of \(A\) by \(\dim(\ker(A))\). Thus we have the following.
\begin{align*}
\dim\left(\ker(A)\right) \amp=\text{ size of the matrix }A-\text{ rank of the matrix }A \\
\amp=n-{\rm rank}(A)
\end{align*}
Remark1.11.7.
The dimension of the kernel is defined in linear algebra using the concept of linear independence. The Definition 1.11.6 is in fact ‘Rank-Nullity Theorem’. Due to lack of time we take Definition 1.11.6 as a working definition.
Fact1.11.8.
Let \(A\in M_n(\K)\) be a square matrix. Suppose that the characteristic polynomial of \(A\) has the following factorization with \(\lambda_i\neq\lambda_j\) for \(i\neq j\text{.}\)
where, each \(\lambda_iI_{n_i}\) is \(n_i\times n_i\) diagonal matrix with all diagonal entries \(\lambda_i\) and all other entries \(0\text{.}\) Furthermore, in the above matrix entries left blank are taken to be \(0\text{.}\)