Kernel and image of matrix: What are they? Why do they exist

definitionintuitionlinear algebramatricesmotivation

I've been trying to get an understanding of the Kernel of image of matrices. I'm studying them in college right now, but the problem is, while I can find a ton of resources on how to find them given a matrix by following steps, I haven't been able to find anything that explains what they are intuitively. Also why have them in the first place?

I hope someone who understands these concepts better can help me.

Best Answer

The matrix corresponds to a linear function. Generally speaking, for a function $f:X\to Y$, the kernel of $f$ is $f^{-1}(0)$ and the image is $f(X)$.

Here $Y$ is a group, ring, field, vector space etc so it has a zero element $0\in Y$.

Note the kernel $f^{-1}(0)$ is a subspace (subgroup, etc) of $X$ and the image $f(X)$ is a subspace of $Y$.

There is a nice sequence of maps $$0\to\ker f\to X\to \operatorname{im} f\to Y.$$