Lie-groep

Uit Wikipedia, de vrije encyclopedie

Het wiskundige begrip Lie-groep of Liegroep werd door Sophus Lie ingevoerd (hij sprak van continue transformatiegroep) om continue symmetrieën te modelleren. Een voorbeeld van een continue symmetrie is "rotatiesymmetrie": een vorm die ongewijzigd blijft bij wenteling. Een voorbeeld van een niet-continue (discrete) symmetrie is "spiegeling": een vorm die ongewijzigd blijft als links en rechts verwisseld worden.

Inhoud

1 Definitie
- 1.1 Voorbeelden
- 1.2 Veralgemening
2 Lie-algebra van een Liegroep
- 2.1 Voorbeelden
3 Eenparameter-deelgroepen
4 Haarmaat

[bewerk] Definitie

Een Liegroep is een verzameling $G$ waarop een groepsbewerking gedefinieerd is, en die tegelijk ook een gladde variëteit is ( $C^\infty$ -manifold, zie ook differentiaalmeetkunde). De groepsbewerking en de $C^\infty$ -structuur moeten compatibel zijn in de zin dat de afbeelding $G\times G\to G:(x,y)\mapsto xy^{-1}$ een gladde afbeelding is tussen variëteiten.

[bewerk] Voorbeelden

$(\mathbb{R}^n,+)$ is een abelse Liegroep.
$S^1=\left\{z\in\mathbb{C}|\left|z\right|=1\right\}$ is een abelse Liegroep voor de vermenigvuldiging van complexe getallen. Hij modelleert het hierboven geciteerde begrip "rotatiesymmetrie" in het complexe vlak.
Als $G$ en $H$ Liegroepen zijn, dan bestaan standaardconstructies om van het cartesisch product $G\times H$ zowel een groep als een gladde variëteit te maken, en het is niet moeilijk in te zien dat dit opnieuw een Liegroep vormt.
De complexe getallen verschillend van 0 vormen een abelse groep voor de vermenigvuldiging. Dit is een Liegroep die isomorf is met S¹× $(\mathbb{R},+)$ via het isomorfisme

$S^1\times\mathbb{R}\to\mathbb{C}^*:(z,r)\mapsto z.e^r$

De algemene lineaire groep GL(n,K) over een lichaam K bestaat uit de vierkante n×n-matrices over K waarvan de determinant verschillend is van 0 (reguliere matrices). De groepsbewerking is het (niet-commutatieve) product van matrices. Voor $K=\mathbb{R}$ en $K=\mathbb{C}$ heeft hij de structuur van een Lie-groep (met reële dimensie n² resp. 2n²).
De algemene lineaire groep heeft als centrum de ondergroep die bestaat uit de omkeerbare veelvouden van de eenheidsmatrix. De factorgroep heet projectieve linaire groep of projectieve algemene lineaire groep:

P G L (n, K) = G L (n, K) / Z (G L (n, K))

Informeel zijn dit de "lineaire transformaties op een schaalfactor na". De reële projectieve lineaire groep is een (n²-1)-dimensionale Liegroep. De complexe projectieve lineaire groep is een (2n²-2)-dimensionale Liegroep.

De orthogonale groep O(n) is de deelgroep van GL(n, $\mathbb{R}$ ) die bestaat uit de orthogonale matrices, dit zijn matrices die de inverse zijn van hun getransponeerde:

$A.A^T=\mathbb{I}$

O(n) is onsamenhangend: hij valt uiteen in twee samenhangscomponenten, de rotaties en de rotatie-inversies. De eersten hebben determinant 1, de laatsten hebben determinant -1. De rotaties vormen een samenhangende deelgroep van O(n), genaamd speciale orthogonale groep en genoteerd SO(n).

SO(2) is in alle opzichten (groep en variëteit) gelijkwaardig met S¹ via het volgende isomorfisme van Liegroepen:

$S^1\to SO(2):z\mapsto\left( \begin{matrix} \Re z &\Im z\\ -\Im z &\Re z\\ \end{matrix} \right)$

waar $\Re$ en $\Im$ het reële resp. het imaginaire deel van een complex getal aanduiden.

