Math 2.0

Linear and multilinear algebra; matrix theory Proof

Proof that a linear map is injective iff its kernel is trivial

Builds on Linear mapKernel of a linear map

Proof

  1. Let T ⁣:V→WT \colon V \to W be a linear map. First, T(0)=0T(0) = 0. Indeed, T(0)=T(0+0)=T(0)+T(0)T(0) = T(0 + 0) = T(0) + T(0), and subtracting T(0)T(0) gives T(0)=0T(0) = 0.
  2. So 00 lies in the kernel ker⁡T\ker T, and {0}⊆ker⁡T\{0\} \subseteq \ker T always holds.
  3. For u,v∈Vu, v \in V, linearity gives T(u)−T(v)=T(u−v)T(u) - T(v) = T(u - v). So T(u)=T(v)T(u) = T(v) if and only if u−v∈ker⁡Tu - v \in \ker T.
  4. Suppose TT is injective, and let v∈ker⁡Tv \in \ker T. Then T(v)=0=T(0)T(v) = 0 = T(0) by step 1, so v=0v = 0 by injectivity. Hence ker⁡T={0}\ker T = \{0\}.
  5. Suppose ker⁡T={0}\ker T = \{0\}, and let u,v∈Vu, v \in V with T(u)=T(v)T(u) = T(v). By step 3, u−v∈ker⁡Tu - v \in \ker T, so u−v=0u - v = 0 and u=vu = v. Hence TT is injective.
  6. By steps 4 and 5, TT is injective if and only if ker⁡T={0}\ker T = \{0\}.

Idea

Two vectors have the same image exactly when their difference lies in the kernel. So the map can only merge vectors if the kernel holds a nonzero vector.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Kernel of a linear map concept
  2. Linear map concept
  3. Proof that a linear map is injective iff its kernel is trivial proof

Where this leads

156 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Kernel_(linear_algebra), Properties
About this page
TagM4VHXJSCD5
URIm2://M4VHXJSCD5
Kindproof
WritingW0 stub
MSC15A04
ProvesA linear map is injective iff its kernel is trivial
UsesLinear map, Kernel of a linear map
Changed4 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.