Definition:Kernel of Linear Transformation

From ProofWiki
Jump to navigation Jump to search

This page is about kernel in the context of linear algebra. For other uses, see kernel.

Definition

Let $\phi: G \to H$ be a linear transformation where $G$ and $H$ are $R$-modules.

Let $e_H$ be the identity of $H$.


The kernel of $\phi$ is defined as:

$\map \ker \phi := \phi^{-1} \sqbrk {\set {e_H} }$

where $\phi^{-1} \sqbrk S$ denotes the preimage of $S$ under $\phi$.


In Vector Space

Let $\struct {\mathbf V, +, \times}$ be a vector space.

Let $\struct {\mathbf V', +, \times}$ be a vector space whose zero vector is $\mathbf 0'$.

Let $T: \mathbf V \to \mathbf V'$ be a linear transformation.


Then the kernel of $T$ is defined as:

$\map \ker T := T^{-1} \sqbrk {\set {\mathbf 0'} } = \set {\mathbf x \in \mathbf V: \map T {\mathbf x} = \mathbf 0'}$


Also denoted as

The notation $\map {\mathrm {Ker} } \phi$ can sometimes be seen for the kernel of $\phi$.

It can also be presented as $\ker \phi$ or $\operatorname {Ker} \phi$, that is, without the parenthesis indicating a mapping.


Also see

  • Results about kernels of linear transformations can be found here.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Kernel_of_Linear_Transformation&oldid=737189"