1. 简述李群的定义

群论讲解步骤:群→连续群→拓扑群→李群

李群是具有某种性质的拓扑群,一句话总结就是:

若群参数连续且无限阶可微的群称为李群。

用流形的语言描述就是:

李群简单地说就是具有群结构的微分流形

想了解李群的详细定义,需要先了解拓扑、流形、拓扑流形、微分流形的定义,目前暂时不细细展开,后面再谈。所以这章主要介绍部分经典李群

2. 几种经典李群

例1 GL(n)

一般线性(general lineaer)群,又称矩阵群,指对n维矩阵做线性变换

g(a_{1,1},a_{1,2},...,a_{n,n})=[a_{i,j}|i,j=1,2,...,n]

n维矩阵的GL群,GL(n)的参数量是n^2个。

例2 U(1)

 所有单位复数构成的集合是一个李群,即

U(1)=\{g(\theta)=e^{i\theta}\}

U(1)群就是前面提到的经典的复数旋转群(或二维旋转群)

例3 SO(2)

S指Special,即行列式为1;O指orthogonal,即标准正交的;2指维度为2(不是指参数个数)。

g(\theta):连续,无限阶可微,\{g(\theta)|\theta\in\mathbb{R}\}

SO(2)群描述二维转动,所以又叫(定)轴转动群。

例4 SO(3)

SO(3)描述三维转动,需要三个角度参数,其中两个角度参数描述旋转轴,剩下一个描述旋转角度。

例5 SU(2)

U指unitary,单位或归一,指矩阵乘以自身共轭转置为单位矩阵。

SU(2)由三个参数表示,具体为:

其意义我们将在后面和四元数一起讲 

结论是:SO(2)和U(1)等价,SO(3)和SU(2)等价

Logo

有“AI”的1024 = 2048,欢迎大家加入2048 AI社区

更多推荐