$\mathbb{R}^{m^2}$ es localmente compacto espacio métrico con la métrica Euclidiana. Es cierto que el conjunto de todos los ortogonal $m \times m$ matrices (considerados como puntos en $\mathbb{R}^{m^2}$) es localmente compacto en la topología de subespacio?
Gracias, Phanindra