unitary group is compact