Matrices of negative determinant are not squares
Statement
Show that a real matrix with is not the square of a real matrix (for every ); hence the continuous map is not onto .
Hint
Look at the sign of of a square.
Show solutionHide solution
Solution
Idea. The determinant is multiplicative, and a real number squared is nonnegative.
Step 1. If with , then
because is a *real* number.
Step 2: not onto. Take , with . By Step 1 it is not a square. So does not map onto . More precisely, the image lies in .
Complex squares exist. Over every invertible matrix has a square root, so the obstruction is genuinely about real matrices.
Warning: is not sufficient. For the matrix
is not the square of any real matrix. Indeed suppose ; the eigenvalues of satisfy , so they are (for a real matrix they are conjugate), distinct. Then is diagonalisable over , so is too, with both eigenvalues , which forces . Contradiction. (Whereas is a square.)
Remark. So the image of squaring is a proper subset of , and *determining* it is a classical problem: a real invertible matrix is a square iff its Jordan blocks for negative eigenvalues come in pairs of equal size.