How to prove that $\|e^{X+Y}-e^X\| \leq \|Y\| e^{\|X\|} e^{\|Y\|}$? A couple of questions from the Wikipedia "matrix exponential" article:


*
*In the part of the article I linked to, they mention that to conclude that every matrix in $GL(n)$ has a logarithm (though not unique), it is necessary to pass to the complex numbers. Based on this comment, I tried to choose a real matrix (e.g. $-I$) and show that it did not have a real logarithm. I found it difficult, though. Any idea on this proof? 
*They mention the inequality $\|e^{X+Y}-e^X\| \leq \|Y\| e^{\|X\|} e^{\|Y\|}$. Does anyone have a reference for this proof, or can someone indicate the idea of the proof?
 A: *

*The negative identity matrix does have real logarithms when it is even-dimensional. For instance, $\exp\pmatrix{0&-(2k+1)\pi\\ (2k+1)\pi&0}=-I$ for every integer $k$. It has no real logarithm when it is odd-dimensional, because $e^\lambda=-1$ has not any real solution and nonreal eigenvalues of a real matrix must occur in conjugate pairs.

*Proofs of this statement can be found in several books. To begin, note that $\| (X+Y)^n - X^n \|\le(\|X\|+\|Y\|)^n - \|X\|^n$ for each $n$.

A: For all commuting matrix $X$, $Y$,
$\|e^{X+Y}-e^X\| = \|e^{X}(e^{Y}-I_{n})\|$
By sub-multiplicativity of the norm $\|.\|$, 
$\|e^{X}(e^{Y}-I_{n})\| \leq \|e^{X}\|.\|e^{Y}-I_{n}\|$
Then by definition, $\|e^{Y}-I_{n}\|=\displaystyle\|\sum_{n=0}^\infty\frac{Y^n}{n!}-I_{n}\|=\|\displaystyle\sum_{n=1}^\infty\frac{Y^{n}}{n!}\|=\|Y\displaystyle\sum_{n=1}^\infty\frac{Y^{n-1}}{n!}\|$
Again, by sub-multiplicativity of the norm and triangular inequality, 
$\|Y\displaystyle\sum_{n=1}^\infty\frac{Y^{n-1}}{n!}\| \leq\|Y\|.\|\displaystyle\sum_{n=1}^\infty\frac{Y^{n-1}}{n!}\|\leq\|Y\|.\displaystyle\sum_{n=1}^\infty\frac{\|Y\|^{n-1}}{n!}\leq\|Y\|.\displaystyle\sum_{n=1}^\infty\frac{\|Y\|^{n-1}}{(n-1)!}= \|Y\| e^{\|Y\|}$
Eventually, $\|e^{X+Y}-e^X\| \leq \|Y\| e^{\|X\|} e^{\|Y\|}$
A: Hint: You can consider $e^A=\displaystyle\sum_{n=0}^\infty\frac{A^n}{n!}$ and $\|A^n\|\leq \|A\|^n$ to show that $\|e^{A}\|\leq e^{\|A\|}$. 
