Existence of Matrix Logarithm
Please take the time to familiarise yourself with house style. In particular: one sentence per line, and the layout of complex statements.
It may also need to be brought up to our standard house style.
If you have done this or know it has been done, please remove {{Tidy}} from the code.
In particular: In particular the category. Also need a link to the definition of $e^S$..
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.
To discuss this in more detail, feel free to use the talk page.
Once you have done so, you can remove this instance of {{MissingLinks}} from the code.
Theorem
Let $T$ be a square matrix of order $n$.
Then there exists a real matrix $S$ such that $e^S = T$ if and only if:
- $(1): \quad T$ is not a singular matrix
and:
- $(2): \quad $for every negative eigenvalue $\lambda$ of $T$ and for every positive integer $k$, the Jordan form of $T$ has an even number of $k \times k$ blocks associated with $\lambda$.
