计算SO2的单参数子群

On是正交群，一个实n×n矩阵A称为正交的，如果A^T=A^-1,或等价地A^T*A=I.所有正交n×n矩阵构成GL(R)的一个子群，记为On,称为正交群：因此所谓O2就是2*2矩阵，满足条件为

或者用克罗内克函数δ简写

而所谓SO2就是行列式为±1的正交群，特殊正交群。因为

有级数

定义矩阵的指数.现在将用这个函数描述由实数加法群到一般线性群的同态，它是变量t∈R的可微函数.这样的一个同态称为GLn的单参数子群.*

正维数的线性群总有单参数子群，并且单参数子群全都具有形式*

所以单参数子群就是找到使整个等式成立的矩阵A。现在已知二维旋转矩阵是

而SO2就是半径为1的圆，

所以现在有

找到矩阵A,SO2的李代数。

设

所以e^tA是SO2的单参数子群；A属于SO2的李代数；A是SO2在I的无穷小切向量

*代数(Algebra)- Michael Artin ,p215