Let be the real vector space of Hermitian matrices. The polar decomposition of an invertible complex matrix gives a diffeomorphismIts inverse sends toRight multiplication by changes only , so the orbit space is smoothly and the quotient map is a globally trivial principal bundle.
Articles by others on the same topic
There are currently no matching articles.