De unitaire groep U(n) is de deelgroep van GL(n, $\mathbb{C}$ ) die bestaat uit de unitaire matrices, dit zijn matrices die de inverse zijn van hun hermitisch getransponeerde (transponeren, en vervolgens elk complex getal vervangen door zijn toegevoegd complex getal):

$A.\overline A^T=\mathbb{I}$

De determinant van een unitaire matrix is een complex getal met absolute waarde 1. Het bijzondere geval U(1) is opnieuw S¹.

Voor n>1 is U(n) niet enkelvoudig. Hij heeft als (samenhangende) normaaldeler de speciale unitaire groep SU(n), dit zijn de unitaire matrices met determinant 1.

De speciale lineaire groep SL(n,K) over een lichaam K bestaat uit de vierkante n×n-matrices over K waarvan de determinant 1 is. Voor $K=\mathbb{R}$ en $K=\mathbb{C}$ heeft hij de structuur van een Lie-groep (met reële dimensie n²-1 resp. 2n²-2).
De symplectische groep Sp(2n,K) over een lichaam K bestaat uit de vierkante 2n×2n-matrices M over K met de eigenschap

$M^T \begin{bmatrix} 0 & I_n \\ -I_n & 0 \\ \end{bmatrix} M= \begin{bmatrix} 0 & I_n \\ -I_n & 0 \\ \end{bmatrix}$

In deze formule betekent M^T de getransponeerde matrix van M, en I_n is een n×n-eenheidsmatrix.

De symplectische groep is een deelgroep van de speciale lineaire groep SL(2n,K). Voor $K=\mathbb{R}$ en $K=\mathbb{C}$ is hij een Lie-groep (met reële dimensie n(2n+1) resp. 2n(2n+1)).

[bewerk] Veralgemening

Als er geen behoefte bestaat om aan de groepselementen coördinaten toe te kennen, dan kan continue symmetrie ook worden gemodelleerd door het algemene begrip topologische groep. Elke Lie-groep is een topologische groep, maar niet andersom.

[bewerk] Lie-algebra van een Liegroep

Zij $G$ een Liegroep. Met iedere vector $\tilde X$ uit $T G e$ , de raakruimte aan $G$ in het neutraal element $e$ , komt een invariant vectorveld $X$ overeen. De waarde van $X$ boven een willekeurig punt $g\in G$ wordt bekomen door de differentiaal $L^*_g$ van de afbeelding "linkse samenstelling met $g$ " $L_g:G\to G:h\mapsto gh$ toe te passen op $\tilde X$ :

$X(g)=L_g^*(X(e))=L_g^*(\tilde X)$

De Liehaak $\left[X,Y\right]$ van twee invariante vectorvelden is opnieuw een invariant vectorveld. Hij maakt van de reële vectorruimte der invariante vectorvelden op $G$ een (niet-associatieve) algebra, meer bepaald een Lie-algebra.

Intuïtief meet de Liehaak het "infinitesimale tweede-orde effect" van een kleine verschuiving in de richting van $X$ , gevolgd door een kleine verschuiving in de richting van $Y$ , gevolgd door een kleine verschuiving in de richting van $- X$ , gevolgd door een kleine verschuiving in de richting van $- Y$ .

De Lie-algebra van een Liegroep voldoet aan de definiërende voorwaarden van een abstracte Lie-algebra.

[bewerk] Voorbeelden

De Lie-algebra van $(\mathbb{R}^n,+)$ is de vectorruimte $\mathbb{R}^n$ met als productbewerking de constante 0: een zogenaamde abelse Lie-algebra.

De Lie-algebra van $GL(n,\mathbb{R})$ is de vectorruimte der vierkante reële $n\times n$ -matrices, met als productbewerking de ringcommutator:

$\left[A,B\right]=A\cdot B-B\cdot A.$

De Lie-algebra van $O (n)$ is dezelfde als die van $S O (n)$ , namelijk: de scheefsymmetrische vierkante reële $n\times n$ -matrices:

$A+^tA=0\,$

De productbewerking is opnieuw de ringcommutator. Het is niet moeilijk na te gaan dat de commutator van scheefsymmetrische matrices opnieuw scheefsymmetrisch is:

