Overview
and are the generalization of and in
The inner product defined on is as follows: For :
This is because we want to be a real number: (see calculation rules - complex numbers)
Groups preserving this are called the unitary group and the subgroup of whose determinant is is the special unitary group
Definition
Criterion for preserving the inner product
Similar to Rotation criterion:
Title
A linear transformation of preserves the inner product if and only if its matrix satisfies (see calculation rules - complex numbers)
Subgroup
The subgroup of whose members have determinant is the special unitary group
Example
- is the multiplication group of unit quaternions, or as matrix:
- or is the multiplication group of unit complex numbers
- is
Path-Connectedness
is path-connected. proof similar to Path-Connectedness