Recalling the exponential series
for any complex matrix , we define the matrix exponential by
(i) For any complex matrix , the exponential series converges.
(ii) for all ;
(iii) has inverse for all ;
(iv) Let be an eigenvalue of . Then is an eigenvalue of .
(v)