$[A,B]+^t[A,B]=A\cdot B-B\cdot A+^t(A\cdot B-B\cdot A)=A\cdot B-B\cdot A+^tB\cdot ^tA-^tA\cdot ^tB=0$

De Lie-algebra van $SL(n,\mathbb{R})$ bestaat uit de reële $n\times n$ -matrices met spoor 0, d.w.z. $\sum_{i=1}^na_{ii}=0$ . Analoog voor $SL(n,\mathbb{C})$ .

[bewerk] Eenparameter-deelgroepen

Een éénparameter-deelgroep van een Liegroep $G$ is een glad groepshomoformisme van de Liegroep $(\mathbb{R},+)$ naar $G$

$\phi:\mathbb{R}\to G, \phi(t_1+t_2)=\phi(t_1)\phi(t_2)$

Voor elke rakende vector $\tilde X$ in de raakruimte $T G e$ bestaat er een uniek glad groepshomomorfisme $\phi:(\mathbb{R},+)\to G$ waarvan de afgeleide in 0 gelijk is aan $\tilde X$ . De exponentiële afbeelding is de afbeelding $exp$ van de Lie-algebra van $G$ naar $G$ zelf die met ieder invariant vectorveld het groepselement $φ(1)$ associeert.

De benaming "exponentiële afbeelding" wordt verantwoord door de eigenschap

$\exp\left((t_1+t_2)X\right)=\left(\exp(t_1X)\right)\left(\exp(t_2X)\right)$

De Lie-algebra van $G$ is een eindigdimensionale reële vectorruimte, en kan dus op natuurlijke wijze als gladde variëteit worden opgevat. In die zin is de exponentiële afbeelding glad, en lokaal diffeomorf in de omgeving van $0$ .

[bewerk] Haarmaat

Een lokaal compacte Liegroep beschikt altijd over een linksinvariante maat, dit is een maat $μ$ op de Borelstam $\mathcal{B}$ van $G$ (de sigma-algebra voortgebracht door de open verzamelingen van $G$ ) met de eigenschap dat

$\forall A\in\mathcal{B},\forall g\in G:\mu(gA)=\mu(A)$

(evenals de impliciete veronderstelling dat $μ$ niet constant 0 is).

Deze maat is sigma-eindig (eindig bij een compacte Liegroep) en heet Haarmaat van $G$ , genoemd naar de Hongaar Alfred Haar. Ze is uniek op een reële factor na.

Er bestaat natuurlijk ook een rechtsinvariante maat $μ R$ , eveneens uniek op een coëfficiënt na. Als $G$ niet abels is, hoeven de links- en rechtsinvariante maten geen veelvoud van elkaar te zijn. Er bestaat echter wel een meetbare functie $\Delta:G\to\mathbb{R}$ , modulus of modulaire functie genoemd, met de eigenschap dat

$\forall A\in\mathcal{B}:\mu_R(A)=\int_A\Delta(g)d\mu(g)$

Niet alleen abelse Liegroepen, maar ook compacte Liegroepen zijn unimodulair in de zin dat $Δ$ een constante is, d.w.z. dat rechtsinvariante maten eveneens linksinvariant zijn.

De Haarmaat van welbepaalde Liegroepen ligt aan de basis van de meetkundige maattheorie ofte probabilistische meetkunde, om zin te geven aan begrippen zoals "de gemiddelde dikte van een convexe figuur" of "de kans dat een willekeurige rotatie van een kegel om zijn top, een gegeven vlak snijdt".

Aan de hand van de Haarmaat definieert men ook de convolutie van twee functies op G.

Categorieën: Analyse | Meetkunde | Groepentheorie | Lineaire algebra

See also ebooksgratis.com: no banners, no cookies, totally FREE.

Lie-groep

Uit Wikipedia, de vrije encyclopedie

Inhoud

[bewerk] Definitie

[bewerk] Voorbeelden

[bewerk] Veralgemening

[bewerk] Lie-algebra van een Liegroep

[bewerk] Voorbeelden

[bewerk] Eenparameter-deelgroepen

[bewerk] Haarmaat

Views

Navigatie

Informatie

Zoeken

in andere talen