The compactness of the matrix groups
1. Special Linear Group
- Definition:
is the group of real matrices with determinant 1. - Compactness:
- For
: is not compact. It is a closed subset of the general linear group , which is open in . While is closed, it is not bounded. The reason for this is that matrices in can have arbitrarily large norms. For example, diagonal matrices with entries increasing without bound (while maintaining determinant 1) show that is unbounded in . - For
: consists of the single matrix , which is compact because it is a finite set.
- For
2. General Linear Group
- Definition:
is the group of invertible real matrices. - Compactness:
is not compact. It is an open subset of , and hence it is unbounded. Specifically, matrices in can have entries with arbitrarily large magnitudes, leading to a lack of boundedness. For instance, one can construct matrices with entries growing without bound, which would still be invertible.
3. Special Orthogonal Group
- Definition:
is the group of orthogonal matrices with determinant 1. - Compactness:
- For
: is compact. It is a closed subset of , which is the group of all orthogonal matrices (with determinant ). Since is compact and is a closed subgroup of it, inherits compactness. Additionally, is bounded because all orthogonal matrices have norm 1, and it can be shown to be a compact Lie group.
- For
4. Orthogonal Group
- Definition:
is the group of orthogonal matrices with determinant . - Compactness:
is compact. It is a closed subset of and is bounded. The compactness can be seen from the fact that orthogonal matrices satisfy , which restricts their entries, and hence, they form a bounded set in . This group includes matrices with determinant 1 (forming ) and those with determinant -1, but remains compact as it is the union of these two compact sets.
5. Special Unitary Group
- Definition:
is the group of unitary matrices with determinant 1. - Compactness:
is compact. It is a closed and bounded subset of the unitary group , which consists of all unitary matrices. The compactness comes from the fact that is a closed subgroup of (which is compact). The condition that unitary matrices have norm 1 ensures boundedness, and the determinant condition does not affect the compactness.
6. Unitary Group
- Definition:
is the group of unitary matrices. - Compactness:
is compact. It is a closed subset of , and unitary matrices have entries satisfying certain norm conditions, which ensures boundedness. The compactness can be attributed to the fact that unitary matrices are defined by the equation , where is the conjugate transpose, enforcing a bounded structure.
Summary
: Not compact for , compact for . : Not compact; unbounded. : Compact for . : Compact. : Compact. : Compact.