The invariant positive-definite bilinear form makes every orthogonal in an orthonormal real basis. Every element of has the form with , so this group is homeomorphic to and connected. The continuous function takes values in and equals one at the identity. It is therefore identically one. Hence .
Articles by others on the same topic
There are currently no matching articles.