The measure of the image of the exponential of real matrices

linear algebramatricesmatrix exponentialmeasure-theory

It is known that the matrix exponential over the real matrices $\exp : M_n(\mathbb{R}) \to GL_n(\mathbb{R})$ is not surjective and that its image $S
$
is the subset of all invertible matrices that are the square of a real matrix.

My question is about the "size" of that set within $GL_n(\mathbb{R})$ equipped with the Lebesgue measure of $\mathbb{R}^{n^2}$. Do we know if $S$ has full measure ? Or is it a null set ?

Best Answer

Note that the image includes all real matrices $n\times n$ matrices that have $n$ distinct positive eigenvalues. The set of all such matrices is open and nonempty, and therefore has positive Lebesgue measure. Indeed, since this set is closed under multiplication by positive scalars, the Lebesgue measure must be infinite.

Related Question