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
- Let be a linear map. First, . Indeed, , and subtracting gives .
- So lies in the kernel , and always holds.
- For , linearity gives . So if and only if .
- Suppose is injective, and let . Then by step 1, so by injectivity. Hence .
- Suppose , and let with . By step 3, , so and . Hence is injective.
- By steps 4 and 5, is injective if and only if .
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
- no evidence level
- Kernel of a linear map concept
- Linear map concept
- Proof that a linear map is injective iff its kernel is trivial proof
Where this leads
156 pages build on this one.
- Singular value decomposition
- Lotka–Volterra equations
- Reduction of order
- Triangularisation
- Spectral theorem for normal matrices
- Eigenvalues are the roots of the characteristic polynomial
- Spectral theorem
- Third isomorphism theorem for vector spaces
- Existence of an eigenvalue over an algebraically closed field
- Eigenvalue method for linear systems
- An injective endomorphism of a finite-dimensional space is surjective
- Liouville's formula
- Linearisation at an equilibrium
- Determinant of a matrix exponential
- Second isomorphism theorem for vector spaces
- Order of the Galois group of a Galois extension equals its degree
- Solutions for complex conjugate roots
- A linear map is injective iff its kernel is trivial
- Hyperbolic equilibrium point
- Spectral theorem for Hermitian matrices
- General solution of an inhomogeneous linear equation
- Solution space of a homogeneous linear equation has dimension n
- Fundamental system of solutions
- Solutions for distinct real roots
- Solutions for repeated roots
- Polar decomposition
- Underdamped
- Wronskian test for linear independence of solutions
- Fundamental matrix
- First isomorphism theorem for linear maps
- Classification of equilibria of planar linear systems
- Principal axis theorem
- Damped harmonic oscillator
- Variation of constants formula for linear systems
- Hartman–Grobman theorem
- Pendulum equation
- Stability of linear systems via eigenvalues
- Fundamental theorem of Galois theory
- Finite-dimensional spaces are isomorphic iff they have equal dimension
- Sylvester's criterion
- Forced oscillation and resonance
- Method of undetermined coefficients
- Gauss–Wantzel theorem
- Variation of parameters
- Harmonic oscillator
- Decomposition into generalised eigenspaces
- Canonical isomorphism with the double dual
- Spectral theorem for unbounded self-adjoint operators
- Simple harmonic motion
- Routh–Hurwitz theorem
- Proof of the principal axis theorem from the spectral theorem
- Proof of the singular value decomposition from the spectral theorem
- Quantum Zeno effect
- Hilbert–Schmidt expansion theorem
- Anharmonic oscillator
- Proof of Sylvester's criterion by induction and completing the square
- Proof of the Wronskian test for linear independence of solutions
- Proof that the solution space of a homogeneous linear equation has dimension n
- Phonon dispersion in lattices
- Volterra's principle
- Bilinear series of a symmetric kernel
- Proof of the third isomorphism theorem for vector spaces
- Brunt–Väisälä frequency
- Damping
- Uhlmann's theorem
- Proof that the Galois group of a finite Galois extension has order equal to the degree
- Proof of the canonical isomorphism with the double dual
- Spectral theorem for compact self-adjoint operators
- Courant–Fischer characterization of characteristic values
- Proof of the spectral theorem for self-adjoint operators by induction on the dimension
- Lorentz oscillator model
- Principle of material frame-indifference
- Mixed state
- Melnikov method
- Natural transformation
- Euler's elastica
- Purification of a quantum state
- Gleason's theorem
- Proof of the eigenvalue criteria for stability of linear systems via the Jordan normal form
- Real solutions from a complex eigenpair of a real matrix
- Inverted pendulum
- Liénard equation
- Stone's theorem on one-parameter unitary groups
- Proof of the second isomorphism theorem for vector spaces
- RLC circuit
- Lidskii's trace formula for integral operators
- Hamiltonian operator
- Second quantization
- Proof of the decomposition into generalised eigenspaces
- Proof of the general solution of an inhomogeneous linear equation
- Proof that an injective endomorphism of a finite-dimensional space is surjective
- Spectrum of the Laplace–Beltrami operator
- Floquet theory
- Proof of the first isomorphism theorem for linear maps
- Principal stresses
- Parametric oscillator
- Furuta pendulum
- Wick rotation
- Eckart–Young theorem
- Proof of the existence of an eigenvalue over an algebraically closed field
- Strang splitting
- Q factor
- Proof of the variation of constants formula for linear systems
- Lie–Trotter product formula
- Routh–Hurwitz stability criterion
- Random vibration
- Kharitonov's theorem
- Proof of the polar decomposition from the singular value decomposition
- Random vibration
- Born rule
- Borel functional calculus
- Galois group of a finite field extension
- Schmidt decomposition
- Parametric oscillator
- Operator monotone function
- Proof of the spectral theorem for normal matrices by deflation
- Mercer's theorem
- Proof of the spectral theorem for Hermitian matrices
- Proof of triangularisation by induction on the size
- Duhamel's principle
- Anharmonic oscillator
- Generalized Lotka–Volterra equation
- Annihilator method
- Quantum computing
- Wave function collapse
- Elastic pendulum
- Proof of the solutions for repeated roots
- Principal component analysis
- Proof of the solutions for distinct real roots
- Mild solution
- Inertia tensor and principal axes
- Bidiagonalization
- Duffing equation
- Kapitza's pendulum
- Liénard–Chipart criterion
- Magnus expansion
- Bertrand's theorem
- Schur product theorem
- Proof of the fundamental theorem of Galois theory
- Singular values of a compact operator
- Proof of the Gauss–Wantzel theorem
- Spherical pendulum
- Observable
- Duhamel's principle for heat conduction
- Schmidt's singular value decomposition of a kernel
- Proof that the determinant of a matrix exponential is the exponential of the trace
- Proof that the eigenvalues are the roots of the characteristic polynomial
- Van der Pol oscillator
- Polar decomposition of the deformation gradient
- Spectral theorem for bounded normal operators
- Hidden-variable theory
- Channel capacity of a quantum channel
- Gain scheduling
- Proof that finite-dimensional spaces are isomorphic iff they have equal dimension
- Hill differential equation
- Normal form
Further reading
About this page
| Tag | M4VHXJSCD5 |
|---|---|
| URI | m2://M4VHXJSCD5 |
| Kind | proof |
| Writing | W0 stub |
| MSC | 15A04 |
| Proves | A linear map is injective iff its kernel is trivial |
| Uses | Linear map, Kernel of a linear map |
| Changed | 4 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.