Math 2.0

Topological groups, Lie groups Definition

Matrix Lie group

Builds on General linear groupSubgroupClosed setClosed subgroup theoremMatrix exponential

Definition

Let n≥1n \ge 1 and let GLn(ℂ)GL_n(\C) be the general linear group of invertible complex n×nn \times n matrices, with the topology of ℂn2\C^{n^2}. A matrix Lie group is a subgroup GG of GLn(ℂ)GL_n(\C) that is a closed subset of GLn(ℂ)GL_n(\C). That is, if Ak∈GA_k \in G and Ak→AA_k \to A entrywise with A∈GLn(ℂ)A \in GL_n(\C), then A∈GA \in G.

Remarks

Example: SLn(ℝ)={A∈GLn(ℂ):A real,det⁡A=1}SL_n(\R) = \set{A \in GL_n(\C) : A \text{ real}, \det A = 1} is a subgroup, and it is closed because the entries being real and det⁡\det being 11 are conditions preserved under limits, as det⁡\det is continuous.

Non-example: let α\alpha be irrational and G={diag⁡(eit,eiαt):t∈ℝ}G = \set{\operatorname{diag}(e^{it}, e^{i\alpha t}) : t \in \R}. It is a subgroup of GL2(ℂ)GL_2(\C), but it is not closed: its closure is the set of all diag⁡(eiθ,eiφ)\operatorname{diag}(e^{i\theta}, e^{i\varphi}), which contains diag⁡(1,−1)∉G\operatorname{diag}(1, -1) \notin G.

The condition is closedness in GLn(ℂ)GL_n(\C), not in the space of all matrices: GLn(ℂ)GL_n(\C) itself is a matrix Lie group. Closed subgroups of GLn(ℝ)GL_n(\R) are matrix Lie groups too. By the closed subgroup theorem, a matrix Lie group is an embedded Lie subgroup of GLn(ℂ)GL_n(\C). Its Lie algebra is 𝔤={X∈Mn(ℂ):etX∈G for all t∈ℝ}\mathfrak{g} = \set{X \in M_n(\C) : e^{tX} \in G \text{ for all } t \in \R}, with the matrix exponential and the bracket [X,Y]=XY−YX[X, Y] = XY - YX.

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
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Closed set concept
  2. Exponential map of a Lie group concept
  3. General linear group object
  4. Lie group concept
  5. Lie subgroup concept
  6. Matrix exponential concept
  7. Subgroup concept
  8. Closed subgroup theorem statement
  9. Matrix Lie group definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Lie_group
About this page
TagXA8CY1X2BE
URIm2://XA8CY1X2BE
Kinddefinition
WritingW0 stub
MSC22E15, 22E60
DefinesMatrix Lie group
UsesGeneral linear group, Subgroup, Closed set, Closed subgroup theorem, Matrix exponential
Changed2 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.