If , then , so
and . If , its first column is for some , and orthonormality plus positive orientation force
Thus every element of is a rotation.
Let . If , then and . Conversely every matrix in has determinant . Therefore the union is disjoint and

Articles by others on the same topic (0)

There are currently no matching articles.