Mi pregunta es la siguiente: En virtud de que las condiciones en dado enteros $n\le m$ $$O(n,m) = \{A \in \mathbb R^{m\times n} : A^TA = \mathbf 1\}$ $ simplemente conectado? ¿Alguien sabe una referencia para esto?
Simple conexión de este para ciertos $n,m$ (yo creo que debería estar bien para $m-n\ge 2$) fue utilizado en una prueba, en la actualidad estoy tratando de entender. Pero no he sido capaz de llenar el vacío de mí mismo.
Muchas gracias!