1. 引言
李群是一个古老的数学抽象对象,其在机器人学中关于刚体运动方面的研究中也日益发挥了重要的作用 [1] 。但李群结构高度抽象难以被理解,故可用指数和对数映射将李代数和李群相互转化,李代数是一个线性空间,相比于李群要更容易理解。李代数的型心与拟型心是结构理论的重要概念,其结构在某种程度上刻画了李代数的结构,对李代数的研究有重要意义。文献 [2] 中Leger和Lucks对李代数的广义导子、导子、型心、拟型心等概念进行了清晰的描述,并找到了这些概念之间的关系,将他们统一了起来。文献 [3] 通过计算给出Poisson-3-Lie代数的广义导子
、拟导子
、型心
、拟型心
及中心导子代数
的一些基本性质,并给出拟型心是李代数的充要条件。文献 [4] 给出了3-李代数的广义导子、拟导子、拟型心的定义,研究了他们之间的结构关系,并对具有极大对角环面的3-李代数的拟导子和拟型心结构进行了系统的研究。文献 [5] 主要研究3-李代数的结构,给出了3-李代数的广义导子,拟导子和拟型心的定义。对它们之间的关系及拟导子和拟型心的结构进行了研究。文献 [6] 给出李color三系的型心的定义,利用李color三系与李color代数的关系,得到李color三系的型心的一些结果。特别地,确定了单李color三系的型心。型心与拟型心具体的矩阵表示可以使型心、拟型心的结构更加清晰。文献 [7] 主要研究了复数域上的特殊线性李超代数
的型心与拟型心,其中
。应用解线性方程组的方法,完全确定了这些李超代数型心和拟型心的矩阵表示。文献 [8] 讨论一般线性李超代数一类子代数
的型心与拟型心,应用解方程组的方法完全确定此类李超代数的型心和拟型心的矩阵表示。
由型心和拟型心的定义可知他们都是线性空间上的线性变换,因此通过找到
一组标准基,应用
本身的李乘运算并根据型心与拟型心的定义列出线性方程组,再通过系数比较法得到矩阵中的元素,最后用代数表达式写出矩阵的简化表示,并推广到
中。刚体运动中的旋转是机器人领域研究的重点,本文求得刚体中旋转矩阵群对应李代数的型心与拟型心的矩阵表示,可使后续对刚体运动中旋转的研究更加方便。
本文结构如下:第一部分是预备知识,介绍了本文用到的一些基本概念及符号,第二部分为本文的主体部分,分别讨论了
及
的型心与拟型心的矩阵表示。
2. 预备知识
定义2.1 [9] 设F是特征为0的域,L是F上的线性空间。如果L上有一个运算:
,
,满足以下条件,则称L是一个李代数。
(1)
,
。
(2) 雅可比恒等式:
,
。
其中,条件(1)含有反对称性
,
的意思。且李括号
具有双线
。
定义2.2设L为李代数,则称
为L的型心,称
为L的拟型心。
3. 李代数
型心与拟型心的矩阵表示
由李代数
的定义可验证
为李代数
的一组基,其中
表示第i行第j列的元素为1,其余位置0的方阵。
若f是
上的线性变换,则可设在基
上的矩阵表示式如下:
当f分别为型心与拟型心时,由元素
组成的矩阵即分别是型心与拟型心在此组基下的矩阵表示形式。
定理3.1 若f为拟型心,则f在
的标准基下的矩阵为
,其中
为任意数。
证明:令
为李代数
的标准基且设这组基在f作用下的像为:
根据拟型心的定义分别用
的标准基替代定义中的
进行运算。
当
,
时,
与
的情况为:
由拟型心定义知:
,比较系数可知:
,
。
依据上述方法对每个基进行运算,同理可得:
,即f在
标准基下的矩阵为
,其中
为任意数。
定理3.2 若f为型心,则f在
的标准基下的矩阵为
,其中
为任意数。
证明:根据定理1及型心的定义分别用
的标准基代替定义中的
进行计算。
当
,
时:
又由型心定义
可得:
,
其它情况同理可得:
,其余项全为0。即f在
的标准基下的矩阵为
,其中
为任意数。
4.
型心与拟型心的矩阵表示
由李代数
的定义:
当n为奇数,可验证
为
的基。
当n为偶数,可验证
为
的基。
将李代数
型心与拟型心的矩阵表示的证明方法推广到李代数
,得出以下定理。
定理4.1 李代数
的拟型心在其标准基下的矩阵为
,其中
为任意数。
定理4.2 李代数
的型心在其标准基下的矩阵为
,其中
为任意数。
推论:李代数
的型心与拟型心相同。
基金项目
东北林业大学大学生创新训练项目(DC-2023182);中央高校基本科研业务费专项资金资助(2572021BC02)。
NOTES
*通讯作者。