Maths WorkshopMaths problems with full solutions
Exercise 1367Topology › Topology of Mn(ℝ) › Density and closuresL3Added 6 Nov 2026

The set of real normal matrices

#normal matrices#closed sets#subspaces

Statement

Let N={A∈Mn(R):AAT=ATA}\mathcal{N}=\{A\in M_n(\mathbb{R}):AA^T=A^TA\} be the set of real normal matrices.
1. Show that N\mathcal{N} is closed and contains Symn\mathrm{Sym}_n, Skewn\mathrm{Skew}_n and O(n)O(n).
2. Show that N\mathcal{N} is not a vector subspace, and that it is not open (for n≥2n\ge2).

Hint

For (2), a sum of a symmetric and a skew-symmetric matrix can be any matrix.

Show solutionHide solution

Solution

1. Closed. N\mathcal{N} is the zero set of the continuous (polynomial) map A↦AAT−ATAA\mapsto AA^T-A^TA.

Contains the families.
- AA symmetric: AT=AA^T=A, so AAT=A2=ATAAA^T=A^2=A^TA.
- AA skew: AT=−AA^T=-A, so AAT=−A2=ATAAA^T=-A^2=A^TA.
- AA orthogonal: AAT=I=ATAAA^T=I=A^TA.

2. Not a subspace. Take S=(012120)S=\begin{pmatrix}0&\frac12\\\frac12&0\end{pmatrix} (symmetric) and K=(012−120)K=\begin{pmatrix}0&\frac12\\-\frac12&0\end{pmatrix} (skew). Both are in N\mathcal{N}, but
S+K=(0100)=E12,E12E12T=E11,  E12TE12=E22,S+K=\begin{pmatrix}0&1\\0&0\end{pmatrix}=E_{12},\quad E_{12}E_{12}^T=E_{11},\ \ E_{12}^TE_{12}=E_{22},
which differ: E12∉NE_{12}\notin\mathcal{N}. (For n>2n>2, add a zero block.)

Not open. I∈NI\in\mathcal{N}, but Aε=I+εE12→IA_\varepsilon=I+\varepsilon E_{12}\to I is not normal for ε≠0\varepsilon\ne0:
AεAεT=I+ε(E12+E21)+ε2E11,AεTAε=I+ε(E12+E21)+ε2E22,A_\varepsilon A_\varepsilon^T=I+\varepsilon(E_{12}+E_{21})+\varepsilon^2E_{11},\qquad A_\varepsilon^TA_\varepsilon=I+\varepsilon(E_{12}+E_{21})+\varepsilon^2E_{22},
and E11≠E22E_{11}\ne E_{22}. So no neighbourhood of II lies in N\mathcal{N}.

Remark. N\mathcal{N} is the set of matrices that commute with their transpose; by the spectral theorem, normal real matrices are exactly those orthogonally similar to a block diagonal matrix with 1×11\times1 real blocks and 2×22\times2 blocks (a−bba)\begin{pmatrix}a&-b\\b&a\end{pmatrix}. It is a closed cone (stable under real scaling) but not convex. Lesson. Sums of normal matrices are generally not normal.