Determinant of Matrix Exponential is Non-Zero

From ProofWiki
Jump to navigation Jump to search


Let $\mathbf A$ be a square matrix.

Let $t \in \R$ be a real number.

Let $e^{\mathbf A t}$ denote the matrix exponential of $\mathbf A$.


$\det e^{\mathbf A t} \ne 0$

where $\det$ denotes the determinant.


The linear system $x' = \mathbf A x$ has $n$ linearly independent solutions.

Putting together these solutions as columns in a matrix creates a matrix solution to the differential equation, considering the initial conditions for the matrix exponential.

From Existence and Uniqueness Theorem for 1st Order IVPs, this solution is unique.

By linear independence of its columns:

$\det e^{\mathbf A t} \ne 0$

The nonzero determinant property also follows as a corollary to Liouville's Theorem (Differential Equations).