Image and Kernel

Formal
(Image and Kernel)

For Φ:VW\Phi:V\rightarrow W, we define the kernel/null space

ker(Φ)Φ1(0W)={vV:Φ(v)=0W}\begin{align} \text{ker}(\Phi) \coloneqq \Phi^{-1}(\boldsymbol{0}_{W}) = \{v\in V:\Phi(v)=\boldsymbol{0}_{W}\} \tag{1} \end{align}

and the image/range

Im(Φ)Φ(V)={wWvV:Φ(v=w)}.\begin{align} \text{Im}(\Phi) \coloneqq \Phi(V) = \{\boldsymbol{w\in W|\exists \boldsymbol{v}\in V:\Phi(\boldsymbol{v}=\boldsymbol{w})}\}.\tag{2} \end{align}

We also call VV and WW as domain and codomain of Φ\Phi.

Properties

Consider a linear mapping Φ:VW\Phi : V \rightarrow W, where VV, WW are vector spaces.

  • It always holds that Φ(0V)=0W\Phi(\mathbf{0}_{V})=\mathbf{0}_{W} and, therefore, 0Vker(Φ)\mathbf{0}_{V}\in \text{ker}(\Phi). In particular, the null space is never empty.
  • Im(Φ)W\text{Im}(\Phi) \subseteq W is a subspace of WW, and ker(Φ)V\text{ker}(\Phi) \subseteq V is a subspace of VV.
  • Φ\Phi is injective (one-to-one) if and only if ker(Φ)={0}\text{ker}(\Phi)=\{0\}. (Null Space and Column Space). Let us consider ARm×nA \in \mathbb{R}^{m×n} and a linear mapping Φ:RnRm\Phi:\mathbb{R}^n\rightarrow\mathbb{R}^m, xAxx\mapsto\boldsymbol{A}x.
  • For A=[a1,,an]\boldsymbol{A} = [a_{1}, \dots,a_{n}], where aia_i are columns of A\boldsymbol{A}, we obtain
Im(Φ)={Ax:xRn}={i=1nxiai:x1,,xnR}=span[a1,,an]Rm\begin{align} \text{Im}(\Phi) = \{\boldsymbol{A}x:x\in\mathbb{R}^n\}=\left\{\sum_{i=1}^nx_{i}a_{i}:x_{1},\dots,x_{n}\in \mathbb{R}\right\} \tag{3} \\ =\text{span}[a_{1},\dots, a_{n}] \subseteq \mathbb{R}^m \tag{4} \end{align}
  • rk(A)\text{rk}(\boldsymbol{A})=dim(Im(Φ))\text{dim(Im(}\Phi)).
  • The kernel/null space ker(Φ)\text{ker}(\Phi) is the general solution to the homogeneous system of linear equations Ax = 0 and captures all possible linear combinations of the elements in Rn that produce 0 ∈ Rm. The kernel is a subspace of Rn , where n is the “width” of the matrix.
(Rank-Nullity Theorem)

For vector spaces VV, WW and a linear mapping Φ:VW\Phi:V\rightarrow W it holds that

dim(ker(Φ))+dim(Im(Φ))=dim(V).\begin{align} \text{dim}(\text{ker}(\Phi)) + \text{dim}(\text{Im}(\Phi)) = \text{dim}(V). \tag{5} \end{align}
Connections
  • #type/definition
  • #image
  • #kernel
  • #linear-algebra