Content deleted Content added
No edit summary |
|||
Line 108:
Back to the particular case of an Euclidean space, the spectrum of a linear operator on this space is the set of eigenvalues of its matrix, and so is a finite set. As long as the origin is not in the spectrum (the matrix is invertible), one obviously satisfies the path condition from the previous paragraph, and such, the theory implies that ln ''T'' is well-defined. The non-uniqueness of the matrix logarithm then follows from the fact that one can choose more than one branch of the logarithm which is defined on the set of eigenvalues of a matrix.
== A Lie group theory perspective ==▼
▲== A Lie group perspective ==
In the theory of [[Lie group|Lie groups]], there is an [[exponential map]] from a [[Lie algebra]] ''g'' to the corresponding Lie group ''G''
| |||