Topological groups, Lie groups Definition
Matrix Lie group
Builds on General linear groupSubgroupClosed setClosed subgroup theoremMatrix exponential
Definition
Let and let be the general linear group of invertible complex matrices, with the topology of . A matrix Lie group is a subgroup of that is a closed subset of . That is, if and entrywise with , then .
Remarks
Example: is a subgroup, and it is closed because the entries being real and being are conditions preserved under limits, as is continuous.
Non-example: let be irrational and . It is a subgroup of , but it is not closed: its closure is the set of all , which contains .
The condition is closedness in , not in the space of all matrices: itself is a matrix Lie group. Closed subgroups of are matrix Lie groups too. By the closed subgroup theorem, a matrix Lie group is an embedded Lie subgroup of . Its Lie algebra is , with the matrix exponential and the bracket .
Reading path
To understand this page from the ground up, read these 9 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Closed set concept
- Exponential map of a Lie group concept
- General linear group object
- Lie group concept
- Lie subgroup concept
- Matrix exponential concept
- Subgroup concept
- Closed subgroup theorem statement
- Matrix Lie group definition
Further reading
About this page
| Tag | XA8CY1X2BE |
|---|---|
| URI | m2://XA8CY1X2BE |
| Kind | definition |
| Writing | W0 stub |
| MSC | 22E15, 22E60 |
| Defines | Matrix Lie group |
| Uses | General linear group, Subgroup, Closed set, Closed subgroup theorem, Matrix exponential |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.