Math 2.0

Topological groups, Lie groups Definition

Representation of a Lie group

Builds on Lie groupGeneral linear groupGroup representation

Definition

Let GG be a Lie group and let VV be a finite-dimensional vector space over ℝ\R or ℂ\C. A representation of GG on VV is a continuous group homomorphism π ⁣:G→GL(V)\pi \colon G \to \mathrm{GL}(V), where GL(V)\mathrm{GL}(V) is the general linear group of VV.

Let VV be an infinite-dimensional complex Hilbert or Banach space. A representation of GG on VV is a homomorphism π\pi from GG to the group of bounded invertible operators on VV. It must be strongly continuous: g↦π(g)vg \mapsto \pi(g) v is continuous from GG to VV for each v∈Vv \in V.

Remarks

Example: G=SO(3)G = \mathrm{SO}(3), V=ℝ3V = \R^3 and π(g)=g\pi(g) = g. The map is the inclusion of a closed subgroup of GL3(ℝ)\mathrm{GL}_3(\R), so it is a continuous homomorphism.

Non-example: let f ⁣:ℝ→ℝf \colon \R \to \R be an additive map that is not linear, which exists by choosing a basis of ℝ\R over ℚ\Q. Then π(t)=ef(t)\pi(t) = e^{f(t)} is a homomorphism ℝ→GL1(ℝ)\R \to \mathrm{GL}_1(\R), but it is not continuous, so it is not a representation of the Lie group ℝ\R.

A continuous homomorphism of Lie groups is automatically smooth. So a finite-dimensional representation π\pi has a differential dπd\pi at the identity, which is a representation of the Lie algebra of GG. If GG is connected, dπd\pi determines π\pi. A unitary representation is one where each π(g)\pi(g) preserves a fixed inner product on VV.

Reading path

To understand this page from the ground up, read these 4 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. General linear group object
  2. Group representation concept
  3. Lie group concept
  4. Representation of a Lie group definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Representation_of_a_Lie_group
About this page
Tag2K8BZRGE8R
URIm2://2K8BZRGE8R
Kinddefinition
WritingW0 stub
MSC22E45, 22E47, 22E15
DefinesRepresentation of a Lie group
UsesLie group, General linear group, Group representation
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.